pkg/dart2wasm/test/ir_tests/deferred.constant_module1.wat

(module $module1
  (type $#Top <...>)
  (type $Object <...>)
  (type $Array<Object?> <...>)
  (type $_Type <...>)
  (type $Array<_Type> <...>)
  (type $JSStringImpl <...>)
  (type $type21 <...>)
  (type $_TopType <...>)
  (type $Array<_NamedParameter> <...>)
  (type $_FunctionType <...>)
  (type $#ClosureBase <...>)
  (type $#Vtable-0-1 <...>)
  (type $#Closure-0-1 <...>)
  (type $#Vtable-1-1 <...>)
  (type $#Closure-1-1 <...>)
  (type $#InstantiationContext-1-1 <...>)
  (type $H1 (sub final $Object (struct
    (field $field0 i32)
    (field $field1 (mut i32))
    (field $fun (ref $#Closure-0-1)))))
  (type $#DummyStruct <...>)
  (type $_InterfaceType <...>)
  (type $BoxedInt <...>)
  (func $print (import "module0" "func5") (param (ref null $#Top)) (result (ref null $#Top)))
  (func $JSStringImpl._interpolate (import "module0" "func6") (param (ref $Array<Object?>)) (result (ref $JSStringImpl)))
  (global $"C21 \")\"" (import "module0" "global0") (ref $JSStringImpl))
  (global $"C1 WasmArray<_Type>[0]" (import "module0" "global1") (ref $Array<_Type>))
  (global $"C339 _TopType" (import "module0" "global2") (ref $_TopType))
  (global $"C61 WasmArray<_Type>[1]" (import "module0" "global3") (ref $Array<_Type>))
  (global $"C314 WasmArray<_NamedParameter>[0]" (import "module0" "global4") (ref $Array<_NamedParameter>))
  (global $"C28 _InterfaceType" (import "module0" "global7") (ref $_InterfaceType))
  (global $.globalH1Bar< (import "" "globalH1Bar<") (ref extern))
  (table $module0.constant-table0 (import "module0" "constant-table0") 1 (ref null $_FunctionType))
  (global $global7 (ref $#Vtable-1-1) <...>)
  (global $global4 (ref $#DummyStruct) <...>)
  (global $"C467 _FunctionType" (ref $_FunctionType) <...>)
  (global $"C468 globalH1Foo tear-off" (mut (ref null $#Closure-1-1))
    (ref.null none))
  (global $"C469 InstantiationConstant(globalH1Foo<int>)" (mut (ref null $#Closure-0-1))
    (ref.null none))
  (global $"C470 H1" (mut (ref null $H1))
    (ref.null none))
  (global $"C471 \"globalH1Bar<\"" (ref $JSStringImpl)
    (i32.const 4)
    (i32.const 0)
    (global.get $.globalH1Bar<)
    (struct.new $JSStringImpl))
  (global $"C472 \">(\"" (ref $JSStringImpl) <...>)
  (func $"modH1UseH1 <noInline>" (result (ref null $#Top))
    (local $var0 (ref $#Closure-0-1))
    block $label0 (result (ref $H1))
      global.get $"C470 H1"
      br_on_non_null $label0
      call $"C470 H1 (lazy initializer)}"
    end $label0
    call $print
    drop
    block $label1 (result (ref $H1))
      global.get $"C470 H1"
      br_on_non_null $label1
      call $"C470 H1 (lazy initializer)}"
    end $label1
    struct.get $H1 $fun
    local.tee $var0
    struct.get $#Closure-0-1 $context
    i32.const 84
    i64.const 1
    struct.new $BoxedInt
    local.get $var0
    struct.get $#Closure-0-1 $vtable
    struct.get $#Vtable-0-1 $closureCallEntry-0-1
    call_ref $type21
    drop
    ref.null none
  )
  (func $"globalH1Foo tear-off trampoline" (param $var0 (ref struct)) (param $var1 (ref $_Type)) (param $var2 (ref null $#Top)) (result (ref null $#Top))
    global.get $"C471 \"globalH1Bar<\""
    local.get $var1
    global.get $"C472 \">(\""
    local.get $var2
    global.get $"C21 \")\""
    array.new_fixed $Array<Object?> 5
    call $JSStringImpl._interpolate
    call $print
  )
  (func $"C468 globalH1Foo tear-off (lazy initializer)}" (result (ref $#Closure-1-1))
    (local $var0 (ref $#Closure-1-1))
    i32.const 32
    i32.const 0
    global.get $global4
    global.get $global7
    global.get $"C467 _FunctionType"
    struct.new $#Closure-1-1
    local.tee $var0
    global.set $"C468 globalH1Foo tear-off"
    local.get $var0
  )
  (func $dynamic call entry (param $var0 (ref $#ClosureBase)) (param $var1 (ref $Array<_Type>)) (param $var2 (ref $Array<Object?>)) (param $var3 (ref $Array<Object?>)) (result (ref null $#Top)) <...>)
  (func $#dummy function (ref struct) -> (ref null #Top) (param $var0 (ref struct)) (result (ref null $#Top)) <...>)
  (func $instantiation constant trampoline (param $var0 (ref struct)) (param $var1 (ref null $#Top)) (result (ref null $#Top)) <...>)
  (func $"C470 H1 (lazy initializer)}" (result (ref $H1))
    (local $var0 (ref $_FunctionType))
    (local $var1 (ref $#Closure-0-1))
    (local $var2 (ref $H1))
    i32.const 115
    i32.const 0
    block $label0 (result (ref $#Closure-0-1))
      global.get $"C469 InstantiationConstant(globalH1Foo<int>)"
      br_on_non_null $label0
      i32.const 32
      i32.const 0
      block $label1 (result (ref $#Closure-1-1))
        global.get $"C468 globalH1Foo tear-off"
        br_on_non_null $label1
        call $"C468 globalH1Foo tear-off (lazy initializer)}"
      end $label1
      global.get $"C28 _InterfaceType"
      struct.new $#InstantiationContext-1-1
      ref.func $"dynamic call entry"
      ref.func $"#dummy function (ref struct) -> (ref null #Top)"
      ref.func $"instantiation constant trampoline"
      struct.new $#Vtable-0-1
      block $label2 (result (ref $_FunctionType))
        i32.const 0
        table.get $module0.constant-table0
        br_on_non_null $label2
        i32.const 0
        i32.const 12
        i32.const 0
        i32.const 0
        i64.const 0
        global.get $"C1 WasmArray<_Type>[0]"
        global.get $"C1 WasmArray<_Type>[0]"
        global.get $"C339 _TopType"
        global.get $"C61 WasmArray<_Type>[1]"
        i64.const 1
        global.get $"C314 WasmArray<_NamedParameter>[0]"
        struct.new $_FunctionType
        local.tee $var0
        table.set $module0.constant-table0
        local.get $var0
      end $label2
      struct.new $#Closure-0-1
      local.tee $var1
      global.set $"C469 InstantiationConstant(globalH1Foo<int>)"
      local.get $var1
    end $label0
    struct.new $H1
    local.tee $var2
    global.set $"C470 H1"
    local.get $var2
  )
)