diff options
Diffstat (limited to 'test/Transforms/SROA/phi-and-select.ll')
-rw-r--r-- | test/Transforms/SROA/phi-and-select.ll | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/test/Transforms/SROA/phi-and-select.ll b/test/Transforms/SROA/phi-and-select.ll index b9931800e7..86375780b6 100644 --- a/test/Transforms/SROA/phi-and-select.ll +++ b/test/Transforms/SROA/phi-and-select.ll @@ -2,7 +2,7 @@ target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-n8:16:32:64" define i32 @test1() { -; CHECK: @test1 +; CHECK-LABEL: @test1( entry: %a = alloca [2 x i32] ; CHECK-NOT: alloca @@ -31,7 +31,7 @@ exit: } define i32 @test2() { -; CHECK: @test2 +; CHECK-LABEL: @test2( entry: %a = alloca [2 x i32] ; CHECK-NOT: alloca @@ -54,7 +54,7 @@ entry: } define i32 @test3(i32 %x) { -; CHECK: @test3 +; CHECK-LABEL: @test3( entry: %a = alloca [2 x i32] ; CHECK-NOT: alloca @@ -105,7 +105,7 @@ exit: } define i32 @test4() { -; CHECK: @test4 +; CHECK-LABEL: @test4( entry: %a = alloca [2 x i32] ; CHECK-NOT: alloca @@ -129,7 +129,7 @@ entry: } define i32 @test5(i32* %b) { -; CHECK: @test5 +; CHECK-LABEL: @test5( entry: %a = alloca [2 x i32] ; CHECK-NOT: alloca @@ -151,7 +151,7 @@ entry: declare void @f(i32*, i32*) define i32 @test6(i32* %b) { -; CHECK: @test6 +; CHECK-LABEL: @test6( entry: %a = alloca [2 x i32] %c = alloca i32 @@ -182,7 +182,7 @@ entry: } define i32 @test7() { -; CHECK: @test7 +; CHECK-LABEL: @test7( ; CHECK-NOT: alloca entry: @@ -210,7 +210,7 @@ exit: define i32 @test8(i32 %b, i32* %ptr) { ; Ensure that we rewrite allocas to the used type when that use is hidden by ; a PHI that can be speculated. -; CHECK: @test8 +; CHECK-LABEL: @test8( ; CHECK-NOT: alloca ; CHECK-NOT: load ; CHECK: %[[value:.*]] = load i32* %ptr @@ -238,7 +238,7 @@ exit: define i32 @test9(i32 %b, i32* %ptr) { ; Same as @test8 but for a select rather than a PHI node. -; CHECK: @test9 +; CHECK-LABEL: @test9( ; CHECK-NOT: alloca ; CHECK-NOT: load ; CHECK: %[[value:.*]] = load i32* %ptr @@ -260,7 +260,7 @@ define float @test10(i32 %b, float* %ptr) { ; Don't try to promote allocas which are not elligible for it even after ; rewriting due to the necessity of inserting bitcasts when speculating a PHI ; node. -; CHECK: @test10 +; CHECK-LABEL: @test10( ; CHECK: %[[alloca:.*]] = alloca ; CHECK: %[[argvalue:.*]] = load float* %ptr ; CHECK: %[[cast:.*]] = bitcast double* %[[alloca]] to float* @@ -289,7 +289,7 @@ exit: define float @test11(i32 %b, float* %ptr) { ; Same as @test10 but for a select rather than a PHI node. -; CHECK: @test11 +; CHECK-LABEL: @test11( ; CHECK: %[[alloca:.*]] = alloca ; CHECK: %[[cast:.*]] = bitcast double* %[[alloca]] to float* ; CHECK: %[[allocavalue:.*]] = load float* %[[cast]] @@ -311,7 +311,7 @@ entry: define i32 @test12(i32 %x, i32* %p) { ; Ensure we don't crash or fail to nuke dead selects of allocas if no load is ; never found. -; CHECK: @test12 +; CHECK-LABEL: @test12( ; CHECK-NOT: alloca ; CHECK-NOT: select ; CHECK: ret i32 %x @@ -327,7 +327,7 @@ entry: define i32 @test13(i32 %x, i32* %p) { ; Ensure we don't crash or fail to nuke dead phis of allocas if no load is ever ; found. -; CHECK: @test13 +; CHECK-LABEL: @test13( ; CHECK-NOT: alloca ; CHECK-NOT: phi ; CHECK: ret i32 %x @@ -349,7 +349,7 @@ exit: define i32 @PR13905() { ; Check a pattern where we have a chain of dead phi nodes to ensure they are ; deleted and promotion can proceed. -; CHECK: @PR13905 +; CHECK-LABEL: @PR13905( ; CHECK-NOT: alloca i32 ; CHECK: ret i32 undef @@ -374,7 +374,7 @@ define i32 @PR13906() { ; Another pattern which can lead to crashes due to failing to clear out dead ; PHI nodes or select nodes. This triggers subtly differently from the above ; cases because the PHI node is (recursively) alive, but the select is dead. -; CHECK: @PR13906 +; CHECK-LABEL: @PR13906( ; CHECK-NOT: alloca entry: @@ -392,7 +392,7 @@ if.then: } define i64 @PR14132(i1 %flag) { -; CHECK: @PR14132 +; CHECK-LABEL: @PR14132( ; Here we form a PHI-node by promoting the pointer alloca first, and then in ; order to promote the other two allocas, we speculate the load of the ; now-phi-node-pointer. In doing so we end up loading a 64-bit value from an i8 |