{"header":{"message":"bitwise and comparison","description":null,"timestamp":"2026-09-05T11:12:10.33359Z","authors":[{}]},"hash":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC","bitwise and comparison"],["AA",null],["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","Basic SIMD implementation"],["A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","simd lane"],["3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","integer lane ALU"],["SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","use captures in imports"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC"],"known":["SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC"]},"hunks":[{"Replacement":{"inode":{"change":7,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":874,"ins":{"up_context":[{"change":2,"pos":504}],"down_context":[{"change":2,"pos":575}],"flag":"BLOCK","start":0,"end":72,"inode":{"change":7,"pos":62}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":504},"to":{"change":2,"start":504,"end":575},"introduced_by":2}],"inode":{"change":7,"pos":62}},"ins_contents":[{"Add":{"text":" test \"bitwise, comparisons (mask lanes), and boolean reductions\" do","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:71"}}],"del_contents":[{"Del":{"text":" test \"v128.and computes the bitwise AND of two 16-byte vectors\" do","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:574"}}]}},{"Edit":{"inode":{"change":7,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":876,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":651}],"down_context":[{"change":2,"pos":651}],"flag":"BLOCK","start":73,"end":982,"inode":{"change":7,"pos":62}}},"contents":[{"Add":{"text":" m = :\"37_simd_bit_cmp\"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:101"}},{"Add":{"text":" bytes = fn b -> :binary.bin_to_list(b) end","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:150"}},{"Add":{"text":" pad = fn list -> :binary.list_to_bin(list ++ List.duplicate(0, 16 - length(list))) end","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:243"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:244"}},{"Add":{"text":" # --- bitwise (whole 128 bits) ---","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:285"}},{"Add":{"text":" a = pad.([0xF0, 0x0F, 0xAA])","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:320"}},{"Add":{"text":" b = pad.([0xFF, 0x00, 0x55])","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:355"}},{"Add":{"text":" assert bytes.(call(m, \"and\", [a, b])) |> Enum.take(3) == [0xF0, 0x00, 0x00]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:437"}},{"Add":{"text":" assert bytes.(call(m, \"or\", [a, b])) |> Enum.take(3) == [0xFF, 0x0F, 0xFF]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:518"}},{"Add":{"text":" assert bytes.(call(m, \"xor\", [a, b])) |> Enum.take(3) == [0x0F, 0x0F, 0xFF]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:600"}},{"Add":{"text":" # andnot = a AND (NOT b)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:631"}},{"Add":{"text":" assert bytes.(call(m, \"andnot\", [a, b])) |> Enum.take(3) == [0x00, 0x0F, 0xAA]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:716"}},{"Add":{"text":" assert bytes.(call(m, \"not\", [pad.([0xF0])])) |> Enum.take(2) == [0x0F, 0xFF]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:800"}},{"Add":{"text":" # bitselect(A, B, C) = (A AND C) OR (B AND NOT C)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:856"}},{"Add":{"text":" assert bytes.(call(m, \"bitselect\", [pad.([0xFF]), pad.([0x00]), pad.([0x0F])]))","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:942"}},{"Add":{"text":" |> Enum.take(1) == [0x0F]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:981"}}]}},{"Replacement":{"inode":{"change":7,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":893,"ins":{"up_context":[{"change":2,"pos":652}],"down_context":[{"change":2,"pos":737}],"flag":"BLOCK","start":983,"end":1728,"inode":{"change":7,"pos":62}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":652},"to":{"change":2,"start":652,"end":737},"introduced_by":2}],"inode":{"change":7,"pos":62}},"ins_contents":[{"Add":{"text":" # --- comparisons: true lane -> 0xFF mask, false -> 0x00 (i8) ---","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1054"}},{"Add":{"text":" # x lanes {5, 200(-56 signed), 5}, y lanes {5, 10, 9}","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1114"}},{"Add":{"text":" x = pad.([5, 200, 5])","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1142"}},{"Add":{"text":" y = pad.([5, 10, 9])","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1169"}},{"Add":{"text":" assert bytes.(call(m, \"eq_i8\", [x, y])) |> Enum.take(3) == [0xFF, 0x00, 0x00]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1253"}},{"Add":{"text":" assert bytes.(call(m, \"ne_i8\", [x, y])) |> Enum.take(3) == [0x00, 0xFF, 0xFF]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1337"}},{"Add":{"text":" # signed: -56 < 10; unsigned: 200 !< 10","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1383"}},{"Add":{"text":" assert bytes.(call(m, \"lt_s_i8\", [x, y])) |> Enum.take(3) == [0x00, 0xFF, 0xFF]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1469"}},{"Add":{"text":" assert bytes.(call(m, \"lt_u_i8\", [x, y])) |> Enum.take(3) == [0x00, 0x00, 0xFF]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1555"}},{"Add":{"text":" assert bytes.(call(m, \"gt_s_i8\", [x, y])) |> Enum.take(3) == [0x00, 0x00, 0x00]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1641"}},{"Add":{"text":" assert bytes.(call(m, \"ge_u_i8\", [x, y])) |> Enum.take(3) == [0xFF, 0xFF, 0x00]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1727"}}],"del_contents":[{"Del":{"text":" a = <<0xFF, 0x0F, 0xF0, 0x00, 0xAA, 0x55, 0xFF, 0x00, 1, 2, 3, 4, 5, 6, 7, 8>>","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:736"}}]}},{"Replacement":{"inode":{"change":7,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":905,"ins":{"up_context":[{"change":2,"pos":738}],"down_context":[{"change":2,"pos":846}],"flag":"BLOCK","start":1729,"end":2093,"inode":{"change":7,"pos":62}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":738},"to":{"change":2,"start":738,"end":846},"introduced_by":2}],"inode":{"change":7,"pos":62}},"ins_contents":[{"Add":{"text":" # float comparisons produce 32-bit all-ones / all-zeros lane masks","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1801"}},{"Add":{"text":" f32 = fn xs -> for v <- xs, into: <<>>, do: <> end","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1878"}},{"Add":{"text":" u32 = fn bin -> for <>, do: w end","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1947"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:1948"}},{"Add":{"text":" assert u32.(call(m, \"eq_f32\", [f32.([1.0, 2.0, 3.0, 4.0]), f32.([1.0, 9.0, 3.0, 9.0])])) ==","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2046"}},{"Add":{"text":" [0xFFFFFFFF, 0, 0xFFFFFFFF, 0]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2092"}}],"del_contents":[{"Del":{"text":" b =","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:747"}},{"Del":{"text":" <<0x0F, 0xFF, 0x0F, 0xFF, 0xFF, 0xFF, 0x0F, 0xFF, 0, 0xFF, 0xFF, 0, 0xFF, 0, 0xFF, 0xFF>>","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:845"}}]}},{"Replacement":{"inode":{"change":7,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":912,"ins":{"up_context":[{"change":2,"pos":847}],"down_context":[{"change":2,"pos":1084}],"flag":"BLOCK","start":2094,"end":2238,"inode":{"change":7,"pos":62}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":847},"to":{"change":2,"start":847,"end":1084},"introduced_by":2}],"inode":{"change":7,"pos":62}},"ins_contents":[{"Add":{"text":" assert u32.(call(m, \"lt_f32\", [f32.([1.0, 2.0, 3.0, 4.0]), f32.([2.0, 2.0, 1.0, 9.0])])) ==","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2191"}},{"Add":{"text":" [0xFFFFFFFF, 0, 0, 0xFFFFFFFF]","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2237"}}],"del_contents":[{"Del":{"text":" # expected = per-byte AND (whole-128-bit op is byte-order independent)","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:923"}},{"Del":{"text":" expected =","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:940"}},{"Del":{"text":" for {x, y} <- Enum.zip(:binary.bin_to_list(a), :binary.bin_to_list(b)),","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1020"}},{"Del":{"text":" into: <<>>,","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1044"}},{"Del":{"text":" do: <<:erlang.band(x, y)>>","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1083"}}]}},{"Replacement":{"inode":{"change":7,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":915,"ins":{"up_context":[{"change":2,"pos":1085}],"down_context":[{"change":3,"pos":0}],"flag":"BLOCK","start":2239,"end":2800,"inode":{"change":7,"pos":62}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1085},"to":{"change":2,"start":1085,"end":1157},"introduced_by":2}],"inode":{"change":7,"pos":62}},"ins_contents":[{"Add":{"text":" # --- boolean reductions ---","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2273"}},{"Add":{"text":" assert call(m, \"any_true\", [<<0::128>>]) == 0","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2325"}},{"Add":{"text":" assert call(m, \"any_true\", [pad.([0, 0, 1])]) == 1","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2382"}},{"Add":{"text":" assert call(m, \"all_true_i8\", [pad.([1, 2, 3])]) == 0","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2442"}},{"Add":{"text":" assert call(m, \"all_true_i8\", [:binary.copy(<<7>>, 16)]) == 1","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2510"}},{"Add":{"text":" # bitmask: sign bit of each lane, lane 0 -> bit 0. i8 lanes {0x80,0,0xFF,0x7F}","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2595"}},{"Add":{"text":" assert call(m, \"bitmask_i8\", [pad.([0x80, 0x00, 0xFF, 0x7F])]) == 0b0101","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2674"}},{"Add":{"text":" # i32 lane 1 has its MSB set -> bit 1","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2718"}},{"Add":{"text":" assert call(m, \"bitmask_i32\", [<<0::32, 0, 0, 0, 0x80, 0::64>>]) == 0b0010","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2799"}}],"del_contents":[{"Del":{"text":" assert call(:\"37_simd_bit_cmp\", \"bit_op_cmp\", [a, b]) == expected","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1156"}}]}},{"Replacement":{"inode":{"change":2,"pos":1202},"path":"test_data/wat/37_simd_bit_cmp.wat","line":2,"ins":{"up_context":[{"change":2,"pos":1211}],"down_context":[{"change":2,"pos":1319}],"flag":"BLOCK","start":2801,"end":4783,"inode":{"change":2,"pos":1202}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1211},"to":{"change":2,"start":1211,"end":1319},"introduced_by":2}],"inode":{"change":2,"pos":1202}},"ins_contents":[{"Add":{"text":" ;; Bitwise, comparisons, and boolean reductions.","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2851"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2852"}},{"Add":{"text":" ;; --- bitwise (whole 128 bits) ---","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2890"}},{"Add":{"text":" (func (export \"and\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2945"}},{"Add":{"text":" local.get 0 local.get 1 v128.and)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:2983"}},{"Add":{"text":" (func (export \"or\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3037"}},{"Add":{"text":" local.get 0 local.get 1 v128.or)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3074"}},{"Add":{"text":" (func (export \"xor\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3129"}},{"Add":{"text":" local.get 0 local.get 1 v128.xor)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3167"}},{"Add":{"text":" (func (export \"andnot\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3225"}},{"Add":{"text":" local.get 0 local.get 1 v128.andnot)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3266"}},{"Add":{"text":" (func (export \"not\") (param v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3316"}},{"Add":{"text":" local.get 0 v128.not)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3342"}},{"Add":{"text":" (func (export \"bitselect\") (param v128 v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3408"}},{"Add":{"text":" local.get 0 local.get 1 local.get 2 v128.bitselect)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3464"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3465"}},{"Add":{"text":" ;; --- comparisons (produce all-ones / all-zeros lane masks) ---","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3532"}},{"Add":{"text":" (func (export \"eq_i8\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3589"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.eq)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3627"}},{"Add":{"text":" (func (export \"ne_i8\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3684"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.ne)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3722"}},{"Add":{"text":" (func (export \"lt_s_i8\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3781"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.lt_s)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3821"}},{"Add":{"text":" (func (export \"lt_u_i8\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3880"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.lt_u)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3920"}},{"Add":{"text":" (func (export \"gt_s_i8\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:3979"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.gt_s)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4019"}},{"Add":{"text":" (func (export \"ge_u_i8\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4078"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.ge_u)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4118"}},{"Add":{"text":" (func (export \"eq_f32\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4176"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.eq)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4214"}},{"Add":{"text":" (func (export \"lt_f32\") (param v128 v128) (result v128)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4272"}},{"Add":{"text":" local.get 0 local.get 1 f32x4.lt)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4310"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4311"}},{"Add":{"text":" ;; --- boolean reductions ---","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4343"}},{"Add":{"text":" (func (export \"any_true\") (param v128) (result i32)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4397"}},{"Add":{"text":" local.get 0 v128.any_true)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4428"}},{"Add":{"text":" (func (export \"all_true_i8\") (param v128) (result i32)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4485"}},{"Add":{"text":" local.get 0 i8x16.all_true)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4517"}},{"Add":{"text":" (func (export \"all_true_i32\") (param v128) (result i32)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4575"}},{"Add":{"text":" local.get 0 i32x4.all_true)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4607"}},{"Add":{"text":" (func (export \"bitmask_i8\") (param v128) (result i32)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4663"}},{"Add":{"text":" local.get 0 i8x16.bitmask)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4694"}},{"Add":{"text":" (func (export \"bitmask_i32\") (param v128) (result i32)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4751"}},{"Add":{"text":" local.get 0 i32x4.bitmask)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4782"}}],"del_contents":[{"Del":{"text":" (func (export \"bit_op_cmp\") (param v128 v128) (result v128)","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1272"}},{"Del":{"text":" local.get 0","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1288"}},{"Del":{"text":" local.get 1","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1304"}},{"Del":{"text":" v128.and)","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:1318"}}]}},{"Replacement":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":101,"ins":{"up_context":[{"change":2,"pos":5052}],"down_context":[{"change":2,"pos":5094}],"flag":"BLOCK","start":4784,"end":4936,"inode":{"change":2,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":5052},"to":{"change":2,"start":5052,"end":5094},"introduced_by":2}],"inode":{"change":2,"pos":1700}},"ins_contents":[{"Add":{"text":"%% Ops taking a single v128 operand (arity 1). Includes the unary lane ALU","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4858"}},{"Add":{"text":"%% ops and the boolean reductions (any_true/all_true/bitmask -> scalar i32).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:4935"}}],"del_contents":[{"Del":{"text":"%% Unary lane ALU ops (one v128 operand).","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:5093"}}]}},{"Replacement":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":105,"ins":{"up_context":[{"change":2,"pos":5160}],"down_context":[{"change":2,"pos":5247}],"flag":"BLOCK","start":4937,"end":5068,"inode":{"change":2,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":5160},"to":{"change":2,"start":5160,"end":5247},"introduced_by":2}],"inode":{"change":2,"pos":1700}},"ins_contents":[{"Add":{"text":" [\"neg\", \"abs\", \"sqrt\", \"ceil\", \"floor\", \"trunc\", \"nearest\", \"not\", \"popcnt\",","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5021"}},{"Add":{"text":" \"any_true\", \"all_true\", \"bitmask\"]).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5067"}}],"del_contents":[{"Del":{"text":" [\"neg\", \"abs\", \"sqrt\", \"ceil\", \"floor\", \"trunc\", \"nearest\", \"not\", \"popcnt\"]).","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:5246"}}]}},{"Replacement":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":161,"ins":{"up_context":[{"change":2,"pos":7575}],"down_context":[{"change":2,"pos":7591}],"flag":"BLOCK","start":5069,"end":5107,"inode":{"change":2,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":7575},"to":{"change":2,"start":7575,"end":7591},"introduced_by":2}],"inode":{"change":2,"pos":1700}},"ins_contents":[{"Add":{"text":" v128 when Suffix =:= \"not\" ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5106"}}],"del_contents":[{"Del":{"text":" v128 ->","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:7590"}}]}},{"Edit":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":165,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":7811}],"down_context":[{"change":3,"pos":4161}],"flag":"BLOCK","start":5108,"end":5556,"inode":{"change":2,"pos":1700}}},"contents":[{"Add":{"text":" v128 when Suffix =:= \"any_true\" ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5150"}},{"Add":{"text":" %% any_true: 1 if any bit of the whole 128-bit value is set.","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5223"}},{"Add":{"text":" MatchA = af_match(af_bin([af_bin_elem(av('IA'), 128, [integer, little])]), av('A')),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5320"}},{"Add":{"text":" Case =","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5339"}},{"Add":{"text":" {'case', ann(), af_op('=:=', av('IA'), af_int(0)),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5406"}},{"Add":{"text":" [af_clause([af_atom(true)], [af_int(0)]),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5465"}},{"Add":{"text":" af_clause([af_atom(false)], [af_int(1)])]},","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5527"}},{"Add":{"text":" [MatchA, Case];","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5555"}}]}},{"Edit":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":176,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":4304}],"down_context":[{"change":2,"pos":7811}],"flag":"BLOCK","start":5557,"end":5711,"inode":{"change":2,"pos":1700}}},"contents":[{"Add":{"text":" Shape when Suffix =:= \"all_true\" ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5600"}},{"Add":{"text":" body_all_true(Shape);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5634"}},{"Add":{"text":" Shape when Suffix =:= \"bitmask\" ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5677"}},{"Add":{"text":" body_bitmask(Shape);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5710"}}]}},{"Edit":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":186,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":8051}],"down_context":[{"change":2,"pos":8051}],"flag":"BLOCK","start":5712,"end":6296,"inode":{"change":2,"pos":1700}}},"contents":[{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5712"}},{"Add":{"text":"%% all_true: 1 if every lane is non-zero, else 0. Fold `andalso' over the","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5786"}},{"Add":{"text":"%% lane-nonzero tests, then map the boolean to 0/1.","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5838"}},{"Add":{"text":"body_all_true(Shape) ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5862"}},{"Add":{"text":" {_Count, _Bits, _Kind} = shape(Shape),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5905"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Shape),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:5953"}},{"Add":{"text":" Tests = [af_op('=/=', A, af_int(0)) || A <- As],","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6006"}},{"Add":{"text":" AllExpr = lists:foldr(fun(T, Acc) -> af_op('andalso', T, Acc) end,","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6077"}},{"Add":{"text":" af_atom(true), Tests),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6126"}},{"Add":{"text":" Case =","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6137"}},{"Add":{"text":" {'case', ann(), AllExpr,","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6170"}},{"Add":{"text":" [af_clause([af_atom(true)], [af_int(1)]),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6221"}},{"Add":{"text":" af_clause([af_atom(false)], [af_int(0)])]},","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6275"}},{"Add":{"text":" [MatchA, Case].","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6295"}}]}},{"Edit":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":201,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":8052}],"down_context":[{"change":2,"pos":8052}],"flag":"BLOCK","start":6297,"end":6803,"inode":{"change":2,"pos":1700}}},"contents":[{"Add":{"text":"%% bitmask: gather the sign bit (MSB) of each lane into an i32, lane 0 -> bit 0","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6376"}},{"Add":{"text":"%% (little-endian lane->bit order). Sum of (sign_bit(lane_i) bsl i).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6445"}},{"Add":{"text":"body_bitmask(Shape) ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6468"}},{"Add":{"text":" {Count, Bits, _Kind} = shape(Shape),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6509"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Shape),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6557"}},{"Add":{"text":" Terms =","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6569"}},{"Add":{"text":" [af_op('bsl', af_op('bsr', A, af_int(Bits - 1)), af_int(I))","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6637"}},{"Add":{"text":" || {I, A} <- lists:zip(lists:seq(0, Count - 1), As)],","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6700"}},{"Add":{"text":" Sum = lists:foldl(fun(T, Acc) -> af_op('bor', Acc, T) end, af_int(0), Terms),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6782"}},{"Add":{"text":" [MatchA, Sum].","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6801"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6802"}}]}},{"Replacement":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":330,"ins":{"up_context":[{"change":2,"pos":10459}],"down_context":[{"change":2,"pos":10503}],"flag":"BLOCK","start":6804,"end":7070,"inode":{"change":2,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":10459},"to":{"change":2,"start":10459,"end":10503},"introduced_by":2}],"inode":{"change":2,"pos":1700}},"ins_contents":[{"Add":{"text":"%% Elementwise binary lane op over A and B. Comparison ops always yield an","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6878"}},{"Add":{"text":"%% integer bit-mask per lane, so on a float shape they must be repacked with an","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:6958"}},{"Add":{"text":"%% integer segment (packing a mask through a `/float' segment would reinterpret","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7038"}},{"Add":{"text":"%% the bits as a float value).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7069"}}],"del_contents":[{"Del":{"text":"%% Elementwise binary lane op over A and B.","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:10502"}}]}},{"Replacement":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":340,"ins":{"up_context":[{"change":2,"pos":10778}],"down_context":[{"change":2,"pos":10820}],"flag":"BLOCK","start":7071,"end":7727,"inode":{"change":2,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":10778},"to":{"change":2,"start":10778,"end":10820},"introduced_by":2}],"inode":{"change":2,"pos":1700}},"ins_contents":[{"Add":{"text":" Packed =","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7083"}},{"Add":{"text":" case is_compare(Suffix) of","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7118"}},{"Add":{"text":" true -> pack_int(Lanes, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7161"}},{"Add":{"text":" false -> pack(Lanes, Shape)","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7201"}},{"Add":{"text":" end,","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7214"}},{"Add":{"text":" [MatchA, MatchB, Packed].","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7244"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7245"}},{"Add":{"text":"%% Comparison ops produce lane masks (result kind is always integer bits).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7320"}},{"Add":{"text":"is_compare(Suffix) ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7342"}},{"Add":{"text":" lists:member(Suffix,","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7367"}},{"Add":{"text":" [\"eq\", \"ne\", \"lt\", \"gt\", \"le\", \"ge\",","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7412"}},{"Add":{"text":" \"lt_s\", \"gt_s\", \"le_s\", \"ge_s\", \"lt_u\", \"gt_u\", \"le_u\", \"ge_u\"]).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7487"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7488"}},{"Add":{"text":"%% Pack lane exprs as raw little-endian integers of `Bits' width (used for","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7563"}},{"Add":{"text":"%% comparison masks regardless of the operand shape's kind).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7624"}},{"Add":{"text":"pack_int(LaneExprs, Bits) ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7653"}},{"Add":{"text":" af_bin([af_bin_elem(E, Bits, [integer, little]) || E <- LaneExprs]).","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7726"}}],"del_contents":[{"Del":{"text":" [MatchA, MatchB, pack(Lanes, Shape)].","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:10819"}}]}},{"Edit":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":410,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":6231}],"down_context":[{"change":2,"pos":11939}],"flag":"BLOCK","start":7728,"end":9048,"inode":{"change":2,"pos":1700}}},"contents":[{"Add":{"text":"%% Comparisons: produce an all-ones (2^bits - 1) or all-zeros lane mask.","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7800"}},{"Add":{"text":"%% eq/ne are sign-agnostic (raw compare). Signed variants bias both operands;","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7878"}},{"Add":{"text":"%% unsigned variants use the raw (already unsigned) lane values. Float compares","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:7958"}},{"Add":{"text":"%% use the decoded float lane values directly.","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8005"}},{"Add":{"text":"binary_lane(\"eq\", A, B, Bits, _Kind) -> cmp_mask('==', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8073"}},{"Add":{"text":"binary_lane(\"ne\", A, B, Bits, _Kind) -> cmp_mask('/=', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8141"}},{"Add":{"text":"binary_lane(\"lt\", A, B, Bits, float) -> cmp_mask('<', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8208"}},{"Add":{"text":"binary_lane(\"gt\", A, B, Bits, float) -> cmp_mask('>', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8275"}},{"Add":{"text":"binary_lane(\"le\", A, B, Bits, float) -> cmp_mask('=<', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8343"}},{"Add":{"text":"binary_lane(\"ge\", A, B, Bits, float) -> cmp_mask('>=', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8411"}},{"Add":{"text":"binary_lane(\"lt_s\", A, B, Bits, int) -> cmp_mask('<', bias(A, Bits), bias(B, Bits), Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8502"}},{"Add":{"text":"binary_lane(\"gt_s\", A, B, Bits, int) -> cmp_mask('>', bias(A, Bits), bias(B, Bits), Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8593"}},{"Add":{"text":"binary_lane(\"le_s\", A, B, Bits, int) -> cmp_mask('=<', bias(A, Bits), bias(B, Bits), Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8685"}},{"Add":{"text":"binary_lane(\"ge_s\", A, B, Bits, int) -> cmp_mask('>=', bias(A, Bits), bias(B, Bits), Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8777"}},{"Add":{"text":"binary_lane(\"lt_u\", A, B, Bits, int) -> cmp_mask('<', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8844"}},{"Add":{"text":"binary_lane(\"gt_u\", A, B, Bits, int) -> cmp_mask('>', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8911"}},{"Add":{"text":"binary_lane(\"le_u\", A, B, Bits, int) -> cmp_mask('=<', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:8979"}},{"Add":{"text":"binary_lane(\"ge_u\", A, B, Bits, int) -> cmp_mask('>=', A, B, Bits);","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:9047"}}]}},{"Edit":{"inode":{"change":2,"pos":1700},"path":"src/wa_embedder_simd.erl","line":430,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":12032}],"down_context":[{"change":4,"pos":6232}],"flag":"BLOCK","start":9049,"end":9305,"inode":{"change":2,"pos":1700}}},"contents":[{"Add":{"text":"%% A comparison lane: all-ones mask (2^Bits - 1) when the test holds, else 0.","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:9126"}},{"Add":{"text":"cmp_mask(Op, A, B, Bits) ->","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:9154"}},{"Add":{"text":" {'case', ann(), af_op(Op, A, B),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:9191"}},{"Add":{"text":" [af_clause([af_atom(true)], [af_int((1 bsl Bits) - 1)]),","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:9253"}},{"Add":{"text":" af_clause([af_atom(false)], [af_int(0)])]}.","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:9303"}},{"Add":{"text":"","pos":"2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC:9304"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"a/BmiE9PkgIaw9DgDq/uvVYzLeH2EuHY1rdT5iY0K7Y=","login":null}

…

Dependencies

Change contents

Review