diff options
Diffstat (limited to 'test/Analysis/ValueTracking/assume.ll')
| -rw-r--r-- | test/Analysis/ValueTracking/assume.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Analysis/ValueTracking/assume.ll b/test/Analysis/ValueTracking/assume.ll new file mode 100644 index 000000000000..4bffe8ef7909 --- /dev/null +++ b/test/Analysis/ValueTracking/assume.ll @@ -0,0 +1,14 @@ +; RUN: opt < %s -instcombine -S | FileCheck %s + +define i32 @assume_add(i32 %a, i32 %b) { +; CHECK-LABEL: @assume_add( + %1 = add i32 %a, %b + %last_two_digits = and i32 %1, 3 + %2 = icmp eq i32 %last_two_digits, 0 + call void @llvm.assume(i1 %2) + %3 = add i32 %1, 3 +; CHECK: %3 = or i32 %1, 3 + ret i32 %3 +} + +declare void @llvm.assume(i1) |