Wish there was more interest in stuff like https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ …. Just pay a high performance cost for legacy code.
-
-
-
The runtime cost would be relatively low if the compiler complexity is allowed to be very high (hoisting checks).
-
The existing optimization infrastructure can work if checks are added early. Aliasing really ruins things for C...
-
Hoist the non-aliasing checks too. Generate separate may-alias and non-aliasing versions of the code.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.