Displaying 1 result from an estimated 1 matches for "isvalidassumeforcontext".
2015 Jun 10
2
[LLVMdev] should InstCombine preserve @llvm.assume?
Hi,
I have some WIP that leverages @llvm.assume in some optimization passes
other than InstCombine. However, it doesn't work yet because InstCombine
removes @llvm.assume calls that are useful for later optimizations. For
example, given
define i32 @foo(i32 %a, i32 %b) {
%sum = add i32 %a, %b
%1 = icmp sge i32 %sum, 0
call void @llvm.assume(i1 %1)
ret i32 %sum
}
"opt