{"header":{"message":"compilation for the control flow","description":null,"timestamp":"2026-08-24T06:03:16.168892Z","authors":[{}]},"hash":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIELrmBO3AzxdzQnCQ0NYwyGTTDNhyOxUD69vMNe6o2xc"}],"deps":{"hashes":[["RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC","compilation for the control flow"],["AA",null],["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC","Initial commit"],["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","First success compilation"],["AXE5PJ43T37DV36GECBPSDGPBDTVKG57BRKVS62XP7X7CYTZN77AC","Fix compiler warnings"],["BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC","Support (int) identity function"],["ZWKILT2IJQ4PELLVZ7MSKFLS6CK4WFXPPENCNCDG46JLI67B743QC","Int + added"],["LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC","Some basic i32 arithm"],["YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC","Simple condition compilation"],["BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC","Int comparison"],["5M2W4SVPK6W5F3AFT7YZFFA54LOX4P554T7PZUYUN2RRTM37RNKAC","Compile WAT"],["P76JF3PGFP37YJS5APUTSZBVI6MZLH3SMWCPFMBODRFT3UYIBQTAC","fix compilation"],["IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC","control flow compilation funcs"],["7LMA655YNWFCPB7JQ7PAVRTBA3SRZXIKUPUB6KI6DRPWKV3DRS4AC","Add cover compile function"],["QAKILUOG6AE7UHFNF4LMFDK7FO7QOVFLTXVQKQZ56VXPIBUJUVIAC","Handle module name"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC","VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","AXE5PJ43T37DV36GECBPSDGPBDTVKG57BRKVS62XP7X7CYTZN77AC","BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC","ZWKILT2IJQ4PELLVZ7MSKFLS6CK4WFXPPENCNCDG46JLI67B743QC","LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC","YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC","BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC","5M2W4SVPK6W5F3AFT7YZFFA54LOX4P554T7PZUYUN2RRTM37RNKAC","P76JF3PGFP37YJS5APUTSZBVI6MZLH3SMWCPFMBODRFT3UYIBQTAC","IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC"],"known":["QAKILUOG6AE7UHFNF4LMFDK7FO7QOVFLTXVQKQZ56VXPIBUJUVIAC","7LMA655YNWFCPB7JQ7PAVRTBA3SRZXIKUPUB6KI6DRPWKV3DRS4AC"]},"hunks":[{"Edit":{"inode":{"change":16,"pos":62},"path":"test/wa_embedder_test.exs","line":64,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":10,"pos":3135},"to":{"change":10,"start":3135,"end":3237},"introduced_by":10}],"inode":{"change":16,"pos":62}}},"contents":[{"Del":{"text":" @describetag skip: \"control flow not implemented yet - remove skip tags when loops/branches land\"","pos":"5M2W4SVPK6W5F3AFT7YZFFA54LOX4P554T7PZUYUN2RRTM37RNKAC:3236"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":5,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":1404}],"down_context":[{"change":3,"pos":0}],"flag":"BLOCK","start":0,"end":243,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:0"}},{"Add":{"text":" @m32 4_294_967_295","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:21"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:22"}},{"Add":{"text":" @unary_nums [:eqz, :clz, :ctz, :popcnt]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:64"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:65"}},{"Add":{"text":" @supported_nums ~w(","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:87"}},{"Add":{"text":" add sub mul div_s div_u rem_s rem_u and or xor shl shr_s shr_u rotl rotr","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:164"}},{"Add":{"text":" eq ne lt_s lt_u gt_s gt_u le_s le_u ge_s ge_u","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:214"}},{"Add":{"text":" eqz clz ctz popcnt","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:237"}},{"Add":{"text":" )a","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:242"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":38,"ins":{"up_context":[{"change":3,"pos":428}],"down_context":[{"change":11,"pos":34}],"flag":"BLOCK","start":244,"end":293,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":428},"to":{"change":11,"start":0,"end":34},"introduced_by":11}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" case :compile.forms(forms, [:debug_info]) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:292"}}],"del_contents":[{"Del":{"text":" case :compile.forms(forms) do","pos":"P76JF3PGFP37YJS5APUTSZBVI6MZLH3SMWCPFMBODRFT3UYIBQTAC:33"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":82,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1088}],"down_context":[{"change":3,"pos":1088}],"flag":"BLOCK","start":294,"end":1024,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:294"}},{"Add":{"text":" # ==========================================================================","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:373"}},{"Add":{"text":" # Control-flow compilation: structured WASM -> flat CFG ops -> basic","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:444"}},{"Add":{"text":" # blocks -> one tail-called Erlang function per block (`f__b`","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:518"}},{"Add":{"text":" # taking `(Stack, Locals)`). Branches carry exactly their label's arity","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:592"}},{"Add":{"text":" # via `lists:split/2`; loops are back-edge tail calls (constant stack).","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:666"}},{"Add":{"text":" #","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:670"}},{"Add":{"text":" # i32 values are raw Erlang integers; every arithmetic helper normalizes","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:745"}},{"Add":{"text":" # operands to canonical u32 (`band 16#FFFFFFFF`) and biases for signed","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:818"}},{"Add":{"text":" # ops (`A - ((A bsr 31) bsl 32)`), so wrapping and sign handling live in","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:893"}},{"Add":{"text":" # one place. Comparisons return Erlang booleans.","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:944"}},{"Add":{"text":" # ==========================================================================","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1023"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":96,"ins":{"up_context":[{"change":6,"pos":507}],"down_context":[{"change":2,"pos":1431}],"flag":"BLOCK","start":1025,"end":1198,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":489},"to":{"change":3,"start":1148,"end":1173},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":6,"pos":507},"to":{"change":3,"start":1148,"end":1173},"introduced_by":6},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1148},"to":{"change":3,"start":1148,"end":1173},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1173},"to":{"change":4,"start":93,"end":260},"introduced_by":4}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" exported =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1039"}},{"Add":{"text":" Stream.filter(export, fn {_name, {t, _idx}} -> t == :func end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1108"}},{"Add":{"text":" |> Enum.into(%{}, fn {name, {_t, idx}} -> {idx, :erlang.binary_to_atom(name)} end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1197"}}],"del_contents":[{"Del":{"text":" exported_functions =","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1172"}},{"Del":{"text":" Stream.filter(export, fn {_name, {type, _idx}} -> type == :func end)","pos":"AXE5PJ43T37DV36GECBPSDGPBDTVKG57BRKVS62XP7X7CYTZN77AC:167"}},{"Del":{"text":" |> Enum.into(%{}, fn {name, {_type, idx}} -> {idx, :erlang.binary_to_atom(name)} end)","pos":"AXE5PJ43T37DV36GECBPSDGPBDTVKG57BRKVS62XP7X7CYTZN77AC:259"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":100,"ins":{"up_context":[{"change":2,"pos":1432}],"down_context":[{"change":5,"pos":1257}],"flag":"BLOCK","start":1199,"end":1429,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1432},"to":{"change":3,"start":1337,"end":1346},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1385},"to":{"change":3,"start":1385,"end":1412},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1412},"to":{"change":5,"start":490,"end":524},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":524},"to":{"change":6,"start":508,"end":587},"introduced_by":6},{"previous":"","flag":"DELETED","from":{"change":6,"pos":587},"to":{"change":5,"start":558,"end":609},"introduced_by":6},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":558},"to":{"change":5,"start":558,"end":609},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":609},"to":{"change":3,"start":1412,"end":1582},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1412},"to":{"change":3,"start":1412,"end":1582},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1582},"to":{"change":2,"start":1446,"end":1447},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1446},"to":{"change":2,"start":1446,"end":1447},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1447},"to":{"change":3,"start":1583,"end":1640},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1640},"to":{"change":2,"start":1490,"end":1491},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1490},"to":{"change":2,"start":1490,"end":1491},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1491},"to":{"change":5,"start":610,"end":662},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":662},"to":{"change":3,"start":1690,"end":1705},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1690},"to":{"change":3,"start":1690,"end":1705},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1705},"to":{"change":8,"start":449,"end":538},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":538},"to":{"change":5,"start":748,"end":802},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":748},"to":{"change":5,"start":748,"end":802},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":802},"to":{"change":8,"start":539,"end":678},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":678},"to":{"change":5,"start":868,"end":939},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":868},"to":{"change":5,"start":868,"end":939},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":939},"to":{"change":3,"start":1876,"end":1877},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1876},"to":{"change":3,"start":1876,"end":1877},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1877},"to":{"change":5,"start":940,"end":995},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":995},"to":{"change":3,"start":1919,"end":1926},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1919},"to":{"change":3,"start":1919,"end":1926},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1926},"to":{"change":5,"start":996,"end":1078},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":1078},"to":{"change":2,"start":1523,"end":1529},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2002},"to":{"change":2,"start":1523,"end":1529},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1523},"to":{"change":2,"start":1523,"end":1529},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1529},"to":{"change":3,"start":2003,"end":2004},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2004},"to":{"change":5,"start":1079,"end":1122},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":1122},"to":{"change":3,"start":2045,"end":2067},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2045},"to":{"change":3,"start":2045,"end":2067},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2067},"to":{"change":8,"start":679,"end":891},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":891},"to":{"change":3,"start":2067,"end":2074},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2067},"to":{"change":3,"start":2067,"end":2074},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2074},"to":{"change":8,"start":892,"end":1193},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":1193},"to":{"change":5,"start":1251,"end":1257},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1251},"to":{"change":5,"start":1251,"end":1257},"introduced_by":5}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" lowered =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1212"}},{"Add":{"text":" code","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1223"}},{"Add":{"text":" |> Enum.with_index()","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1250"}},{"Add":{"text":" |> Enum.map(fn {fd, idx} ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1284"}},{"Add":{"text":" {params, results} = Enum.at(type, Enum.at(function, idx))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1350"}},{"Add":{"text":" {idx, lower_function(fd, params, results, type, function)}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1417"}},{"Add":{"text":" end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1428"}}],"del_contents":[{"Del":{"text":" code","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1345"}},{"Del":{"text":" |> Stream.with_index()","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1411"}},{"Del":{"text":" |> Stream.map(fn {fd, idx} ->","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:523"}},{"Del":{"text":" type_idx = Enum.at(function, idx)","pos":"ZWKILT2IJQ4PELLVZ7MSKFLS6CK4WFXPPENCNCDG46JLI67B743QC:547"}},{"Del":{"text":" f_type = Enum.at(type, type_idx)","pos":"ZWKILT2IJQ4PELLVZ7MSKFLS6CK4WFXPPENCNCDG46JLI67B743QC:586"}},{"Del":{"text":" {compile_function(fd, f_type), idx}","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:599"}},{"Del":{"text":" end)","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:608"}},{"Del":{"text":" |> Stream.filter(fn {v, _} -> v != nil end)","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1459"}},{"Del":{"text":" |> Enum.map(fn {fun, idx} ->","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1492"}},{"Del":{"text":" case exported_functions[idx] do","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1530"}},{"Del":{"text":" name ->","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1546"}},{"Del":{"text":" {f, l, _, a, desc} = fun","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1581"}},{"Del":{"text":"","pos":"KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC:1446"}},{"Del":{"text":" {f, l, name, a, desc}","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1614"}},{"Del":{"text":" end","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1624"}},{"Del":{"text":" end)","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1633"}},{"Del":{"text":" end","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1639"}},{"Del":{"text":"","pos":"KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC:1490"}},{"Del":{"text":" defp compile_function(%{code: %{expr: []}}, _) do","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:661"}},{"Del":{"text":" nil","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1697"}},{"Del":{"text":" end","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1703"}},{"Del":{"text":"","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1704"}},{"Del":{"text":" defp compile_function(%{code: %{expr: exprs, locals: locals}}, {params, _} = _type) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:537"}},{"Del":{"text":" function_params = compile_function_params(params)","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:801"}},{"Del":{"text":" function_locals = compile_function_locals(locals)","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:592"}},{"Del":{"text":" function_body = compile_function_body(exprs, function_params ++ function_locals)","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:677"}},{"Del":{"text":" function_desc = [{:clause, 4, function_params, [], function_body}]","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:938"}},{"Del":{"text":"","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1876"}},{"Del":{"text":" {:function, 4, nil, length(params), function_desc}","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:994"}},{"Del":{"text":" end","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1924"}},{"Del":{"text":"","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:1925"}},{"Del":{"text":" defp compile_function_params(params) do","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1037"}},{"Del":{"text":" compile_function_params(params, [])","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1077"}},{"Del":{"text":" end","pos":"KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC:1528"}},{"Del":{"text":"","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:2003"}},{"Del":{"text":" defp compile_function_params([], acc) do","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1121"}},{"Del":{"text":" Enum.reverse(acc)","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:2066"}},{"Del":{"text":" end","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:684"}},{"Del":{"text":"","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:685"}},{"Del":{"text":" defp compile_function_params([type | rest], acc) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:739"}},{"Del":{"text":" compile_function_params(rest, [new_variable(type) | acc])","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:801"}},{"Del":{"text":" end","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:807"}},{"Del":{"text":"","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:808"}},{"Del":{"text":" defp compile_function_locals(locals) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:850"}},{"Del":{"text":" compile_function_locals(locals, [])","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:890"}},{"Del":{"text":" end","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:2072"}},{"Del":{"text":"","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:2073"}},{"Del":{"text":" defp compile_function_locals([], acc) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:934"}},{"Del":{"text":" acc |> Enum.reverse() |> List.flatten()","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:978"}},{"Del":{"text":" end","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:984"}},{"Del":{"text":"","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:985"}},{"Del":{"text":" defp compile_function_locals([locals | rest], acc) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1041"}},{"Del":{"text":" %{num: num, type: type} = locals","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1078"}},{"Del":{"text":" vars = Enum.map(0..(num - 1), fn _ -> new_variable(type) end)","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1144"}},{"Del":{"text":" compile_function_locals(rest, [vars | acc])","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1192"}},{"Del":{"text":" end","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1256"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":108,"ins":{"up_context":[{"change":5,"pos":1258}],"down_context":[{"change":3,"pos":2229}],"flag":"BLOCK","start":1430,"end":1759,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1258},"to":{"change":8,"start":1194,"end":1223},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":1223},"to":{"change":5,"start":1297,"end":1425},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1297},"to":{"change":5,"start":1297,"end":1425},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":1425},"to":{"change":3,"start":2223,"end":2229},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2223},"to":{"change":3,"start":2223,"end":2229},"introduced_by":3}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" # Entry-point atom per function index, resolved up front so `call`","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1500"}},{"Add":{"text":" # codegen can target forward-defined functions.","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1552"}},{"Add":{"text":" fn_names =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1567"}},{"Add":{"text":" lowered","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1581"}},{"Add":{"text":" |> Enum.reduce(%{}, fn {idx, low}, acc ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1629"}},{"Add":{"text":" case low do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1649"}},{"Add":{"text":" nil -> acc","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1670"}},{"Add":{"text":" _low -> Map.put(acc, idx, exported[idx] || :\"f#{idx}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1735"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1747"}},{"Add":{"text":" end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1758"}}],"del_contents":[{"Del":{"text":" defp new_variable(:i32) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1222"}},{"Del":{"text":" suf = :crypto.strong_rand_bytes(2) |> Base.encode16()","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1354"}},{"Del":{"text":" var_name = \"V_#{suf}\" |> String.to_atom()","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1400"}},{"Del":{"text":" {:var, 4, var_name}","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1424"}},{"Del":{"text":" end","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:2228"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":119,"ins":{"up_context":[{"change":3,"pos":2230}],"down_context":[{"change":5,"pos":1524}],"flag":"BLOCK","start":1760,"end":1892,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2230},"to":{"change":5,"start":1426,"end":1524},"introduced_by":5}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" {forms_rev, nums, truthy?} =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1792"}},{"Add":{"text":" Enum.reduce(lowered, {[], MapSet.new(), false}, fn","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1849"}},{"Add":{"text":" {_idx, nil}, acc ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1877"}},{"Add":{"text":" acc","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1891"}}],"del_contents":[{"Del":{"text":" defp compile_function_body(exprs, params) do","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1472"}},{"Del":{"text":" compile_function_body(exprs, params, [])","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1517"}},{"Del":{"text":" end","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1523"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":124,"ins":{"up_context":[{"change":5,"pos":1525}],"down_context":[{"change":5,"pos":1597}],"flag":"BLOCK","start":1893,"end":2101,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1525},"to":{"change":5,"start":1525,"end":1597},"introduced_by":5}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" {idx, low}, {forms, nums, truthy?} ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1938"}},{"Add":{"text":" {ops, res_arity, nparams, local_types} = low","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:1993"}},{"Add":{"text":" {blocks, order} = split_blocks(ops)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2039"}},{"Add":{"text":" {blocks, order} = prune_unreachable(blocks, order)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2100"}}],"del_contents":[{"Del":{"text":" defp compile_function_body([], _, acc) do","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1568"}},{"Del":{"text":" Enum.reverse(acc)","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1590"}},{"Del":{"text":" end","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1596"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":129,"ins":{"up_context":[{"change":5,"pos":1598}],"down_context":[{"change":5,"pos":1777}],"flag":"BLOCK","start":2102,"end":2261,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1598},"to":{"change":8,"start":1224,"end":1409},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":1409},"to":{"change":5,"start":1771,"end":1777},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1771},"to":{"change":5,"start":1771,"end":1777},"introduced_by":5}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" {fun_forms, nums2, truthy2?} =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2142"}},{"Add":{"text":" emit_function(idx, exported[idx], fn_names, blocks, order, res_arity, nparams,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2233"}},{"Add":{"text":" local_types)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2260"}}],"del_contents":[{"Del":{"text":" defp compile_function_body([instr | rest], locals, acc) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1284"}},{"Del":{"text":" {beam_instr, acc} = compile_instruction(instr, locals, acc)","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1348"}},{"Del":{"text":" compile_function_body(rest, locals, [beam_instr | acc])","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1408"}},{"Del":{"text":" end","pos":"BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC:1776"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":133,"ins":{"up_context":[{"change":5,"pos":1778}],"down_context":[{"change":8,"pos":1482}],"flag":"BLOCK","start":2262,"end":2353,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1778},"to":{"change":8,"start":1410,"end":1475},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":1475},"to":{"change":6,"start":718,"end":748},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":718},"to":{"change":6,"start":718,"end":748},"introduced_by":6},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":748},"to":{"change":8,"start":1476,"end":1482},"introduced_by":8}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" {[fun_forms | forms], MapSet.union(nums, nums2), truthy? or truthy2?}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2341"}},{"Add":{"text":" end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2352"}}],"del_contents":[{"Del":{"text":" defp compile_instruction({:\"i32.const\", val}, _locals, acc) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1474"}},{"Del":{"text":" {{:integer, 4, val}, acc}","pos":"ZWKILT2IJQ4PELLVZ7MSKFLS6CK4WFXPPENCNCDG46JLI67B743QC:747"}},{"Del":{"text":" end","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1481"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":136,"ins":{"up_context":[{"change":8,"pos":1483}],"down_context":[{"change":5,"pos":1833}],"flag":"BLOCK","start":2354,"end":2413,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":1483},"to":{"change":8,"start":1483,"end":1579},"introduced_by":8}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" Enum.reverse(forms_rev) ++ emit_helpers(nums, truthy?)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2412"}}],"del_contents":[{"Del":{"text":" defp compile_instruction({:\"local.get\", idx}, locals, acc) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1546"}},{"Del":{"text":" {Enum.at(locals, idx), acc}","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1578"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":139,"ins":{"up_context":[{"change":5,"pos":1840}],"down_context":[{"change":6,"pos":851}],"flag":"BLOCK","start":2414,"end":2502,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1840},"to":{"change":8,"start":1580,"end":1722},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":1722},"to":{"change":6,"start":845,"end":851},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":845},"to":{"change":6,"start":845,"end":851},"introduced_by":6}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" defp lower_function(%{code: %{expr: []}}, _params, _results, _types, _funcs), do: nil","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2501"}}],"del_contents":[{"Del":{"text":" defp compile_instruction({:\"local.set\", idx}, locals, [first | rest]) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1654"}},{"Del":{"text":" var = Enum.at(locals, idx)","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1685"}},{"Del":{"text":" {{:match, 4, var, first}, rest}","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1721"}},{"Del":{"text":" end","pos":"ZWKILT2IJQ4PELLVZ7MSKFLS6CK4WFXPPENCNCDG46JLI67B743QC:850"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":141,"ins":{"up_context":[{"change":6,"pos":852}],"down_context":[{"change":7,"pos":823}],"flag":"BLOCK","start":2503,"end":2781,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":852},"to":{"change":7,"start":750,"end":794},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":794},"to":{"change":9,"start":2772,"end":2783},"introduced_by":9},{"previous":"","flag":"DELETED","from":{"change":9,"pos":2783},"to":{"change":8,"start":1723,"end":1736},"introduced_by":9},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":818},"to":{"change":8,"start":1723,"end":1736},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":1736},"to":{"change":9,"start":2784,"end":2836},"introduced_by":9},{"previous":"","flag":"DELETED","from":{"change":9,"pos":2836},"to":{"change":8,"start":1736,"end":1749},"introduced_by":9},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":1736},"to":{"change":8,"start":1736,"end":1749},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":1749},"to":{"change":9,"start":2837,"end":2872},"introduced_by":9},{"previous":"","flag":"DELETED","from":{"change":8,"pos":1749},"to":{"change":7,"start":818,"end":823},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":9,"pos":2872},"to":{"change":7,"start":818,"end":823},"introduced_by":9},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":818},"to":{"change":7,"start":818,"end":823},"introduced_by":7}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" defp lower_function(%{code: %{expr: exprs, locals: locals}}, params, results, types, funcs) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2599"}},{"Add":{"text":" ctx = %{","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2612"}},{"Add":{"text":" labels: 1,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2629"}},{"Add":{"text":" frames: [],","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2647"}},{"Add":{"text":" ops: [{:label, 0}],","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2673"}},{"Add":{"text":" terminated: false,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2698"}},{"Add":{"text":" types: types,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2718"}},{"Add":{"text":" funcs: funcs,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2738"}},{"Add":{"text":" result_arity: length(results)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2774"}},{"Add":{"text":" }","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2780"}}],"del_contents":[{"Del":{"text":" @i32_binops ~W(","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:767"}},{"Del":{"text":" i32.add","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:779"}},{"Del":{"text":" i32.div_s","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:793"}},{"Del":{"text":" i32.eq","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2782"}},{"Del":{"text":" i32.ge_s","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1735"}},{"Del":{"text":" i32.ge_s","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2796"}},{"Del":{"text":" i32.gt_s","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2809"}},{"Del":{"text":" i32.le_s","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2822"}},{"Del":{"text":" i32.lt_s","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2835"}},{"Del":{"text":" i32.lt_s","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1748"}},{"Del":{"text":" i32.mul","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2848"}},{"Del":{"text":" i32.ne","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2859"}},{"Del":{"text":" i32.sub","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2871"}},{"Del":{"text":" )a","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:822"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":152,"ins":{"up_context":[{"change":7,"pos":824}],"down_context":[{"change":3,"pos":2304}],"flag":"BLOCK","start":2782,"end":2896,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":824},"to":{"change":8,"start":1750,"end":1846},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":1846},"to":{"change":7,"start":920,"end":974},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":920},"to":{"change":7,"start":920,"end":974},"introduced_by":7}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" ctx = cf_walk(exprs, ctx)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2811"}},{"Add":{"text":" {Enum.reverse(ctx.ops), length(results), length(params), expand_locals(locals)}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2895"}}],"del_contents":[{"Del":{"text":" defp compile_instruction(instr, _locals, [second, first | rest]) when instr in @i32_binops do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1845"}},{"Del":{"text":" {{:op, 4, i32_binop(instr), first, second}, rest}","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:973"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":155,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2310},"to":{"change":8,"start":1847,"end":2090},"introduced_by":8}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":"","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1847"}},{"Del":{"text":" defp compile_instruction(:select, _locals, [condition, second, first | rest]) do","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1930"}},{"Del":{"text":" if_clause =","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1946"}},{"Del":{"text":" {:if, 4,","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1961"}},{"Del":{"text":" [","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:1970"}},{"Del":{"text":" {:clause, 4, [], [[condition]], [first]},","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2021"}},{"Del":{"text":" {:clause, 4, [], [[{:atom, 4, true}]], [second]}","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2079"}},{"Del":{"text":" ]}","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2089"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":156,"ins":{"up_context":[{"change":7,"pos":976}],"down_context":[{"change":8,"pos":2113}],"flag":"BLOCK","start":2897,"end":3016,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":976},"to":{"change":8,"start":2091,"end":2113},"introduced_by":8}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" defp expand_locals(locals) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:2928"}},{"Add":{"text":" Enum.flat_map(locals, fn %{num: num, type: type} -> List.duplicate(type, num) end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3015"}}],"del_contents":[{"Del":{"text":" {if_clause, rest}","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2112"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":159,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":2119},"to":{"change":8,"start":2119,"end":2120},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":2120},"to":{"change":7,"start":976,"end":1013},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":976},"to":{"change":7,"start":976,"end":1013},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":1050},"to":{"change":7,"start":1050,"end":1091},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":1091},"to":{"change":9,"start":2873,"end":2910},"introduced_by":9},{"previous":"","flag":"DELETED","from":{"change":9,"pos":2910},"to":{"change":8,"start":2121,"end":2160},"introduced_by":9},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":1091},"to":{"change":8,"start":2121,"end":2160},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":2160},"to":{"change":9,"start":2911,"end":2990},"introduced_by":9},{"previous":"","flag":"DELETED","from":{"change":9,"pos":2990},"to":{"change":8,"start":2160,"end":2198},"introduced_by":9},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":2160},"to":{"change":8,"start":2160,"end":2198},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":2198},"to":{"change":7,"start":1091,"end":1128},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":1091},"to":{"change":7,"start":1091,"end":1128},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":1128},"to":{"change":9,"start":2991,"end":3031},"introduced_by":9},{"previous":"","flag":"DELETED","from":{"change":9,"pos":3031},"to":{"change":8,"start":2199,"end":2236},"introduced_by":9},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":1128},"to":{"change":8,"start":2199,"end":2236},"introduced_by":8}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":"","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2119"}},{"Del":{"text":" defp i32_binop(:\"i32.add\"), do: :+","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:1012"}},{"Del":{"text":" defp i32_binop(:\"i32.div_s\"), do: :div","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:1090"}},{"Del":{"text":" defp i32_binop(:\"i32.eq\"), do: :==","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2909"}},{"Del":{"text":" defp i32_binop(:\"i32.ge_s\"), do: :>=","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2159"}},{"Del":{"text":" defp i32_binop(:\"i32.gt_s\"), do: :>","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2948"}},{"Del":{"text":" defp i32_binop(:\"i32.le_s\"), do: :\"=<\"","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:2989"}},{"Del":{"text":" defp i32_binop(:\"i32.lt_s\"), do: :<","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2197"}},{"Del":{"text":" defp i32_binop(:\"i32.mul\"), do: :*","pos":"LIZLRMXKIAS26HOLF62CWPZ3GSRVOKZPMSF537OH4LALRZLRXHXAC:1127"}},{"Del":{"text":" defp i32_binop(:\"i32.ne\"), do: :\"=/=\"","pos":"BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC:3030"}},{"Del":{"text":" defp i32_binop(:\"i32.sub\"), do: :-","pos":"YSH4YZQTU34SS3RGOIKTIFJS5MFACNIEGIXBYIRBKQFNG4OJWQHQC:2235"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":160,"ins":{"up_context":[{"change":12,"pos":1}],"down_context":[{"change":12,"pos":372}],"flag":"BLOCK","start":3017,"end":3225,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":1},"to":{"change":12,"start":1,"end":372},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3095"}},{"Add":{"text":" # Lowering: structured WASM -> flat op sequence","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3145"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3224"}}],"del_contents":[{"Del":{"text":" # ==========================================================================","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:79"}},{"Del":{"text":" # Control-flow compilation: structured WASM -> flat CFG -> tail-called","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:152"}},{"Del":{"text":" # per-block Erlang functions. Branches become jumps carrying exactly the","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:227"}},{"Del":{"text":" # target label's arity; loops are back-edges (constant stack).","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:292"}},{"Del":{"text":" # ==========================================================================","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:371"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":191,"ins":{"up_context":[{"change":12,"pos":1199}],"down_context":[{"change":12,"pos":1267}],"flag":"BLOCK","start":3226,"end":3312,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":1199},"to":{"change":12,"start":1199,"end":1267},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" defp cf_term(%{ops: ops} = ctx, op), do: %{ctx | ops: [op | ops], terminated: true}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3311"}}],"del_contents":[{"Del":{"text":" defp cf_term(ctx, op), do: cf_emit(%{ctx | terminated: true}, op)","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:1266"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":229,"ins":{"up_context":[{"change":12,"pos":2867}],"down_context":[{"change":12,"pos":2904}],"flag":"BLOCK","start":3313,"end":3350,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":2867},"to":{"change":12,"start":2867,"end":2904},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" cf_term(ctx, {:br_table, pairs})","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3349"}}],"del_contents":[{"Del":{"text":" cf_emit(ctx, {:br_table, pairs})","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:2903"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":235,"ins":{"up_context":[{"change":12,"pos":3048}],"down_context":[{"change":12,"pos":3113}],"flag":"BLOCK","start":3351,"end":3539,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":3048},"to":{"change":12,"start":3048,"end":3113},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3351"}},{"Add":{"text":" if length(results) > 1 do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3381"}},{"Add":{"text":" raise(\"multi-value returns are not supported (called function index #{fidx})\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3466"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3474"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3475"}},{"Add":{"text":" cf_emit(ctx, {:call, fidx, length(params), results != []})","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3538"}}],"del_contents":[{"Del":{"text":" cf_emit(ctx, {:call, fidx, length(params), length(results)})","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:3112"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":247,"atom":{"NewVertex":{"up_context":[{"change":12,"pos":3347}],"down_context":[{"change":12,"pos":3347}],"flag":"BLOCK","start":3540,"end":3581,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":" ctx = cf_emit(ctx, {:label, exit_l})","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3580"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":253,"atom":{"NewVertex":{"up_context":[{"change":12,"pos":3497}],"down_context":[{"change":12,"pos":3497}],"flag":"BLOCK","start":3582,"end":3621,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":" {after_l, ctx} = cf_new_label(ctx)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3620"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":257,"atom":{"NewVertex":{"up_context":[{"change":12,"pos":3652}],"down_context":[{"change":12,"pos":3652}],"flag":"BLOCK","start":3622,"end":3664,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":" ctx = cf_emit(ctx, {:label, after_l})","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3663"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":264,"atom":{"NewVertex":{"up_context":[{"change":12,"pos":3852}],"down_context":[{"change":12,"pos":3852}],"flag":"BLOCK","start":3665,"end":3695,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":" arity = bt_arity(bt, ctx)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3694"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":266,"ins":{"up_context":[{"change":12,"pos":3900}],"down_context":[{"change":12,"pos":3985}],"flag":"BLOCK","start":3696,"end":3769,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":3900},"to":{"change":12,"start":3900,"end":3985},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" ctx = %{ctx | frames: [%{target: end_l, arity: arity} | ctx.frames]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3768"}}],"del_contents":[{"Del":{"text":" ctx = %{ctx | frames: [%{target: end_l, arity: bt_arity(bt, ctx)} | ctx.frames]}","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:3984"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":268,"ins":{"up_context":[{"change":12,"pos":4016}],"down_context":[{"change":12,"pos":4074}],"flag":"BLOCK","start":3770,"end":3816,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":4016},"to":{"change":12,"start":4016,"end":4074},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" ctx = cf_term(ctx, {:goto, end_l, arity})","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3815"}}],"del_contents":[{"Del":{"text":" ctx = cf_term(ctx, {:goto, end_l, bt_arity(bt, ctx)})","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:4073"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":271,"atom":{"NewVertex":{"up_context":[{"change":12,"pos":4146}],"down_context":[{"change":12,"pos":4146}],"flag":"BLOCK","start":3817,"end":3857,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":" ctx = cf_emit(ctx, {:label, end_l})","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3856"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":274,"atom":{"NewVertex":{"up_context":[{"change":12,"pos":4188}],"down_context":[{"change":12,"pos":4188}],"flag":"BLOCK","start":3858,"end":3950,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3858"}},{"Add":{"text":" defp cf_walk_instr(other, _ctx), do: raise(\"unsupported instruction: #{inspect(other)}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:3949"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":277,"ins":{"up_context":[{"change":12,"pos":4189}],"down_context":[{"change":2,"pos":1529}],"flag":"BLOCK","start":3951,"end":19456,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":4189},"to":{"change":12,"start":4189,"end":4247},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4029"}},{"Add":{"text":" # Basic-block splitting and reachability pruning","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4080"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4159"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4160"}},{"Add":{"text":" defp split_blocks(ops) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4188"}},{"Add":{"text":" {blocks_rev, order_rev, cur, cur_ops} =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4232"}},{"Add":{"text":" Enum.reduce(ops, {%{}, [], nil, []}, fn","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4278"}},{"Add":{"text":" {:label, id}, {blocks, order, cur, seg} ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4329"}},{"Add":{"text":" blocks =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4348"}},{"Add":{"text":" if cur do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4370"}},{"Add":{"text":" Map.put(blocks, cur, Enum.reverse(seg))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4424"}},{"Add":{"text":" else","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4441"}},{"Add":{"text":" blocks","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4462"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4478"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4479"}},{"Add":{"text":" order = if cur, do: [cur | order], else: order","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4536"}},{"Add":{"text":" {blocks, order, id, []}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4570"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4571"}},{"Add":{"text":" op, {blocks, order, cur, seg} ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4612"}},{"Add":{"text":" {blocks, order, cur, [op | seg]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4655"}},{"Add":{"text":" end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4666"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4667"}},{"Add":{"text":" blocks =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4680"}},{"Add":{"text":" if cur do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4696"}},{"Add":{"text":" Map.put(blocks_rev, cur, Enum.reverse(cur_ops))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4752"}},{"Add":{"text":" else","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4763"}},{"Add":{"text":" blocks_rev","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4782"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4792"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4793"}},{"Add":{"text":" order = if cur, do: Enum.reverse([cur | order_rev]), else: Enum.reverse(order_rev)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4880"}},{"Add":{"text":" {blocks, order}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4900"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4906"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4907"}},{"Add":{"text":" defp prune_unreachable(blocks, order) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:4950"}},{"Add":{"text":" reachable = collect_reachable([0], blocks, order, MapSet.new())","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5018"}},{"Add":{"text":" keep = Enum.filter(order, &MapSet.member?(reachable, &1))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5080"}},{"Add":{"text":" {Map.new(keep, &{&1, Map.fetch!(blocks, &1)}), keep}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5137"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5143"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5144"}},{"Add":{"text":" defp collect_reachable([], _blocks, _order, seen), do: seen","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5206"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5207"}},{"Add":{"text":" defp collect_reachable([id | queue], blocks, order, seen) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5270"}},{"Add":{"text":" if MapSet.member?(seen, id) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5305"}},{"Add":{"text":" collect_reachable(queue, blocks, order, seen)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5357"}},{"Add":{"text":" else","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5366"}},{"Add":{"text":" succs = block_successors(id, blocks, order)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5416"}},{"Add":{"text":" collect_reachable(succs ++ queue, blocks, order, MapSet.put(seen, id))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5493"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5501"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5507"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5508"}},{"Add":{"text":" defp block_successors(id, blocks, order) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5554"}},{"Add":{"text":" fallthrough =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5572"}},{"Add":{"text":" case Enum.find_index(order, &(&1 == id)) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5622"}},{"Add":{"text":" nil -> []","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5640"}},{"Add":{"text":" i -> Enum.slice(order, i + 1, 1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5681"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5691"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5692"}},{"Add":{"text":" successor_scan(Map.fetch!(blocks, id), fallthrough)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5748"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5754"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5755"}},{"Add":{"text":" defp successor_scan([], fallthrough), do: fallthrough","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5811"}},{"Add":{"text":" defp successor_scan([{:goto, t, _} | _], _ft), do: [t]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5868"}},{"Add":{"text":" defp successor_scan([{:return, _} | _], _ft), do: []","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5923"}},{"Add":{"text":" defp successor_scan([:unreachable | _], _ft), do: []","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:5978"}},{"Add":{"text":" defp successor_scan([{:br_table, pairs} | _], _ft), do: Enum.map(pairs, &elem(&1, 0))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6066"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6067"}},{"Add":{"text":" defp successor_scan([{:goto_if_true, t, _} | rest], ft), do: [t | successor_scan(rest, ft)]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6161"}},{"Add":{"text":" defp successor_scan([{:goto_if_zero, t} | rest], ft), do: [t | successor_scan(rest, ft)]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6252"}},{"Add":{"text":" defp successor_scan([_ | rest], ft), do: successor_scan(rest, ft)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6320"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6321"}},{"Add":{"text":" defp succ_map(order) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6347"}},{"Add":{"text":" order","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6357"}},{"Add":{"text":" |> Enum.with_index()","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6382"}},{"Add":{"text":" |> Map.new(fn {id, i} -> {id, Enum.at(order, i + 1) || :ret} end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6452"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6458"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6459"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6538"}},{"Add":{"text":" # Codegen: one Erlang clause per basic block","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6585"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6664"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6665"}},{"Add":{"text":" defp emit_function(idx, export_name, fn_names, blocks, order, res_arity, nparams, local_types) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6765"}},{"Add":{"text":" entry_name = export_name || :\"f#{idx}\"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6808"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6809"}},{"Add":{"text":" cg = %{","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6821"}},{"Add":{"text":" fidx: idx,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6838"}},{"Add":{"text":" fn_names: fn_names,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6864"}},{"Add":{"text":" res_arity: res_arity,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6892"}},{"Add":{"text":" succ: succ_map(order)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6920"}},{"Add":{"text":" }","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6926"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6927"}},{"Add":{"text":" block_forms =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6945"}},{"Add":{"text":" Enum.map(order, fn id ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:6976"}},{"Add":{"text":" {body, _st} = cg_seq(Map.fetch!(blocks, id), %{sv: :_S, lv: :_L, nv: 0}, cg, id)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7065"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7066"}},{"Add":{"text":" {:function, ann(), :\"f#{idx}_b#{id}\", 2,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7115"}},{"Add":{"text":" [{:clause, ann(), [af_var(:_S), af_var(:_L)], [], body}]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7182"}},{"Add":{"text":" end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7193"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7194"}},{"Add":{"text":" all_ops = Enum.flat_map(order, &Map.fetch!(blocks, &1))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7254"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7255"}},{"Add":{"text":" nums =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7266"}},{"Add":{"text":" for {:num, n} <- all_ops, into: MapSet.new() do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7320"}},{"Add":{"text":" n","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7330"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7340"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7341"}},{"Add":{"text":" truthy? =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7355"}},{"Add":{"text":" Enum.any?(all_ops, fn","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7383"}},{"Add":{"text":" :select -> true","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7407"}},{"Add":{"text":" {:goto_if_true, _, _} -> true","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7445"}},{"Add":{"text":" {:goto_if_zero, _} -> true","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7480"}},{"Add":{"text":" _ -> false","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7499"}},{"Add":{"text":" end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7510"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7511"}},{"Add":{"text":" entry_form = emit_entry(entry_name, idx, nparams, local_types)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7578"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7579"}},{"Add":{"text":" {[entry_form | block_forms], nums, truthy?}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7627"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7633"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7634"}},{"Add":{"text":" defp emit_entry(entry_name, idx, nparams, local_types) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7694"}},{"Add":{"text":" pvars = Enum.map(0..(nparams - 1)//1, &af_var(String.to_atom(\"P#{&1}\")))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7771"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7772"}},{"Add":{"text":" defaults =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7787"}},{"Add":{"text":" Enum.map(local_types, fn","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7818"}},{"Add":{"text":" t when t in [:f32, :f64] -> {:float, ann(), 0.0}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7875"}},{"Add":{"text":" _ -> af_int(0)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7898"}},{"Add":{"text":" end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7909"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7910"}},{"Add":{"text":" body = [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7923"}},{"Add":{"text":" af_match(af_var(:_L), af_tuple(pvars ++ defaults)),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:7981"}},{"Add":{"text":" local_call(:\"f#{idx}_b0\", [af_nil(), af_var(:_L)])","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8038"}},{"Add":{"text":" ]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8044"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8045"}},{"Add":{"text":" {:function, ann(), entry_name, nparams, [af_clause(pvars, body)]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8115"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8121"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8122"}},{"Add":{"text":" # State threaded through a block: `sv` is the current runtime stack","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8192"}},{"Add":{"text":" # variable, `lv` the current locals-tuple variable, `nv` the fresh-name","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8266"}},{"Add":{"text":" # counter.","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8279"}},{"Add":{"text":" defp fresh(st) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8299"}},{"Add":{"text":" name = String.to_atom(\"_T#{st.nv}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8339"}},{"Add":{"text":" {name, %{st | nv: st.nv + 1}}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8373"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8379"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8380"}},{"Add":{"text":" defp push(st, expr) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8405"}},{"Add":{"text":" {sv, st1} = fresh(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8431"}},{"Add":{"text":" {[af_match(af_var(sv), af_cons(expr, af_var(st.sv)))], %{st1 | sv: sv}}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8507"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8513"}},{"Add":{"text":" defp pop(st) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8531"}},{"Add":{"text":" {v, st1} = fresh(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8556"}},{"Add":{"text":" {sv, st2} = fresh(st1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8583"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8584"}},{"Add":{"text":" pre = [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8596"}},{"Add":{"text":" af_match(af_var(v), erl_call(:hd, [af_var(st.sv)])),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8655"}},{"Add":{"text":" af_match(af_var(sv), erl_call(:tl, [af_var(st.sv)]))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8714"}},{"Add":{"text":" ]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8720"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8721"}},{"Add":{"text":" {pre, v, %{st2 | sv: sv}}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8751"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8757"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8758"}},{"Add":{"text":" defp pop_n(st, n), do: pop_n(st, n, [], [])","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8804"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8805"}},{"Add":{"text":" defp pop_n(st, 0, vs, pre), do: {pre, vs, st}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8853"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8854"}},{"Add":{"text":" defp pop_n(st, n, vs, pre) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8886"}},{"Add":{"text":" {p, v, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8912"}},{"Add":{"text":" pop_n(st1, n - 1, [v | vs], pre ++ p)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8954"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8960"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:8961"}},{"Add":{"text":" # Terminators ---------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9041"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9042"}},{"Add":{"text":" defp cg_seq([{:goto, t, a} | _], st, cg, _blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9094"}},{"Add":{"text":" {branch_to(t, a, st, cg), st}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9128"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9134"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9135"}},{"Add":{"text":" defp cg_seq([{:return, n} | _], st, _cg, _blk), do: return_body(st, n)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9208"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9209"}},{"Add":{"text":" defp cg_seq([:unreachable | _], st, _cg, _blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9261"}},{"Add":{"text":" {[erl_call(:error, [af_atom(:wasm_unreachable)])], st}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9320"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9326"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9327"}},{"Add":{"text":" defp cg_seq([{:br_table, pairs} | _], st, cg, _blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9384"}},{"Add":{"text":" {pre, iv, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9413"}},{"Add":{"text":" {default_pair, indexed} = List.pop_at(pairs, -1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9466"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9467"}},{"Add":{"text":" arms =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9478"}},{"Add":{"text":" indexed","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9492"}},{"Add":{"text":" |> Enum.with_index()","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9519"}},{"Add":{"text":" |> Enum.map(fn {{t, a}, i} -> af_clause([af_int(i)], branch_to(t, a, st1, cg)) end)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9609"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9610"}},{"Add":{"text":" arms = arms ++ [af_clause([af_var(:_)], branch_to(default_pair, st1, cg))]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9689"}},{"Add":{"text":" {pre ++ [{:case, ann(), af_var(iv), arms}], st1}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9742"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9748"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9749"}},{"Add":{"text":" # Conditionals --------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9829"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9830"}},{"Add":{"text":" defp cg_seq([{:goto_if_true, t, a} | rest], st, cg, blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9892"}},{"Add":{"text":" {pre, c, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9920"}},{"Add":{"text":" {cont_body, st2} = cg_seq(rest, st1, cg, blk)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9970"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9971"}},{"Add":{"text":" instr =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:9983"}},{"Add":{"text":" {:case, ann(), local_call(:__truthy, [af_var(c)]),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10040"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10049"}},{"Add":{"text":" af_clause([af_atom(true)], branch_to(t, a, st1, cg)),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10112"}},{"Add":{"text":" af_clause([af_atom(false)], cont_body)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10160"}},{"Add":{"text":" ]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10170"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10171"}},{"Add":{"text":" {pre ++ [instr], st2}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10197"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10203"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10204"}},{"Add":{"text":" defp cg_seq([{:goto_if_zero, t} | rest], st, cg, blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10263"}},{"Add":{"text":" {pre, c, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10291"}},{"Add":{"text":" {cont_body, st2} = cg_seq(rest, st1, cg, blk)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10341"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10342"}},{"Add":{"text":" jump = [local_call(block_fn(cg, t), [af_var(st1.sv), af_var(st1.lv)])]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10417"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10418"}},{"Add":{"text":" instr =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10430"}},{"Add":{"text":" {:case, ann(), local_call(:__truthy, [af_var(c)]),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10487"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10496"}},{"Add":{"text":" af_clause([af_atom(true)], cont_body),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10544"}},{"Add":{"text":" af_clause([af_atom(false)], jump)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10587"}},{"Add":{"text":" ]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10597"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10598"}},{"Add":{"text":" {pre ++ [instr], st2}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10624"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10630"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10631"}},{"Add":{"text":" # Fall-through / implicit return --------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10711"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10712"}},{"Add":{"text":" defp cg_seq([], st, cg, blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10746"}},{"Add":{"text":" case Map.fetch!(cg.succ, blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10783"}},{"Add":{"text":" :ret -> return_body(st, cg.res_arity)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10827"}},{"Add":{"text":" next -> {[local_call(block_fn(cg, next), [af_var(st.sv), af_var(st.lv)])], st}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10912"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10920"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10926"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10927"}},{"Add":{"text":" defp cg_seq([op | rest], st, cg, blk) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:10970"}},{"Add":{"text":" {pre, st1} = cg_simple(op, st, cg)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11009"}},{"Add":{"text":" {body, st2} = cg_seq(rest, st1, cg, blk)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11054"}},{"Add":{"text":" {pre ++ body, st2}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11077"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11083"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11084"}},{"Add":{"text":" defp branch_to({t, a}, st, cg), do: branch_to(t, a, st, cg)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11146"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11147"}},{"Add":{"text":" # A branch carries exactly the target label's arity `a` values (the top of","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11224"}},{"Add":{"text":" # the operand stack): `{Vs, _} = lists:split(a, S)` expressed inline as","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11298"}},{"Add":{"text":" # `element(1, lists:split(a, S))` so the branch is a single tail call.","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11371"}},{"Add":{"text":" defp branch_to(t, a, st, cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11405"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11411"}},{"Add":{"text":" local_call(","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11429"}},{"Add":{"text":" block_fn(cg, t),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11454"}},{"Add":{"text":" [erl_call(:element, [af_int(1), lists_split(a, af_var(st.sv))]), af_var(st.lv)]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11542"}},{"Add":{"text":" )","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11550"}},{"Add":{"text":" ]","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11556"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11562"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11563"}},{"Add":{"text":" defp return_body(st, 0), do: {[af_atom(:ok)], st}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11615"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11616"}},{"Add":{"text":" defp return_body(st, 1) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11645"}},{"Add":{"text":" {pre, v, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11673"}},{"Add":{"text":" {pre ++ [af_var(v)], st1}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11703"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11709"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11710"}},{"Add":{"text":" defp return_body(st, n) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11739"}},{"Add":{"text":" {pre, vs, st1} = pop_n(st, n)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11773"}},{"Add":{"text":" {pre ++ [af_list(Enum.reverse(vs))], st1}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11819"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11825"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11826"}},{"Add":{"text":" defp block_fn(cg, t), do: :\"f#{cg.fidx}_b#{t}\"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11875"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11876"}},{"Add":{"text":" # Simple (stack-only) ops ----------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11957"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:11958"}},{"Add":{"text":" defp cg_simple({:get_local, i}, st, _cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12004"}},{"Add":{"text":" push(st, erl_call(:element, [af_int(i + 1), af_var(st.lv)]))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12069"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12075"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12076"}},{"Add":{"text":" defp cg_simple({:set_local, i}, st, _cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12122"}},{"Add":{"text":" {pre, v, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12150"}},{"Add":{"text":" {nl, st2} = fresh(st1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12177"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12178"}},{"Add":{"text":" {pre ++ [af_match(af_var(nl), erl_call(:setelement, [af_int(i + 1), af_var(st1.lv), af_var(v)]))],","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12281"}},{"Add":{"text":" %{st2 | lv: nl}}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12303"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12309"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12310"}},{"Add":{"text":" defp cg_simple({:tee_local, i}, st, _cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12356"}},{"Add":{"text":" {pre, v, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12384"}},{"Add":{"text":" {nl, st2} = fresh(st1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12411"}},{"Add":{"text":" set = af_match(af_var(nl), erl_call(:setelement, [af_int(i + 1), af_var(st1.lv), af_var(v)]))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12509"}},{"Add":{"text":" {push_pre, st3} = push(%{st2 | lv: nl}, af_var(v))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12564"}},{"Add":{"text":" {pre ++ [set] ++ push_pre, st3}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12600"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12606"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12607"}},{"Add":{"text":" defp cg_simple({:push, lit}, st, _cg), do: push(st, lit)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12666"}},{"Add":{"text":" defp cg_simple(:nop, st, _cg), do: {[], st}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12712"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12713"}},{"Add":{"text":" defp cg_simple(:drop, st, _cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12749"}},{"Add":{"text":" {pre, _v, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12778"}},{"Add":{"text":" {pre, st1}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12793"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12799"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12800"}},{"Add":{"text":" defp cg_simple(:select, st, _cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12838"}},{"Add":{"text":" {pre1, c, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12867"}},{"Add":{"text":" {pre2, b, st2} = pop(st1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12897"}},{"Add":{"text":" {pre3, a, st3} = pop(st2)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12927"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12928"}},{"Add":{"text":" expr =","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12939"}},{"Add":{"text":" {:case, ann(), local_call(:__truthy, [af_var(c)]),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:12996"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13005"}},{"Add":{"text":" af_clause([af_atom(true)], [af_var(a)]),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13055"}},{"Add":{"text":" af_clause([af_atom(false)], [af_var(b)])","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13105"}},{"Add":{"text":" ]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13115"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13116"}},{"Add":{"text":" {pre4, st4} = push(st3, expr)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13150"}},{"Add":{"text":" {pre1 ++ pre2 ++ pre3 ++ pre4, st4}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13190"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13196"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13197"}},{"Add":{"text":" defp cg_simple({:num, name}, st, _cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13240"}},{"Add":{"text":" helper = num_helper!(name)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13271"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13272"}},{"Add":{"text":" if num_suffix!(name) in @unary_nums do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13315"}},{"Add":{"text":" {pre, a, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13345"}},{"Add":{"text":" {push_pre, st2} = push(st1, local_call(helper, [af_var(a)]))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13412"}},{"Add":{"text":" {pre ++ push_pre, st2}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13441"}},{"Add":{"text":" else","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13450"}},{"Add":{"text":" {pre1, b, st1} = pop(st)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13481"}},{"Add":{"text":" {pre2, a, st2} = pop(st1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13513"}},{"Add":{"text":" {push_pre, st3} = push(st2, local_call(helper, [af_var(a), af_var(b)]))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13591"}},{"Add":{"text":" {pre1 ++ pre2 ++ push_pre, st3}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13629"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13637"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13643"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13644"}},{"Add":{"text":" defp cg_simple({:call, fidx, argc, push?}, st, cg) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13700"}},{"Add":{"text":" {pre, args_rev, st1} = pop_n(st, argc)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13743"}},{"Add":{"text":" call = local_call(Map.fetch!(cg.fn_names, fidx), Enum.reverse(args_rev))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13820"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13821"}},{"Add":{"text":" if push? do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13837"}},{"Add":{"text":" {push_pre, st2} = push(st1, call)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13877"}},{"Add":{"text":" {pre ++ push_pre, st2}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13906"}},{"Add":{"text":" else","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13915"}},{"Add":{"text":" {pre, st1}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13932"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13940"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13946"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13947"}},{"Add":{"text":" defp cg_simple(op, _st, _cg), do: raise(\"unsupported instruction in codegen: #{inspect(op)}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14043"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14044"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14123"}},{"Add":{"text":" # Runtime helpers (emitted once per module, unexported, only when used)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14197"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14276"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14277"}},{"Add":{"text":" defp emit_helpers(nums, truthy?) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14315"}},{"Add":{"text":" num_forms = nums |> Enum.sort() |> Enum.map(&numeric_helper_form/1)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14387"}},{"Add":{"text":" if truthy?, do: num_forms ++ [truthy_form()], else: num_forms","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14453"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14459"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14460"}},{"Add":{"text":" defp num_suffix!(name) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14488"}},{"Add":{"text":" case Atom.to_string(name) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14521"}},{"Add":{"text":" \"i32.\" <> suffix -> String.to_atom(suffix)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14570"}},{"Add":{"text":" _ -> raise(\"unsupported numeric instruction: #{inspect(name)}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14640"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14648"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14654"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14655"}},{"Add":{"text":" defp num_helper!(name) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14683"}},{"Add":{"text":" suffix = num_suffix!(name)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14714"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14715"}},{"Add":{"text":" if suffix in @supported_nums do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14751"}},{"Add":{"text":" String.to_atom(\"__i32_\" <> Atom.to_string(suffix))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14808"}},{"Add":{"text":" else","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14817"}},{"Add":{"text":" raise(\"unsupported numeric instruction: #{inspect(name)}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14882"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14890"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14896"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14897"}},{"Add":{"text":" defp numeric_helper_form(name) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14933"}},{"Add":{"text":" suffix = num_suffix!(name)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14964"}},{"Add":{"text":" helper = String.to_atom(\"__i32_\" <> Atom.to_string(suffix))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15028"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15029"}},{"Add":{"text":" cond do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15041"}},{"Add":{"text":" suffix == :popcnt ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15068"}},{"Add":{"text":" a = af_var(:A)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15091"}},{"Add":{"text":" dec = af_op(:band, a, af_op(:-, a, af_int(1)))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15146"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15147"}},{"Add":{"text":" {:function, ann(), helper, 1,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15185"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15196"}},{"Add":{"text":" af_clause([af_int(0)], [af_int(0)]),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15244"}},{"Add":{"text":" af_clause([a], [af_op(:+, af_int(1), local_call(helper, [dec]))])","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15321"}},{"Add":{"text":" ]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15333"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15334"}},{"Add":{"text":" suffix in @unary_nums ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15365"}},{"Add":{"text":" {:function, ann(), helper, 1, [af_clause([af_var(:A)], [unary_num_body(suffix)])]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15456"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15457"}},{"Add":{"text":" true ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15471"}},{"Add":{"text":" {:function, ann(), helper, 2,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15509"}},{"Add":{"text":" [af_clause([af_var(:A), af_var(:B)], [binary_num_body(suffix)])]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15584"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15592"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15598"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15599"}},{"Add":{"text":" # Normalize to canonical u32, then bias into signed range for signed ops.","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15675"}},{"Add":{"text":" defp norm(x), do: af_op(:band, x, af_int(@m32))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15725"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15726"}},{"Add":{"text":" defp af_op(op, a), do: {:op, ann(), op, a}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15771"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15772"}},{"Add":{"text":" defp af_op(op, a, b), do: {:op, ann(), op, a, b}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15823"}},{"Add":{"text":" defp bias(x), do: af_op(:-, x, af_op(:bsl, af_op(:bsr, x, af_int(31)), af_int(32)))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15909"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15910"}},{"Add":{"text":" defp unary_num_body(suffix) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15943"}},{"Add":{"text":" a = norm(af_var(:A))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15968"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15969"}},{"Add":{"text":" case suffix do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15988"}},{"Add":{"text":" :eqz ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16002"}},{"Add":{"text":" af_op(:==, a, af_int(0))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16035"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16036"}},{"Add":{"text":" :clz ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16050"}},{"Add":{"text":" bits = af_op(:byte_size, erl_call(:integer_to_binary, [a, af_int(2)]))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16129"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16130"}},{"Add":{"text":" {:if, ann(),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16151"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16162"}},{"Add":{"text":" guard_clause(af_op(:==, a, af_int(0)), [af_int(32)]),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16227"}},{"Add":{"text":" af_clause([], [af_op(:-, af_int(32), bits)])","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16283"}},{"Add":{"text":" ]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16295"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16296"}},{"Add":{"text":" :ctz ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16310"}},{"Add":{"text":" lowbit = af_op(:band, a, af_op(:-, a, af_int(1)))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16368"}},{"Add":{"text":" bits = af_op(:byte_size, erl_call(:integer_to_binary, [lowbit, af_int(2)]))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16452"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16453"}},{"Add":{"text":" {:if, ann(),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16474"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16485"}},{"Add":{"text":" guard_clause(af_op(:==, a, af_int(0)), [af_int(32)]),","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16550"}},{"Add":{"text":" af_clause([], [af_op(:-, bits, af_int(1))])","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16605"}},{"Add":{"text":" ]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16617"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16625"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16631"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16632"}},{"Add":{"text":" defp binary_num_body(suffix) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16666"}},{"Add":{"text":" na = norm(af_var(:A))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16692"}},{"Add":{"text":" nb = norm(af_var(:B))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16718"}},{"Add":{"text":" sh = af_op(:band, nb, af_int(31))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16756"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16757"}},{"Add":{"text":" wrapped = fn expr -> af_op(:band, expr, af_int(@m32)) end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16819"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16820"}},{"Add":{"text":" case suffix do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16839"}},{"Add":{"text":" :add -> wrapped.(af_op(:+, na, nb))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16881"}},{"Add":{"text":" :sub -> wrapped.(af_op(:-, na, nb))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16923"}},{"Add":{"text":" :mul -> wrapped.(af_op(:*, na, nb))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16965"}},{"Add":{"text":" :div_s -> wrapped.(af_op(:div, bias(na), bias(nb)))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17023"}},{"Add":{"text":" :div_u -> af_op(:div, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17059"}},{"Add":{"text":" :rem_s -> wrapped.(af_op(:rem, bias(na), bias(nb)))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17117"}},{"Add":{"text":" :rem_u -> af_op(:rem, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17153"}},{"Add":{"text":" :and -> af_op(:band, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17188"}},{"Add":{"text":" :or -> af_op(:bor, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17221"}},{"Add":{"text":" :xor -> af_op(:bxor, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17256"}},{"Add":{"text":" :shl -> wrapped.(af_op(:bsl, na, sh))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17300"}},{"Add":{"text":" :shr_s -> wrapped.(af_op(:bsr, bias(na), sh))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17352"}},{"Add":{"text":" :shr_u -> af_op(:bsr, na, sh)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17388"}},{"Add":{"text":" :rotl -> wrapped.(af_op(:bor, af_op(:bsl, na, sh), af_op(:bsr, na, af_op(:-, af_int(32), sh))))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17490"}},{"Add":{"text":" :rotr -> wrapped.(af_op(:bor, af_op(:bsr, na, sh), af_op(:bsl, na, af_op(:-, af_int(32), sh))))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17592"}},{"Add":{"text":" :eq -> af_op(:==, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17624"}},{"Add":{"text":" :ne -> af_op(:\"=/=\", na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17659"}},{"Add":{"text":" :lt_s -> af_op(:<, bias(na), bias(nb))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17704"}},{"Add":{"text":" :le_s -> af_op(:\"=<\", bias(na), bias(nb))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17752"}},{"Add":{"text":" :gt_s -> af_op(:>, bias(na), bias(nb))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17797"}},{"Add":{"text":" :ge_s -> af_op(:>=, bias(na), bias(nb))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17843"}},{"Add":{"text":" :lt_u -> af_op(:<, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17876"}},{"Add":{"text":" :le_u -> af_op(:\"=<\", na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17912"}},{"Add":{"text":" :gt_u -> af_op(:>, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17945"}},{"Add":{"text":" :ge_u -> af_op(:>=, na, nb)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17979"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17987"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17993"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:17994"}},{"Add":{"text":" defp truthy_form do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18016"}},{"Add":{"text":" c = af_var(:_C)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18036"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18037"}},{"Add":{"text":" {:function, ann(), :__truthy, 1,","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18074"}},{"Add":{"text":" [","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18081"}},{"Add":{"text":" {:clause, ann(), [c], [[af_call(:is_integer, [c])]], [af_op(:\"=/=\", c, af_int(0))]},","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18173"}},{"Add":{"text":" {:clause, ann(), [c], [[af_call(:is_boolean, [c])]], [c]},","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18239"}},{"Add":{"text":" af_clause([af_var(:_)], [erl_call(:error, [af_atom(:badarg)])])","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18310"}},{"Add":{"text":" ]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18318"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18324"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18325"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18404"}},{"Add":{"text":" # Abstract-format builders","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18433"}},{"Add":{"text":" # --------------------------------------------------------------------------","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18512"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18513"}},{"Add":{"text":" defp af_atom(a), do: {:atom, ann(), a}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18554"}},{"Add":{"text":" defp af_var(name), do: {:var, ann(), name}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18599"}},{"Add":{"text":" defp af_int(i), do: {:integer, ann(), i}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18642"}},{"Add":{"text":" defp af_nil, do: {:nil, ann()}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18675"}},{"Add":{"text":" defp af_cons(h, t), do: {:cons, ann(), h, t}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18722"}},{"Add":{"text":" defp af_tuple(items), do: {:tuple, ann(), items}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18773"}},{"Add":{"text":" defp af_match(left, right), do: {:match, ann(), left, right}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18836"}},{"Add":{"text":" defp af_clause(patterns, body), do: {:clause, ann(), patterns, [], body}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18911"}},{"Add":{"text":" defp guard_clause(guard, body), do: {:clause, ann(), [], [[guard]], body}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18987"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18988"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:18989"}},{"Add":{"text":" defp af_call(fun, args), do: {:call, ann(), af_atom(fun), args}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19055"}},{"Add":{"text":" defp af_list(items) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19080"}},{"Add":{"text":" Enum.reduce(Enum.reverse(items), af_nil(), &af_cons/2)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19139"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19145"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19146"}},{"Add":{"text":" defp local_call(fun, args), do: {:call, ann(), af_atom(fun), args}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19215"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19216"}},{"Add":{"text":" defp erl_call(fun, args) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19246"}},{"Add":{"text":" {:call, ann(), {:remote, ann(), af_atom(:erlang), af_atom(fun)}, args}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19321"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19327"}},{"Add":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19328"}},{"Add":{"text":" defp lists_split(n, list) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19359"}},{"Add":{"text":" {:call, ann(), {:remote, ann(), af_atom(:lists), af_atom(:split)}, [af_int(n), list]}","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19449"}},{"Add":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:19455"}}],"del_contents":[{"Del":{"text":" defp cf_walk_instr(other, ctx), do: cf_emit(ctx, other)","pos":"IEWMQNOXXQNEMT3BJNRFOBE5UZOP3XI7P5OODATQIAIDLDUVZSNAC:4246"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"APZpnLTzmhDN4r4g/nx3a/gnIr9Z7RX3AZ4+JWp0EZs=","login":null}

…

Dependencies

Change contents

Review