diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/assume.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/assume.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/assume.ll b/llvm/test/Transforms/InstCombine/assume.ll index e0506e417d5..6e690426db9 100644 --- a/llvm/test/Transforms/InstCombine/assume.ll +++ b/llvm/test/Transforms/InstCombine/assume.ll @@ -176,6 +176,19 @@ define i32 @icmp2(i32 %a) #0 { ret i32 %lnot.ext } +; FIXME: If the 'not' of a condition is known true, then the condition must be false. + +define i1 @assume_not(i1 %cond) { +; CHECK-LABEL: @assume_not( +; CHECK-NEXT: [[NOTCOND:%.*]] = xor i1 [[COND:%.*]], true +; CHECK-NEXT: call void @llvm.assume(i1 [[NOTCOND]]) +; CHECK-NEXT: ret i1 [[COND]] +; + %notcond = xor i1 %cond, true + call void @llvm.assume(i1 %notcond) + ret i1 %cond +} + declare void @escape(i32* %a) ; Canonicalize a nonnull assumption on a load into metadata form. |
