diff options
| author | Chen Zheng <shchenz@cn.ibm.com> | 2018-07-20 13:00:47 +0000 |
|---|---|---|
| committer | Chen Zheng <shchenz@cn.ibm.com> | 2018-07-20 13:00:47 +0000 |
| commit | f801d0fea944487132c23dd4c5de58b9b4fbecf0 (patch) | |
| tree | d0eba193a8505aac54010e715b454193c3c40859 /llvm/test/Transforms/InstSimplify/srem.ll | |
| parent | f9adc20aeff83ddb07b3b741099bf441425b787c (diff) | |
| download | bcm5719-llvm-f801d0fea944487132c23dd4c5de58b9b4fbecf0.tar.gz bcm5719-llvm-f801d0fea944487132c23dd4c5de58b9b4fbecf0.zip | |
[InstSimplify] fold srem instruction if its two operands are negated.
Differential Revision: https://reviews.llvm.org/D49423
llvm-svn: 337545
Diffstat (limited to 'llvm/test/Transforms/InstSimplify/srem.ll')
| -rw-r--r-- | llvm/test/Transforms/InstSimplify/srem.ll | 36 |
1 files changed, 11 insertions, 25 deletions
diff --git a/llvm/test/Transforms/InstSimplify/srem.ll b/llvm/test/Transforms/InstSimplify/srem.ll index 40062ec6e31..c828d6d53ac 100644 --- a/llvm/test/Transforms/InstSimplify/srem.ll +++ b/llvm/test/Transforms/InstSimplify/srem.ll @@ -3,9 +3,7 @@ define i32 @negated_operand(i32 %x) { ; CHECK-LABEL: @negated_operand( -; CHECK-NEXT: [[NEGX:%.*]] = sub i32 0, [[X:%.*]] -; CHECK-NEXT: [[REM:%.*]] = srem i32 [[NEGX]], [[X]] -; CHECK-NEXT: ret i32 [[REM]] +; CHECK-NEXT: ret i32 0 ; %negx = sub i32 0, %x %rem = srem i32 %negx, %x @@ -14,46 +12,36 @@ define i32 @negated_operand(i32 %x) { define <2 x i32> @negated_operand_commute_vec(<2 x i32> %x) { ; CHECK-LABEL: @negated_operand_commute_vec( -; CHECK-NEXT: [[NEGX:%.*]] = sub nsw <2 x i32> zeroinitializer, [[X:%.*]] -; CHECK-NEXT: [[REM:%.*]] = srem <2 x i32> [[NEGX]], [[X]] -; CHECK-NEXT: ret <2 x i32> [[REM]] +; CHECK-NEXT: ret <2 x i32> zeroinitializer ; - %negx = sub nsw <2 x i32> zeroinitializer, %x + %negx = sub <2 x i32> zeroinitializer, %x %rem = srem <2 x i32> %negx, %x ret <2 x i32> %rem } define i32 @knownnegation(i32 %x, i32 %y) { ; CHECK-LABEL: @knownnegation( -; CHECK-NEXT: [[XY:%.*]] = sub nsw i32 [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[YX:%.*]] = sub nsw i32 [[Y]], [[X]] -; CHECK-NEXT: [[REM:%.*]] = srem i32 [[XY]], [[YX]] -; CHECK-NEXT: ret i32 [[REM]] +; CHECK-NEXT: ret i32 0 ; - %xy = sub nsw i32 %x, %y - %yx = sub nsw i32 %y, %x + %xy = sub i32 %x, %y + %yx = sub i32 %y, %x %rem = srem i32 %xy, %yx ret i32 %rem } define <2 x i32> @knownnegation_commute_vec(<2 x i32> %x, <2 x i32> %y) { ; CHECK-LABEL: @knownnegation_commute_vec( -; CHECK-NEXT: [[XY:%.*]] = sub nsw <2 x i32> [[X:%.*]], [[Y:%.*]] -; CHECK-NEXT: [[YX:%.*]] = sub nsw <2 x i32> [[Y]], [[X]] -; CHECK-NEXT: [[REM:%.*]] = srem <2 x i32> [[XY]], [[YX]] -; CHECK-NEXT: ret <2 x i32> [[REM]] +; CHECK-NEXT: ret <2 x i32> zeroinitializer ; - %xy = sub nsw <2 x i32> %x, %y - %yx = sub nsw <2 x i32> %y, %x + %xy = sub <2 x i32> %x, %y + %yx = sub <2 x i32> %y, %x %rem = srem <2 x i32> %xy, %yx ret <2 x i32> %rem } define <3 x i32> @negated_operand_vec_undef(<3 x i32> %x) { ; CHECK-LABEL: @negated_operand_vec_undef( -; CHECK-NEXT: [[NEGX:%.*]] = sub <3 x i32> <i32 0, i32 undef, i32 0>, [[X:%.*]] -; CHECK-NEXT: [[REM:%.*]] = srem <3 x i32> [[NEGX]], [[X]] -; CHECK-NEXT: ret <3 x i32> [[REM]] +; CHECK-NEXT: ret <3 x i32> zeroinitializer ; %negx = sub <3 x i32> <i32 0, i32 undef, i32 0>, %x %rem = srem <3 x i32> %negx, %x @@ -73,9 +61,7 @@ define <2 x i32> @negated_operand_vec_nonsplat(<2 x i32> %x) { define i32 @negated_operand_commute(i32 %x) { ; CHECK-LABEL: @negated_operand_commute( -; CHECK-NEXT: [[NEGX:%.*]] = sub i32 0, [[X:%.*]] -; CHECK-NEXT: [[REM:%.*]] = srem i32 [[X]], [[NEGX]] -; CHECK-NEXT: ret i32 [[REM]] +; CHECK-NEXT: ret i32 0 ; %negx = sub i32 0, %x %rem = srem i32 %x, %negx |
