Add extra ops in add to sub transform test in order to enforce proper operand orderin...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@355291 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/add.ll b/test/Transforms/InstCombine/add.ll
index a6a305bd41bd9f74f9a4f042fc05eafe62202e33..0f805e856f80b6cf2916db528d3dbe8d7361963b 100644 (file)
--- a/test/Transforms/InstCombine/add.ll
+++ b/test/Transforms/InstCombine/add.ll
@@ -948,13 +948,15 @@ define i32 @add_not_increment_commuted(i32 %A, i32 %B) {
 }
 
 ; E = (A + ~B) + 1 = A - B
-define i32 @add_to_sub(i32 %A, i32 %B) {
+define i32 @add_to_sub(i32 %M, i32 %B) {
 ; CHECK-LABEL: @add_to_sub(
+; CHECK-NEXT:    [[A:%.*]] = mul i32 [[M:%.*]], 42
 ; CHECK-NEXT:    [[C:%.*]] = xor i32 [[B:%.*]], -1
-; CHECK-NEXT:    [[D:%.*]] = add i32 [[C]], [[A:%.*]]
+; CHECK-NEXT:    [[D:%.*]] = add i32 [[A]], [[C]]
 ; CHECK-NEXT:    [[E:%.*]] = add i32 [[D]], 1
 ; CHECK-NEXT:    ret i32 [[E]]
 ;
+  %A = mul i32 %M, 42          ; thwart complexity-based ordering
   %C = xor i32 %B, -1
   %D = add i32 %A, %C
   %E = add i32 %D, 1
@@ -962,13 +964,15 @@ define i32 @add_to_sub(i32 %A, i32 %B) {
 }
 
 ; E = (~B + A) + 1 = A - B
-define i32 @add_to_sub2(i32 %A, i32 %B) {
+define i32 @add_to_sub2(i32 %A, i32 %M) {
 ; CHECK-LABEL: @add_to_sub2(
-; CHECK-NEXT:    [[C:%.*]] = xor i32 [[B:%.*]], -1
+; CHECK-NEXT:    [[B:%.*]] = mul i32 [[M:%.*]], 42
+; CHECK-NEXT:    [[C:%.*]] = xor i32 [[B]], -1
 ; CHECK-NEXT:    [[D:%.*]] = add i32 [[C]], [[A:%.*]]
 ; CHECK-NEXT:    [[E:%.*]] = add i32 [[D]], 1
 ; CHECK-NEXT:    ret i32 [[E]]
 ;
+  %B = mul i32 %M, 42          ; thwart complexity-based ordering
   %C = xor i32 %B, -1
   %D = add i32 %C, %A
   %E = add i32 %D, 1