pkg/dart2wasm/test/ir_tests/try_blocks.wat

(module $M
  (type $#Top <...>)
  (type $Array<WasmI16> <...>)
  (type $Array<WasmI32> <...>)
  (type $JSExternWrapper <...>)
  (type $JavaScriptStack <...>)
  (tag $tag0 (param (ref $#Top) (ref $#Top)))
  (global $"WasmArray<WasmI16>[776]" (ref $Array<WasmI16>) <...>)
  (global $"WasmArray<WasmI32>[234]" (ref $Array<WasmI32>) <...>)
  (global $"WasmArray<WasmI32>[776]" (ref $Array<WasmI32>) <...>)
  (global $"\"Caught Error\"" (ref $JSExternWrapper) <...>)
  (global $"\"Caught JSAny\"" (ref $JSExternWrapper) <...>)
  (global $"\"Caught Object\"" (ref $JSExternWrapper) <...>)
  (func $boxJsException (param $var0 externref) (result (ref $#Top)) <...>)
  (func $f  <...>)
  (func $jsExceptionStackTrace (param $var0 externref) (result (ref $JavaScriptStack)) <...>)
  (func $print (param $var0 (ref $#Top)) <...>)
  (@binaryen.inline 0)
  (func $tryBlocks1
    (local $var0 i32)
    (local $var1 (ref $#Top))
    (local $var2 (ref $#Top))
    (local $var3 (ref $#Top))
    (local $var4 externref)
    block $label0
      block $label1 (result (ref $#Top)) (result (ref $#Top))
        try $label2
          call $f
          br $label0
        catch $tag0
          local.set $var3
          local.set $var2
          local.get $var2
          local.tee $var1
          local.get $var3
          local.get $var1
          struct.get $#Top $field0
          local.tee $var0
          i32.const 60
          i32.eq
          if (result i32)
            i32.const 0
          else
            block $label3 (result i32)
              i32.const -1
              global.get $"WasmArray<WasmI32>[234]"
              i32.const 60
              array.get $Array<WasmI32>
              local.get $var0
              i32.add
              local.tee $var0
              i32.const 776
              i32.ge_u
              br_if $label3
              drop
              global.get $"WasmArray<WasmI32>[776]"
              local.get $var0
              array.get $Array<WasmI32>
              i32.const 60
              i32.eq
              if
                global.get $"WasmArray<WasmI16>[776]"
                local.get $var0
                array.get_u $Array<WasmI16>
                br $label3
              end
              i32.const -1
            end $label3
          end
          i32.const -1
          i32.ne
          br_if $label1
          drop
          drop
          rethrow $label2
        catch $WebAssembly.JSTag
          local.tee $var4
          call $boxJsException
          local.get $var4
          call $jsExceptionStackTrace
          br $label1
        end $label2
        unreachable
      end $label1
      drop
      drop
      global.get $"\"Caught JSAny\""
      call $print
    end $label0
  )
  (@binaryen.inline 0)
  (func $tryBlocks2
    (local $var0 (ref $#Top))
    (local $var1 (ref $#Top))
    (local $var2 (ref $#Top))
    (local $var3 externref)
    block $label0
      block $label1 (result (ref $#Top)) (result (ref $#Top))
        try $label2
          call $f
          br $label0
        catch $tag0
          local.set $var1
          local.set $var0
          local.get $var0
          local.get $var1
          br $label1
        catch $WebAssembly.JSTag
          local.tee $var3
          call $boxJsException
          local.get $var3
          call $jsExceptionStackTrace
          br $label1
        end
        unreachable
      end $label1
      drop
      drop
      global.get $"\"Caught Object\""
      call $print
    end $label0
  )
  (@binaryen.inline 0)
  (func $tryBlocks3
    (local $var0 i32)
    (local $var1 (ref $#Top))
    (local $var2 (ref $#Top))
    block $label0
      block $label1
        try $label2
          call $f
          br $label0
        catch $tag0
          local.set $var2
          local.set $var1
          block $label3 (result i32)
            block $label4
              local.get $var1
              struct.get $#Top $field0
              local.tee $var0
              i32.const 54
              i32.le_u
              if
                local.get $var0
                i32.const 38
                i32.le_u
                if
                  i32.const 1
                  local.get $var0
                  i32.const 38
                  i32.eq
                  br_if $label3
                  drop
                  br $label4
                end
                i32.const 1
                local.get $var0
                i32.const 43
                i32.ge_u
                br_if $label3
                drop
                br $label4
              end
              local.get $var0
              i32.const 101
              i32.le_u
              if
                i32.const 1
                local.get $var0
                i32.const 101
                i32.eq
                br_if $label3
                drop
                br $label4
              end
              i32.const 1
              local.get $var0
              i32.const 104
              i32.eq
              br_if $label3
              drop
            end $label4
            i32.const 0
          end $label3
          br_if $label1
          rethrow $label2
        end $label2
        unreachable
      end $label1
      global.get $"\"Caught Error\""
      call $print
    end $label0
  )
)