1;;! target = "x86_64" 2 3(module 4 (func (export "f") (param i64 i32) (result i64) 5 (local.get 0) 6 (local.get 1) 7 ;; If with no else. Same number of params and results. 8 (if (param i64) (result i64) 9 (then 10 (drop) 11 (i64.const -1))))) 12 13;; function u0:0(i64 vmctx, i64, i64, i32) -> i64 tail { 14;; gv0 = vmctx 15;; gv1 = load.i64 notrap aligned readonly gv0+8 16;; gv2 = load.i64 notrap aligned gv1+24 17;; stack_limit = gv2 18;; 19;; block0(v0: i64, v1: i64, v2: i64, v3: i32): 20;; @002a brif v3, block2, block3(v2) 21;; 22;; block2: 23;; @002d v6 = iconst.i64 -1 24;; @002f jump block3(v6) ; v6 = -1 25;; 26;; block3(v5: i64): 27;; @0030 jump block1(v5) 28;; 29;; block1(v4: i64): 30;; @0030 return v4 31;; } 32