[llvm] r277821 - Actually, r277337 was fine. Just kill the DAGs that made the test allow nondeterminism.

[Benjamin Kramer via llvm-commits]

Author: d0k
Date: Fri Aug  5 09:58:34 2016
New Revision: 277821

URL: http://llvm.org/viewvc/llvm-project?rev=277821&view=rev
Log:
Actually, r277337 was fine. Just kill the DAGs that made the test allow nondeterminism.

Modified:
    llvm/trunk/test/Transforms/SimplifyCFG/rangereduce.ll

Modified: llvm/trunk/test/Transforms/SimplifyCFG/rangereduce.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/rangereduce.ll?rev=277821&r1=277820&r2=277821&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/SimplifyCFG/rangereduce.ll (original)
+++ llvm/trunk/test/Transforms/SimplifyCFG/rangereduce.ll Fri Aug  5 09:58:34 2016
@@ -3,11 +3,11 @@
 target datalayout = "e-n32"
 
 ; CHECK-LABEL: @test1
-; CHECK: %1 = sub i32 %a, 97
-; CHECK-DAG: %2 = lshr i32 %1, 2
-; CHECK-DAG: %3 = shl i32 %1, 30
-; CHECK: %4 = or i32 %2, %3
-; CHECK:  switch i32 %4, label %def [
+; CHECK: %[[SUB:.*]] = sub i32 %a, 97
+; CHECK: %[[LSHR:.*]] = lshr i32 %[[SUB]], 2
+; CHECK: %[[SHL:.*]] = shl i32 %[[SUB]], 30
+; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]]
+; CHECK:  switch i32 %[[OR]], label %def [
 ; CHECK:    i32 0, label %one
 ; CHECK:    i32 1, label %two
 ; CHECK:    i32 2, label %three
@@ -120,11 +120,11 @@ three:
 }
 
 ; CHECK-LABEL: @test6
-; CHECK: %1 = sub i32 %a, -109
-; CHECK-DAG: %2 = lshr i32 %1, 2
-; CHECK-DAG: %3 = shl i32 %1, 30
-; CHECK: %4 = or i32 %2, %3
-; CHECK:  switch i32 %4, label %def [
+; CHECK: %[[SUB:.*]] = sub i32 %a, -109
+; CHECK: %[[LSHR:.*]] = lshr i32 %[[SUB]], 2
+; CHECK: %[[SHL:.*]] = shl i32 %[[SUB]], 30
+; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]]
+; CHECK:  switch i32 %[[OR]], label %def [
 define i32 @test6(i32 %a) optsize {
   switch i32 %a, label %def [
     i32 -97, label %one
@@ -145,11 +145,11 @@ three:
 }
 
 ; CHECK-LABEL: @test7
-; CHECK: %1 = sub i8 %a, -36
-; CHECK-DAG: %2 = lshr i8 %1, 2
-; CHECK-DAG: %3 = shl i8 %1, 6
-; CHECK: %4 = or i8 %2, %3
-; CHECK:  switch.tableidx = {{.*}} %4
+; CHECK: %[[SUB:.*]] = sub i8 %a, -36
+; CHECK: %[[LSHR:.*]] = lshr i8 %[[SUB]], 2
+; CHECK: %[[SHL:.*]] = shl i8 %[[SUB]], 6
+; CHECK: %[[OR:.*]] = or i8 %[[LSHR]], %[[SHL]]
+; CHECK:  switch.tableidx = {{.*}} %[[OR]]
 define i8 @test7(i8 %a) optsize {
   switch i8 %a, label %def [
     i8 220, label %one
@@ -170,11 +170,11 @@ three:
 }
 
 ; CHECK-LABEL: @test8
-; CHECK: %1 = sub i32 %a, 97
-; CHECK-DAG: %2 = lshr i32 %1, 2
-; CHECK-DAG: %3 = shl i32 %1, 30
-; CHECK: %4 = or i32 %2, %3
-; CHECK:  switch i32 %4, label %def [
+; CHECK: %[[SUB:.*]] = sub i32 %a, 97
+; CHECK: %[[LSHR:.*]] = lshr i32 %1, 2
+; CHECK: %[[SHL:.*]] = shl i32 %1, 30
+; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]]
+; CHECK:  switch i32 %[[OR]], label %def [
 define i32 @test8(i32 %a) optsize {
   switch i32 %a, label %def [
     i32 97, label %one