pkg/dart2wasm/test/ir_tests/interop.int.wat

(module $module0
  (type $#Top (struct
    (field $field0 i32)))
  (type $BoxedInt (sub final $#Top (struct
    (field $field0 i32)
    (field $value i64))))
  (func $"dart2wasm._274 (import)" (import "dart2wasm" "_274") (param externref) (result externref))
  (func $"dart2wasm._275 (import)" (import "dart2wasm" "_275") (param externref) (result externref))
  (global $ktrue (mut i32) <...>)
  (global $intValue (mut i64) <...>)
  (global $"ktrue initialized" (mut i32) <...>)
  (global $"intValue initialized" (mut i32) <...>)
  (global $"intValueNullable initialized" (mut i32) <...>)
  (global $intValueNullable (mut (ref null $BoxedInt)) <...>)
  (func $"testIntConstant <noInline>"
    (local $var0 externref)
    i64.const 1
    call $jsifyInt
    call $"dart2wasm._274 (import)"
    local.tee $var0
    call $isDartNull
    if (result i64)
      call $"_throwArgumentNullError <noInline>"
      unreachable
    else
      local.get $var0
      call $dartifyInt
    end
    call $"sinkInt <noInline>"
  )
  (func $"testIntConstantNullable <noInline>"
    (local $var0 externref)
    ref.null noextern
    call $"dart2wasm._275 (import)"
    local.tee $var0
    call $isDartNull
    if (result (ref null $BoxedInt))
      ref.null none
    else
      i32.const 65
      local.get $var0
      call $dartifyInt
      struct.new $BoxedInt
    end
    call $"sinkIntNullable <noInline>"
  )
  (func $"testIntValue <noInline>"
    (local $var0 externref)
    global.get $"intValue initialized"
    if (result i64)
      global.get $intValue
    else
      call $"intValue implicit getter"
    end
    call $jsifyInt
    call $"dart2wasm._274 (import)"
    local.tee $var0
    call $isDartNull
    if (result i64)
      call $"_throwArgumentNullError <noInline>"
      unreachable
    else
      local.get $var0
      call $dartifyInt
    end
    call $"sinkInt <noInline>"
  )
  (func $"testIntValueNullable <noInline>"
    (local $var0 (ref null $BoxedInt))
    (local $var1 externref)
    global.get $"intValueNullable initialized"
    i32.eqz
    if
      global.get $"ktrue initialized"
      if (result i32)
        global.get $ktrue
      else
        call $"ktrue implicit getter"
      end
      if (result (ref null $BoxedInt))
        i32.const 65
        global.get $"intValue initialized"
        if (result i64)
          global.get $intValue
        else
          call $"intValue implicit getter"
        end
        struct.new $BoxedInt
      else
        ref.null none
      end
      global.set $intValueNullable
      i32.const 1
      global.set $"intValueNullable initialized"
    end
    global.get $intValueNullable
    local.tee $var0
    ref.is_null
    if (result externref)
      ref.null noextern
    else
      local.get $var0
      call $jsifyRaw
    end
    call $"dart2wasm._275 (import)"
    local.tee $var1
    call $isDartNull
    if (result (ref null $BoxedInt))
      ref.null none
    else
      i32.const 65
      local.get $var1
      call $dartifyInt
      struct.new $BoxedInt
    end
    call $"sinkIntNullable <noInline>"
  )
  (func $jsifyRaw (param $var0 (ref null $#Top)) (result externref) <...>)
  (func $isDartNull (param $var0 externref) (result i32) <...>)
  (func $dartifyInt (param $var0 externref) (result i64) <...>)
  (func $sinkIntNullable <noInline> (param $var0 (ref null $BoxedInt)) <...>)
  (func $jsifyInt (param $var0 i64) (result externref) <...>)
  (func $_throwArgumentNullError <noInline>  <...>)
  (func $ktrue implicit getter (result i32) <...>)
  (func $intValue implicit getter (result i64) <...>)
  (func $sinkInt <noInline> (param $var0 i64) <...>)
)