src/binaryen/test/dot_s/bcp-1.wast

   1 (module
   2  (type $FUNCSIG$i (func (result i32)))
   3  (type $FUNCSIG$ii (func (param i32) (result i32)))
   4  (type $FUNCSIG$v (func))
   5  (type $FUNCSIG$vi (func (param i32)))
   6  (import "env" "abort" (func $abort))
   7  (import "env" "exit" (func $exit (param i32)))
   8  (import "env" "memory" (memory $0 1))
   9  (table 18 18 anyfunc)
  10  (elem (i32.const 0) $__wasm_nullptr $bad0 $bad1 $bad5 $bad7 $bad8 $bad10 $bad2 $bad3 $bad6 $bad4 $bad9 $good0 $good1 $good2 $opt0 $opt1 $opt2)
  11  (data (i32.const 16) "\01\00\00\00\02\00\00\00\03\00\00\00\04\00\00\00\05\00\00\00\06\00\00\00")
  12  (data (i32.const 40) "\07\00\00\00\08\00\00\00\t\00\00\00")
  13  (data (i32.const 52) "\n\00\00\00\0b\00\00\00")
  14  (data (i32.const 60) "\0c\00\00\00\0d\00\00\00\0e\00\00\00")
  15  (data (i32.const 72) "\0f\00\00\00\10\00\00\00\11\00\00\00")
  16  (data (i32.const 96) "hi\00")
  17  (data (i32.const 100) "\00\00\00\00")
  18  (export "bad0" (func $bad0))
  19  (export "bad1" (func $bad1))
  20  (export "bad2" (func $bad2))
  21  (export "bad3" (func $bad3))
  22  (export "bad4" (func $bad4))
  23  (export "bad5" (func $bad5))
  24  (export "bad6" (func $bad6))
  25  (export "bad7" (func $bad7))
  26  (export "bad8" (func $bad8))
  27  (export "bad9" (func $bad9))
  28  (export "bad10" (func $bad10))
  29  (export "good0" (func $good0))
  30  (export "good1" (func $good1))
  31  (export "good2" (func $good2))
  32  (export "opt0" (func $opt0))
  33  (export "opt1" (func $opt1))
  34  (export "opt2" (func $opt2))
  35  (export "main" (func $main))
  36  (export "stackSave" (func $stackSave))
  37  (export "stackAlloc" (func $stackAlloc))
  38  (export "stackRestore" (func $stackRestore))
  39  (export "dynCall_i" (func $dynCall_i))
  40  (export "dynCall_ii" (func $dynCall_ii))
  41  (func $bad0 (; 2 ;) (type $FUNCSIG$i) (result i32)
  42   (return
  43    (i32.const 0)
  44   )
  45  )
  46  (func $bad1 (; 3 ;) (type $FUNCSIG$i) (result i32)
  47   (return
  48    (i32.const 0)
  49   )
  50  )
  51  (func $bad2 (; 4 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
  52   (return
  53    (i32.const 0)
  54   )
  55  )
  56  (func $bad3 (; 5 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
  57   (return
  58    (i32.const 0)
  59   )
  60  )
  61  (func $bad4 (; 6 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
  62   (return
  63    (i32.const 0)
  64   )
  65  )
  66  (func $bad5 (; 7 ;) (type $FUNCSIG$i) (result i32)
  67   (return
  68    (i32.const 0)
  69   )
  70  )
  71  (func $bad6 (; 8 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
  72   (return
  73    (i32.const 0)
  74   )
  75  )
  76  (func $bad7 (; 9 ;) (type $FUNCSIG$i) (result i32)
  77   (return
  78    (i32.const 0)
  79   )
  80  )
  81  (func $bad8 (; 10 ;) (type $FUNCSIG$i) (result i32)
  82   (return
  83    (i32.const 0)
  84   )
  85  )
  86  (func $bad9 (; 11 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
  87   (return
  88    (i32.const 0)
  89   )
  90  )
  91  (func $bad10 (; 12 ;) (type $FUNCSIG$i) (result i32)
  92   (return
  93    (i32.const 0)
  94   )
  95  )
  96  (func $good0 (; 13 ;) (type $FUNCSIG$i) (result i32)
  97   (return
  98    (i32.const 1)
  99   )
 100  )
 101  (func $good1 (; 14 ;) (type $FUNCSIG$i) (result i32)
 102   (return
 103    (i32.const 1)
 104   )
 105  )
 106  (func $good2 (; 15 ;) (type $FUNCSIG$i) (result i32)
 107   (return
 108    (i32.const 1)
 109   )
 110  )
 111  (func $opt0 (; 16 ;) (type $FUNCSIG$i) (result i32)
 112   (return
 113    (i32.const 0)
 114   )
 115  )
 116  (func $opt1 (; 17 ;) (type $FUNCSIG$i) (result i32)
 117   (return
 118    (i32.const 0)
 119   )
 120  )
 121  (func $opt2 (; 18 ;) (type $FUNCSIG$i) (result i32)
 122   (return
 123    (i32.const 1)
 124   )
 125  )
 126  (func $main (; 19 ;) (result i32)
 127   (local $0 i32)
 128   (local $1 i32)
 129   (local $2 i32)
 130   (set_local $0
 131    (i32.const 0)
 132   )
 133   (block $label$0
 134    (br_if $label$0
 135     (call_indirect (type $FUNCSIG$i)
 136      (i32.load offset=16
 137       (get_local $0)
 138      )
 139     )
 140    )
 141    (br_if $label$0
 142     (call_indirect (type $FUNCSIG$i)
 143      (i32.load offset=20
 144       (get_local $0)
 145      )
 146     )
 147    )
 148    (br_if $label$0
 149     (call_indirect (type $FUNCSIG$i)
 150      (i32.load offset=24
 151       (get_local $0)
 152      )
 153     )
 154    )
 155    (br_if $label$0
 156     (call_indirect (type $FUNCSIG$i)
 157      (i32.load offset=28
 158       (get_local $0)
 159      )
 160     )
 161    )
 162    (br_if $label$0
 163     (call_indirect (type $FUNCSIG$i)
 164      (i32.load offset=32
 165       (get_local $0)
 166      )
 167     )
 168    )
 169    (br_if $label$0
 170     (call_indirect (type $FUNCSIG$i)
 171      (i32.load offset=36
 172       (get_local $0)
 173      )
 174     )
 175    )
 176    (set_local $1
 177     (i32.load offset=40
 178      (get_local $0)
 179     )
 180    )
 181    (set_local $2
 182     (i32.const 1)
 183    )
 184    (block $label$1
 185     (br_if $label$1
 186      (call_indirect (type $FUNCSIG$ii)
 187       (get_local $2)
 188       (get_local $1)
 189      )
 190     )
 191     (br_if $label$1
 192      (call_indirect (type $FUNCSIG$ii)
 193       (get_local $2)
 194       (i32.load offset=44
 195        (get_local $0)
 196       )
 197      )
 198     )
 199     (br_if $label$1
 200      (call_indirect (type $FUNCSIG$ii)
 201       (get_local $2)
 202       (i32.load offset=48
 203        (get_local $0)
 204       )
 205      )
 206     )
 207     (set_local $1
 208      (i32.load offset=52
 209       (get_local $0)
 210      )
 211     )
 212     (set_local $2
 213      (i32.const 96)
 214     )
 215     (block $label$2
 216      (br_if $label$2
 217       (call_indirect (type $FUNCSIG$ii)
 218        (get_local $2)
 219        (get_local $1)
 220       )
 221      )
 222      (br_if $label$2
 223       (call_indirect (type $FUNCSIG$ii)
 224        (get_local $2)
 225        (i32.load offset=56
 226         (get_local $0)
 227        )
 228       )
 229      )
 230      (block $label$3
 231       (br_if $label$3
 232        (i32.eq
 233         (call_indirect (type $FUNCSIG$i)
 234          (i32.load offset=60
 235           (get_local $0)
 236          )
 237         )
 238         (i32.const 0)
 239        )
 240       )
 241       (br_if $label$3
 242        (i32.eq
 243         (call_indirect (type $FUNCSIG$i)
 244          (i32.load offset=64
 245           (get_local $0)
 246          )
 247         )
 248         (i32.const 0)
 249        )
 250       )
 251       (br_if $label$3
 252        (i32.eq
 253         (call_indirect (type $FUNCSIG$i)
 254          (i32.load offset=68
 255           (get_local $0)
 256          )
 257         )
 258         (i32.const 0)
 259        )
 260       )
 261       (block $label$4
 262        (br_if $label$4
 263         (i32.eq
 264          (call_indirect (type $FUNCSIG$i)
 265           (i32.load offset=72
 266            (get_local $0)
 267           )
 268          )
 269          (i32.const 0)
 270         )
 271        )
 272        (br_if $label$4
 273         (i32.eq
 274          (call_indirect (type $FUNCSIG$i)
 275           (i32.load offset=76
 276            (get_local $0)
 277           )
 278          )
 279          (i32.const 0)
 280         )
 281        )
 282        (br_if $label$4
 283         (i32.eq
 284          (call_indirect (type $FUNCSIG$i)
 285           (i32.load offset=80
 286            (get_local $0)
 287           )
 288          )
 289          (i32.const 0)
 290         )
 291        )
 292        (call $exit
 293         (get_local $0)
 294        )
 295        (unreachable)
 296       )
 297       (call $abort)
 298       (unreachable)
 299      )
 300      (call $abort)
 301      (unreachable)
 302     )
 303     (call $abort)
 304     (unreachable)
 305    )
 306    (call $abort)
 307    (unreachable)
 308   )
 309   (call $abort)
 310   (unreachable)
 311  )
 312  (func $__wasm_nullptr (; 20 ;) (type $FUNCSIG$v)
 313   (unreachable)
 314  )
 315  (func $stackSave (; 21 ;) (result i32)
 316   (i32.load offset=4
 317    (i32.const 0)
 318   )
 319  )
 320  (func $stackAlloc (; 22 ;) (param $0 i32) (result i32)
 321   (local $1 i32)
 322   (set_local $1
 323    (i32.load offset=4
 324     (i32.const 0)
 325    )
 326   )
 327   (i32.store offset=4
 328    (i32.const 0)
 329    (i32.and
 330     (i32.sub
 331      (get_local $1)
 332      (get_local $0)
 333     )
 334     (i32.const -16)
 335    )
 336   )
 337   (get_local $1)
 338  )
 339  (func $stackRestore (; 23 ;) (param $0 i32)
 340   (i32.store offset=4
 341    (i32.const 0)
 342    (get_local $0)
 343   )
 344  )
 345  (func $dynCall_i (; 24 ;) (param $fptr i32) (result i32)
 346   (call_indirect (type $FUNCSIG$i)
 347    (get_local $fptr)
 348   )
 349  )
 350  (func $dynCall_ii (; 25 ;) (param $fptr i32) (param $0 i32) (result i32)
 351   (call_indirect (type $FUNCSIG$ii)
 352    (get_local $0)
 353    (get_local $fptr)
 354   )
 355  )
 356 )
 357 ;; METADATA: { "asmConsts": {},"staticBump": 104, "initializers": [] }