Displaying 2 results from an estimated 2 matches for "c3f0ceef".
2014 Jul 17
2
[LLVMdev] [RFC] Invariants in LLVM
...rt this.
I'm not seeing the downside to an analysis pass. Probably not worth
implementing up front, but might be worthwhile down the road.
Philip
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140717/c3f0ceef/attachment.html>
2014 Jul 17
5
[LLVMdev] [RFC] Invariants in LLVM
Hello everyone,
I'm starting a new thread, as a follow-up to several older ones, on invariants in LLVM. Fundamentally, invariants are conditions that the optimizer is allowed to assume will be valid during the execution of the program. Many other compilers support a concept like this, MSVC's __assume, for example. GCC has a builtin called __builtin_assume_aligned which also neatly falls