maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Actually, r277337 was fine. Just kill the DAGs that made the test allow nondeterminism. 

llvm-svn: 277821
This commit is contained in:
Benjamin Kramer 2016-08-05 14:58:34 +00:00
parent aa160c22f7
commit 000a87d1b0
1 changed files with 20 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
llvm/test/Transforms/SimplifyCFG/rangereduce.ll
View File

@ -3,11 +3,11 @@
target datalayout = "e-n32" target datalayout = "e-n32"
; CHECK-LABEL: @test1 ; CHECK-LABEL: @test1
; CHECK: %1 = sub i32 %a, 97 ; CHECK: %[[SUB:.*]] = sub i32 %a, 97
; CHECK-DAG: %2 = lshr i32 %1, 2 ; CHECK: %[[LSHR:.*]] = lshr i32 %[[SUB]], 2
; CHECK-DAG: %3 = shl i32 %1, 30 ; CHECK: %[[SHL:.*]] = shl i32 %[[SUB]], 30
; CHECK: %4 = or i32 %2, %3 ; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]]
; CHECK: switch i32 %4, label %def [ ; CHECK: switch i32 %[[OR]], label %def [
; CHECK: i32 0, label %one ; CHECK: i32 0, label %one
; CHECK: i32 1, label %two ; CHECK: i32 1, label %two
; CHECK: i32 2, label %three ; CHECK: i32 2, label %three
@ -120,11 +120,11 @@ three:
} }
; CHECK-LABEL: @test6 ; CHECK-LABEL: @test6
; CHECK: %1 = sub i32 %a, -109 ; CHECK: %[[SUB:.*]] = sub i32 %a, -109
; CHECK-DAG: %2 = lshr i32 %1, 2 ; CHECK: %[[LSHR:.*]] = lshr i32 %[[SUB]], 2
; CHECK-DAG: %3 = shl i32 %1, 30 ; CHECK: %[[SHL:.*]] = shl i32 %[[SUB]], 30
; CHECK: %4 = or i32 %2, %3 ; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]]
; CHECK: switch i32 %4, label %def [ ; CHECK: switch i32 %[[OR]], label %def [
define i32 @test6(i32 %a) optsize { define i32 @test6(i32 %a) optsize {
switch i32 %a, label %def [ switch i32 %a, label %def [
i32 -97, label %one i32 -97, label %one
@ -145,11 +145,11 @@ three:
} }
; CHECK-LABEL: @test7 ; CHECK-LABEL: @test7
; CHECK: %1 = sub i8 %a, -36 ; CHECK: %[[SUB:.*]] = sub i8 %a, -36
; CHECK-DAG: %2 = lshr i8 %1, 2 ; CHECK: %[[LSHR:.*]] = lshr i8 %[[SUB]], 2
; CHECK-DAG: %3 = shl i8 %1, 6 ; CHECK: %[[SHL:.*]] = shl i8 %[[SUB]], 6
; CHECK: %4 = or i8 %2, %3 ; CHECK: %[[OR:.*]] = or i8 %[[LSHR]], %[[SHL]]
; CHECK: switch.tableidx = {{.*}} %4 ; CHECK: switch.tableidx = {{.*}} %[[OR]]
define i8 @test7(i8 %a) optsize { define i8 @test7(i8 %a) optsize {
switch i8 %a, label %def [ switch i8 %a, label %def [
i8 220, label %one i8 220, label %one
@ -170,11 +170,11 @@ three:
} }
; CHECK-LABEL: @test8 ; CHECK-LABEL: @test8
; CHECK: %1 = sub i32 %a, 97 ; CHECK: %[[SUB:.*]] = sub i32 %a, 97
; CHECK-DAG: %2 = lshr i32 %1, 2 ; CHECK: %[[LSHR:.*]] = lshr i32 %1, 2
; CHECK-DAG: %3 = shl i32 %1, 30 ; CHECK: %[[SHL:.*]] = shl i32 %1, 30
; CHECK: %4 = or i32 %2, %3 ; CHECK: %[[OR:.*]] = or i32 %[[LSHR]], %[[SHL]]
; CHECK: switch i32 %4, label %def [ ; CHECK: switch i32 %[[OR]], label %def [
define i32 @test8(i32 %a) optsize { define i32 @test8(i32 %a) optsize {
switch i32 %a, label %def [ switch i32 %a, label %def [
i32 97, label %one i32 97, label %one