{"header":{"message":"simd float lane","description":null,"timestamp":"2026-09-05T10:57:37.974921Z","authors":[{}]},"hash":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC","simd float lane"],["AA",null],["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","add wat fixtures"],["A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","imports"],["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","Basic SIMD implementation"],["3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","integer lane ALU"],["A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","simd lane"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC"],"known":["A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC"]},"hunks":[{"Edit":{"inode":{"change":8,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":971,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":2256}],"down_context":[{"change":3,"pos":2180}],"flag":"BLOCK","start":0,"end":2161,"inode":{"change":8,"pos":62}}},"contents":[{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:0"}},{"Add":{"text":" test \"float lane ALU: arithmetic, rounding, min/max/pmin/pmax (finite values)\" do","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:86"}},{"Add":{"text":" assert {:module, :\"36_simd_float_alu\"} = compile_wat(\"36_simd_float_alu\")","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:166"}},{"Add":{"text":" m = :\"36_simd_float_alu\"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:197"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:198"}},{"Add":{"text":" f32 = fn xs -> for x <- xs, into: <<>>, do: <> end","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:275"}},{"Add":{"text":" u32 = fn b -> for <>, do: x end","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:338"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:339"}},{"Add":{"text":" a = f32.([1.0, 2.5, -3.0, 4.0])","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:377"}},{"Add":{"text":" b = f32.([0.5, 0.5, 2.0, 8.0])","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:414"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:415"}},{"Add":{"text":" assert u32.(call(m, \"add_f32\", [a, b])) == [1.5, 3.0, -1.0, 12.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:487"}},{"Add":{"text":" assert u32.(call(m, \"sub_f32\", [a, b])) == [0.5, 2.0, -5.0, -4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:559"}},{"Add":{"text":" assert u32.(call(m, \"mul_f32\", [a, b])) == [0.5, 1.25, -6.0, 32.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:632"}},{"Add":{"text":" assert u32.(call(m, \"div_f32\", [a, b])) == [2.0, 5.0, -1.5, 0.5]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:703"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:704"}},{"Add":{"text":" assert u32.(call(m, \"neg_f32\", [a])) == [-1.0, -2.5, 3.0, -4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:774"}},{"Add":{"text":" assert u32.(call(m, \"abs_f32\", [a])) == [1.0, 2.5, 3.0, 4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:841"}},{"Add":{"text":" assert u32.(call(m, \"sqrt_f32\", [f32.([1.0, 4.0, 9.0, 16.0])])) == [1.0, 2.0, 3.0, 4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:935"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:936"}},{"Add":{"text":" # rounding modes on [2.3, -2.3, 2.5, 3.5]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:984"}},{"Add":{"text":" r = f32.([2.3, -2.3, 2.5, 3.5])","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1022"}},{"Add":{"text":" assert u32.(call(m, \"ceil_f32\", [r])) == [3.0, -2.0, 3.0, 4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1091"}},{"Add":{"text":" assert u32.(call(m, \"floor_f32\", [r])) == [2.0, -3.0, 2.0, 3.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1161"}},{"Add":{"text":" assert u32.(call(m, \"trunc_f32\", [r])) == [2.0, -2.0, 2.0, 3.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1231"}},{"Add":{"text":" # nearest = round-half-to-even: 2.5 -> 2, 3.5 -> 4","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1288"}},{"Add":{"text":" assert u32.(call(m, \"nearest_f32\", [r])) == [2.0, -2.0, 2.0, 4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1360"}},{"Add":{"text":" assert u32.(call(m, \"nearest_f32\", [f32.([0.5, 1.5, -0.5, -1.5])])) == [0.0, 2.0, 0.0, -2.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1459"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1460"}},{"Add":{"text":" # min/max and pmin/pmax coincide for finite, non-tie lanes","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1525"}},{"Add":{"text":" assert u32.(call(m, \"min_f32\", [a, b])) == [0.5, 0.5, -3.0, 4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1596"}},{"Add":{"text":" assert u32.(call(m, \"max_f32\", [a, b])) == [1.0, 2.5, 2.0, 8.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1666"}},{"Add":{"text":" assert u32.(call(m, \"pmin_f32\", [a, b])) == [0.5, 0.5, -3.0, 4.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1738"}},{"Add":{"text":" assert u32.(call(m, \"pmax_f32\", [a, b])) == [1.0, 2.5, 2.0, 8.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1809"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1810"}},{"Add":{"text":" # f64x2 path","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1829"}},{"Add":{"text":" f64 = fn xs -> for x <- xs, into: <<>>, do: <> end","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1906"}},{"Add":{"text":" u64 = fn bin -> for <>, do: x end","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:1973"}},{"Add":{"text":" assert u64.(call(m, \"add_f64\", [f64.([1.5, 2.25]), f64.([0.25, 0.75])])) == [1.75, 3.0]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2067"}},{"Add":{"text":" assert u64.(call(m, \"sqrt_f64\", [f64.([9.0, 2.0])])) == [3.0, :math.sqrt(2.0)]","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2152"}},{"Add":{"text":" end","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2160"}}]}},{"FileAdd":{"meta":{"basename":"36_simd_float_alu.wat","metadata":0},"context":[{"change":2,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2216"}},{"Add":{"text":" ;; Float lane ALU (f32x4 / f64x2), finite values only. Each func returns a","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2293"}},{"Add":{"text":" ;; v128 so the test asserts exact little-endian float bytes.","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2356"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2357"}},{"Add":{"text":" ;; f32x4 arithmetic","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2379"}},{"Add":{"text":" (func (export \"add_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2438"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.add)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2477"}},{"Add":{"text":" (func (export \"sub_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2536"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.sub)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2575"}},{"Add":{"text":" (func (export \"mul_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2634"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.mul)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2673"}},{"Add":{"text":" (func (export \"div_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2732"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.div)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2771"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2772"}},{"Add":{"text":" ;; f32x4 unary","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2789"}},{"Add":{"text":" (func (export \"neg_f32\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2843"}},{"Add":{"text":" local.get 0 f32x4.neg)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2870"}},{"Add":{"text":" (func (export \"abs_f32\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2924"}},{"Add":{"text":" local.get 0 f32x4.abs)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:2951"}},{"Add":{"text":" (func (export \"sqrt_f32\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3006"}},{"Add":{"text":" local.get 0 f32x4.sqrt)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3034"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3035"}},{"Add":{"text":" ;; f32x4 rounding","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3055"}},{"Add":{"text":" (func (export \"ceil_f32\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3110"}},{"Add":{"text":" local.get 0 f32x4.ceil)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3138"}},{"Add":{"text":" (func (export \"floor_f32\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3194"}},{"Add":{"text":" local.get 0 f32x4.floor)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3223"}},{"Add":{"text":" (func (export \"trunc_f32\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3279"}},{"Add":{"text":" local.get 0 f32x4.trunc)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3308"}},{"Add":{"text":" (func (export \"nearest_f32\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3366"}},{"Add":{"text":" local.get 0 f32x4.nearest)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3397"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3398"}},{"Add":{"text":" ;; f32x4 min/max and pmin/pmax","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3431"}},{"Add":{"text":" (func (export \"min_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3490"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.min)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3529"}},{"Add":{"text":" (func (export \"max_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3588"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.max)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3627"}},{"Add":{"text":" (func (export \"pmin_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3687"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.pmin)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3727"}},{"Add":{"text":" (func (export \"pmax_f32\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3787"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.pmax)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3827"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3828"}},{"Add":{"text":" ;; f64x2 sanity: add + sqrt (exercises the 64-bit float path)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3892"}},{"Add":{"text":" (func (export \"add_f64\") (param v128 v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3951"}},{"Add":{"text":" local.get 0 local.get 1 f64x2.add)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:3990"}},{"Add":{"text":" (func (export \"sqrt_f64\") (param v128) (result v128)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4045"}},{"Add":{"text":" local.get 0 f64x2.sqrt)","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4073"}},{"Add":{"text":")","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4075"}}]}},{"Replacement":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":182,"ins":{"up_context":[{"change":4,"pos":8590}],"down_context":[{"change":4,"pos":8652}],"flag":"BLOCK","start":4077,"end":4359,"inode":{"change":4,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8590},"to":{"change":4,"start":8590,"end":8652},"introduced_by":4}],"inode":{"change":4,"pos":1700}},"ins_contents":[{"Add":{"text":"%% trunc toward zero, as a float (erlang:trunc/1 returns an integer).","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4146"}},{"Add":{"text":"unary_lane(\"trunc\", A, _Bits, float) -> erl_call(float, [erl_call(trunc, [A])]);","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4227"}},{"Add":{"text":"%% nearest: round to nearest, ties to even (IEEE-754 roundTiesToEven).","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4298"}},{"Add":{"text":"unary_lane(\"nearest\", A, _Bits, float) -> float_nearest(A);","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4358"}}],"del_contents":[{"Del":{"text":"unary_lane(\"trunc\", A, _Bits, float) -> erl_call(trunc, [A]);","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:8651"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":187,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":8738}],"down_context":[{"change":4,"pos":8738}],"flag":"BLOCK","start":4360,"end":5326,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4360"}},{"Add":{"text":"%% Round-half-to-even for a finite float lane expr `A'. Uses a fun applied to","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4438"}},{"Add":{"text":"%% `Fl = math:floor(A + 0.5)' so the intermediate binding is lane-local (each","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4516"}},{"Add":{"text":"%% lane gets its own scope — no shared variable clash when several lanes are","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4595"}},{"Add":{"text":"%% packed into one binary):","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4623"}},{"Add":{"text":"%% (fun(Fl) ->","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4640"}},{"Add":{"text":"%% case (Fl - A =:= 0.5) andalso (trunc(Fl) rem 2 =/= 0) of","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4706"}},{"Add":{"text":"%% true -> Fl - 1.0; %% .5 tie rounded to odd -> step down to even","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4786"}},{"Add":{"text":"%% false -> Fl","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4811"}},{"Add":{"text":"%% end","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4824"}},{"Add":{"text":"%% end)(math:floor(A + 0.5))","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4856"}},{"Add":{"text":"float_nearest(A) ->","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4876"}},{"Add":{"text":" Fl = af_var('Fl'),","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4899"}},{"Add":{"text":" FloorExpr = af_remote_math(floor, af_op('+', A, af_float(0.5))),","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:4968"}},{"Add":{"text":" IsHalf = af_op('=:=', af_op('-', Fl, A), af_float(0.5)),","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5029"}},{"Add":{"text":" IsOdd = af_op('=/=', af_op('rem', erl_call(trunc, [Fl]), af_int(2)), af_int(0)),","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5114"}},{"Add":{"text":" Cond = af_op('andalso', IsHalf, IsOdd),","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5158"}},{"Add":{"text":" Case = float_select(Cond, af_op('-', Fl, af_float(1.0)), Fl),","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5224"}},{"Add":{"text":" Fun = {'fun', ann(), {clauses, [af_clause([Fl], [Case])]}},","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5288"}},{"Add":{"text":" {call, ann(), Fun, [FloorExpr]}.","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5325"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":329,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":11460}],"down_context":[{"change":4,"pos":11460}],"flag":"BLOCK","start":5327,"end":5689,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":"%% pmin/pmax are the \"pseudo\" min/max defined by a single comparison:","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5396"}},{"Add":{"text":"%% pmin(a, b) = b < a ? b : a pmax(a, b) = a < b ? b : a","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5460"}},{"Add":{"text":"%% (differs from min/max only in NaN / signed-zero tie handling).","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5526"}},{"Add":{"text":"binary_lane(\"pmin\", A, B, _Bits, float) -> float_select(af_op('<', B, A), B, A);","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5607"}},{"Add":{"text":"binary_lane(\"pmax\", A, B, _Bits, float) -> float_select(af_op('<', A, B), B, A);","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5688"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":367,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":6668}],"down_context":[{"change":4,"pos":12032}],"flag":"BLOCK","start":5690,"end":5909,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":"%% `case Cond of true -> T; false -> F end' — used for pmin/pmax lane selection.","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5772"}},{"Add":{"text":"float_select(Cond, T, F) ->","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5800"}},{"Add":{"text":" {'case', ann(), Cond,","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5826"}},{"Add":{"text":" [af_clause([af_atom(true)], [T]),","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5865"}},{"Add":{"text":" af_clause([af_atom(false)], [F])]}.","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5907"}},{"Add":{"text":"","pos":"O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC:5908"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"uQo8sQIT6Vpd7FzSOsxCGYvu+7bPRssX1rsiPdhmwrw=","login":null}

…

Dependencies

Change contents

Review