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

(module $M
  (type $#Top (struct
    (field $field0 i32)))
  (type $JSExternWrapper (sub $#Top (struct
    (field $field0 i32)
    (field $_externRef externref))))
  (func $"dart2wasm.M (import)" (import "dart2wasm" "M") (param externref) (result externref))
  (func $"dart2wasm.P (import)" (import "dart2wasm" "P") (param externref) (result externref))
  (global $.a (import "" "a") (ref extern))
  (global $"stringValueNullable initialized" (mut i32) <...>)
  (global $stringValueNullable (mut (ref null $JSExternWrapper)) <...>)
  (func $ktrue implicit getter (result i32) <...>)
  (func $new JSStringImpl.fromRef (param $var0 externref) (result (ref $JSExternWrapper)) <...>)
  (func $stringValue implicit getter (result (ref $JSExternWrapper)) <...>)
  (func $JSStringImpl.fromRefNullable (param $var0 externref) (result (ref null $JSExternWrapper)) <...>)
  (func $sinkString (param $var0 (ref $JSExternWrapper)) <...>)
  (func $sinkStringNullable (param $var0 (ref null $JSExternWrapper)) <...>)
  (@binaryen.inline 0)
  (func $testStringConstant
    global.get $.a
    call $"dart2wasm.P (import)"
    call $"new JSStringImpl.fromRef"
    call $sinkString
  )
  (@binaryen.inline 0)
  (func $testStringConstantNullable
    ref.null noextern
    call $"dart2wasm.M (import)"
    call $JSStringImpl.fromRefNullable
    call $sinkStringNullable
  )
  (@binaryen.inline 0)
  (func $testStringValue
    call $"stringValue implicit getter"
    struct.get $JSExternWrapper $_externRef
    call $"dart2wasm.P (import)"
    call $"new JSStringImpl.fromRef"
    call $sinkString
  )
  (@binaryen.inline 0)
  (func $testStringValueNullable
    (local $var0 (ref null $JSExternWrapper))
    (local $var1 (ref null $JSExternWrapper))
    global.get $"stringValueNullable initialized"
    if (result (ref null $JSExternWrapper))
      global.get $stringValueNullable
    else
      call $"ktrue implicit getter"
      if (result (ref null $JSExternWrapper))
        call $"stringValue implicit getter"
      else
        ref.null none
      end
      local.tee $var0
      global.set $stringValueNullable
      i32.const 1
      global.set $"stringValueNullable initialized"
      local.get $var0
    end
    local.tee $var1
    ref.is_null
    if (result externref)
      ref.null noextern
    else
      local.get $var1
      struct.get $JSExternWrapper $_externRef
    end
    call $"dart2wasm.M (import)"
    call $JSStringImpl.fromRefNullable
    call $sinkStringNullable
  )
)