I don't think "Boring C" is that.
-
-
Replying to @RichFelker @fugueish
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.
1 reply 0 retweets 0 likes -
Replying to @CopperheadOS @fugueish
The runtime cost would be relatively low if the compiler complexity is allowed to be very high (hoisting checks).
1 reply 0 retweets 1 like -
Replying to @RichFelker @fugueish
The existing optimization infrastructure can work if checks are added early. Aliasing really ruins things for C...
1 reply 0 retweets 0 likes
Replying to @CopperheadOS @fugueish
Hoist the non-aliasing checks too. Generate separate may-alias and non-aliasing versions of the code.
11:46 AM - 29 Dec 2016
0 replies
0 retweets
0 likes
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.