You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Pointers are not only alloca'd and loaded and stored on simple programs, which would be good for a simple implementation (see 4b44803 ).
Intrinsics use _point_er casts on function entry, which at this point seems _point_less. (hehe)
I think this can be good if there is at least one cast already for the pointer, but until then, we should use the original type overloaded intrinsics (it seems that gazer.function.entry is already overloaded).
This later would introduce special case for analysis if the simple memory model can handle a value.
is it alloca'd or global? Yes
is it GEP'd? No
is it bitcasted? Yes
is the bitcast only in intrinsic functions? yes
then proceed to pass to simple memory model (else fail or handover to another memory model, etc.)
The text was updated successfully, but these errors were encountered:
Pointers are not only alloca'd and loaded and stored on simple programs, which would be good for a simple implementation (see 4b44803 ).
Intrinsics use _point_er casts on function entry, which at this point seems _point_less. (hehe)
I think this can be good if there is at least one cast already for the pointer, but until then, we should use the original type overloaded intrinsics (it seems that gazer.function.entry is already overloaded).
This later would introduce special case for analysis if the simple memory model can handle a value.
The text was updated successfully, but these errors were encountered: