Displaying 1 result from an estimated 1 matches for "fb30a671".
Did you mean:
b340a671
2014 Jul 17
2
[LLVMdev] [RFC] Invariants in LLVM
On 07/17/2014 01:51 PM, Chandler Carruth wrote:
>
>
> 2. Would adding a canonicalization of if(c) { unreachable } to
> llvm.invariant(c) would be worthwhile?
>
>
> There was a long and painful attempt to implement invariants based on
> the branch-to-unreachable pattern. It didn't work. I don't expect
> these patterns to show up often organically and to