diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-01-09 20:18:30 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-01-09 20:18:30 +0000 |
| commit | 8f4910e26af53c8d133d20d694b0a627519fc059 (patch) | |
| tree | bedaa1589d7fcac3d01985754303a07c7578cf29 /llvm/test/Transforms/InstCombine/assume.ll | |
| parent | e62e684fdd21a755b202a1733454f4153ec0f463 (diff) | |
| download | bcm5719-llvm-8f4910e26af53c8d133d20d694b0a627519fc059.tar.gz bcm5719-llvm-8f4910e26af53c8d133d20d694b0a627519fc059.zip | |
[InstCombine] add test to show missed fold using llvm.assume; NFC
llvm-svn: 291472
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. |
