diff options
Diffstat (limited to 'test/Transforms/InstSimplify/rem.ll')
| -rw-r--r-- | test/Transforms/InstSimplify/rem.ll | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/test/Transforms/InstSimplify/rem.ll b/test/Transforms/InstSimplify/rem.ll index f5ea45107e2a8..df3f659b782e4 100644 --- a/test/Transforms/InstSimplify/rem.ll +++ b/test/Transforms/InstSimplify/rem.ll @@ -1,25 +1,29 @@ +; NOTE: Assertions have been autogenerated by update_test_checks.py ; RUN: opt < %s -instsimplify -S | FileCheck %s define i32 @select1(i32 %x, i1 %b) { ; CHECK-LABEL: @select1( +; CHECK: ret i32 0 +; %rhs = select i1 %b, i32 %x, i32 1 %rem = srem i32 %x, %rhs ret i32 %rem -; CHECK: ret i32 0 } define i32 @select2(i32 %x, i1 %b) { ; CHECK-LABEL: @select2( +; CHECK: ret i32 0 +; %rhs = select i1 %b, i32 %x, i32 1 %rem = urem i32 %x, %rhs ret i32 %rem -; CHECK: ret i32 0 } define i32 @rem1(i32 %x, i32 %n) { ; CHECK-LABEL: @rem1( -; CHECK-NEXT: %mod = srem i32 %x, %n -; CHECK-NEXT: ret i32 %mod +; CHECK: [[MOD:%.*]] = srem i32 %x, %n +; CHECK-NEXT: ret i32 [[MOD]] +; %mod = srem i32 %x, %n %mod1 = srem i32 %mod, %n ret i32 %mod1 @@ -27,8 +31,9 @@ define i32 @rem1(i32 %x, i32 %n) { define i32 @rem2(i32 %x, i32 %n) { ; CHECK-LABEL: @rem2( -; CHECK-NEXT: %mod = urem i32 %x, %n -; CHECK-NEXT: ret i32 %mod +; CHECK: [[MOD:%.*]] = urem i32 %x, %n +; CHECK-NEXT: ret i32 [[MOD]] +; %mod = urem i32 %x, %n %mod1 = urem i32 %mod, %n ret i32 %mod1 @@ -36,9 +41,10 @@ define i32 @rem2(i32 %x, i32 %n) { define i32 @rem3(i32 %x, i32 %n) { ; CHECK-LABEL: @rem3( -; CHECK-NEXT: %[[srem:.*]] = srem i32 %x, %n -; CHECK-NEXT: %[[urem:.*]] = urem i32 %[[srem]], %n -; CHECK-NEXT: ret i32 %[[urem]] +; CHECK: [[MOD:%.*]] = srem i32 %x, %n +; CHECK-NEXT: [[MOD1:%.*]] = urem i32 [[MOD]], %n +; CHECK-NEXT: ret i32 [[MOD1]] +; %mod = srem i32 %x, %n %mod1 = urem i32 %mod, %n ret i32 %mod1 |