diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-01-09 19:31:20 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-01-09 19:31:20 +0000 |
| commit | baac743254fac078c8e65b4db7cea1eb172b4e40 (patch) | |
| tree | 4c6bffd7dee81ca5ab7ab5c9b2630fe0c242e388 /llvm/test/Analysis/ValueTracking | |
| parent | 101db5f7bcb70c897009146be8b28a5c8a13c890 (diff) | |
| download | bcm5719-llvm-baac743254fac078c8e65b4db7cea1eb172b4e40.tar.gz bcm5719-llvm-baac743254fac078c8e65b4db7cea1eb172b4e40.zip | |
[ValueTracking] regenerate checks; NFC
llvm-svn: 291468
Diffstat (limited to 'llvm/test/Analysis/ValueTracking')
| -rw-r--r-- | llvm/test/Analysis/ValueTracking/assume.ll | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/llvm/test/Analysis/ValueTracking/assume.ll b/llvm/test/Analysis/ValueTracking/assume.ll index 4bffe8ef790..fe0ee53eb41 100644 --- a/llvm/test/Analysis/ValueTracking/assume.ll +++ b/llvm/test/Analysis/ValueTracking/assume.ll @@ -1,14 +1,22 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; 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 +; CHECK-NEXT: [[T1:%.*]] = add i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[LAST_TWO_DIGITS:%.*]] = and i32 [[T1]], 3 +; CHECK-NEXT: [[T2:%.*]] = icmp eq i32 [[LAST_TWO_DIGITS]], 0 +; CHECK-NEXT: call void @llvm.assume(i1 [[T2]]) +; CHECK-NEXT: [[T3:%.*]] = or i32 [[T1]], 3 +; CHECK-NEXT: ret i32 [[T3]] +; + %t1 = add i32 %a, %b + %last_two_digits = and i32 %t1, 3 + %t2 = icmp eq i32 %last_two_digits, 0 + call void @llvm.assume(i1 %t2) + %t3 = add i32 %t1, 3 + ret i32 %t3 } declare void @llvm.assume(i1) + |
