diff options
Diffstat (limited to 'test/torture-s/loop-7.c.s')
| -rw-r--r-- | test/torture-s/loop-7.c.s | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/test/torture-s/loop-7.c.s b/test/torture-s/loop-7.c.s index b1550772b..a05646e32 100644 --- a/test/torture-s/loop-7.c.s +++ b/test/torture-s/loop-7.c.s @@ -12,7 +12,7 @@ foo: # @foo i32.const $2=, -1 .LBB0_1: # %for.body # =>This Inner Loop Header: Depth=1 - loop .LBB0_3 + loop # label0: i32.const $1=, 1 i32.shl $push0=, $1, $3 i32.eq $push1=, $pop0, $0 @@ -20,20 +20,22 @@ foo: # @foo i32.add $3=, $3, $1 i32.const $push2=, 9 i32.gt_s $push3=, $3, $pop2 - br_if $pop3, .LBB0_3 + br_if $pop3, 1 # 1: down to label1 # BB#2: # %for.body # in Loop: Header=BB0_1 Depth=1 i32.const $push4=, 0 i32.lt_s $push5=, $2, $pop4 - br_if $pop5, .LBB0_1 + br_if $pop5, 0 # 0: up to label0 .LBB0_3: # %for.end - block .LBB0_5 + end_loop # label1: + block i32.const $push6=, -1 i32.le_s $push7=, $2, $pop6 - br_if $pop7, .LBB0_5 + br_if $pop7, 0 # 0: down to label2 # BB#4: # %if.end5 return .LBB0_5: # %if.then4 + end_block # label2: call abort@FUNCTION unreachable .Lfunc_end0: @@ -52,29 +54,31 @@ main: # @main copy_local $1=, $0 .LBB1_1: # %for.body.i # =>This Inner Loop Header: Depth=1 - loop .LBB1_3 + loop # label3: i32.const $push0=, 7 i32.eq $push1=, $1, $pop0 i32.const $push2=, 6 i32.select $2=, $pop1, $pop2, $2 i32.const $push3=, 9 i32.gt_s $push4=, $1, $pop3 - br_if $pop4, .LBB1_3 + br_if $pop4, 1 # 1: down to label4 # BB#2: # %for.body.i # in Loop: Header=BB1_1 Depth=1 i32.add $1=, $1, $0 i32.const $push5=, 0 i32.lt_s $push6=, $2, $pop5 - br_if $pop6, .LBB1_1 + br_if $pop6, 0 # 0: up to label3 .LBB1_3: # %for.end.i - block .LBB1_5 + end_loop # label4: + block i32.const $push7=, -1 i32.gt_s $push8=, $2, $pop7 - br_if $pop8, .LBB1_5 + br_if $pop8, 0 # 0: down to label5 # BB#4: # %if.then4.i call abort@FUNCTION unreachable .LBB1_5: # %foo.exit + end_block # label5: i32.const $push9=, 0 call exit@FUNCTION, $pop9 unreachable |