diff options
Diffstat (limited to 'llvm/test/CodeGen/WebAssembly/cfg-stackify.ll')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/cfg-stackify.ll | 120 |
1 files changed, 60 insertions, 60 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/cfg-stackify.ll b/llvm/test/CodeGen/WebAssembly/cfg-stackify.ll index 540d92f7b4f..1f9408c325d 100644 --- a/llvm/test/CodeGen/WebAssembly/cfg-stackify.ll +++ b/llvm/test/CodeGen/WebAssembly/cfg-stackify.ll @@ -9,13 +9,13 @@ declare void @something() ; Test that loops are made contiguous, even in the presence of split backedges. -; CHECK-LABEL: test0 -; CHECK: (loop -; CHECK: (add -; CHECK: (brif -; CHECK: (call -; CHECK: (br $BB0_1) -; CHECK: (return) +; CHECK-LABEL: test0: +; CHECK: loop +; CHECK: add +; CHECK: brif +; CHECK: call +; CHECK: br $BB0_1{{$}} +; CHECK: return{{$}} define void @test0(i32 %n) { entry: br label %header @@ -37,13 +37,13 @@ back: ; Same as test0, but the branch condition is reversed. -; CHECK-LABEL: test1 -; CHECK: (loop -; CHECK: (add -; CHECK: (brif -; CHECK: (call -; CHECK: (br $BB1_1) -; CHECK: (return) +; CHECK-LABEL: test1: +; CHECK: loop +; CHECK: add +; CHECK: brif +; CHECK: call +; CHECK: br $BB1_1{{$}} +; CHECK: return{{$}} define void @test1(i32 %n) { entry: br label %header @@ -65,13 +65,13 @@ back: ; Test that a simple loop is handled as expected. -; CHECK-LABEL: test2 -; CHECK: (block $BB2_2) -; CHECK: (brif $BB2_2 {{.*}}) +; CHECK-LABEL: test2: +; CHECK: block $BB2_2{{$}} +; CHECK: brif $BB2_2, {{.*}} ; CHECK: BB2_1: -; CHECK: (brif $BB2_1 @14) +; CHECK: brif $BB2_1, @16{{$}} ; CHECK: BB2_2: -; CHECK: (return) +; CHECK: return{{$}} define void @test2(double* nocapture %p, i32 %n) { entry: %cmp.4 = icmp sgt i32 %n, 0 @@ -97,18 +97,18 @@ for.end: ret void } -; CHECK-LABEL: doublediamond -; CHECK: (block $BB3_5) -; CHECK: (block $BB3_4) -; CHECK: (block $BB3_2) -; CHECK: (brif $BB3_2 @4) -; CHECK: (br $BB3_5) +; CHECK-LABEL: doublediamond: +; CHECK: block $BB3_5{{$}} +; CHECK: block $BB3_4{{$}} +; CHECK: block $BB3_2{{$}} +; CHECK: brif $BB3_2, @7{{$}} +; CHECK: br $BB3_5{{$}} ; CHECK: BB3_2: -; CHECK: (brif $BB3_4 @7) -; CHECK: (br $BB3_5) +; CHECK: brif $BB3_4, @10{{$}} +; CHECK: br $BB3_5{{$}} ; CHECK: BB3_4: ; CHECK: BB3_5: -; CHECK: (return @3) +; CHECK: return @6{{$}} define i32 @doublediamond(i32 %a, i32 %b, i32* %p) { entry: %c = icmp eq i32 %a, 0 @@ -132,11 +132,11 @@ exit: ret i32 0 } -; CHECK-LABEL: triangle -; CHECK: (block $BB4_2) -; CHECK: (brif $BB4_2 @3) +; CHECK-LABEL: triangle: +; CHECK: block $BB4_2{{$}} +; CHECK: brif $BB4_2, @5{{$}} ; CHECK: BB4_2: -; CHECK: (return @2) +; CHECK: return @4{{$}} define i32 @triangle(i32* %p, i32 %a) { entry: %c = icmp eq i32 %a, 0 @@ -150,14 +150,14 @@ exit: ret i32 0 } -; CHECK-LABEL: diamond -; CHECK: (block $BB5_3) -; CHECK: (block $BB5_2) -; CHECK: (brif $BB5_2 @3) -; CHECK: (br $BB5_3) +; CHECK-LABEL: diamond: +; CHECK: block $BB5_3{{$}} +; CHECK: block $BB5_2{{$}} +; CHECK: brif $BB5_2, @5{{$}} +; CHECK: br $BB5_3{{$}} ; CHECK: BB5_2: ; CHECK: BB5_3: -; CHECK: (return @2) +; CHECK: return @4{{$}} define i32 @diamond(i32* %p, i32 %a) { entry: %c = icmp eq i32 %a, 0 @@ -174,20 +174,20 @@ exit: ret i32 0 } -; CHECK-LABEL: single_block +; CHECK-LABEL: single_block: ; CHECK-NOT: br -; CHECK: (return @1) +; CHECK: return @2{{$}} define i32 @single_block(i32* %p) { entry: store volatile i32 0, i32* %p ret i32 0 } -; CHECK-LABEL: minimal_loop +; CHECK-LABEL: minimal_loop: ; CHECK-NOT: br ; CHECK: BB7_1: -; CHECK: (store_i32 @0 @2) -; CHECK: (br $BB7_1) +; CHECK: store_i32 @1, @3{{$}} +; CHECK: br $BB7_1{{$}} define i32 @minimal_loop(i32* %p) { entry: store volatile i32 0, i32* %p @@ -197,12 +197,12 @@ loop: br label %loop } -; CHECK-LABEL: simple_loop +; CHECK-LABEL: simple_loop: ; CHECK-NOT: br ; CHECK: BB8_1: -; CHECK: (loop $BB8_2) -; CHECK: (brif $BB8_1 @4) -; CHECK: (return @2) +; CHECK: loop $BB8_2{{$}} +; CHECK: brif $BB8_1, @6{{$}} +; CHECK: return @4{{$}} define i32 @simple_loop(i32* %p, i32 %a) { entry: %c = icmp eq i32 %a, 0 @@ -216,14 +216,14 @@ exit: ret i32 0 } -; CHECK-LABEL: doubletriangle -; CHECK: (block $BB9_4) -; CHECK: (block $BB9_3) -; CHECK: (brif $BB9_4 @4) -; CHECK: (brif $BB9_3 @7) +; CHECK-LABEL: doubletriangle: +; CHECK: block $BB9_4{{$}} +; CHECK: block $BB9_3{{$}} +; CHECK: brif $BB9_4, @7{{$}} +; CHECK: brif $BB9_3, @10{{$}} ; CHECK: BB9_3: ; CHECK: BB9_4: -; CHECK: (return @3) +; CHECK: return @6{{$}} define i32 @doubletriangle(i32 %a, i32 %b, i32* %p) { entry: %c = icmp eq i32 %a, 0 @@ -244,15 +244,15 @@ exit: ret i32 0 } -; CHECK-LABEL: ifelse_earlyexits -; CHECK: (block $BB10_4) -; CHECK: (block $BB10_2) -; CHECK: (brif $BB10_2 @4) -; CHECK: (br $BB10_4) +; CHECK-LABEL: ifelse_earlyexits: +; CHECK: block $BB10_4{{$}} +; CHECK: block $BB10_2{{$}} +; CHECK: brif $BB10_2, @7{{$}} +; CHECK: br $BB10_4{{$}} ; CHECK: BB10_2: -; CHECK: (brif $BB10_4 @7) +; CHECK: brif $BB10_4, @10{{$}} ; CHECK: BB10_4: -; CHECK: (return @3) +; CHECK: return @6{{$}} define i32 @ifelse_earlyexits(i32 %a, i32 %b, i32* %p) { entry: %c = icmp eq i32 %a, 0 |
