{"header":{"message":"Fix multiargument call order bug","description":null,"timestamp":"2026-09-30T07:45:14.042958Z","authors":[{}]},"hash":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC","Fix multiargument call order bug"],["AA",null],["V4DL4DHUIDACFVBYJXKHLTGRMBV5V5EK2MTGESXW62656UDUVNJAC",""],["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","add wat fixtures"],["UMRB3SAELA5HE7DKP53EE7LOUJHYUBLTYKBQMSMCF772GM3W6HIAC","multivalue"],["N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC","start section"],["MS2MWXA7KGHZSH5XIX5UXIUXRT54KLACWCVZJJAV6NYE7AH7TN6AC","port stack/branch/catch-clause"],["LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC","port cg_simple"],["NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC","port cg_seq"],["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","Basic SIMD implementation"],["N2KJFMPH4YS7BB7LGS2ANLSDKCQEZRJUXQQEQOBOZ3W6YQZV5QOAC","multimemory"],["H45DBUF2FMJAAWFUD2AVBTODA5OZR57UYBP3DRJ2MFJJMEJASYKQC","function emit ported"],["F4ZFEBIVDNXWBLR7SB2Q5XA5WPNSBXLXENJWWAZFRMZKUTVTAM6QC","codegen helpers"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["V4DL4DHUIDACFVBYJXKHLTGRMBV5V5EK2MTGESXW62656UDUVNJAC","UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","UMRB3SAELA5HE7DKP53EE7LOUJHYUBLTYKBQMSMCF772GM3W6HIAC","N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC","MS2MWXA7KGHZSH5XIX5UXIUXRT54KLACWCVZJJAV6NYE7AH7TN6AC","LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC","NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC","HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC"],"known":["F4ZFEBIVDNXWBLR7SB2Q5XA5WPNSBXLXENJWWAZFRMZKUTVTAM6QC","H45DBUF2FMJAAWFUD2AVBTODA5OZR57UYBP3DRJ2MFJJMEJASYKQC","N2KJFMPH4YS7BB7LGS2ANLSDKCQEZRJUXQQEQOBOZ3W6YQZV5QOAC"]},"hunks":[{"Edit":{"inode":{"change":14,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":469,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":2552}],"down_context":[{"change":4,"pos":2552}],"flag":"BLOCK","start":0,"end":151,"inode":{"change":14,"pos":62}}},"contents":[{"Add":{"text":" # Verified across every multi-value call path (direct, indirect, ref) so","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:78"}},{"Add":{"text":" # the result-ordering fix in return_body/N is locked in for each.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:150"}}]}},{"Edit":{"inode":{"change":14,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":472,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":2614}],"down_context":[{"change":5,"pos":248}],"flag":"BLOCK","start":152,"end":289,"inode":{"change":14,"pos":62}}},"contents":[{"Add":{"text":" assert call(:\"27_multi_value\", \"sub_swap_indirect\", [3, 7]) == 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:222"}},{"Add":{"text":" assert call(:\"27_multi_value\", \"sub_swap_ref\", [3, 7]) == 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:288"}}]}},{"Edit":{"inode":{"change":14,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":868,"atom":{"NewVertex":{"up_context":[{"change":9,"pos":15}],"down_context":[{"change":9,"pos":15}],"flag":"BLOCK","start":290,"end":1585,"inode":{"change":14,"pos":62}}},"contents":[{"Add":{"text":" # Regression for the multi-arg call-argument-order bug: every call form must","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:368"}},{"Add":{"text":" # pass arguments in WASM parameter order (arg1..argN). The callee is the","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:443"}},{"Add":{"text":" # NON-COMMUTATIVE sub(a,b)=a-b (reads its first param directly, no self-swap),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:524"}},{"Add":{"text":" # so a reversed argument list is observable:","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:571"}},{"Add":{"text":" # correct sub(7,3) = 7-3 = 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:606"}},{"Add":{"text":" # reversed sub(3,7) = 3-7 = -4 (pre-fix compiler)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:662"}},{"Add":{"text":" describe \"call argument order (multi-arg-call-order regression)\" do","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:732"}},{"Add":{"text":" test \"local calls pass arguments in parameter order across every call form\" do","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:815"}},{"Add":{"text":" assert {:module, :\"42_call_arg_order\"} = compile_wat(\"42_call_arg_order\")","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:895"}},{"Add":{"text":" m = :\"42_call_arg_order\"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:926"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:927"}},{"Add":{"text":" assert call(m, \"call_sub\", [7, 3]) == 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:973"}},{"Add":{"text":" assert call(m, \"call_sub_indirect\", [7, 3]) == 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1028"}},{"Add":{"text":" assert call(m, \"call_sub_tail\", [7, 3]) == 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1079"}},{"Add":{"text":" assert call(m, \"call_sub_tail_indirect\", [7, 3]) == 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1139"}},{"Add":{"text":" end","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1147"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1148"}},{"Add":{"text":" test \"imported host function receives arguments in parameter order\" do","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1223"}},{"Add":{"text":" path = Path.join(@wat_build_dir, \"43_import_arg_order.wasm\")","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1290"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1291"}},{"Add":{"text":" imports = %{\"env\" => %{\"sub\" => fn a, b -> a - b end}}","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1352"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1353"}},{"Add":{"text":" assert {:module, :\"43_import_arg_order\"} = WaEmbedder.compile(path, imports, [])","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1440"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1441"}},{"Add":{"text":" # If args are reversed the closure computes 3 - 7 = -4.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1503"}},{"Add":{"text":" assert call(:\"43_import_arg_order\", \"use_sub\", [7, 3]) == 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1569"}},{"Add":{"text":" end","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1577"}},{"Add":{"text":" end","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1583"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1584"}}]}},{"FileAdd":{"meta":{"basename":"43_import_arg_order.wat","metadata":0},"path":"test_data/wat/43_import_arg_order.wat","context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":";; Regression fixture for the multi-arg call-argument-order bug on the IMPORT","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1712"}},{"Add":{"text":";; call path. The imported host function is NON-COMMUTATIVE, `sub(a, b) = a - b`,","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1794"}},{"Add":{"text":";; so its result differs from its reverse and a reversed argument list is","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1868"}},{"Add":{"text":";; observable:","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1883"}},{"Add":{"text":";;","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1886"}},{"Add":{"text":";; correct: sub(7, 3) = 7 - 3 = 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1924"}},{"Add":{"text":";; reversed: sub(3, 7) = 3 - 7 = -4 <-- pre-fix compiler","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1985"}},{"Add":{"text":"(module","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:1993"}},{"Add":{"text":" (import \"env\" \"sub\" (func $sub (param i32 i32) (result i32)))","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2057"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2058"}},{"Add":{"text":" (func $use_sub (export \"use_sub\") (param i32 i32) (result i32)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2123"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2139"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2155"}},{"Add":{"text":" call $sub))","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2171"}}]}},{"FileAdd":{"meta":{"basename":"42_call_arg_order.wat.binaryen","metadata":0},"path":"test_data/wat/42_call_arg_order.wat.binaryen","context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":"--enable-reference-types --enable-tail-call","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2272"}}]}},{"FileAdd":{"meta":{"basename":"42_call_arg_order.wat","metadata":0},"path":"test_data/wat/42_call_arg_order.wat","context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":";; Regression fixture for the multi-arg call-argument-order bug.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2385"}},{"Add":{"text":";;","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2388"}},{"Add":{"text":";; Every WASM call form must pass its arguments to the callee in WASM","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2458"}},{"Add":{"text":";; PARAMETER order (arg1 .. argN). The bug reversed them for N >= 2. We use a","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2536"}},{"Add":{"text":";; NON-COMMUTATIVE callee, `sub(a, b) = a - b`, whose result differs from its","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2614"}},{"Add":{"text":";; reverse, and whose body reads its FIRST parameter directly (local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2689"}},{"Add":{"text":";; first) so there is no self-swap to mask the reversal.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2746"}},{"Add":{"text":";;","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2749"}},{"Add":{"text":";; correct: sub(7, 3) = 7 - 3 = 4","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2787"}},{"Add":{"text":";; reversed: sub(3, 7) = 3 - 7 = -4 <-- pre-fix compiler","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2848"}},{"Add":{"text":";;","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2851"}},{"Add":{"text":";; The exported wrappers each build the argument list on the operand stack in","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:2929"}},{"Add":{"text":";; parameter order and then call the callee, so the exercised path is the","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3003"}},{"Add":{"text":";; caller's argument-list construction. This fixture deliberately covers only","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3081"}},{"Add":{"text":";; the call forms that compile cleanly today (direct call, call_indirect,","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3155"}},{"Add":{"text":";; return_call, return_call_indirect); the call_ref family is exercised by the","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3234"}},{"Add":{"text":";; existing 27_multi_value fixture and is subject to a separate, unrelated","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3309"}},{"Add":{"text":";; codegen lint issue.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3332"}},{"Add":{"text":"(module","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3340"}},{"Add":{"text":" (type $sub_t (func (param i32 i32) (result i32)))","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3392"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3393"}},{"Add":{"text":" ;; Non-commutative, reads its first param directly. NO self-swap.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3461"}},{"Add":{"text":" (func $sub (type $sub_t)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3488"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3504"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3520"}},{"Add":{"text":" i32.sub)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3533"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3534"}},{"Add":{"text":" ;; Table + elem so $sub is reachable indirectly.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3585"}},{"Add":{"text":" (table 1 funcref)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3605"}},{"Add":{"text":" (elem (i32.const 0) func $sub)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3638"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3639"}},{"Add":{"text":" ;; Direct call: sub(a, b).","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3668"}},{"Add":{"text":" (func (export \"call_sub\") (param i32 i32) (result i32)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3725"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3741"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3757"}},{"Add":{"text":" call $sub)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3772"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3773"}},{"Add":{"text":" ;; Indirect call through the funcref table.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3819"}},{"Add":{"text":" (func (export \"call_sub_indirect\") (param i32 i32) (result i32)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3885"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3901"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3917"}},{"Add":{"text":" i32.const 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3933"}},{"Add":{"text":" call_indirect (type $sub_t))","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3966"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:3967"}},{"Add":{"text":" ;; Tail direct call: return_call sub(a, b).","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4013"}},{"Add":{"text":" (func (export \"call_sub_tail\") (param i32 i32) (result i32)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4075"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4091"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4107"}},{"Add":{"text":" return_call $sub)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4129"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4130"}},{"Add":{"text":" ;; Tail indirect call: return_call_indirect sub(a, b).","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4187"}},{"Add":{"text":" (func (export \"call_sub_tail_indirect\") (param i32 i32) (result i32)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4258"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4274"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4290"}},{"Add":{"text":" i32.const 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4306"}},{"Add":{"text":" return_call_indirect (type $sub_t))","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4346"}},{"Add":{"text":")","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4348"}}]}},{"Edit":{"inode":{"change":4,"pos":154},"path":"test_data/wat/27_multi_value.wat","line":58,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":1765}],"down_context":[{"change":4,"pos":1765}],"flag":"BLOCK","start":4350,"end":4799,"inode":{"change":4,"pos":154}}},"contents":[{"Add":{"text":" i32.sub)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4362"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4363"}},{"Add":{"text":" ;; Same order verification through the indirect multi-value call path.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4436"}},{"Add":{"text":" (func (export \"sub_swap_indirect\") (param i32 i32) (result i32)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4502"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4518"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4534"}},{"Add":{"text":" i32.const 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4550"}},{"Add":{"text":" call_indirect (type $swap_t)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4583"}},{"Add":{"text":" i32.sub)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4596"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4597"}},{"Add":{"text":" ;; Same order verification through the call_ref multi-value path.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4665"}},{"Add":{"text":" (func (export \"sub_swap_ref\") (param i32 i32) (result i32)","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4726"}},{"Add":{"text":" local.get 0","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4742"}},{"Add":{"text":" local.get 1","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4758"}},{"Add":{"text":" ref.func $swap","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4777"}},{"Add":{"text":" call_ref $swap_t","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4798"}}]}},{"Edit":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":970,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":2696}],"down_context":[{"change":6,"pos":2696}],"flag":"BLOCK","start":4800,"end":5098,"inode":{"change":10,"pos":48}}},"contents":[{"Add":{"text":" %% pop_n returns the N results deepest-first, i.e. in result order","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4870"}},{"Add":{"text":" %% (first result r0 .. last result r(N-1)). Build the return tuple in that","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:4949"}},{"Add":{"text":" %% same order {r0..r(N-1)} so multi_value_destructure/4 can re-push them","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5026"}},{"Add":{"text":" %% with the last result on top (WASM stack order). Do NOT reverse.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5097"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":975,"ins":{"up_context":[{"change":6,"pos":2731}],"down_context":[{"change":6,"pos":2800}],"flag":"BLOCK","start":5099,"end":5153,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":2731},"to":{"change":6,"start":2731,"end":2800},"introduced_by":6}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {Pre ++ [af_tuple([af_var(V) || V <- Vs])], St1}.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5152"}}],"del_contents":[{"Del":{"text":" {Pre ++ [af_tuple([af_var(V) || V <- lists:reverse(Vs)])], St1}.","pos":"MS2MWXA7KGHZSH5XIX5UXIUXRT54KLACWCVZJJAV6NYE7AH7TN6AC:2799"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1141,"ins":{"up_context":[{"change":7,"pos":2304}],"down_context":[{"change":7,"pos":2402}],"flag":"BLOCK","start":5154,"end":5233,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":2304},"to":{"change":7,"start":2304,"end":2402},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {Pre, Args0, St1} = pop_n(St, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5194"}},{"Add":{"text":" Args = [af_var(V) || V <- Args0],","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5232"}}],"del_contents":[{"Del":{"text":" {Pre, ArgsRev, St1} = pop_n(St, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:2346"}},{"Del":{"text":" Args = [af_var(V) || V <- lists:reverse(ArgsRev)],","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:2401"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1146,"ins":{"up_context":[{"change":7,"pos":2510}],"down_context":[{"change":7,"pos":2608}],"flag":"BLOCK","start":5234,"end":5313,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":2510},"to":{"change":7,"start":2510,"end":2608},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {Pre, Args0, St1} = pop_n(St, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5274"}},{"Add":{"text":" Args = [af_var(V) || V <- Args0],","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5312"}}],"del_contents":[{"Del":{"text":" {Pre, ArgsRev, St1} = pop_n(St, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:2552"}},{"Del":{"text":" Args = [af_var(V) || V <- lists:reverse(ArgsRev)],","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:2607"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1152,"ins":{"up_context":[{"change":7,"pos":2755}],"down_context":[{"change":7,"pos":2853}],"flag":"BLOCK","start":5314,"end":5393,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":2755},"to":{"change":7,"start":2755,"end":2853},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {Pre, Args0, St1} = pop_n(St, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5354"}},{"Add":{"text":" Args = [af_var(V) || V <- Args0],","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5392"}}],"del_contents":[{"Del":{"text":" {Pre, ArgsRev, St1} = pop_n(St, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:2797"}},{"Del":{"text":" Args = [af_var(V) || V <- lists:reverse(ArgsRev)],","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:2852"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1160,"ins":{"up_context":[{"change":7,"pos":3186}],"down_context":[{"change":7,"pos":3295}],"flag":"BLOCK","start":5394,"end":5484,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":3186},"to":{"change":7,"start":3186,"end":3295},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5436"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5483"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:3230"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:3294"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1166,"ins":{"up_context":[{"change":7,"pos":3523}],"down_context":[{"change":7,"pos":3632}],"flag":"BLOCK","start":5485,"end":5575,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":3523},"to":{"change":7,"start":3523,"end":3632},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5527"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5574"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:3567"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:3631"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1173,"ins":{"up_context":[{"change":7,"pos":3899}],"down_context":[{"change":7,"pos":4008}],"flag":"BLOCK","start":5576,"end":5666,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":3899},"to":{"change":7,"start":3899,"end":4008},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5618"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5665"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:3943"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:4007"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1347,"ins":{"up_context":[{"change":7,"pos":8027}],"down_context":[{"change":7,"pos":8136}],"flag":"BLOCK","start":5667,"end":5757,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":8027},"to":{"change":7,"start":8027,"end":8136},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5709"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5756"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:8071"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:8135"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1353,"ins":{"up_context":[{"change":7,"pos":8330}],"down_context":[{"change":7,"pos":8439}],"flag":"BLOCK","start":5758,"end":5848,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":8330},"to":{"change":7,"start":8330,"end":8439},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5800"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5847"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:8374"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:8438"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1359,"ins":{"up_context":[{"change":7,"pos":8655}],"down_context":[{"change":7,"pos":8764}],"flag":"BLOCK","start":5849,"end":5939,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":8655},"to":{"change":7,"start":8655,"end":8764},"introduced_by":7}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5891"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5938"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:8699"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:8763"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1396,"ins":{"up_context":[{"change":8,"pos":872}],"down_context":[{"change":8,"pos":981}],"flag":"BLOCK","start":5940,"end":6030,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":872},"to":{"change":8,"start":872,"end":981},"introduced_by":8}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:5982"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6029"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC:916"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC:980"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1425,"ins":{"up_context":[{"change":8,"pos":2193}],"down_context":[{"change":8,"pos":2291}],"flag":"BLOCK","start":6031,"end":6110,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":2193},"to":{"change":8,"start":2193,"end":2291},"introduced_by":8}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {Pre, Args0, St1} = pop_n(St, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6071"}},{"Add":{"text":" Args = [af_var(V) || V <- Args0],","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6109"}}],"del_contents":[{"Del":{"text":" {Pre, ArgsRev, St1} = pop_n(St, Argc),","pos":"NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC:2235"}},{"Del":{"text":" Args = [af_var(V) || V <- lists:reverse(ArgsRev)],","pos":"NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC:2290"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1457,"ins":{"up_context":[{"change":8,"pos":3893}],"down_context":[{"change":8,"pos":4002}],"flag":"BLOCK","start":6111,"end":6201,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":3893},"to":{"change":8,"start":3893,"end":4002},"introduced_by":8}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" {PreA, Args0, St2} = pop_n(St1, Argc),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6153"}},{"Add":{"text":" Args = af_list([af_var(V) || V <- Args0]),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6200"}}],"del_contents":[{"Del":{"text":" {PreA, ArgsRev, St2} = pop_n(St1, Argc),","pos":"NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC:3937"}},{"Del":{"text":" Args = af_list([af_var(V) || V <- lists:reverse(ArgsRev)]),","pos":"NAO7EQC2QV3N3P72BCWCVZ3WUFQN65VOGP4B5XCLVC7IE6UYVVUQC:4001"}}]}},{"FileAdd":{"meta":{"basename":"CHANGELOG.md","metadata":0},"path":"CHANGELOG.md","context":[{"change":2,"pos":1}],"contents":[{"Add":{"text":"# Changelog","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6251"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6252"}},{"Add":{"text":"All notable changes to this project will be documented in this file.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6321"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6322"}},{"Add":{"text":"The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6403"}},{"Add":{"text":"and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6491"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6492"}},{"Add":{"text":"This file covers both packages in the repo: the Erlang core `wa_embedder` and the","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6574"}},{"Add":{"text":"Elixir wrapper `wa_embedder_ex`, which are versioned together.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6637"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6638"}},{"Add":{"text":"## [Unreleased]","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6654"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6655"}},{"Add":{"text":"### Fixed","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6665"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6666"}},{"Add":{"text":"- Multi-argument calls no longer pass their arguments in reversed order. Every","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6745"}},{"Add":{"text":" call form (`call`, `call_indirect`, `call_ref`, and the tail forms","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6814"}},{"Add":{"text":" `return_call`, `return_call_indirect`, `return_call_ref`) now passes arguments","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6895"}},{"Add":{"text":" to the callee in WASM parameter order (`arg1 .. argN`). Previously a call with","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:6976"}},{"Add":{"text":" two or more arguments reversed them, so a non-commutative or imported callee —","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7059"}},{"Add":{"text":" e.g. `sub(7, 3)` — received `(3, 7)` and computed `-4` instead of `4`. The","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7138"}},{"Add":{"text":" reversal was latent for local calls (masked by commutative fixtures and a","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7214"}},{"Add":{"text":" self-swapping multi-value fixture) and observable for imported host functions.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7295"}},{"Add":{"text":"- Multi-value function results no longer land on the caller's operand stack in","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7374"}},{"Add":{"text":" reversed order. A function returning `N >= 2` results now places them so the","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7453"}},{"Add":{"text":" last result is on top of the stack (WASM stack order), so a result-order","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7528"}},{"Add":{"text":" sensitive consumer computes the correct value. This bug was previously hidden","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7608"}},{"Add":{"text":" because it exactly cancelled the multi-argument call reversal for the one","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7684"}},{"Add":{"text":" order-sensitive fixture; fixing the argument order surfaced it.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7750"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7751"}},{"Add":{"text":"### Added","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7761"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7762"}},{"Add":{"text":"- Regression fixtures and tests guarding call and multi-value ordering:","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7834"}},{"Add":{"text":" - `test_data/wat/42_call_arg_order.wat` — a non-commutative local","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7904"}},{"Add":{"text":" `sub(a, b) = a - b` exercised through the direct, indirect, and tail call","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7982"}},{"Add":{"text":" forms.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:7993"}},{"Add":{"text":" - `test_data/wat/43_import_arg_order.wat` — a non-commutative imported","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8068"}},{"Add":{"text":" `sub(a, b)` bound to a host closure, guarding the import call path.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8140"}},{"Add":{"text":" - `sub_swap_indirect` and `sub_swap_ref` in `test_data/wat/27_multi_value.wat`,","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8222"}},{"Add":{"text":" asserting correct multi-value result ordering across the direct, indirect,","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8301"}},{"Add":{"text":" and `call_ref` paths.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8327"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8328"}},{"Add":{"text":"## [0.2.0]","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8339"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8340"}},{"Add":{"text":"- Previous released version.","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8369"}},{"Add":{"text":"","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8370"}},{"Add":{"text":"[Unreleased]: https://nest.pijul.com/couchemar/wa_embedder","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8429"}},{"Add":{"text":"[0.2.0]: https://nest.pijul.com/couchemar/wa_embedder","pos":"EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC:8483"}}]}}],"owner":"couchemar","repo":"wa_embedder","login":null}

…

Dependencies

Change contents

Review