Displaying 1 result from an estimated 1 matches for "1025335".
Did you mean:
1025135
2012 Oct 02
2
[LLVMdev] How best to represent assume statements in LLVM IR?
On 10/02/2012 12:52 AM, Duncan Sands wrote:
> Hi Philip,
>
>> Does anyone have any suggestions on how to best represent an assumption
>> statement(*) in IR?
>
> good question! There have been various attempts, for example Nick tried
> teaching the optimizers to not prune the branch to unreachable in
>
> br %cond, label %assumption_holds, %assumption_doesnt_hold