Path: blob/main/tests/disas/call-indirect.wat
1690 views
;;! target = "x86_64"
(module
(table (export "t") 0 100 funcref)
(func (export "f") (param i32 i32) (result i32)
(call_indirect (param i32) (result i32) (local.get 0) (local.get 1))
)
)
;; function u0:0(i64 vmctx, i64, i32, i32) -> i32 tail {
;; gv0 = vmctx
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1+16
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned gv3+48
;; gv5 = load.i64 notrap aligned gv3+56
;; sig0 = (i64 vmctx, i64, i32) -> i32 tail
;; sig1 = (i64 vmctx, i32, i64) -> i64 tail
;; fn0 = colocated u1610612736:9 sig1
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
;; @0035 v5 = load.i64 notrap aligned v0+56
;; @0035 v6 = ireduce.i32 v5
;; @0035 v7 = icmp uge v3, v6
;; @0035 v8 = uextend.i64 v3
;; @0035 v9 = load.i64 notrap aligned v0+48
;; v30 = iconst.i64 3
;; @0035 v10 = ishl v8, v30 ; v30 = 3
;; @0035 v11 = iadd v9, v10
;; @0035 v12 = iconst.i64 0
;; @0035 v13 = select_spectre_guard v7, v12, v11 ; v12 = 0
;; @0035 v14 = load.i64 user5 aligned table v13
;; v29 = iconst.i64 -2
;; @0035 v15 = band v14, v29 ; v29 = -2
;; @0035 brif v14, block3(v15), block2
;;
;; block2 cold:
;; @0035 v17 = iconst.i32 0
;; @0035 v19 = uextend.i64 v3
;; @0035 v20 = call fn0(v0, v17, v19) ; v17 = 0
;; @0035 jump block3(v20)
;;
;; block3(v16: i64):
;; @0035 v22 = load.i64 notrap aligned readonly can_move v0+40
;; @0035 v23 = load.i32 notrap aligned readonly can_move v22+4
;; @0035 v24 = load.i32 user6 aligned readonly v16+16
;; @0035 v25 = icmp eq v24, v23
;; @0035 trapz v25, user7
;; @0035 v26 = load.i64 notrap aligned readonly v16+8
;; @0035 v27 = load.i64 notrap aligned readonly v16+24
;; @0035 v28 = call_indirect sig0, v26(v27, v0, v2)
;; @0038 jump block1
;;
;; block1:
;; @0038 return v28
;; }