1;;! target = "x86_64" 2 3(module 4 (func (export "f") (param i64 i32) (result i64 i64) 5 (local.get 0) 6 (local.get 1) 7 ;; If with else. Fewer params than results. 8 (if (param i64) (result i64 i64) 9 (then 10 (i64.const -1)) 11 (else 12 (i64.const -2))))) 13 14;; function u0:0(i64 vmctx, i64, i64, i32) -> i64, i64 tail { 15;; gv0 = vmctx 16;; gv1 = load.i64 notrap aligned readonly gv0+8 17;; gv2 = load.i64 notrap aligned gv1+24 18;; stack_limit = gv2 19;; 20;; block0(v0: i64, v1: i64, v2: i64, v3: i32): 21;; @002c brif v3, block2, block4 22;; 23;; block2: 24;; @002e v9 = iconst.i64 -1 25;; @0030 jump block3(v9) ; v9 = -1 26;; 27;; block4: 28;; @0031 v10 = iconst.i64 -2 29;; @0033 jump block3(v10) ; v10 = -2 30;; 31;; block3(v7: i64): 32;; @0034 jump block1(v7) 33;; 34;; block1(v5: i64): 35;; @0034 return v2, v5 36;; } 37