{"header":{"message":"Fix NaN and Inf floats","description":null,"timestamp":"2026-10-05T11:37:01.003853Z","authors":[{}]},"hash":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC","Fix NaN and Inf floats"],["AA",null],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"],["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","add wat fixtures"],["Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","embedding memory instructions"],["A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","imports"],["SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","use captures in imports"],["5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC","Move abstract forms to erlang"],["5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC","port numerics"],["F35CH6Z6XKLQM2TFKUS5INLIPGUJ6OXQ57LLOBHRPMW6HRF4EV4QC","lowering is proted"],["F4ZFEBIVDNXWBLR7SB2Q5XA5WPNSBXLXENJWWAZFRMZKUTVTAM6QC","codegen helpers"],["LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC","port cg_simple"],["QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC","port imports"],["MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC","porting memory"],["PNTZYPR7F6ZYN65BTOIP3ISTEGMIAM4CQUR2L3YEJA3BIRJ6WHUAC","port embedder entry module"],["JJGCQG4U4MF3NMCSFP4ZO4ZEQF3ZITPPDV2BSCPHGNPDX4FKTKEQC","update readme"],["N2KJFMPH4YS7BB7LGS2ANLSDKCQEZRJUXQQEQOBOZ3W6YQZV5QOAC","multimemory"],["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","Basic SIMD implementation"],["A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","simd lane"],["3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","integer lane ALU"],["2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC","bitwise and comparison"],["PINWPKYAJ7RGQLYOPCAQOL3WD3JWC7KBPFPHWIVIJDZTD26IB4CQC","version 0.2.1"],["L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC","Add ETS memory backend"],["VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC","refs"],["EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC","Fix multiargument call order bug"],["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","First success compilation"],["GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC","return call, bulk mem, mutable globals"],["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC","Initial commit"]],"deps":["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC","5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC","F35CH6Z6XKLQM2TFKUS5INLIPGUJ6OXQ57LLOBHRPMW6HRF4EV4QC","F4ZFEBIVDNXWBLR7SB2Q5XA5WPNSBXLXENJWWAZFRMZKUTVTAM6QC","LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC","QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC","MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC","PNTZYPR7F6ZYN65BTOIP3ISTEGMIAM4CQUR2L3YEJA3BIRJ6WHUAC","JJGCQG4U4MF3NMCSFP4ZO4ZEQF3ZITPPDV2BSCPHGNPDX4FKTKEQC","N2KJFMPH4YS7BB7LGS2ANLSDKCQEZRJUXQQEQOBOZ3W6YQZV5QOAC","HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC","PINWPKYAJ7RGQLYOPCAQOL3WD3JWC7KBPFPHWIVIJDZTD26IB4CQC","L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC"],"known":["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC","VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC","EYIT2UIISJ467SGRWJA67UUYCCYPIRRYIQMEYNMQRAVKRWYN2OHAC"]},"hunks":[{"Edit":{"inode":{"change":2,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":1239,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":2186}],"down_context":[{"change":2,"pos":490}],"flag":"BLOCK","start":0,"end":8553,"inode":{"change":2,"pos":62}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:0"}},{"Add":{"text":" # The BEAM has no infinity and no NaN: no literal spells one, and","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:68"}},{"Add":{"text":" # `1.0e308 * 10.0` raises badarith. A non-finite wasm f32/f64 is therefore","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:145"}},{"Add":{"text":" # carried as `:+inf` / `:-inf` / `{:nan, payload}` / `{:-nan, payload}` --","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:222"}},{"Add":{"text":" # the shapes wa_parser 0.1.3 decodes a constant to, payload being the raw","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:298"}},{"Add":{"text":" # fraction field with the quiet bit included.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:346"}},{"Add":{"text":" describe \"non-finite floats\" do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:380"}},{"Add":{"text":" @f64_quiet 0x8000000000000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:411"}},{"Add":{"text":" @f32_quiet 0x400000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:435"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:436"}},{"Add":{"text":" setup do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:449"}},{"Add":{"text":" assert {:module, :\"44_float_nonfinite\"} = compile_wat(\"44_float_nonfinite\")","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:531"}},{"Add":{"text":" {:ok, m: :\"44_float_nonfinite\"}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:569"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:577"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:578"}},{"Add":{"text":" test \"constants reach the caller as tags, not as bogus floats\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:657"}},{"Add":{"text":" assert call(m, \"pos_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:704"}},{"Add":{"text":" assert call(m, \"neg_inf\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:751"}},{"Add":{"text":" assert call(m, \"quiet_nan\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:811"}},{"Add":{"text":" assert call(m, \"payload_nan\", []) == {:nan, 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:869"}},{"Add":{"text":" assert call(m, \"neg_f32_nan\", []) == {:\"-nan\", 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:930"}},{"Add":{"text":" # a finite constant is still an ordinary Erlang float","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:990"}},{"Add":{"text":" assert call(m, \"finite_f32\", []) == 1.5","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1036"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1044"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1045"}},{"Add":{"text":" test \"a non-finite global initializer survives the compile-time evaluation\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1137"}},{"Add":{"text":" assert call(m, \"mutable_global\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1191"}},{"Add":{"text":" assert call(m, \"immutable_global\", []) == {:\"-nan\", 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1257"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1265"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1266"}},{"Add":{"text":" test \"arithmetic on and with an infinity or NaN follows IEEE\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1344"}},{"Add":{"text":" assert call(m, \"inf_plus_one\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1396"}},{"Add":{"text":" assert call(m, \"inf_minus_inf\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1460"}},{"Add":{"text":" assert call(m, \"inf_minus_neg_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1517"}},{"Add":{"text":" assert call(m, \"inf_times_zero\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1582"}},{"Add":{"text":" # an arithmetic NaN's payload is unspecified, so the canonical one answers","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1663"}},{"Add":{"text":" assert call(m, \"nan_times_one\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1727"}},{"Add":{"text":" # a zero divisor is an infinity in wasm, not a trap","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1785"}},{"Add":{"text":" assert call(m, \"one_over_zero\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1838"}},{"Add":{"text":" assert call(m, \"neg_one_over_neg_zero\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1899"}},{"Add":{"text":" assert call(m, \"zero_over_zero\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:1964"}},{"Add":{"text":" assert call(m, \"finite_divide\", []) == 0.25","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2014"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2022"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2023"}},{"Add":{"text":" test \"NaN is unordered against everything, including itself\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2100"}},{"Add":{"text":" assert call(m, \"nan_ne_nan\", []) == true","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2147"}},{"Add":{"text":" assert call(m, \"nan_lt_one\", []) == false","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2195"}},{"Add":{"text":" assert call(m, \"inf_gt_one\", []) == true","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2242"}},{"Add":{"text":" assert call(m, \"inf_eq_neg_inf\", []) == false","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2294"}},{"Add":{"text":" assert call(m, \"nan_min_one\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2356"}},{"Add":{"text":" assert call(m, \"inf_max_neg_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2411"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2412"}},{"Add":{"text":" # the same comparisons with the infinity as the right-hand operand","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2485"}},{"Add":{"text":" assert call(m, \"one_lt_inf\", []) == true","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2532"}},{"Add":{"text":" assert call(m, \"one_gt_neg_inf\", []) == true","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2583"}},{"Add":{"text":" assert call(m, \"one_eq_inf\", []) == false","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2631"}},{"Add":{"text":" assert call(m, \"one_le_neg_inf\", []) == false","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2683"}},{"Add":{"text":" assert call(m, \"one_ge_nan\", []) == false","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2731"}},{"Add":{"text":" assert call(m, \"one_min_inf\", []) == 1.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2778"}},{"Add":{"text":" assert call(m, \"one_max_neg_inf\", []) == 1.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2829"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2837"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2838"}},{"Add":{"text":" test \"abs, neg and copysign keep the NaN payload; rounding passes through\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2929"}},{"Add":{"text":" assert call(m, \"neg_nan\", []) == {:nan, 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:2983"}},{"Add":{"text":" assert call(m, \"abs_neg_nan\", []) == {:nan, 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3041"}},{"Add":{"text":" assert call(m, \"copysign_from_neg_inf\", []) == -1.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3099"}},{"Add":{"text":" assert call(m, \"sqrt_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3147"}},{"Add":{"text":" # a negative radicand is a NaN, not a badarith","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3200"}},{"Add":{"text":" assert call(m, \"sqrt_negative\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3264"}},{"Add":{"text":" assert call(m, \"ceil_neg_inf\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3316"}},{"Add":{"text":" assert call(m, \"floor_nan\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3376"}},{"Add":{"text":" assert call(m, \"nearest_nan\", []) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3438"}},{"Add":{"text":" assert call(m, \"f32_sqrt_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3490"}},{"Add":{"text":" assert call(m, \"f32_inf_times_neg_two\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3551"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3559"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3560"}},{"Add":{"text":" test \"conversions across the f32/f64 boundary and to integers\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3639"}},{"Add":{"text":" assert call(m, \"demote_nan\", []) == {:nan, @f32_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3700"}},{"Add":{"text":" assert call(m, \"demote_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3750"}},{"Add":{"text":" # past the f32 range a demote rounds to an infinity","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3808"}},{"Add":{"text":" assert call(m, \"demote_overflow\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3863"}},{"Add":{"text":" assert call(m, \"promote_nan\", []) == {:\"-nan\", Bitwise.bsl(0x1234, 29)}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:3941"}},{"Add":{"text":" # i32 values come back canonically unsigned, as everywhere else","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4011"}},{"Add":{"text":" assert call(m, \"trunc_sat_neg_inf\", []) == 0x80000000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4071"}},{"Add":{"text":" assert call(m, \"trunc_sat_nan\", []) == 0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4118"}},{"Add":{"text":" assert call(m, \"trunc_sat_finite\", []) == 0xFFFFFFFF","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4177"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4178"}},{"Add":{"text":" # erlang:error(badarg) surfaces as ArgumentError, the trap the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4247"}},{"Add":{"text":" # out-of-range finite case already raises","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4295"}},{"Add":{"text":" for trapping <- [\"trunc_traps_on_nan\", \"trunc_traps_on_inf\"] do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4365"}},{"Add":{"text":" assert_raise ArgumentError, fn -> call(m, trapping, []) end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4433"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4443"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4451"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4452"}},{"Add":{"text":" test \"reinterpret carries the raw bits of a non-finite value\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4530"}},{"Add":{"text":" assert call(m, \"reinterpret_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4585"}},{"Add":{"text":" assert call(m, \"reinterpret_inf_back\", []) == 0xFF800000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4648"}},{"Add":{"text":" assert call(m, \"reinterpret_nan64\", []) == 0x7FF0000000001234","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4716"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4724"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4725"}},{"Add":{"text":" test \"linear memory round-trips a non-finite float bit-exactly\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4805"}},{"Add":{"text":" assert call(m, \"store_load_inf\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4859"}},{"Add":{"text":" assert call(m, \"store_load_f32_nan\", []) == {:nan, 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4924"}},{"Add":{"text":" # a pattern written as raw bits decodes exactly like a stored value","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:4998"}},{"Add":{"text":" assert call(m, \"load_raw_inf_bits\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5055"}},{"Add":{"text":" # signalling NaN: the quiet bit is part of the payload, not implied","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5129"}},{"Add":{"text":" assert call(m, \"load_raw_nan_bits\", []) == {:nan, 1}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5188"}},{"Add":{"text":" assert call(m, \"store_nan_bits_back\", []) == 0x7FF0000000001234","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5258"}},{"Add":{"text":" assert call(m, \"finite_memory\", []) == 2.5","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5307"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5315"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5316"}},{"Add":{"text":" test \"a tag handed in from the host travels the same paths\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5392"}},{"Add":{"text":" assert call(m, \"double\", [:\"+inf\"]) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5445"}},{"Add":{"text":" assert call(m, \"double\", [1.5]) == 3.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5490"}},{"Add":{"text":" # an arithmetic NaN's payload is unspecified, so the canonical one answers","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5571"}},{"Add":{"text":" assert call(m, \"double\", [{:nan, 0x1234}]) == {:nan, @f64_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5642"}},{"Add":{"text":" assert call(m, \"equals_zero\", [0.0]) == true","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5693"}},{"Add":{"text":" assert call(m, \"equals_zero\", [:\"+inf\"]) == false","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5749"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5757"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5758"}},{"Add":{"text":" test \"a mutable global takes a write and reads a tag back\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5833"}},{"Add":{"text":" assert call(m, \"mutable_global\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5887"}},{"Add":{"text":" assert call(m, \"set_mutable_global\", [42.5]) == :ok","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5945"}},{"Add":{"text":" assert call(m, \"mutable_global\", []) == 42.5","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:5996"}},{"Add":{"text":" assert call(m, \"mutable_global_equals\", [42.5]) == true","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6058"}},{"Add":{"text":" assert call(m, \"mutable_global_equals\", [1.0]) == false","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6120"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6121"}},{"Add":{"text":" assert call(m, \"set_mutable_global\", [:\"+inf\"]) == :ok","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6182"}},{"Add":{"text":" assert call(m, \"mutable_global\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6236"}},{"Add":{"text":" assert call(m, \"mutable_global_equals\", [:\"+inf\"]) == true","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6301"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6309"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6315"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6316"}},{"Add":{"text":" describe \"non-finite SIMD float lanes\" do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6360"}},{"Add":{"text":" @f32_quiet 0x400000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6384"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6385"}},{"Add":{"text":" setup do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6398"}},{"Add":{"text":" assert {:module, :\"45_simd_float_nonfinite\"} = compile_wat(\"45_simd_float_nonfinite\")","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6490"}},{"Add":{"text":" {:ok, m: :\"45_simd_float_nonfinite\"}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6533"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6541"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6542"}},{"Add":{"text":" test \"lane access keeps the value and its payload\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6609"}},{"Add":{"text":" assert call(m, \"extract_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6660"}},{"Add":{"text":" assert call(m, \"extract_nan\", []) == {:\"-nan\", 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6721"}},{"Add":{"text":" assert call(m, \"splat\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6766"}},{"Add":{"text":" assert call(m, \"replace_lane\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6818"}},{"Add":{"text":" # an integer lane is bits, not a value","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6863"}},{"Add":{"text":" assert call(m, \"int_lane_bits\", []) == 0x7F800000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6919"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6927"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6928"}},{"Add":{"text":" test \"lane comparison is unordered against NaN\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:6992"}},{"Add":{"text":" assert call(m, \"cmp_nan\", []) == 0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7033"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7041"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7042"}},{"Add":{"text":" test \"lane arithmetic follows IEEE\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7094"}},{"Add":{"text":" assert call(m, \"add_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7141"}},{"Add":{"text":" assert call(m, \"add_inf_nan\", []) == {:nan, @f32_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7203"}},{"Add":{"text":" assert call(m, \"min_nan\", []) == {:nan, @f32_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7261"}},{"Add":{"text":" assert call(m, \"max_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7308"}},{"Add":{"text":" # pmin(a, b) = b < a ? b : a, pmax(a, b) = a > b ? a : b","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7371"}},{"Add":{"text":" assert call(m, \"pmin\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7415"}},{"Add":{"text":" assert call(m, \"pmax_nan\", []) == 1.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7459"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7467"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7468"}},{"Add":{"text":" test \"unary lane ops\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7506"}},{"Add":{"text":" assert call(m, \"abs_nan\", []) == {:nan, 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7560"}},{"Add":{"text":" assert call(m, \"neg_inf\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7607"}},{"Add":{"text":" assert call(m, \"sqrt_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7655"}},{"Add":{"text":" assert call(m, \"sqrt_negative\", []) == {:nan, @f32_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7719"}},{"Add":{"text":" assert call(m, \"ceil_inf\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7767"}},{"Add":{"text":" assert call(m, \"nearest_nan\", []) == {:nan, @f32_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7829"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7837"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7838"}},{"Add":{"text":" test \"lane conversions\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7878"}},{"Add":{"text":" assert call(m, \"trunc_sat_neg_inf\", []) == 0x80000000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7938"}},{"Add":{"text":" assert call(m, \"trunc_sat_nan\", []) == 0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:7985"}},{"Add":{"text":" assert call(m, \"demote\", []) == {:nan, @f32_quiet}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8042"}},{"Add":{"text":" assert call(m, \"promote\", []) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8089"}},{"Add":{"text":" assert call(m, \"f64_add\", []) == :\"+inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8136"}},{"Add":{"text":" assert call(m, \"f64_min\", []) == 1.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8179"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8187"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8188"}},{"Add":{"text":" test \"the all-finite fast path is unchanged\", %{m: m} do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8249"}},{"Add":{"text":" assert call(m, \"finite_add\", []) == 2.5","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8295"}},{"Add":{"text":" assert call(m, \"finite_mul\", []) == 5.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8341"}},{"Add":{"text":" assert call(m, \"finite_f64\", []) == 18.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8388"}},{"Add":{"text":" # lane 0 of min([1, -1, 3, -3], [2, -2, 2, -2])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8442"}},{"Add":{"text":" assert call(m, \"finite_min\", []) == 1.0","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8488"}},{"Add":{"text":" assert call(m, \"finite_trunc_sat\", []) == 1","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8538"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8546"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8552"}}]}},{"Edit":{"inode":{"change":22,"pos":44},"path":"wa_embedder_ex/test/memory_ets_test.exs","line":36,"atom":{"NewVertex":{"up_context":[{"change":22,"pos":1384}],"down_context":[{"change":22,"pos":1384}],"flag":"BLOCK","start":8554,"end":8706,"inode":{"change":22,"pos":44}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8554"}},{"Add":{"text":" test \"#{inspect(backend)}: a non-finite float round-trips bit-exactly\" do","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8634"}},{"Add":{"text":" backend = unquote(backend)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8669"}},{"Add":{"text":" ref = backend.new(1, :none)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8705"}}]}},{"Edit":{"inode":{"change":22,"pos":44},"path":"wa_embedder_ex/test/memory_ets_test.exs","line":41,"atom":{"NewVertex":{"up_context":[{"change":22,"pos":1385}],"down_context":[{"change":22,"pos":1385}],"flag":"BLOCK","start":8707,"end":9582,"inode":{"change":22,"pos":44}}},"contents":[{"Add":{"text":" # the BEAM cannot hold an infinity or a NaN, so the embedder carries","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8783"}},{"Add":{"text":" # them as tags and stores the bits behind them","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8838"}},{"Add":{"text":" ref = backend.store(ref, 0, 8, :\"-inf\", :float)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8894"}},{"Add":{"text":" assert backend.load(ref, 0, 8, :float) == :\"-inf\"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:8952"}},{"Add":{"text":" assert backend.load(ref, 0, 8, :unsigned) == 0xFFF0000000000000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9024"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9025"}},{"Add":{"text":" ref = backend.store(ref, 8, 4, {:nan, 0x1234}, :float)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9088"}},{"Add":{"text":" assert backend.load(ref, 8, 4, :float) == {:nan, 0x1234}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9153"}},{"Add":{"text":" # nan:0x1234 sets the exponent and the payload, not the quiet bit","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9227"}},{"Add":{"text":" assert backend.load(ref, 8, 4, :unsigned) == 0x7F801234","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9291"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9292"}},{"Add":{"text":" # a payload that truncates to nothing in the narrower slot would read","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9370"}},{"Add":{"text":" # back as an infinity, so the quiet bit takes its place","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9434"}},{"Add":{"text":" ref = backend.store(ref, 16, 4, {:nan, 0x20000000}, :float)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9502"}},{"Add":{"text":" assert backend.load(ref, 16, 4, :float) == {:nan, 0x400000}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9570"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9580"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9581"}}]}},{"FileAdd":{"meta":{"basename":"45_simd_float_nonfinite.wat","metadata":0},"path":"test_data/wat/45_simd_float_nonfinite.wat","context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":";; Non-finite values in SIMD float lanes.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9677"}},{"Add":{"text":";;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9680"}},{"Add":{"text":";; A v128 is a 16-byte binary and its float lanes are little-endian inside it,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9759"}},{"Add":{"text":";; so a lane can hold an infinity or a NaN without the BEAM ever seeing one:","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9836"}},{"Add":{"text":";; the lane is unpacked into a tagged value, operated on, and packed back to","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9913"}},{"Add":{"text":";; bits. The expectations in wa_embedder_ex/test/wa_embedder_test.exs are","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:9987"}},{"Add":{"text":";; literal, with `+inf' / `-inf' and `{nan, Payload}' as in the scalar fixture.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10067"}},{"Add":{"text":";;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10070"}},{"Add":{"text":";; The `finite_*` exports at the bottom run the same helpers with only finite","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10148"}},{"Add":{"text":";; lanes, guarding the native fast path against a regression.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10210"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10211"}},{"Add":{"text":"(module","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10219"}},{"Add":{"text":" ;; --- lane access ---------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10298"}},{"Add":{"text":" (func (export \"extract_inf\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10342"}},{"Add":{"text":" (f32x4.extract_lane 0 (v128.const f32x4 inf 0 0 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10399"}},{"Add":{"text":" (func (export \"extract_nan\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10443"}},{"Add":{"text":" (f32x4.extract_lane 2 (v128.const f32x4 0 0 -nan:0x1234 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10508"}},{"Add":{"text":" (func (export \"splat\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10546"}},{"Add":{"text":" (f32x4.extract_lane 3 (f32x4.splat (f32.const -inf))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10605"}},{"Add":{"text":" (func (export \"replace_lane\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10650"}},{"Add":{"text":" (f32x4.extract_lane 1 (f32x4.replace_lane 1 (v128.const f32x4 1 1 1 1) (f32.const -inf))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10745"}},{"Add":{"text":" ;; an integer lane is bits, not a value: untouched by any of this","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10813"}},{"Add":{"text":" (func (export \"int_lane_bits\") (result i32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10859"}},{"Add":{"text":" (i32x4.extract_lane 0 (v128.const i32x4 0x7F800000 0 0 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10923"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:10924"}},{"Add":{"text":" ;; --- comparison ----------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11003"}},{"Add":{"text":" ;; NaN is unordered, so every lane of the mask is zero","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11060"}},{"Add":{"text":" (func (export \"cmp_nan\") (result i32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11100"}},{"Add":{"text":" (i32x4.extract_lane 0 (f32x4.lt (v128.const f32x4 nan 0 0 0) (v128.const f32x4 1 1 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11195"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11196"}},{"Add":{"text":" ;; --- lane arithmetic -----------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11275"}},{"Add":{"text":" (func (export \"add_inf\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11315"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.add (v128.const f32x4 inf 0 0 0) (v128.const f32x4 1 1 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11411"}},{"Add":{"text":" (func (export \"add_inf_nan\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11455"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.add (v128.const f32x4 inf 0 0 0) (v128.const f32x4 nan 1 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11553"}},{"Add":{"text":" (func (export \"min_nan\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11593"}},{"Add":{"text":" (f32x4.extract_lane 1 (f32x4.min (v128.const f32x4 1 nan 1 1) (v128.const f32x4 1 1 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11689"}},{"Add":{"text":" (func (export \"max_inf\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11729"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.max (v128.const f32x4 -inf 0 0 0) (v128.const f32x4 inf 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11828"}},{"Add":{"text":" ;; pmin(a, b) is `b < a ? b : a', so an unordered pair keeps a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11893"}},{"Add":{"text":" (func (export \"pmin\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:11930"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.pmin (v128.const f32x4 inf 0 0 0) (v128.const f32x4 -inf 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12030"}},{"Add":{"text":" ;; pmax(a, b) is `a > b ? a : b', so an unordered pair keeps b","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12095"}},{"Add":{"text":" (func (export \"pmax_nan\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12136"}},{"Add":{"text":" (f32x4.extract_lane 1 (f32x4.pmax (v128.const f32x4 1 nan 1 1) (v128.const f32x4 1 1 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12233"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12234"}},{"Add":{"text":" ;; --- unary lane ops ------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12313"}},{"Add":{"text":" (func (export \"abs_nan\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12353"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.abs (v128.const f32x4 -nan:0x1234 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12430"}},{"Add":{"text":" (func (export \"neg_inf\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12470"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.neg (v128.const f32x4 inf 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12539"}},{"Add":{"text":" (func (export \"sqrt_inf\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12580"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.sqrt (v128.const f32x4 inf 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12650"}},{"Add":{"text":" (func (export \"sqrt_negative\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12696"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.sqrt (v128.const f32x4 -1 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12765"}},{"Add":{"text":" (func (export \"ceil_inf\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12806"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.ceil (v128.const f32x4 inf 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12876"}},{"Add":{"text":" (func (export \"nearest_nan\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12920"}},{"Add":{"text":" (f32x4.extract_lane 1 (f32x4.nearest (v128.const f32x4 1 nan 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12993"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:12994"}},{"Add":{"text":" ;; --- lane conversions ----------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13073"}},{"Add":{"text":" (func (export \"trunc_sat_neg_inf\") (result i32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13123"}},{"Add":{"text":" (i32x4.extract_lane 0 (i32x4.trunc_sat_f32x4_s (v128.const f32x4 -inf 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13207"}},{"Add":{"text":" (func (export \"trunc_sat_nan\") (result i32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13253"}},{"Add":{"text":" (i32x4.extract_lane 1 (i32x4.trunc_sat_f32x4_s (v128.const f32x4 1 nan 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13336"}},{"Add":{"text":" (func (export \"demote\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13375"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.demote_f64x2_zero (v128.const f64x2 nan:0x1234 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13461"}},{"Add":{"text":" (func (export \"promote\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13501"}},{"Add":{"text":" (f64x2.extract_lane 0 (f64x2.promote_low_f32x4 (v128.const f32x4 -inf -inf 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13588"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13589"}},{"Add":{"text":" ;; --- f64x2 lanes ---------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13668"}},{"Add":{"text":" (func (export \"f64_add\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13708"}},{"Add":{"text":" (f64x2.extract_lane 0 (f64x2.add (v128.const f64x2 inf 0) (v128.const f64x2 1 1))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13796"}},{"Add":{"text":" (func (export \"f64_min\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13836"}},{"Add":{"text":" (f64x2.extract_lane 1 (f64x2.min (v128.const f64x2 1 1) (v128.const f64x2 nan inf))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13926"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:13927"}},{"Add":{"text":" ;; --- the finite fast path, unchanged ------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14005"}},{"Add":{"text":" (func (export \"finite_add\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14048"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.add (v128.const f32x4 1.5 0 0 0) (v128.const f32x4 1 0 0 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14144"}},{"Add":{"text":" (func (export \"finite_mul\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14187"}},{"Add":{"text":" (f32x4.extract_lane 1 (f32x4.mul (v128.const f32x4 1 2.5 3 4) (v128.const f32x4 2 2 2 2))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14283"}},{"Add":{"text":" (func (export \"finite_f64\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14326"}},{"Add":{"text":" (f64x2.extract_lane 1 (f64x2.sub (v128.const f64x2 10 20) (v128.const f64x2 1 2))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14414"}},{"Add":{"text":" (func (export \"finite_min\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14457"}},{"Add":{"text":" (f32x4.extract_lane 0 (f32x4.min (v128.const f32x4 1 -1 3 -3) (v128.const f32x4 2 -2 2 -2))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14555"}},{"Add":{"text":" (func (export \"finite_trunc_sat\") (result i32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14604"}},{"Add":{"text":" (i32x4.extract_lane 0 (i32x4.trunc_sat_f32x4_s (v128.const f32x4 1.9 -2.9 3 4)))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14691"}}]}},{"FileAdd":{"meta":{"basename":"44_float_nonfinite.wat","metadata":0},"path":"test_data/wat/44_float_nonfinite.wat","context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":";; Non-finite f32/f64 values end to end: constants, globals, arithmetic,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14812"}},{"Add":{"text":";; comparison, sign/rounding, conversion, reinterpret and linear memory.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14885"}},{"Add":{"text":";;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14888"}},{"Add":{"text":";; The BEAM cannot represent an infinity or a NaN -- no literal spells one and","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:14967"}},{"Add":{"text":";; even `1.0e308 * 10.0' raises badarith -- so the embedder carries a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15037"}},{"Add":{"text":";; non-finite value as `+inf' | `-inf' | {nan, Payload} | {'-nan, Payload}',","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15114"}},{"Add":{"text":";; the very shapes wa_parser decodes a constant to. Payload is the raw","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15185"}},{"Add":{"text":";; fraction field with the quiet bit included: a bare f64 `nan' is 16#8000000000000","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15269"}},{"Add":{"text":";; and a bare f32 one 16#400000.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15302"}},{"Add":{"text":";;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15305"}},{"Add":{"text":";; Every export returns that shape directly, so the expectations in","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15373"}},{"Add":{"text":";; wa_embedder_ex/test/wa_embedder_test.exs are literal. The trapping exports","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15451"}},{"Add":{"text":";; raise badarg, which is the trap the out-of-range finite case already raised.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15531"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15532"}},{"Add":{"text":"(module","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15540"}},{"Add":{"text":" (memory 1)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15553"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15554"}},{"Add":{"text":" ;; --- constants -----------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15633"}},{"Add":{"text":" (func (export \"pos_inf\") (result f64) (f64.const inf))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15690"}},{"Add":{"text":" (func (export \"neg_inf\") (result f64) (f64.const -inf))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15748"}},{"Add":{"text":" (func (export \"quiet_nan\") (result f64) (f64.const nan))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15807"}},{"Add":{"text":" (func (export \"payload_nan\") (result f64) (f64.const nan:0x1234))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15875"}},{"Add":{"text":" (func (export \"neg_f32_nan\") (result f32) (f32.const -nan:0x1234))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:15944"}},{"Add":{"text":" (func (export \"finite_f32\") (result f32) (f32.const 1.5))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16004"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16005"}},{"Add":{"text":" ;; --- globals -------------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16084"}},{"Add":{"text":" (global $mutable (mut f64) (f64.const inf))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16130"}},{"Add":{"text":" (global $immutable f64 (f64.const -nan:0x1234))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16180"}},{"Add":{"text":" (func (export \"mutable_global\") (result f64) (global.get $mutable))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16250"}},{"Add":{"text":" (func (export \"immutable_global\") (result f64) (global.get $immutable))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16324"}},{"Add":{"text":" ;; a mutable global takes a write, and a tag written into it reads back the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16402"}},{"Add":{"text":" ;; same way a constant one does","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16436"}},{"Add":{"text":" (func (export \"set_mutable_global\") (param f64) (global.set $mutable (local.get 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16523"}},{"Add":{"text":" (func (export \"mutable_global_equals\") (param f64) (result i32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16589"}},{"Add":{"text":" (f64.eq (global.get $mutable) (local.get 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16639"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16640"}},{"Add":{"text":" ;; --- arithmetic ----------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16719"}},{"Add":{"text":" (func (export \"inf_plus_one\") (result f64) (f64.add (f64.const inf) (f64.const 1)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16805"}},{"Add":{"text":" (func (export \"inf_minus_inf\") (result f64) (f64.sub (f64.const inf) (f64.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16894"}},{"Add":{"text":" (func (export \"inf_minus_neg_inf\") (result f64) (f64.sub (f64.const inf) (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:16988"}},{"Add":{"text":" (func (export \"inf_times_zero\") (result f64) (f64.mul (f64.const inf) (f64.const 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17076"}},{"Add":{"text":" (func (export \"nan_times_one\") (result f64) (f64.mul (f64.const nan:0x1234) (f64.const 1)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17170"}},{"Add":{"text":" ;; a zero divisor is an infinity in wasm, not a trap","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17225"}},{"Add":{"text":" (func (export \"one_over_zero\") (result f64) (f64.div (f64.const 1) (f64.const 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17310"}},{"Add":{"text":" (func (export \"neg_one_over_neg_zero\") (result f64) (f64.div (f64.const -1) (f64.const -0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17405"}},{"Add":{"text":" (func (export \"zero_over_zero\") (result f64) (f64.div (f64.const 0) (f64.const 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17491"}},{"Add":{"text":" (func (export \"finite_divide\") (result f64) (f64.div (f64.const 1) (f64.const 4)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17576"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17577"}},{"Add":{"text":" ;; --- comparison, min, max ------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17656"}},{"Add":{"text":" (func (export \"nan_ne_nan\") (result i32) (f64.ne (f64.const nan) (f64.const nan)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17741"}},{"Add":{"text":" (func (export \"nan_lt_one\") (result i32) (f64.lt (f64.const nan) (f64.const 1)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17824"}},{"Add":{"text":" (func (export \"inf_gt_one\") (result i32) (f64.gt (f64.const inf) (f64.const 1)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17907"}},{"Add":{"text":" (func (export \"inf_eq_neg_inf\") (result i32) (f64.eq (f64.const inf) (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:17997"}},{"Add":{"text":" (func (export \"nan_min_one\") (result f64) (f64.min (f64.const nan) (f64.const 1)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18082"}},{"Add":{"text":" (func (export \"inf_max_neg_inf\") (result f64) (f64.max (f64.const inf) (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18174"}},{"Add":{"text":" ;; ... and with the infinity on the right, which is the other comparison","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18249"}},{"Add":{"text":" ;; direction entirely","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18273"}},{"Add":{"text":" (func (export \"one_lt_inf\") (result i32) (f64.lt (f64.const 1) (f64.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18356"}},{"Add":{"text":" (func (export \"one_gt_neg_inf\") (result i32) (f64.gt (f64.const 1) (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18444"}},{"Add":{"text":" (func (export \"one_eq_inf\") (result i32) (f64.eq (f64.const 1) (f64.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18527"}},{"Add":{"text":" (func (export \"one_le_neg_inf\") (result i32) (f64.le (f64.const 1) (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18615"}},{"Add":{"text":" (func (export \"one_ge_nan\") (result i32) (f64.ge (f64.const 1) (f64.const nan)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18698"}},{"Add":{"text":" (func (export \"one_min_inf\") (result f64) (f64.min (f64.const 1) (f64.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18783"}},{"Add":{"text":" (func (export \"one_max_neg_inf\") (result f64) (f64.max (f64.const 1) (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18873"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18874"}},{"Add":{"text":" ;; --- sign, rounding, roots -----------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:18953"}},{"Add":{"text":" (func (export \"neg_nan\") (result f64) (f64.neg (f64.const -nan:0x1234)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19028"}},{"Add":{"text":" (func (export \"abs_neg_nan\") (result f64) (f64.abs (f64.const -nan:0x1234)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19107"}},{"Add":{"text":" (func (export \"copysign_from_neg_inf\") (result f64) (f64.copysign (f64.const 1) (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19208"}},{"Add":{"text":" (func (export \"sqrt_inf\") (result f64) (f64.sqrt (f64.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19277"}},{"Add":{"text":" (func (export \"sqrt_negative\") (result f64) (f64.sqrt (f64.const -4)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19350"}},{"Add":{"text":" (func (export \"ceil_neg_inf\") (result f64) (f64.ceil (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19424"}},{"Add":{"text":" (func (export \"floor_nan\") (result f64) (f64.floor (f64.const nan)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19495"}},{"Add":{"text":" (func (export \"nearest_nan\") (result f64) (f64.nearest (f64.const nan)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19570"}},{"Add":{"text":" (func (export \"f32_sqrt_inf\") (result f32) (f32.sqrt (f32.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19643"}},{"Add":{"text":" (func (export \"f32_inf_times_neg_two\") (result f32) (f32.mul (f32.const inf) (f32.const -2)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19739"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19740"}},{"Add":{"text":" ;; --- conversion ----------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19819"}},{"Add":{"text":" (func (export \"demote_nan\") (result f32) (f32.demote_f64 (f64.const nan:0x1234)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19903"}},{"Add":{"text":" (func (export \"demote_inf\") (result f32) (f32.demote_f64 (f64.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:19980"}},{"Add":{"text":" ;; past the f32 range a demote rounds to an infinity","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20035"}},{"Add":{"text":" (func (export \"demote_overflow\") (result f32) (f32.demote_f64 (f64.const 1e300)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20119"}},{"Add":{"text":" (func (export \"promote_nan\") (result f64) (f64.promote_f32 (f32.const -nan:0x1234)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20206"}},{"Add":{"text":" (func (export \"trunc_sat_neg_inf\") (result i32) (i32.trunc_sat_f64_s (f64.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20296"}},{"Add":{"text":" (func (export \"trunc_sat_nan\") (result i32) (i32.trunc_sat_f64_u (f64.const nan)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20381"}},{"Add":{"text":" (func (export \"trunc_sat_finite\") (result i32) (i32.trunc_sat_f64_s (f64.const -1.9)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20470"}},{"Add":{"text":" (func (export \"trunc_traps_on_nan\") (result i32) (i32.trunc_f64_s (f64.const nan)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20556"}},{"Add":{"text":" (func (export \"trunc_traps_on_inf\") (result i32) (i32.trunc_f64_s (f64.const inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20642"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20643"}},{"Add":{"text":" ;; --- reinterpret ---------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20722"}},{"Add":{"text":" (func (export \"reinterpret_inf\") (result f32) (f32.reinterpret_i32 (i32.const 0x7F800000)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20816"}},{"Add":{"text":" (func (export \"reinterpret_inf_back\") (result i32) (i32.reinterpret_f32 (f32.const -inf)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:20909"}},{"Add":{"text":" (func (export \"reinterpret_nan64\") (result i64) (i64.reinterpret_f64 (f64.const nan:0x1234)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21005"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21006"}},{"Add":{"text":" ;; --- linear memory -------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21085"}},{"Add":{"text":" (func (export \"store_load_inf\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21132"}},{"Add":{"text":" (f64.store (i32.const 0) (f64.const -inf))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21179"}},{"Add":{"text":" (f64.load (i32.const 0)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21209"}},{"Add":{"text":" (func (export \"store_load_f32_nan\") (result f32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21260"}},{"Add":{"text":" (f32.store (i32.const 8) (f32.const nan:0x1234))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21313"}},{"Add":{"text":" (f32.load (i32.const 8)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21343"}},{"Add":{"text":" ;; an infinity written as raw bits decodes the same way a stored one does","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21419"}},{"Add":{"text":" (func (export \"load_raw_inf_bits\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21469"}},{"Add":{"text":" (i64.store (i32.const 16) (i64.const 0xFFF0000000000000))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21531"}},{"Add":{"text":" (f64.load (i32.const 16)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21562"}},{"Add":{"text":" (func (export \"load_raw_nan_bits\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21612"}},{"Add":{"text":" (i64.store (i32.const 24) (i64.const 0x7FF0000000000001))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21674"}},{"Add":{"text":" (f64.load (i32.const 24)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21705"}},{"Add":{"text":" (func (export \"store_nan_bits_back\") (result i64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21757"}},{"Add":{"text":" (f64.store (i32.const 32) (f64.const nan:0x1234))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21811"}},{"Add":{"text":" (i64.load (i32.const 32)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21842"}},{"Add":{"text":" (func (export \"finite_memory\") (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21888"}},{"Add":{"text":" (f64.store (i32.const 40) (f64.const 2.5))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21935"}},{"Add":{"text":" (f64.load (i32.const 40)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21966"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:21967"}},{"Add":{"text":" ;; --- host boundary -------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22046"}},{"Add":{"text":" ;; A host function may hand a tag straight back in; the same representation","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22124"}},{"Add":{"text":" ;; and the same code paths apply to a value that arrived from the caller.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22200"}},{"Add":{"text":" (func (export \"double\") (param f64) (result f64)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22251"}},{"Add":{"text":" (f64.mul (local.get 0) (f64.const 2)))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22294"}},{"Add":{"text":" (func (export \"equals_zero\") (param f64) (result i32)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22350"}},{"Add":{"text":" (f64.eq (local.get 0) (f64.const 0))))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22393"}}]}},{"Replacement":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":20,"ins":{"up_context":[{"change":17,"pos":2602}],"down_context":[{"change":17,"pos":2689}],"flag":"BLOCK","start":22394,"end":22533,"inode":{"change":17,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":17,"pos":2602},"to":{"change":18,"start":3404,"end":3517},"introduced_by":18}],"inode":{"change":17,"pos":1700}},"ins_contents":[{"Add":{"text":" af_match/2, af_clause/2, af_clause/3, af_op/2, af_op/3, af_list/1,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22464"}},{"Add":{"text":" af_bin/1, af_bin_elem/3, erl_call/2, remote_call/3, af_remote/3","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22532"}}],"del_contents":[{"Del":{"text":" af_match/2, af_clause/2, af_op/2, af_op/3, af_list/1,","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3461"}},{"Del":{"text":" af_bin/1, af_bin_elem/3, erl_call/2, remote_call/3","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3516"}}]}},{"Edit":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":23,"atom":{"NewVertex":{"up_context":[{"change":17,"pos":2693}],"down_context":[{"change":17,"pos":2693}],"flag":"BLOCK","start":22534,"end":22768,"inode":{"change":17,"pos":1700}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22534"}},{"Add":{"text":"%% The largest finite f32. A lane holding it is finite but fails the strict","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22610"}},{"Add":{"text":"%% magnitude test below, which is harmless: the fallback clause computes the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22687"}},{"Add":{"text":"%% same value, only more slowly.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22720"}},{"Add":{"text":"-define(F32_MAX_FLOAT, 3.4028234663852886e38).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22767"}}]}},{"Edit":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":133,"atom":{"NewVertex":{"up_context":[{"change":17,"pos":5504}],"down_context":[{"change":17,"pos":5504}],"flag":"BLOCK","start":22769,"end":23094,"inode":{"change":17,"pos":1700}}},"contents":[{"Add":{"text":" {function, ann(), Helper, simd_arity(Helper), simd_clauses(Helper)}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22841"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22842"}},{"Add":{"text":"%% An integer-shaped op emits a single clause; a helper that reads or writes a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22921"}},{"Add":{"text":"%% float lane emits the native clause followed by the wa_embedder_float","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:22993"}},{"Add":{"text":"%% fallback (see \"Tag-aware float lane helpers\" at the end of this module).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23069"}},{"Add":{"text":"simd_clauses(Helper) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23093"}}]}},{"Replacement":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":140,"ins":{"up_context":[{"change":17,"pos":5535}],"down_context":[{"change":17,"pos":5826}],"flag":"BLOCK","start":23095,"end":23457,"inode":{"change":17,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":17,"pos":5535},"to":{"change":17,"start":5535,"end":5826},"introduced_by":17}],"inode":{"change":17,"pos":1700}},"ins_contents":[{"Add":{"text":" Arity = simd_arity(Helper),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23126"}},{"Add":{"text":" Patterns = [av(P) || P <- lists:sublist(['A', 'B', 'C'], Arity)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23196"}},{"Add":{"text":" case float_helper(Op, Arity) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23232"}},{"Add":{"text":" nil ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23247"}},{"Add":{"text":" [af_clause(Patterns, simd_body(Arity, Op))];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23304"}},{"Add":{"text":" {FloatPatterns, Guards, Native, Fallback} ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23357"}},{"Add":{"text":" [af_clause(FloatPatterns, Guards, Native),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23412"}},{"Add":{"text":" af_clause(Patterns, Fallback)]","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23456"}}],"del_contents":[{"Del":{"text":" case simd_arity(Helper) of","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:5565"}},{"Del":{"text":" 1 -> {function, ann(), Helper, 1, [af_clause([av('A')], body1(Op))]};","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:5643"}},{"Del":{"text":" 2 -> {function, ann(), Helper, 2, [af_clause([av('A'), av('B')], body2(Op))]};","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:5730"}},{"Del":{"text":" 3 -> {function, ann(), Helper, 3, [af_clause([av('A'), av('B'), av('C')], body3(Op))]}","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:5825"}}]}},{"Edit":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":149,"atom":{"NewVertex":{"up_context":[{"change":17,"pos":5835}],"down_context":[{"change":17,"pos":5835}],"flag":"BLOCK","start":23458,"end":23552,"inode":{"change":17,"pos":1700}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23458"}},{"Add":{"text":"simd_body(1, Op) -> body1(Op);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23489"}},{"Add":{"text":"simd_body(2, Op) -> body2(Op);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23520"}},{"Add":{"text":"simd_body(3, Op) -> body3(Op).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23551"}}]}},{"Edit":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":169,"atom":{"NewVertex":{"up_context":[{"change":17,"pos":6563}],"down_context":[{"change":17,"pos":6563}],"flag":"BLOCK","start":23553,"end":24064,"inode":{"change":17,"pos":1700}}},"contents":[{"Add":{"text":" {af_match(Pat, SrcExpr), Vars}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23588"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23589"}},{"Add":{"text":"%% The same, but every lane is an unsigned INTEGER whatever the shape's kind:","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23667"}},{"Add":{"text":"%% a float lane's raw bits are the input wa_embedder_float:decode/2 takes, and","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23746"}},{"Add":{"text":"%% this match binds a tag lane too (a `/float' segment would not).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23813"}},{"Add":{"text":"unpack_int(SrcExpr, Prefix, Shape) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23851"}},{"Add":{"text":" {Count, Bits, _Kind} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23892"}},{"Add":{"text":" Vars = [af_var(list_to_atom(Prefix ++ integer_to_list(I))) || I <- lists:seq(0, Count - 1)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:23989"}},{"Add":{"text":" Pat = af_bin([af_bin_elem(V, Bits, [integer, little]) || V <- Vars]),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24063"}}]}},{"Edit":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":739,"atom":{"NewVertex":{"up_context":[{"change":20,"pos":9305}],"down_context":[{"change":19,"pos":6232}],"flag":"BLOCK","start":24065,"end":24309,"inode":{"change":17,"pos":1700}}},"contents":[{"Add":{"text":"%% A boolean answer as a lane mask: all-ones (2^Bits - 1) or all-zeros.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24136"}},{"Add":{"text":"bool_mask(BoolExpr, Bits) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24165"}},{"Add":{"text":" {'case', ann(), BoolExpr,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24195"}},{"Add":{"text":" [af_clause([af_atom(true)], [af_int((1 bsl Bits) - 1)]),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24257"}},{"Add":{"text":" af_clause([af_atom(false)], [af_int(0)])]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24307"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24308"}}]}},{"Edit":{"inode":{"change":17,"pos":1700},"path":"src/wa_embedder_simd.erl","line":811,"atom":{"NewVertex":{"up_context":[{"change":17,"pos":13265}],"down_context":[],"flag":"BLOCK","start":24310,"end":36453,"inode":{"change":17,"pos":1700}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24310"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24388"}},{"Add":{"text":"%% Tag-aware float lane helpers","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24420"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24498"}},{"Add":{"text":"%%","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24501"}},{"Add":{"text":"%% A wasm f32/f64 VALUE is an ordinary Erlang float while it is finite, and","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24577"}},{"Add":{"text":"%% one of '+inf' | '-inf' | {nan, P} | {'-nan', P} once it is not -- the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24650"}},{"Add":{"text":"%% encoding wa_embedder_float owns. A `/float' binary segment cannot bind a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24726"}},{"Add":{"text":"%% tag, so every helper that reads or writes a float lane is emitted as TWO","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24802"}},{"Add":{"text":"%% clauses, mirroring the scalar helpers in wa_embedder_num:","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24863"}},{"Add":{"text":"%%","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24866"}},{"Add":{"text":"%% 1. the head matches the v128 as floats and the guard requires every lane","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:24944"}},{"Add":{"text":"%% to be finite, so the all-finite case runs exactly the native lane code","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25023"}},{"Add":{"text":"%% it ran before -- no per-lane helper call, no re-interpretation. A","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25097"}},{"Add":{"text":"%% finite operand the native code would raise on (a negative sqrt","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25168"}},{"Add":{"text":"%% radicand, a zero divisor) fails the guard too and is routed to the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25243"}},{"Add":{"text":"%% fallback, which is where the scalar helpers route it as well;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25313"}},{"Add":{"text":"%% 2. the fallback unpacks the lanes as raw bits, decodes each one with","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25387"}},{"Add":{"text":"%% wa_embedder_float:decode/2, runs the operation per lane in","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25454"}},{"Add":{"text":"%% wa_embedder_float, and re-encodes with wa_embedder_float:encode/2.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25529"}},{"Add":{"text":"%%","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25532"}},{"Add":{"text":"%% A guard cannot band a float, so finiteness is tested on the magnitude: an","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25609"}},{"Add":{"text":"%% infinity is the only float a lane can hold that fails it, and a tag never","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25686"}},{"Add":{"text":"%% reaches the guard because it cannot bind to the clause's head pattern.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25760"}},{"Add":{"text":"%%","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25763"}},{"Add":{"text":"%% A helper is {HeadPatterns, GuardConjunctions, NativeBody, FallbackBody};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25839"}},{"Add":{"text":"%% `nil' means the op does not touch a float lane and keeps its single clause.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25918"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25919"}},{"Add":{"text":"float_helper(Op, Arity) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25946"}},{"Add":{"text":" case Op of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:25961"}},{"Add":{"text":" 'f32x4.splat' -> float_splat_helper(f32x4);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26013"}},{"Add":{"text":" 'f64x2.splat' -> float_splat_helper(f64x2);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26065"}},{"Add":{"text":" %% --- float -> int ---","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26097"}},{"Add":{"text":" 'i32x4.trunc_sat_f32x4_s' -> float_trunc_sat_helper(f32x4, i32x4, signed);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26180"}},{"Add":{"text":" 'i32x4.trunc_sat_f32x4_u' -> float_trunc_sat_helper(f32x4, i32x4, unsigned);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26265"}},{"Add":{"text":" 'i32x4.trunc_sat_f64x2_s_zero' -> float_trunc_sat_helper(f64x2, i32x4, signed);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26353"}},{"Add":{"text":" 'i32x4.trunc_sat_f64x2_u_zero' -> float_trunc_sat_helper(f64x2, i32x4, unsigned);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26443"}},{"Add":{"text":" %% --- float <-> float precision ---","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26488"}},{"Add":{"text":" 'f32x4.demote_f64x2_zero' -> float_demote_helper();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26548"}},{"Add":{"text":" 'f64x2.promote_low_f32x4' -> float_promote_helper();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26609"}},{"Add":{"text":" %% --- lane access ---","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26640"}},{"Add":{"text":" 'f32x4.extract_lane' -> float_extract_helper(f32x4);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26701"}},{"Add":{"text":" 'f64x2.extract_lane' -> float_extract_helper(f64x2);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26762"}},{"Add":{"text":" 'f32x4.replace_lane' -> float_replace_helper(f32x4);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26823"}},{"Add":{"text":" 'f64x2.replace_lane' -> float_replace_helper(f64x2);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26884"}},{"Add":{"text":" _ -> float_lane_helper(Op, Arity)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26926"}},{"Add":{"text":" end.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26935"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26936"}},{"Add":{"text":"float_lane_helper(Op, 1) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:26964"}},{"Add":{"text":" Suffix = op_suffix(atom_to_list(Op)),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27006"}},{"Add":{"text":" Shape = op_shape(Op),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27032"}},{"Add":{"text":" case lists:member(Suffix, [\"neg\", \"abs\", \"sqrt\", \"ceil\", \"floor\", \"trunc\", \"nearest\"])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27123"}},{"Add":{"text":" andalso is_float_shape(Shape) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27165"}},{"Add":{"text":" true -> float_unary_helper(Shape, Suffix);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27216"}},{"Add":{"text":" false -> nil","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27237"}},{"Add":{"text":" end;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27246"}},{"Add":{"text":"float_lane_helper(Op, 2) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27274"}},{"Add":{"text":" Suffix = op_suffix(atom_to_list(Op)),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27316"}},{"Add":{"text":" Shape = op_shape(Op),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27342"}},{"Add":{"text":" case lists:member(Suffix, [\"add\", \"sub\", \"mul\", \"div\", \"min\", \"max\", \"pmin\", \"pmax\",","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27431"}},{"Add":{"text":" \"eq\", \"ne\", \"lt\", \"gt\", \"le\", \"ge\"])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27499"}},{"Add":{"text":" andalso is_float_shape(Shape) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27541"}},{"Add":{"text":" true -> float_binary_helper(Shape, Suffix);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27593"}},{"Add":{"text":" false -> nil","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27614"}},{"Add":{"text":" end;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27623"}},{"Add":{"text":"float_lane_helper(_Op, _Arity) -> nil.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27662"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27663"}},{"Add":{"text":"is_float_shape(f32x4) -> true;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27694"}},{"Add":{"text":"is_float_shape(f64x2) -> true;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27725"}},{"Add":{"text":"is_float_shape(_) -> false.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27753"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27754"}},{"Add":{"text":"%% Lane variable names `F0'..` for the lanes the native body reads; the ones","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27831"}},{"Add":{"text":"%% past `Used' are bound to an underscore-prefixed name, since a variable a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27907"}},{"Add":{"text":"%% clause binds but never reads is a warning in the generated module.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:27977"}},{"Add":{"text":"float_lane_names(Prefix, Used, Count) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28018"}},{"Add":{"text":" [case I < Used of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28040"}},{"Add":{"text":" true -> list_to_atom(Prefix ++ integer_to_list(I));","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28101"}},{"Add":{"text":" false -> list_to_atom(\"_\" ++ Prefix ++ integer_to_list(I))","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28169"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28178"}},{"Add":{"text":" || I <- lists:seq(0, Count - 1)].","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28217"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28218"}},{"Add":{"text":"%% The v128 head pattern binding every lane of `Shape' as an Erlang float.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28293"}},{"Add":{"text":"float_pat(Shape, Names) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28320"}},{"Add":{"text":" {Count, Bits, float} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28361"}},{"Add":{"text":" Count = length(Names),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28388"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(N), Bits, [float, little]) || N <- Names]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28463"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28464"}},{"Add":{"text":"%% Guard conjunction: every one of these lanes is finite. See the section","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28538"}},{"Add":{"text":"%% comment for why the magnitude test is the finiteness test.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28600"}},{"Add":{"text":"finite_guards(Fs, Bits) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28627"}},{"Add":{"text":" [case Bits of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28645"}},{"Add":{"text":" 32 -> af_op('<', erl_call(abs, [F]), af_float(?F32_MAX_FLOAT));","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28718"}},{"Add":{"text":" _ -> af_atom(true)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28746"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28755"}},{"Add":{"text":" || F <- Fs].","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28773"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28774"}},{"Add":{"text":"%% Extra guard tests the native lane code itself needs to avoid raising.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28847"}},{"Add":{"text":"unary_extra_guards(\"sqrt\", Fs) -> [af_op('>=', F, af_float(0.0)) || F <- Fs];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28925"}},{"Add":{"text":"unary_extra_guards(_Suffix, _Fs) -> [].","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28965"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28966"}},{"Add":{"text":"decode_lane(Bits, LaneExpr) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:28997"}},{"Add":{"text":" af_remote(wa_embedder_float, decode, [af_int(Bits), LaneExpr]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29065"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29066"}},{"Add":{"text":"float_call2(Op, Bits, A, B) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29097"}},{"Add":{"text":" af_remote(wa_embedder_float, list_to_atom(Op), [af_int(Bits), A, B]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29171"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29172"}},{"Add":{"text":"float_call1(Op, Bits, A) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29200"}},{"Add":{"text":" af_remote(wa_embedder_float, list_to_atom(Op), [af_int(Bits), A]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29271"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29272"}},{"Add":{"text":"%% Pack float VALUE exprs (a finite float or a non-finite tag) through","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29343"}},{"Add":{"text":"%% wa_embedder_float:encode/2, as raw little-endian integers.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29405"}},{"Add":{"text":"pack_values(ValueExprs, Shape) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29439"}},{"Add":{"text":" {_Count, Bits, float} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29481"}},{"Add":{"text":" af_bin([af_bin_elem(af_remote(wa_embedder_float, encode, [af_int(Bits), V]),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29562"}},{"Add":{"text":" Bits, [integer, little])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29611"}},{"Add":{"text":" || V <- ValueExprs]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29645"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29646"}},{"Add":{"text":"%% Unary float lane op over the lanes of one v128.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29697"}},{"Add":{"text":"float_unary_helper(Shape, Suffix) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29734"}},{"Add":{"text":" {Count, Bits, float} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29775"}},{"Add":{"text":" Names = float_lane_names(\"F\", Count, Count),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29824"}},{"Add":{"text":" Fs = [af_var(N) || N <- Names],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29860"}},{"Add":{"text":" {MatchA, As} = unpack_int(av('A'), \"A\", Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29912"}},{"Add":{"text":" Native = [pack([unary_lane(Suffix, F, Bits, float) || F <- Fs], Shape)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:29989"}},{"Add":{"text":" Fallback = [MatchA,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30013"}},{"Add":{"text":" pack_values([float_call1(Suffix, Bits, decode_lane(Bits, A)) || A <- As],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30103"}},{"Add":{"text":" Shape)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30140"}},{"Add":{"text":" {[float_pat(Shape, Names)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30172"}},{"Add":{"text":" [finite_guards(Fs, Bits) ++ unary_extra_guards(Suffix, Fs)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30238"}},{"Add":{"text":" Native, Fallback}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30262"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30263"}},{"Add":{"text":"%% Binary float lane op (arithmetic, min/max or comparison) over two v128s.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30339"}},{"Add":{"text":"%% A comparison yields an integer mask, so it is packed as raw lane bits in","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30415"}},{"Add":{"text":"%% both clauses; everything else yields a float value.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30470"}},{"Add":{"text":"float_binary_helper(Shape, Suffix) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30508"}},{"Add":{"text":" {Count, Bits, float} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30549"}},{"Add":{"text":" FNames = float_lane_names(\"F\", Count, Count),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30599"}},{"Add":{"text":" GNames = float_lane_names(\"G\", Count, Count),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30649"}},{"Add":{"text":" Fs = [af_var(N) || N <- FNames],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30686"}},{"Add":{"text":" Gs = [af_var(N) || N <- GNames],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30723"}},{"Add":{"text":" {MatchA, As} = unpack_int(av('A'), \"A\", Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30775"}},{"Add":{"text":" {MatchB, Bs} = unpack_int(av('B'), \"B\", Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30827"}},{"Add":{"text":" NativeLanes = [binary_lane(Suffix, F, G, Bits, float) || {F, G} <- lists:zip(Fs, Gs)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30918"}},{"Add":{"text":" FallbackLanes =","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30938"}},{"Add":{"text":" [begin","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:30953"}},{"Add":{"text":" Call = float_call2(Suffix, Bits, decode_lane(Bits, A), decode_lane(Bits, B)),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31044"}},{"Add":{"text":" %% A comparison answer is a boolean; a lane of the result is the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31122"}},{"Add":{"text":" %% all-ones / all-zeros mask, as the native clause produces.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31196"}},{"Add":{"text":" case is_compare(Suffix) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31236"}},{"Add":{"text":" true -> bool_mask(Call, Bits);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31284"}},{"Add":{"text":" false -> Call","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31315"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31332"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31345"}},{"Add":{"text":" || {A, B} <- lists:zip(As, Bs)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31387"}},{"Add":{"text":" Native = [case is_compare(Suffix) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31428"}},{"Add":{"text":" true -> pack_int(NativeLanes, Bits);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31483"}},{"Add":{"text":" false -> pack(NativeLanes, Shape)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31535"}},{"Add":{"text":" end],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31555"}},{"Add":{"text":" Fallback = [MatchA, MatchB,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31587"}},{"Add":{"text":" case is_compare(Suffix) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31630"}},{"Add":{"text":" true -> pack_int(FallbackLanes, Bits);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31689"}},{"Add":{"text":" false -> pack_values(FallbackLanes, Shape)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31752"}},{"Add":{"text":" end],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31774"}},{"Add":{"text":" Extra =","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31786"}},{"Add":{"text":" case Suffix of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31809"}},{"Add":{"text":" \"div\" -> [af_op('=/=', G, af_float(0.0)) || G <- Gs];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31875"}},{"Add":{"text":" _ -> []","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31895"}},{"Add":{"text":" end,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31908"}},{"Add":{"text":" {[float_pat(Shape, FNames), float_pat(Shape, GNames)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:31967"}},{"Add":{"text":" [finite_guards(Fs, Bits) ++ finite_guards(Gs, Bits) ++ Extra],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32035"}},{"Add":{"text":" Native, Fallback}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32059"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32060"}},{"Add":{"text":"%% splat: broadcast a scalar value. A tag is not a float, so it takes the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32134"}},{"Add":{"text":"%% fallback clause; a finite float too large for the shape (only f32 can","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32207"}},{"Add":{"text":"%% overflow) does too, since the native float segment would raise on it.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32280"}},{"Add":{"text":"float_splat_helper(Shape) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32309"}},{"Add":{"text":" {Count, Bits, float} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32350"}},{"Add":{"text":" Lanes = lists:duplicate(Count, av('A')),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32395"}},{"Add":{"text":" Scalar = [erl_call(is_float, [av('A')]) | finite_guards([av('A')], Bits)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32474"}},{"Add":{"text":" {[av('A')], [Scalar], [pack(Lanes, Shape)], [pack_values(Lanes, Shape)]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32552"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32553"}},{"Add":{"text":"%% extract_lane: the selected lane leaves the v128 as a float VALUE, so the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32629"}},{"Add":{"text":"%% fallback decodes it rather than re-packing anything.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32685"}},{"Add":{"text":"float_extract_helper(Shape) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32716"}},{"Add":{"text":" {Count, Bits, float} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32757"}},{"Add":{"text":" Names = float_lane_names(\"F\", Count, Count),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32806"}},{"Add":{"text":" Fs = [af_var(N) || N <- Names],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32842"}},{"Add":{"text":" {MatchA, As} = unpack_int(av('A'), \"A\", Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32894"}},{"Add":{"text":" Nth = fun(Ls) -> remote_call(lists, nth, [af_op('+', av('B'), af_int(1)), af_list(Ls)]) end,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:32991"}},{"Add":{"text":" {[float_pat(Shape, Names), av('B')],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33032"}},{"Add":{"text":" [finite_guards(Fs, Bits)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33064"}},{"Add":{"text":" [Nth(Fs)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33080"}},{"Add":{"text":" [MatchA, decode_lane(Bits, Nth(As))]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33124"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33125"}},{"Add":{"text":"%% replace_lane: substitute a scalar value for one lane. Both the existing","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33200"}},{"Add":{"text":"%% lanes and the substituted value may be tags, so the fallback decodes the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33276"}},{"Add":{"text":"%% lanes to values, substitutes, and re-encodes them all.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33334"}},{"Add":{"text":"float_replace_helper(Shape) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33365"}},{"Add":{"text":" {Count, Bits, float} = shape(Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33406"}},{"Add":{"text":" Names = float_lane_names(\"F\", Count, Count),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33455"}},{"Add":{"text":" Fs = [af_var(N) || N <- Names],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33491"}},{"Add":{"text":" {MatchA, As} = unpack_int(av('A'), \"A\", Shape),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33543"}},{"Add":{"text":" Substitute =","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33560"}},{"Add":{"text":" fun(Ls) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33579"}},{"Add":{"text":" [begin","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33598"}},{"Add":{"text":" Old = lists:nth(I + 1, Ls),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33643"}},{"Add":{"text":" {'case', ann(), af_op('==', av('C'), af_int(I)),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33709"}},{"Add":{"text":" [af_clause([af_atom(true)], [av('B')]),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33767"}},{"Add":{"text":" af_clause([af_atom(false)], [Old])]}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33823"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33840"}},{"Add":{"text":" || I <- lists:seq(0, Count - 1)]","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33886"}},{"Add":{"text":" end,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33899"}},{"Add":{"text":" Fallback = [MatchA, pack_values(Substitute([decode_lane(Bits, A) || A <- As]), Shape)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:33991"}},{"Add":{"text":" {[float_pat(Shape, Names), av('B'), av('C')],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34041"}},{"Add":{"text":" [finite_guards(Fs, Bits) ++ [erl_call(is_float, [av('B')])]],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34108"}},{"Add":{"text":" [pack(Substitute(Fs), Shape)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34144"}},{"Add":{"text":" Fallback}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34160"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34161"}},{"Add":{"text":"%% trunc_sat: float lanes saturate into an integer shape. The high dest lanes","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34239"}},{"Add":{"text":"%% are zero-filled when the source has fewer lanes (f64x2 -> i32x4).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34308"}},{"Add":{"text":"float_trunc_sat_helper(Src, Dst, Sign) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34350"}},{"Add":{"text":" {SrcCount, SrcBits, float} = shape(Src),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34395"}},{"Add":{"text":" {DstCount, DstBits, int} = shape(Dst),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34438"}},{"Add":{"text":" Names = float_lane_names(\"F\", SrcCount, SrcCount),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34493"}},{"Add":{"text":" Fs = [af_var(N) || N <- Names],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34529"}},{"Add":{"text":" {MatchA, As} = unpack_int(av('A'), \"A\", Src),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34579"}},{"Add":{"text":" {Lo, Hi} =","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34594"}},{"Add":{"text":" case Sign of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34615"}},{"Add":{"text":" signed -> {-(1 bsl (DstBits - 1)), (1 bsl (DstBits - 1)) - 1};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34690"}},{"Add":{"text":" unsigned -> {0, (1 bsl DstBits) - 1}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34739"}},{"Add":{"text":" end,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34752"}},{"Add":{"text":" Native = [wrap(clamp(erl_call(trunc, [F]), Lo, Hi), DstBits) || F <- Fs],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34830"}},{"Add":{"text":" Sat =","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34840"}},{"Add":{"text":" [af_remote(wa_embedder_float, trunc_sat,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34889"}},{"Add":{"text":" [af_int(SrcBits), af_int(Lo), af_int(Hi), af_int((1 bsl DstBits) - 1),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:34979"}},{"Add":{"text":" decode_lane(SrcBits, A)])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35025"}},{"Add":{"text":" || A <- As],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35047"}},{"Add":{"text":" Fill = lists:duplicate(DstCount - length(Sat), af_int(0)),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35110"}},{"Add":{"text":" {[float_pat(Src, Names)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35140"}},{"Add":{"text":" [finite_guards(Fs, SrcBits)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35175"}},{"Add":{"text":" [pack(Native ++ Fill, Dst)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35209"}},{"Add":{"text":" [MatchA, pack_int(Sat ++ Fill, DstBits)]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35257"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35258"}},{"Add":{"text":"%% demote_f64x2_zero: the low two f64 lanes narrowed to f32, the high two 0.0.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35337"}},{"Add":{"text":"float_demote_helper() ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35362"}},{"Add":{"text":" {Count, Bits, float} = shape(f64x2),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35403"}},{"Add":{"text":" Names = float_lane_names(\"F\", Count, Count),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35452"}},{"Add":{"text":" Fs = [af_var(N) || N <- Names],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35488"}},{"Add":{"text":" {MatchA, As} = unpack_int(av('A'), \"A\", f64x2),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35540"}},{"Add":{"text":" Fill = [af_float(0.0), af_float(0.0)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35583"}},{"Add":{"text":" Narrowed = [af_remote(wa_embedder_float, demote, [decode_lane(Bits, A)]) || A <- As],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35673"}},{"Add":{"text":" {[float_pat(f64x2, Names)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35705"}},{"Add":{"text":" [finite_guards(Fs, Bits)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35737"}},{"Add":{"text":" [pack(Fs ++ Fill, f32x4)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35769"}},{"Add":{"text":" [MatchA, pack_values(Narrowed ++ Fill, f32x4)]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35823"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35824"}},{"Add":{"text":"%% promote_low_f32x4: the low two f32 lanes widened to f64. The high two are","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35901"}},{"Add":{"text":"%% bound to unused names -- the fallback ignores them by construction.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35972"}},{"Add":{"text":"float_promote_helper() ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:35998"}},{"Add":{"text":" {Count, Bits, float} = shape(f32x4),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36039"}},{"Add":{"text":" Names = float_lane_names(\"F\", 2, Count),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36084"}},{"Add":{"text":" Fs = [af_var(N) || N <- Names],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36120"}},{"Add":{"text":" {MatchA, As} = unpack_int(av('A'), \"A\", f32x4),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36172"}},{"Add":{"text":" Widened = [af_remote(wa_embedder_float, promote, [decode_lane(Bits, A)])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36249"}},{"Add":{"text":" || A <- lists:sublist(As, 1, 2)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36298"}},{"Add":{"text":" {[float_pat(f32x4, Names)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36330"}},{"Add":{"text":" [finite_guards(Fs, Bits)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36362"}},{"Add":{"text":" [pack(lists:sublist(Fs, 1, 2), f64x2)],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36407"}},{"Add":{"text":" [MatchA, pack_values(Widened, f64x2)]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36452"}}]}},{"Edit":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":46,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":1565}],"down_context":[{"change":8,"pos":1565}],"flag":"BLOCK","start":36454,"end":36650,"inode":{"change":8,"pos":44}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36454"}},{"Add":{"text":"%% Largest finite f32, the point past which a demote must become an infinity","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36531"}},{"Add":{"text":"%% rather than raise. Mirrors wa_embedder_float's constant of the same name.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36608"}},{"Add":{"text":"-define(F32_MAX, 3.4028234663852886e38).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36649"}}]}},{"Edit":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":58,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":1772}],"down_context":[{"change":8,"pos":1772}],"flag":"BLOCK","start":36651,"end":36681,"inode":{"change":8,"pos":44}}},"contents":[{"Add":{"text":" af_clause/2, af_clause/3,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36680"}}]}},{"Replacement":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":152,"ins":{"up_context":[{"change":8,"pos":5562}],"down_context":[{"change":8,"pos":5636}],"flag":"BLOCK","start":36682,"end":37079,"inode":{"change":8,"pos":44}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":5562},"to":{"change":8,"start":5562,"end":5636},"introduced_by":8}],"inode":{"change":8,"pos":44}},"ins_contents":[{"Add":{"text":" case float_fallback(Name) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36722"}},{"Add":{"text":" native ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36748"}},{"Add":{"text":" {function, ann(), Helper, Arity, [af_clause(Patterns, Body)]};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36831"}},{"Add":{"text":" {Guards, SlowBody} ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36869"}},{"Add":{"text":" {function, ann(), Helper, Arity, [","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36924"}},{"Add":{"text":" af_clause(Patterns, [Guards], Body),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:36985"}},{"Add":{"text":" af_clause(Patterns, SlowBody)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37039"}},{"Add":{"text":" ]}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37062"}},{"Add":{"text":" end","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37078"}}],"del_contents":[{"Del":{"text":" {function, ann(), Helper, Arity, [af_clause(Patterns, Body)]}","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:5635"}}]}},{"Edit":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":289,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":9850}],"down_context":[{"change":8,"pos":9850}],"flag":"BLOCK","start":37080,"end":42138,"inode":{"change":8,"pos":44}}},"contents":[{"Add":{"text":" end.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37088"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37089"}},{"Add":{"text":"%% --- non-finite fallbacks -------------------------------------------------","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37167"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37168"}},{"Add":{"text":"%% The BEAM cannot hold an infinity or a NaN, so every f32/f64 helper is","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37241"}},{"Add":{"text":"%% emitted as two clauses: the native one, guarded to operands that are","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37313"}},{"Add":{"text":"%% Erlang floats (plus whatever else the native operation needs to avoid","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37386"}},{"Add":{"text":"%% raising -- a non-zero divisor, a non-negative radicand, an f32-representable","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37466"}},{"Add":{"text":"% demote), and a fallback that handles everything else through","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37529"}},{"Add":{"text":"%% wa_embedder_float. Finite values therefore run exactly as before.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37598"}},{"Add":{"text":"%%","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37601"}},{"Add":{"text":"%% `native' marks an instruction that can never see a float value: the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37672"}},{"Add":{"text":"%% integer arithmetic, the integer -> float conversions (integers are always","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37749"}},{"Add":{"text":"%% integers) and the reinterpret bitcasts (already routed through the codec).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37827"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37828"}},{"Add":{"text":"%% Native clause guard: the operands must be floats.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37881"}},{"Add":{"text":"float_guards(1) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37900"}},{"Add":{"text":" [erl_call(is_float, [af_var('A')])];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37941"}},{"Add":{"text":"float_guards(2) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:37960"}},{"Add":{"text":" [erl_call(is_float, [af_var('A')]), erl_call(is_float, [af_var('B')])].","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38036"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38037"}},{"Add":{"text":"%% wa_embedder_float:Op(Width, A[, B]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38077"}},{"Add":{"text":"float_call(Op, Width, Arity) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38109"}},{"Add":{"text":" Operands =","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38124"}},{"Add":{"text":" case Arity of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38146"}},{"Add":{"text":" 1 -> [af_var('A')];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38178"}},{"Add":{"text":" _ -> [af_var('A'), af_var('B')]","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38222"}},{"Add":{"text":" end,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38235"}},{"Add":{"text":" [af_remote(wa_embedder_float, Op, [af_int(Width) | Operands])].","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38303"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38304"}},{"Add":{"text":"%% A non-finite operand of a trapping float -> integer conversion is out of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38380"}},{"Add":{"text":"%% range, which is the trap the finite out-of-range case already raises.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38453"}},{"Add":{"text":"trap_fallback() ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38472"}},{"Add":{"text":" {float_guards(1), [erl_call(error, [af_atom(badarg)])]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38533"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38534"}},{"Add":{"text":"sat_fallback(SourceWidth, Lo, Hi, Wrap) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38577"}},{"Add":{"text":" Wrap_ = case Wrap of undefined -> af_atom(undefined); _ -> af_int(Wrap) end,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38658"}},{"Add":{"text":" {float_guards(1), [","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38682"}},{"Add":{"text":" af_remote(wa_embedder_float, trunc_sat, [","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38732"}},{"Add":{"text":" af_int(SourceWidth), af_int(Lo), af_int(Hi), Wrap_, af_var('A')","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38808"}},{"Add":{"text":" ])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38819"}},{"Add":{"text":" ]}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38827"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38828"}},{"Add":{"text":"%% float arithmetic / comparison / min-max, by suffix within an `f32.'/`f64.'","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38906"}},{"Add":{"text":"%% instruction. The width argument is the wasm type the helper operates on.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:38982"}},{"Add":{"text":"f_fallback(Width, \"add\") -> {float_guards(2), float_call(add, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39056"}},{"Add":{"text":"f_fallback(Width, \"sub\") -> {float_guards(2), float_call(sub, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39130"}},{"Add":{"text":"f_fallback(Width, \"mul\") -> {float_guards(2), float_call(mul, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39204"}},{"Add":{"text":"%% a zero divisor is not an error in wasm: it produces an infinity. `==' rather","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39284"}},{"Add":{"text":"%% than `=/='' so that -0.0 is excluded too (the two are distinct terms but","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39360"}},{"Add":{"text":"%% the same value).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39380"}},{"Add":{"text":"f_fallback(Width, \"div\") ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39408"}},{"Add":{"text":" {float_guards(2) ++ [af_op('not', af_op('==', af_var('B'), af_float(0.0)))],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39489"}},{"Add":{"text":" float_call('div', Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39524"}},{"Add":{"text":"f_fallback(Width, \"eq\") -> {float_guards(2), float_call(eq, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39596"}},{"Add":{"text":"f_fallback(Width, \"ne\") -> {float_guards(2), float_call(ne, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39668"}},{"Add":{"text":"f_fallback(Width, \"lt\") -> {float_guards(2), float_call(lt, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39740"}},{"Add":{"text":"f_fallback(Width, \"gt\") -> {float_guards(2), float_call(gt, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39812"}},{"Add":{"text":"f_fallback(Width, \"le\") -> {float_guards(2), float_call(le, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39884"}},{"Add":{"text":"f_fallback(Width, \"ge\") -> {float_guards(2), float_call(ge, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:39956"}},{"Add":{"text":"f_fallback(Width, \"min\") -> {float_guards(2), float_call(min, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40030"}},{"Add":{"text":"f_fallback(Width, \"max\") -> {float_guards(2), float_call(max, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40104"}},{"Add":{"text":"f_fallback(Width, \"copysign\") -> {float_guards(2), float_call(copysign, Width, 2)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40188"}},{"Add":{"text":"f_fallback(Width, \"abs\") -> {float_guards(1), float_call(abs, Width, 1)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40262"}},{"Add":{"text":"f_fallback(Width, \"neg\") -> {float_guards(1), float_call(neg, Width, 1)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40336"}},{"Add":{"text":"%% these four and sqrt are the identity on a non-finite value","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40398"}},{"Add":{"text":"f_fallback(Width, \"ceil\") -> {float_guards(1), float_call(ceil, Width, 1)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40474"}},{"Add":{"text":"f_fallback(Width, \"floor\") -> {float_guards(1), float_call(floor, Width, 1)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40552"}},{"Add":{"text":"f_fallback(Width, \"trunc\") -> {float_guards(1), float_call(trunc, Width, 1)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40630"}},{"Add":{"text":"f_fallback(Width, \"nearest\") -> {float_guards(1), float_call(nearest, Width, 1)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40712"}},{"Add":{"text":"f_fallback(Width, \"sqrt\") ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40741"}},{"Add":{"text":" {float_guards(1) ++ [af_op('>=', af_var('A'), af_float(0.0))], float_call(sqrt, Width, 1)};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40837"}},{"Add":{"text":"%% f64.promote_f32: an f32 tag widened into the f64 fraction field","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40904"}},{"Add":{"text":"f_fallback(_Width, \"promote_f32\") ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:40941"}},{"Add":{"text":" {float_guards(1), [af_remote(wa_embedder_float, promote, [af_var('A')])]};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41020"}},{"Add":{"text":"%% f32.demote_f64: a tag narrowed, or a double too large for f32, which the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41096"}},{"Add":{"text":"%% native float-segment rounding would raise on instead of turning into an","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41171"}},{"Add":{"text":"%% infinity.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41184"}},{"Add":{"text":"f_fallback(32, \"demote_f64\") ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41216"}},{"Add":{"text":" {float_guards(1) ++ [af_op('<', erl_call(abs, [af_var('A')]), af_float(?F32_MAX))],","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41304"}},{"Add":{"text":" [af_remote(wa_embedder_float, demote, [af_var('A')])]};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41365"}},{"Add":{"text":"%% integer -> float: the operand is always an integer, so a tag cannot appear","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41443"}},{"Add":{"text":"f_fallback(_Width, \"convert_i32_s\") -> native;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41490"}},{"Add":{"text":"f_fallback(_Width, \"convert_i32_u\") -> native;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41537"}},{"Add":{"text":"f_fallback(_Width, \"convert_i64_s\") -> native;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41584"}},{"Add":{"text":"f_fallback(_Width, \"convert_i64_u\") -> native;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41631"}},{"Add":{"text":"%% reinterpret: raw bits either way, already routed through the codec","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41701"}},{"Add":{"text":"f_fallback(_Width, \"reinterpret_i32\") -> native;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41750"}},{"Add":{"text":"f_fallback(_Width, \"reinterpret_i64\") -> native.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41799"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41800"}},{"Add":{"text":"%% The float conversions name themselves after their *result* type, so they","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41876"}},{"Add":{"text":"%% are matched by full instruction name rather than by prefix.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41939"}},{"Add":{"text":"float_fallback(Name) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41963"}},{"Add":{"text":" case atom_to_list(Name) of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:41994"}},{"Add":{"text":" \"f32.\" ++ Suffix -> f_fallback(32, Suffix);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42046"}},{"Add":{"text":" \"f64.\" ++ Suffix -> f_fallback(64, Suffix);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42098"}},{"Add":{"text":" _ -> conversion_fallback(Name)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42137"}}]}},{"Edit":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":387,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":9859}],"down_context":[{"change":8,"pos":9859}],"flag":"BLOCK","start":42139,"end":43466,"inode":{"change":8,"pos":44}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42139"}},{"Add":{"text":"conversion_fallback('i32.trunc_f32_s') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42198"}},{"Add":{"text":"conversion_fallback('i32.trunc_f32_u') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42257"}},{"Add":{"text":"conversion_fallback('i32.trunc_f64_s') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42316"}},{"Add":{"text":"conversion_fallback('i32.trunc_f64_u') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42375"}},{"Add":{"text":"conversion_fallback('i64.trunc_f32_s') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42434"}},{"Add":{"text":"conversion_fallback('i64.trunc_f32_u') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42493"}},{"Add":{"text":"conversion_fallback('i64.trunc_f64_s') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42552"}},{"Add":{"text":"conversion_fallback('i64.trunc_f64_u') -> trap_fallback();","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42611"}},{"Add":{"text":"conversion_fallback('i32.trunc_sat_f32_s') -> sat_fallback(32, -2147483648, 2147483647, ?M32);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42706"}},{"Add":{"text":"conversion_fallback('i32.trunc_sat_f32_u') -> sat_fallback(32, 0, 4294967295, undefined);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42796"}},{"Add":{"text":"conversion_fallback('i32.trunc_sat_f64_s') -> sat_fallback(64, -2147483648, 2147483647, ?M32);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42891"}},{"Add":{"text":"conversion_fallback('i32.trunc_sat_f64_u') -> sat_fallback(64, 0, 4294967295, undefined);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:42981"}},{"Add":{"text":"conversion_fallback('i64.trunc_sat_f32_s') ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43027"}},{"Add":{"text":" sat_fallback(32, -9223372036854775808, 9223372036854775807, ?M64);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43098"}},{"Add":{"text":"conversion_fallback('i64.trunc_sat_f32_u') ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43144"}},{"Add":{"text":" sat_fallback(32, 0, 18446744073709551615, undefined);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43202"}},{"Add":{"text":"conversion_fallback('i64.trunc_sat_f64_s') ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43248"}},{"Add":{"text":" sat_fallback(64, -9223372036854775808, 9223372036854775807, ?M64);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43319"}},{"Add":{"text":"conversion_fallback('i64.trunc_sat_f64_u') ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43365"}},{"Add":{"text":" sat_fallback(64, 0, 18446744073709551615, undefined);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43423"}},{"Add":{"text":"conversion_fallback(_Name) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43453"}},{"Add":{"text":" native.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43465"}}]}},{"Replacement":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":777,"ins":{"up_context":[{"change":8,"pos":22851}],"down_context":[{"change":8,"pos":22923}],"flag":"BLOCK","start":43467,"end":43706,"inode":{"change":8,"pos":44}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":22851},"to":{"change":8,"start":22851,"end":22923},"introduced_by":8}],"inode":{"change":8,"pos":44}},"ins_contents":[{"Add":{"text":"%% reinterpret bitcasts: raw bits between int and float, sizes explicit. Both","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43544"}},{"Add":{"text":"%% directions go through the codec rather than a float binary segment, so a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43620"}},{"Add":{"text":"%% non-finite pattern survives the bitcast as a tag instead of failing the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43695"}},{"Add":{"text":"%% match.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43705"}}],"del_contents":[{"Del":{"text":"%% reinterpret bitcasts: raw bits between int and float, sizes explicit","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:22922"}}]}},{"Replacement":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":782,"ins":{"up_context":[{"change":8,"pos":22965}],"down_context":[{"change":8,"pos":23139}],"flag":"BLOCK","start":43707,"end":43778,"inode":{"change":8,"pos":44}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":22965},"to":{"change":8,"start":22965,"end":23139},"introduced_by":8}],"inode":{"change":8,"pos":44}},"ins_contents":[{"Add":{"text":" [af_remote(wa_embedder_float, encode, [af_int(32), af_var('A')])];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43777"}}],"del_contents":[{"Del":{"text":" [","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:22970"}},{"Del":{"text":" af_match(","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:22988"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('R'), 32)]),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23040"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('A'), 32, [float])])","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23100"}},{"Del":{"text":" ),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23111"}},{"Del":{"text":" af_var('R')","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23131"}},{"Del":{"text":" ];","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23138"}}]}},{"Replacement":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":784,"ins":{"up_context":[{"change":8,"pos":23181}],"down_context":[{"change":8,"pos":23355}],"flag":"BLOCK","start":43779,"end":43850,"inode":{"change":8,"pos":44}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":23181},"to":{"change":8,"start":23181,"end":23355},"introduced_by":8}],"inode":{"change":8,"pos":44}},"ins_contents":[{"Add":{"text":" [af_remote(wa_embedder_float, encode, [af_int(64), af_var('A')])];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43849"}}],"del_contents":[{"Del":{"text":" [","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23186"}},{"Del":{"text":" af_match(","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23204"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('R'), 64)]),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23256"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('A'), 64, [float])])","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23316"}},{"Del":{"text":" ),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23327"}},{"Del":{"text":" af_var('R')","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23347"}},{"Del":{"text":" ];","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23354"}}]}},{"Replacement":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":786,"ins":{"up_context":[{"change":8,"pos":23397}],"down_context":[{"change":8,"pos":23571}],"flag":"BLOCK","start":43851,"end":43928,"inode":{"change":8,"pos":44}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":23397},"to":{"change":8,"start":23397,"end":23571},"introduced_by":8}],"inode":{"change":8,"pos":44}},"ins_contents":[{"Add":{"text":" [af_remote(wa_embedder_float, decode, [af_int(32), norm(af_var('A'))])];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:43927"}}],"del_contents":[{"Del":{"text":" [","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23402"}},{"Del":{"text":" af_match(","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23420"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('R'), 32, [float])]),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23481"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('A'), 32)])","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23532"}},{"Del":{"text":" ),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23543"}},{"Del":{"text":" af_var('R')","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23563"}},{"Del":{"text":" ];","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23570"}}]}},{"Replacement":{"inode":{"change":8,"pos":44},"path":"src/wa_embedder_num.erl","line":788,"ins":{"up_context":[{"change":8,"pos":23613}],"down_context":[{"change":8,"pos":23787}],"flag":"BLOCK","start":43929,"end":44008,"inode":{"change":8,"pos":44}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":23613},"to":{"change":8,"start":23613,"end":23787},"introduced_by":8}],"inode":{"change":8,"pos":44}},"ins_contents":[{"Add":{"text":" [af_remote(wa_embedder_float, decode, [af_int(64), norm64(af_var('A'))])];","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44007"}}],"del_contents":[{"Del":{"text":" [","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23618"}},{"Del":{"text":" af_match(","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23636"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('R'), 64, [float])]),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23697"}},{"Del":{"text":" af_bin([af_bin_elem(af_var('A'), 64)])","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23748"}},{"Del":{"text":" ),","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23759"}},{"Del":{"text":" af_var('R')","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23779"}},{"Del":{"text":" ];","pos":"5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC:23786"}}]}},{"Replacement":{"inode":{"change":22,"pos":9345},"path":"src/wa_embedder_memory_ets.erl","line":51,"ins":{"up_context":[{"change":22,"pos":11315}],"down_context":[{"change":22,"pos":11382}],"flag":"BLOCK","start":44009,"end":44293,"inode":{"change":22,"pos":9345}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":22,"pos":11315},"to":{"change":22,"start":11315,"end":11382},"introduced_by":22}],"inode":{"change":22,"pos":9345}},"ins_contents":[{"Add":{"text":" %% Read the raw bits and decode them: a float binary segment cannot","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44088"}},{"Add":{"text":" %% match an infinity or a NaN, which is exactly what an f32/f64","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44164"}},{"Add":{"text":" %% load may find.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44194"}},{"Add":{"text":" <> = Bytes,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44244"}},{"Add":{"text":" wa_embedder_float:decode(Bits, Raw)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44292"}}],"del_contents":[{"Del":{"text":" <> = Bytes,","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11363"}},{"Del":{"text":" Value","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11381"}}]}},{"Replacement":{"inode":{"change":22,"pos":9345},"path":"src/wa_embedder_memory_ets.erl","line":75,"ins":{"up_context":[{"change":22,"pos":11878}],"down_context":[{"change":22,"pos":11927}],"flag":"BLOCK","start":44294,"end":44380,"inode":{"change":22,"pos":9345}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":22,"pos":11878},"to":{"change":22,"start":11878,"end":11927},"introduced_by":22}],"inode":{"change":22,"pos":9345}},"ins_contents":[{"Add":{"text":" float -> <<(wa_embedder_float:encode(Bits, Value)):Bits/little-unsigned>>","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44379"}}],"del_contents":[{"Del":{"text":" float -> <>","pos":"L5EMLPK6M4QFY7VUWXQPCPGB6XUW4GAXKYOMGTMM3E4N6LTY7ZAQC:11926"}}]}},{"Replacement":{"inode":{"change":4,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":33,"ins":{"up_context":[{"change":13,"pos":1153}],"down_context":[{"change":13,"pos":1243}],"flag":"BLOCK","start":44381,"end":44696,"inode":{"change":4,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":13,"pos":1153},"to":{"change":13,"start":1153,"end":1243},"introduced_by":13}],"inode":{"change":4,"pos":23679}},"ins_contents":[{"Add":{"text":" %% Read the raw bits and decode them: a float binary segment cannot","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44460"}},{"Add":{"text":" %% match an infinity or a NaN, which is exactly what an f32/f64","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44536"}},{"Add":{"text":" %% load may find.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44566"}},{"Add":{"text":" <<_:Addr/binary, Raw:BitWidth/little-unsigned, _/binary>> = Mem,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44643"}},{"Add":{"text":" wa_embedder_float:decode(BitWidth, Raw)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44695"}}],"del_contents":[{"Del":{"text":" <<_:Addr/binary, Val:BitWidth/little-float, _/binary>> = Mem,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1226"}},{"Del":{"text":" Val","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1242"}}]}},{"Replacement":{"inode":{"change":4,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":48,"ins":{"up_context":[{"change":13,"pos":1599}],"down_context":[{"change":13,"pos":1652}],"flag":"BLOCK","start":44697,"end":44791,"inode":{"change":4,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":13,"pos":1599},"to":{"change":13,"start":1599,"end":1652},"introduced_by":13}],"inode":{"change":4,"pos":23679}},"ins_contents":[{"Add":{"text":" float -> <<(wa_embedder_float:encode(BitWidth, Value)):BitWidth/little-unsigned>>","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44790"}}],"del_contents":[{"Del":{"text":" float -> <>","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1651"}}]}},{"Replacement":{"inode":{"change":9,"pos":46},"path":"src/wa_embedder_lower.erl","line":20,"ins":{"up_context":[{"change":9,"pos":912}],"down_context":[{"change":9,"pos":946}],"flag":"BLOCK","start":44792,"end":44838,"inode":{"change":9,"pos":46}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":9,"pos":912},"to":{"change":9,"start":912,"end":946},"introduced_by":9}],"inode":{"change":9,"pos":46}},"ins_contents":[{"Add":{"text":"-import(wa_embedder_af, [ann/0, af_value/1]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44837"}}],"del_contents":[{"Del":{"text":"-import(wa_embedder_af, [ann/0]).","pos":"F35CH6Z6XKLQM2TFKUS5INLIPGUJ6OXQ57LLOBHRPMW6HRF4EV4QC:945"}}]}},{"Replacement":{"inode":{"change":9,"pos":46},"path":"src/wa_embedder_lower.erl","line":116,"ins":{"up_context":[{"change":9,"pos":3840}],"down_context":[{"change":17,"pos":13266}],"flag":"BLOCK","start":44839,"end":44989,"inode":{"change":9,"pos":46}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":9,"pos":3840},"to":{"change":9,"start":3840,"end":4002},"introduced_by":9}],"inode":{"change":9,"pos":46}},"ins_contents":[{"Add":{"text":"cf_walk_instr({'f32.const', V}, Ctx) -> cf_emit(Ctx, {push, af_value(V)});","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44913"}},{"Add":{"text":"cf_walk_instr({'f64.const', V}, Ctx) -> cf_emit(Ctx, {push, af_value(V)});","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:44988"}}],"del_contents":[{"Del":{"text":"cf_walk_instr({'f32.const', V}, Ctx) -> cf_emit(Ctx, {push, {float, ann(), V}});","pos":"F35CH6Z6XKLQM2TFKUS5INLIPGUJ6OXQ57LLOBHRPMW6HRF4EV4QC:3920"}},{"Del":{"text":"cf_walk_instr({'f64.const', V}, Ctx) -> cf_emit(Ctx, {push, {float, ann(), V}});","pos":"F35CH6Z6XKLQM2TFKUS5INLIPGUJ6OXQ57LLOBHRPMW6HRF4EV4QC:4001"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":169,"ins":{"up_context":[{"change":10,"pos":4734}],"down_context":[{"change":10,"pos":4797}],"flag":"BLOCK","start":44990,"end":45342,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":10,"pos":4734},"to":{"change":10,"start":4734,"end":4797},"introduced_by":10}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" %% An `if' branch is a guard, not a pattern: erl_parse","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45064"}},{"Add":{"text":" %% represents `if G -> A; true -> B' as clauses with no","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45140"}},{"Add":{"text":" %% patterns, and OTP's core fold rejects a literal pattern","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45219"}},{"Add":{"text":" %% where the canonical form has none.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45277"}},{"Add":{"text":" guard_clause(af_atom(true), [table_trap()])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45341"}}],"del_contents":[{"Del":{"text":" af_clause([af_atom(true)], [table_trap()])","pos":"F4ZFEBIVDNXWBLR7SB2Q5XA5WPNSBXLXENJWWAZFRMZKUTVTAM6QC:4796"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":187,"ins":{"up_context":[{"change":10,"pos":5144}],"down_context":[{"change":10,"pos":5203}],"flag":"BLOCK","start":45343,"end":45403,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":10,"pos":5144},"to":{"change":10,"start":5144,"end":5203},"introduced_by":10}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" guard_clause(af_atom(true), [table_trap()])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45402"}}],"del_contents":[{"Del":{"text":" af_clause([af_atom(true)], [table_trap()])","pos":"F4ZFEBIVDNXWBLR7SB2Q5XA5WPNSBXLXENJWWAZFRMZKUTVTAM6QC:5202"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":223,"ins":{"up_context":[{"change":10,"pos":6587}],"down_context":[{"change":10,"pos":6658}],"flag":"BLOCK","start":45404,"end":45476,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":10,"pos":6587},"to":{"change":10,"start":6587,"end":6658},"introduced_by":10}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" guard_clause(af_atom(true), [table_trap()])","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45475"}}],"del_contents":[{"Del":{"text":" af_clause([af_atom(true)], [table_trap()])","pos":"F4ZFEBIVDNXWBLR7SB2Q5XA5WPNSBXLXENJWWAZFRMZKUTVTAM6QC:6657"}}]}},{"Replacement":{"inode":{"change":10,"pos":48},"path":"src/wa_embedder_codegen.erl","line":1376,"ins":{"up_context":[{"change":11,"pos":9256}],"down_context":[{"change":16,"pos":16588}],"flag":"BLOCK","start":45477,"end":45705,"inode":{"change":10,"pos":48}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":9256},"to":{"change":11,"start":9256,"end":9403},"introduced_by":11}],"inode":{"change":10,"pos":48}},"ins_contents":[{"Add":{"text":" %% A statement list, like every other cg_simple/3 result: cg_seq/4 splices","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45555"}},{"Add":{"text":" %% it into the block body, and a nested list there is not an expression.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45632"}},{"Add":{"text":" {Pre ++ [local_call('__glob_set', [af_int(Idx), af_var(V)])], St1};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45704"}}],"del_contents":[{"Del":{"text":" %% NOTE: preserve the original's extra list wrapper around the body.","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:9328"}},{"Del":{"text":" {[Pre ++ [local_call('__glob_set', [af_int(Idx), af_var(V)])]], St1};","pos":"LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC:9402"}}]}},{"Edit":{"inode":{"change":7,"pos":60},"path":"src/wa_embedder_af.erl","line":18,"atom":{"NewVertex":{"up_context":[{"change":7,"pos":635}],"down_context":[{"change":7,"pos":635}],"flag":"BLOCK","start":45706,"end":45722,"inode":{"change":7,"pos":60}}},"contents":[{"Add":{"text":" af_value/1,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45721"}}]}},{"Edit":{"inode":{"change":7,"pos":60},"path":"src/wa_embedder_af.erl","line":26,"atom":{"NewVertex":{"up_context":[{"change":7,"pos":755}],"down_context":[{"change":7,"pos":755}],"flag":"BLOCK","start":45723,"end":45740,"inode":{"change":7,"pos":60}}},"contents":[{"Add":{"text":" af_clause/3,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45739"}}]}},{"Edit":{"inode":{"change":7,"pos":60},"path":"src/wa_embedder_af.erl","line":52,"atom":{"NewVertex":{"up_context":[{"change":7,"pos":1174}],"down_context":[{"change":7,"pos":1174}],"flag":"BLOCK","start":45741,"end":46292,"inode":{"change":7,"pos":60}}},"contents":[{"Add":{"text":"%% A wasm f32/f64 value, as it appears in a generated expression: an Erlang","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45816"}},{"Add":{"text":"%% float while it is finite, or one of the non-finite tags wa_parser decodes a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45895"}},{"Add":{"text":"%% constant to. A tag becomes the literal term it stands for -- exactly what","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:45972"}},{"Add":{"text":"%% `{float, _, F}' would have carried -- so a non-finite constant costs the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46048"}},{"Add":{"text":"%% same to push as a finite one.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46081"}},{"Add":{"text":"af_value(F) when is_float(F) -> {float, ann(), F};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46132"}},{"Add":{"text":"af_value(A) when is_atom(A) -> {atom, ann(), A};","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46181"}},{"Add":{"text":"af_value({Tag, Payload}) when is_atom(Tag) ->","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46227"}},{"Add":{"text":" af_tuple([{atom, ann(), Tag}, {integer, ann(), Payload}]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46290"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46291"}}]}},{"Edit":{"inode":{"change":7,"pos":60},"path":"src/wa_embedder_af.erl","line":71,"atom":{"NewVertex":{"up_context":[{"change":7,"pos":1404}],"down_context":[{"change":7,"pos":1404}],"flag":"BLOCK","start":46293,"end":46543,"inode":{"change":7,"pos":60}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46293"}},{"Add":{"text":"%% Clause with explicit guard alternatives: a list of guard conjunctions,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46367"}},{"Add":{"text":"%% each a list of guard tests (erl_lint reads the fourth clause element as","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46442"}},{"Add":{"text":"%% the alternatives).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46464"}},{"Add":{"text":"af_clause(Patterns, Guards, Body) -> {clause, ann(), Patterns, Guards, Body}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46542"}}]}},{"Replacement":{"inode":{"change":28,"pos":1322},"path":"src/wa_embedder.erl","line":19,"ins":{"up_context":[{"change":12,"pos":11957}],"down_context":[{"change":6,"pos":3039}],"flag":"BLOCK","start":46544,"end":46590,"inode":{"change":28,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":11957},"to":{"change":14,"start":835,"end":869},"introduced_by":14}],"inode":{"change":28,"pos":1322}},"ins_contents":[{"Add":{"text":"-import(wa_embedder_af, [ann/0, af_value/1]).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46589"}}],"del_contents":[{"Del":{"text":"-import(wa_embedder_af, [ann/0]).","pos":"PNTZYPR7F6ZYN65BTOIP3ISTEGMIAM4CQUR2L3YEJA3BIRJ6WHUAC:868"}}]}},{"Replacement":{"inode":{"change":28,"pos":1322},"path":"src/wa_embedder.erl","line":148,"ins":{"up_context":[{"change":14,"pos":6175}],"down_context":[{"change":14,"pos":6271}],"flag":"BLOCK","start":46591,"end":46641,"inode":{"change":28,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":14,"pos":6175},"to":{"change":14,"start":6175,"end":6271},"introduced_by":14}],"inode":{"change":28,"pos":1322}},"ins_contents":[{"Add":{"text":" {_Tag, Lit} -> global_value(Lit);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46640"}}],"del_contents":[{"Del":{"text":" {_Tag, {integer, _Ann, N}} -> N;","pos":"PNTZYPR7F6ZYN65BTOIP3ISTEGMIAM4CQUR2L3YEJA3BIRJ6WHUAC:6223"}},{"Del":{"text":" {_Tag, {float, _Ann, F}} -> F;","pos":"PNTZYPR7F6ZYN65BTOIP3ISTEGMIAM4CQUR2L3YEJA3BIRJ6WHUAC:6270"}}]}},{"Edit":{"inode":{"change":28,"pos":1322},"path":"src/wa_embedder.erl","line":156,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":11766}],"down_context":[{"change":14,"pos":6411}],"flag":"BLOCK","start":46642,"end":47050,"inode":{"change":28,"pos":1322}}},"contents":[{"Add":{"text":"%% The runtime value behind a global's literal. Integers and finite floats","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46716"}},{"Add":{"text":"%% are themselves; a non-finite float is the term wa_parser's tag stands for,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46794"}},{"Add":{"text":"%% which an immutable global also carries as its inlined literal.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46860"}},{"Add":{"text":"global_value({integer, _, N}) -> N;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46896"}},{"Add":{"text":"global_value({float, _, F}) -> F;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46930"}},{"Add":{"text":"global_value({atom, _, A}) -> A;","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:46963"}},{"Add":{"text":"global_value({tuple, _, [{atom, _, Tag}, {integer, _, Payload}]}) -> {Tag, Payload}.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47048"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47049"}}]}},{"Replacement":{"inode":{"change":28,"pos":1322},"path":"src/wa_embedder.erl","line":362,"ins":{"up_context":[{"change":14,"pos":12981}],"down_context":[{"change":14,"pos":13109}],"flag":"BLOCK","start":47051,"end":47167,"inode":{"change":28,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":14,"pos":12981},"to":{"change":14,"start":12981,"end":13109},"introduced_by":14}],"inode":{"change":28,"pos":1322}},"ins_contents":[{"Add":{"text":"eval_init_expr([{'f32.const', V}], _Prev) -> af_value(V);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47108"}},{"Add":{"text":"eval_init_expr([{'f64.const', V}], _Prev) -> af_value(V);","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47166"}}],"del_contents":[{"Del":{"text":"eval_init_expr([{'f32.const', V}], _Prev) -> {float, ann(), V};","pos":"PNTZYPR7F6ZYN65BTOIP3ISTEGMIAM4CQUR2L3YEJA3BIRJ6WHUAC:13044"}},{"Del":{"text":"eval_init_expr([{'f64.const', V}], _Prev) -> {float, ann(), V};","pos":"PNTZYPR7F6ZYN65BTOIP3ISTEGMIAM4CQUR2L3YEJA3BIRJ6WHUAC:13108"}}]}},{"Edit":{"inode":{"change":28,"pos":2808},"path":"README.md","line":44,"atom":{"NewVertex":{"up_context":[{"change":15,"pos":1770}],"down_context":[{"change":15,"pos":1770}],"flag":"BLOCK","start":47168,"end":47529,"inode":{"change":28,"pos":2808}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47168"}},{"Add":{"text":"### Float values on the BEAM","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47197"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47198"}},{"Add":{"text":"The BEAM cannot represent an infinity or a NaN: no literal spells one,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47269"}},{"Add":{"text":"`binary_to_term/1` rejects the bit patterns, and even `1.0e308 * 10.0` raises","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47347"}},{"Add":{"text":"`badarith`. A wasm `f32`/`f64` is therefore an ordinary Erlang `float()` for","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47424"}},{"Add":{"text":"as long as it is finite, and one of","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47460"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47461"}},{"Add":{"text":"```erlang","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47471"}},{"Add":{"text":"'+inf' | '-inf' | {nan, Payload} | {'-nan', Payload}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47524"}},{"Add":{"text":"```","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47528"}}]}},{"Edit":{"inode":{"change":28,"pos":2808},"path":"README.md","line":56,"atom":{"NewVertex":{"up_context":[{"change":15,"pos":1771}],"down_context":[{"change":15,"pos":1771}],"flag":"BLOCK","start":47530,"end":48499,"inode":{"change":28,"pos":2808}}},"contents":[{"Add":{"text":"once it is not — the very shapes [`wa_parser`](https://hex.pm/packages/wa_parser)","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47613"}},{"Add":{"text":"0.1.3 decodes a non-finite constant to. `Payload` is the raw fraction field","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47689"}},{"Add":{"text":"with the quiet bit included (`16#400000` for a bare f32 `nan`,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47752"}},{"Add":{"text":"`16#8000000000000` for a bare f64 one), so `abs`, `neg`, `copysign`,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47821"}},{"Add":{"text":"`reinterpret`, `f32x4.extract_lane` and a memory round trip preserve the bits","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47899"}},{"Add":{"text":"exactly. An arithmetic operation that produces a NaN returns the canonical","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:47974"}},{"Add":{"text":"quiet NaN of its width, whose payload the spec leaves unspecified.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48041"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48042"}},{"Add":{"text":"```erlang","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48052"}},{"Add":{"text":"{module, Mod} = wa_embedder:compile(\"quickjs.wasm\"),","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48105"}},{"Add":{"text":"Mod:some_f64_function() %=> :\"+inf\" | {:nan, 16#8000000000000} | 1.5","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48175"}},{"Add":{"text":"```","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48179"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48180"}},{"Add":{"text":"Host functions bound to a wasm import see the same representation, so a host","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48257"}},{"Add":{"text":"that passes an `f64` argument back must be able to produce those terms.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48329"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48330"}},{"Add":{"text":"Overflow of *finite* operands is a separate matter and unchanged:","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48396"}},{"Add":{"text":"`f64.add(1.7e308, 1.7e308)` still raises `badarith`, because the BEAM cannot","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48473"}},{"Add":{"text":"hold the result either.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48497"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48498"}}]}},{"Edit":{"inode":{"change":23,"pos":6239},"path":"CHANGELOG.md","line":41,"atom":{"NewVertex":{"up_context":[{"change":22,"pos":16609}],"down_context":[{"change":22,"pos":16609}],"flag":"BLOCK","start":48500,"end":51055,"inode":{"change":23,"pos":6239}}},"contents":[{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48500"}},{"Add":{"text":"- Non-finite `f32`/`f64` values are supported end to end. `wa_parser` 0.1.3","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48576"}},{"Add":{"text":" decodes `f32.const inf` / `f64.const nan` to `'+inf' | '-inf' | {nan, Payload}","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48657"}},{"Add":{"text":" | {'-nan, Payload}` instead of raising, and the embedder carries those terms","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48736"}},{"Add":{"text":" through constants, globals, arithmetic, comparison, min/max, sign and","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48808"}},{"Add":{"text":" rounding, conversion, reinterpret, linear memory and SIMD float lanes. A","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48883"}},{"Add":{"text":" finite value is still an ordinary Erlang float; a non-finite one is the tag","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:48961"}},{"Add":{"text":" above, because the BEAM cannot hold an infinity or a NaN at all (`1.0e308 *","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49039"}},{"Add":{"text":" 10.0` raises `badarith`, and no literal or `binary_to_term/1` payload spells","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49118"}},{"Add":{"text":" one). `Payload` is the raw fraction field with the quiet bit included, so","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49194"}},{"Add":{"text":" the bit-preserving operations stay exact; an arithmetic NaN result is the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49270"}},{"Add":{"text":" canonical quiet NaN of its width, whose payload the spec leaves","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49336"}},{"Add":{"text":" unspecified.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49351"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49352"}},{"Add":{"text":" Each generated float helper is now emitted as two clauses: the native","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49424"}},{"Add":{"text":" expression guarded on float operands, and a fallback through the new","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49495"}},{"Add":{"text":" `wa_embedder_float` module for everything else. Finite values therefore run","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49573"}},{"Add":{"text":" exactly as before, and the IEEE corner cases live in Erlang code that can be","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49652"}},{"Add":{"text":" read and tested directly rather than in generated abstract format.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49721"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49722"}},{"Add":{"text":" Regression fixtures: `test_data/wat/44_float_nonfinite.wat` (constants,","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49796"}},{"Add":{"text":" globals, arithmetic, comparison, conversion, reinterpret, memory) and","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49868"}},{"Add":{"text":" `test_data/wat/45_simd_float_nonfinite.wat` (float lanes).","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49929"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49930"}},{"Add":{"text":"### Fixed","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49940"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:49941"}},{"Add":{"text":"- Operations whose IEEE result is non-finite no longer raise where the BEAM","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50017"}},{"Add":{"text":" cannot represent it: `f32.div`/`f64.div` by zero produces `'+inf'`/`'-inf'`","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50095"}},{"Add":{"text":" (and a NaN for `0/0`) instead of `badarith`, `f32.sqrt`/`f64.sqrt` of a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50169"}},{"Add":{"text":" negative value produces a NaN instead of `badarg`, and `f32.demote_f64` of a","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50248"}},{"Add":{"text":" double past the f32 range produces an infinity instead of raising on the","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50323"}},{"Add":{"text":" narrowing float binary match.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50355"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50356"}},{"Add":{"text":" Overflow of an operation on *finite* operands is unchanged and still raises:","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50435"}},{"Add":{"text":" `f64.add(1.7e308, 1.7e308)` has no BEAM representation for its result.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50508"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50509"}},{"Add":{"text":"- Modules using a table or `call_indirect` no longer fail to compile. The","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50583"}},{"Add":{"text":" generated bounds check was an `if` whose else branch carried a literal","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50656"}},{"Add":{"text":" `true` *pattern*; `erl_parse` represents `if G -> A; true -> B` as clauses","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50733"}},{"Add":{"text":" with no patterns and a guard instead, and OTP 28's core fold has no clause","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50810"}},{"Add":{"text":" for the pattern form, so `compile:forms/2` died with an internal error in","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50886"}},{"Add":{"text":" `sys_core_fold:case_opt/3` and `compile/4` returned `:error`. This took out","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:50964"}},{"Add":{"text":" `call_indirect`, indirect tail calls, multi-value returns, and every table","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51041"}},{"Add":{"text":" operation.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51054"}}]}},{"Edit":{"inode":{"change":23,"pos":6239},"path":"CHANGELOG.md","line":86,"atom":{"NewVertex":{"up_context":[{"change":22,"pos":16610}],"down_context":[{"change":21,"pos":651}],"flag":"BLOCK","start":51056,"end":51479,"inode":{"change":23,"pos":6239}}},"contents":[{"Add":{"text":"- `global.set` no longer fails to compile. Its statement list was wrapped in","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51132"}},{"Add":{"text":" one more list than the block body expects, so `erl_lint` hit a list where it","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51211"}},{"Add":{"text":" expected an expression (`no function clause matching erl_lint:expr/6`). Any","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51289"}},{"Add":{"text":" module with a mutable global was rejected, however simple.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51350"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51351"}},{"Add":{"text":" Both are pinned by the existing fixture suite plus the mutable-global","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51423"}},{"Add":{"text":" coverage in `test_data/wat/44_float_nonfinite.wat`.","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51477"}},{"Add":{"text":"","pos":"NZFIAEDBQGPLQVFHYZSSJFRYDOD2PHMRSAWQKQUGBLQ6V33KSRBAC:51478"}}]}}],"owner":"couchemar","repo":"wa_embedder","login":null}

…

Dependencies

Change contents

Review