src/binaryen/test/torture-s/loop-ivopts-2.c.s

   1         .text
   2         .file   "loop-ivopts-2.c"
   3         .section        .text.check,"ax",@progbits
   4         .hidden check                   # -- Begin function check
   5         .globl  check
   6         .type   check,@function
   7 check:                                  # @check
   8         .param          i32
   9         .local          i32
  10 # BB#0:                                 # %entry
  11         i32.const       $1=, -1
  12 .LBB0_1:                                # %for.body
  13                                         # =>This Inner Loop Header: Depth=1
  14         block
  15         loop                            # label1:
  16         i32.load        $push6=, 0($0)
  17         i32.const       $push14=, 8
  18         i32.const       $push13=, 7
  19         i32.const       $push12=, -255
  20         i32.add         $push0=, $1, $pop12
  21         i32.const       $push11=, 23
  22         i32.gt_u        $push1=, $pop0, $pop11
  23         i32.select      $push2=, $pop14, $pop13, $pop1
  24         i32.const       $push10=, -143
  25         i32.add         $push3=, $1, $pop10
  26         i32.const       $push9=, 112
  27         i32.lt_u        $push4=, $pop3, $pop9
  28         i32.add         $push5=, $pop2, $pop4
  29         i32.ne          $push7=, $pop6, $pop5
  30         br_if           1, $pop7        # 1: down to label0
  31 # BB#2:                                 # %for.cond
  32                                         #   in Loop: Header=BB0_1 Depth=1
  33         i32.const       $push19=, 4
  34         i32.add         $0=, $0, $pop19
  35         i32.const       $push18=, 1
  36         i32.add         $push17=, $1, $pop18
  37         tee_local       $push16=, $1=, $pop17
  38         i32.const       $push15=, 286
  39         i32.le_u        $push8=, $pop16, $pop15
  40         br_if           0, $pop8        # 0: up to label1
  41 # BB#3:                                 # %for.end
  42         end_loop
  43         return
  44 .LBB0_4:                                # %if.then
  45         end_block                       # label0:
  46         call            abort@FUNCTION
  47         unreachable
  48         .endfunc
  49 .Lfunc_end0:
  50         .size   check, .Lfunc_end0-check
  51                                         # -- End function
  52         .section        .text.main,"ax",@progbits
  53         .hidden main                    # -- Begin function main
  54         .globl  main
  55         .type   main,@function
  56 main:                                   # @main
  57         .result         i32
  58         .local          i32, i32, i32
  59 # BB#0:                                 # %entry
  60         i32.const       $push26=, 0
  61         i32.const       $push24=, 0
  62         i32.load        $push23=, __stack_pointer($pop24)
  63         i32.const       $push25=, 1152
  64         i32.sub         $push31=, $pop23, $pop25
  65         tee_local       $push30=, $2=, $pop31
  66         i32.store       __stack_pointer($pop26), $pop30
  67         i32.const       $1=, 0
  68 .LBB1_1:                                # %for.body
  69                                         # =>This Inner Loop Header: Depth=1
  70         loop                            # label2:
  71         i32.add         $push0=, $2, $1
  72         i32.const       $push36=, 8
  73         i32.store       0($pop0), $pop36
  74         i32.const       $push35=, 4
  75         i32.add         $push34=, $1, $pop35
  76         tee_local       $push33=, $1=, $pop34
  77         i32.const       $push32=, 576
  78         i32.ne          $push1=, $pop33, $pop32
  79         br_if           0, $pop1        # 0: up to label2
  80 # BB#2:                                 # %for.body3.preheader
  81         end_loop
  82         i32.const       $push2=, 576
  83         i32.add         $1=, $2, $pop2
  84         i32.const       $0=, 143
  85 .LBB1_3:                                # %for.body3
  86                                         # =>This Inner Loop Header: Depth=1
  87         loop                            # label3:
  88         i32.const       $push42=, 9
  89         i32.store       0($1), $pop42
  90         i32.const       $push41=, 4
  91         i32.add         $1=, $1, $pop41
  92         i32.const       $push40=, 1
  93         i32.add         $push39=, $0, $pop40
  94         tee_local       $push38=, $0=, $pop39
  95         i32.const       $push37=, 255
  96         i32.lt_s        $push3=, $pop38, $pop37
  97         br_if           0, $pop3        # 0: up to label3
  98 # BB#4:                                 # %for.end7
  99         end_loop
 100         block
 101         block
 102         i32.const       $push4=, 278
 103         i32.gt_s        $push5=, $0, $pop4
 104         br_if           0, $pop5        # 0: down to label5
 105 # BB#5:                                 # %for.body10.preheader
 106 .LBB1_6:                                # %for.body10
 107                                         # =>This Inner Loop Header: Depth=1
 108         loop                            # label6:
 109         i32.const       $push48=, 7
 110         i32.store       0($1), $pop48
 111         i32.const       $push47=, 4
 112         i32.add         $1=, $1, $pop47
 113         i32.const       $push46=, 1
 114         i32.add         $push45=, $0, $pop46
 115         tee_local       $push44=, $0=, $pop45
 116         i32.const       $push43=, 279
 117         i32.lt_s        $push6=, $pop44, $pop43
 118         br_if           0, $pop6        # 0: up to label6
 119 # BB#7:                                 # %for.end14.loopexit
 120         end_loop
 121         i32.const       $push7=, 1
 122         i32.add         $1=, $0, $pop7
 123         br              1               # 1: down to label4
 124 .LBB1_8:
 125         end_block                       # label5:
 126         i32.const       $push49=, 1
 127         i32.add         $1=, $0, $pop49
 128 .LBB1_9:                                # %for.end14
 129         end_block                       # label4:
 130         block
 131         i32.const       $push50=, 287
 132         i32.gt_s        $push8=, $1, $pop50
 133         br_if           0, $pop8        # 0: down to label7
 134 # BB#10:                                # %for.body17.preheader
 135         i32.const       $push9=, -1
 136         i32.add         $0=, $1, $pop9
 137         i32.const       $push10=, 2
 138         i32.shl         $push11=, $1, $pop10
 139         i32.add         $1=, $2, $pop11
 140 .LBB1_11:                               # %for.body17
 141                                         # =>This Inner Loop Header: Depth=1
 142         loop                            # label8:
 143         i32.const       $push56=, 8
 144         i32.store       0($1), $pop56
 145         i32.const       $push55=, 4
 146         i32.add         $1=, $1, $pop55
 147         i32.const       $push54=, 1
 148         i32.add         $push53=, $0, $pop54
 149         tee_local       $push52=, $0=, $pop53
 150         i32.const       $push51=, 287
 151         i32.lt_s        $push12=, $pop52, $pop51
 152         br_if           0, $pop12       # 0: up to label8
 153 .LBB1_12:                               # %for.body.i.preheader
 154         end_loop
 155         end_block                       # label7:
 156         copy_local      $0=, $2
 157         i32.const       $1=, -1
 158 .LBB1_13:                               # %for.body.i
 159                                         # =>This Inner Loop Header: Depth=1
 160         block
 161         loop                            # label10:
 162         i32.load        $push19=, 0($0)
 163         i32.const       $push62=, 8
 164         i32.const       $push61=, 7
 165         i32.const       $push60=, -255
 166         i32.add         $push13=, $1, $pop60
 167         i32.const       $push59=, 23
 168         i32.gt_u        $push14=, $pop13, $pop59
 169         i32.select      $push15=, $pop62, $pop61, $pop14
 170         i32.const       $push58=, -143
 171         i32.add         $push16=, $1, $pop58
 172         i32.const       $push57=, 112
 173         i32.lt_u        $push17=, $pop16, $pop57
 174         i32.add         $push18=, $pop15, $pop17
 175         i32.ne          $push20=, $pop19, $pop18
 176         br_if           1, $pop20       # 1: down to label9
 177 # BB#14:                                # %for.cond.i
 178                                         #   in Loop: Header=BB1_13 Depth=1
 179         i32.const       $push67=, 4
 180         i32.add         $0=, $0, $pop67
 181         i32.const       $push66=, 1
 182         i32.add         $push65=, $1, $pop66
 183         tee_local       $push64=, $1=, $pop65
 184         i32.const       $push63=, 286
 185         i32.le_u        $push21=, $pop64, $pop63
 186         br_if           0, $pop21       # 0: up to label10
 187 # BB#15:                                # %check.exit
 188         end_loop
 189         i32.const       $push29=, 0
 190         i32.const       $push27=, 1152
 191         i32.add         $push28=, $2, $pop27
 192         i32.store       __stack_pointer($pop29), $pop28
 193         i32.const       $push22=, 0
 194         return          $pop22
 195 .LBB1_16:                               # %if.then.i
 196         end_block                       # label9:
 197         call            abort@FUNCTION
 198         unreachable
 199         .endfunc
 200 .Lfunc_end1:
 201         .size   main, .Lfunc_end1-main
 202                                         # -- End function
 203
 204         .ident  "clang version 6.0.0 (https://llvm.googlesource.com/clang.git a1774cccdccfa673c057f93ccf23bc2d8cb04932) (https://llvm.googlesource.com/llvm.git fc50e1c6121255333bc42d6faf2b524c074eae25)"
 205         .functype       abort, void