{"header":{"message":"integer lane ALU","description":null,"timestamp":"2026-09-05T10:39:53.064381Z","authors":[{}]},"hash":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","integer lane ALU"],["AA",null],["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","add wat fixtures"],["A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","imports"],["SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","use captures in imports"],["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","Basic SIMD implementation"],["A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","simd lane"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":8,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":926,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":2597}],"down_context":[{"change":3,"pos":2180}],"flag":"BLOCK","start":0,"end":2256,"inode":{"change":8,"pos":62}}},"contents":[{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:0"}},{"Add":{"text":" test \"integer lane ALU: add/sub/mul, neg/abs, min/max, saturation, avgr, shifts\" do","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:88"}},{"Add":{"text":" assert {:module, :\"35_simd_int_alu\"} = compile_wat(\"35_simd_int_alu\")","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:164"}},{"Add":{"text":" m = :\"35_simd_int_alu\"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:193"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:194"}},{"Add":{"text":" # add/sub wrap per 8-bit lane","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:230"}},{"Add":{"text":" a = <<200, 100, 5, 250, 0::96>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:268"}},{"Add":{"text":" b = <<100, 100, 250, 10, 0::96>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:307"}},{"Add":{"text":" assert call(m, \"add_i8\", [a, b]) == <<44, 200, 255, 4, 0::96>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:376"}},{"Add":{"text":" assert call(m, \"sub_i8\", [a, b]) == <<100, 0, 11, 240, 0::96>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:445"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:446"}},{"Add":{"text":" # neg / abs (signed lanes; abs(-128) wraps to -128 -> 128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:511"}},{"Add":{"text":" assert call(m, \"neg_i8\", [<<1, 255, 0, 128, 0::96>>]) == <<255, 1, 0, 128, 0::96>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:600"}},{"Add":{"text":" assert call(m, \"abs_i8\", [<<1, 255, 128, 127, 0::96>>]) == <<1, 1, 128, 127, 0::96>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:691"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:692"}},{"Add":{"text":" # signed vs unsigned min/max on lanes {255=-1, 5} and {1, 10}","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:760"}},{"Add":{"text":" x = <<255, 5, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:789"}},{"Add":{"text":" y = <<1, 10, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:817"}},{"Add":{"text":" assert call(m, \"min_s_i8\", [x, y]) == <<255, 5, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:880"}},{"Add":{"text":" assert call(m, \"max_s_i8\", [x, y]) == <<1, 10, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:942"}},{"Add":{"text":" assert call(m, \"min_u_i8\", [x, y]) == <<1, 5, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1003"}},{"Add":{"text":" assert call(m, \"max_u_i8\", [x, y]) == <<255, 10, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1067"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1068"}},{"Add":{"text":" # saturation boundaries (signed clamp to [-128,127], unsigned to [0,255])","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1148"}},{"Add":{"text":" assert call(m, \"add_sat_s_i8\", [<<100, 156, 0::112>>, <<100, 156, 0::112>>]) ==","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1234"}},{"Add":{"text":" <<127, 128, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1270"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1271"}},{"Add":{"text":" assert call(m, \"add_sat_u_i8\", [<<200, 0::120>>, <<100, 0::120>>]) == <<255, 0::120>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1363"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1364"}},{"Add":{"text":" assert call(m, \"sub_sat_s_i8\", [<<156, 100, 0::112>>, <<100, 156, 0::112>>]) ==","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1450"}},{"Add":{"text":" <<128, 127, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1486"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1487"}},{"Add":{"text":" assert call(m, \"sub_sat_u_i8\", [<<10, 0::120>>, <<50, 0::120>>]) == <<0, 0::120>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1575"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1576"}},{"Add":{"text":" # avgr_u: (a + b + 1) div 2 per unsigned lane","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1628"}},{"Add":{"text":" assert call(m, \"avgr_u_i8\", [<<10, 3, 0::112>>, <<20, 4, 0::112>>]) == <<15, 4, 0::112>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1723"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1724"}},{"Add":{"text":" # shifts: v128 + i32 count. Lanes {0x0100, 0xFFFF, 0x8000}, count masked to 16.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1810"}},{"Add":{"text":" h = <<0, 1, 255, 255, 0, 128, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1877"}},{"Add":{"text":" assert call(m, \"shl_i16\", [h, 1]) == <<0, 2, 254, 255, 0, 0, 0::80>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:1952"}},{"Add":{"text":" assert call(m, \"shr_u_i16\", [h, 1]) == <<128, 0, 255, 127, 0, 64, 0::80>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2032"}},{"Add":{"text":" assert call(m, \"shr_s_i16\", [h, 1]) == <<128, 0, 255, 255, 0, 192, 0::80>>","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2113"}},{"Add":{"text":" # shift count is taken modulo lane width: 17 mod 16 == 1","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2176"}},{"Add":{"text":" assert call(m, \"shl_i16\", [h, 17]) == call(m, \"shl_i16\", [h, 1])","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2247"}},{"Add":{"text":" end","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2255"}}]}},{"FileAdd":{"meta":{"basename":"35_simd_int_alu.wat","metadata":0},"context":[{"change":2,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2309"}},{"Add":{"text":" ;; Integer lane ALU. Each func takes two v128 params (or one v128 + reuses a","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2388"}},{"Add":{"text":" ;; const) and returns a v128, so the test asserts exact little-endian bytes.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2467"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2468"}},{"Add":{"text":" ;; i8x16.add: per-lane wraparound at 8 bits.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2515"}},{"Add":{"text":" (func (export \"add_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2573"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.add)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2612"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2613"}},{"Add":{"text":" ;; i8x16.sub: per-lane wraparound.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2650"}},{"Add":{"text":" (func (export \"sub_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2708"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.sub)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2747"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2748"}},{"Add":{"text":" ;; i32x4.mul: per-lane wraparound at 32 bits.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2796"}},{"Add":{"text":" (func (export \"mul_i32\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2855"}},{"Add":{"text":" local.get 0 local.get 1 i32x4.mul)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2894"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2895"}},{"Add":{"text":" ;; i8x16.neg: two's complement negate per lane.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2945"}},{"Add":{"text":" (func (export \"neg_i8\") (param v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:2998"}},{"Add":{"text":" local.get 0 i8x16.neg)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3025"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3026"}},{"Add":{"text":" ;; i8x16.abs: absolute value of signed lanes.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3074"}},{"Add":{"text":" (func (export \"abs_i8\") (param v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3127"}},{"Add":{"text":" local.get 0 i8x16.abs)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3154"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3155"}},{"Add":{"text":" ;; signed / unsigned min & max on i8 lanes.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3201"}},{"Add":{"text":" (func (export \"min_s_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3261"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.min_s)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3302"}},{"Add":{"text":" (func (export \"min_u_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3362"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.min_u)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3403"}},{"Add":{"text":" (func (export \"max_s_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3463"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.max_s)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3504"}},{"Add":{"text":" (func (export \"max_u_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3564"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.max_u)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3605"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3606"}},{"Add":{"text":" ;; saturating add/sub on i8 lanes (signed + unsigned).","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3663"}},{"Add":{"text":" (func (export \"add_sat_s_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3727"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.add_sat_s)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3772"}},{"Add":{"text":" (func (export \"add_sat_u_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3836"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.add_sat_u)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3881"}},{"Add":{"text":" (func (export \"sub_sat_s_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3945"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.sub_sat_s)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:3990"}},{"Add":{"text":" (func (export \"sub_sat_u_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4054"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.sub_sat_u)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4099"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4100"}},{"Add":{"text":" ;; avgr_u: unsigned rounding average per i8 lane.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4152"}},{"Add":{"text":" (func (export \"avgr_u_i8\") (param v128 v128) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4213"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.avgr_u)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4255"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4256"}},{"Add":{"text":" ;; shifts: v128 + i32 scalar count. i16x8 chosen to show masking to width.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4333"}},{"Add":{"text":" (func (export \"shl_i16\") (param v128 i32) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4391"}},{"Add":{"text":" local.get 0 local.get 1 i16x8.shl)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4430"}},{"Add":{"text":" (func (export \"shr_s_i16\") (param v128 i32) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4490"}},{"Add":{"text":" local.get 0 local.get 1 i16x8.shr_s)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4531"}},{"Add":{"text":" (func (export \"shr_u_i16\") (param v128 i32) (result v128)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4591"}},{"Add":{"text":" local.get 0 local.get 1 i16x8.shr_u)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4632"}},{"Add":{"text":")","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4634"}}]}},{"Edit":{"inode":{"change":5,"pos":1700},"path":"src/wa_embedder_simd.erl","line":198,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":4559}],"down_context":[{"change":5,"pos":9107}],"flag":"BLOCK","start":4636,"end":4791,"inode":{"change":5,"pos":1700}}},"contents":[{"Add":{"text":" \"shl\" -> body_shift(Shape, shl);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4684"}},{"Add":{"text":" \"shr_s\" -> body_shift(Shape, shr_s);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4737"}},{"Add":{"text":" \"shr_u\" -> body_shift(Shape, shr_u);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4790"}}]}},{"Edit":{"inode":{"change":5,"pos":1700},"path":"src/wa_embedder_simd.erl","line":277,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":10821}],"down_context":[{"change":5,"pos":10821}],"flag":"BLOCK","start":4792,"end":5634,"inode":{"change":5,"pos":1700}}},"contents":[{"Add":{"text":"%% Vector shift: A is a v128, B is a scalar i32 shift count. The effective","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4866"}},{"Add":{"text":"%% count is `B rem Bits' (WASM masks the shift amount to the lane width). Each","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4945"}},{"Add":{"text":"%% lane shifts by the same S.","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:4975"}},{"Add":{"text":"%% shl : (lane bsl S) wrapped to Bits","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5017"}},{"Add":{"text":"%% shr_u : lane bsr S (lane is already unsigned)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5070"}},{"Add":{"text":"%% shr_s : arithmetic — sign-extend, bsr, wrap back to unsigned lane bits","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5148"}},{"Add":{"text":"body_shift(Shape, Kind) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5175"}},{"Add":{"text":" {_Count, Bits, int} = shape(Shape),","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5215"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Shape),","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5263"}},{"Add":{"text":" MatchS = af_match(av('S'), af_op('rem', av('B'), af_int(Bits))),","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5332"}},{"Add":{"text":" Lanes =","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5344"}},{"Add":{"text":" [case Kind of","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5366"}},{"Add":{"text":" shl -> wrap(af_op('bsl', Lane, av('S')), Bits);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5427"}},{"Add":{"text":" shr_u -> af_op('bsr', Lane, av('S'));","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5478"}},{"Add":{"text":" shr_s -> wrap(af_op('bsr', bias(Lane, Bits), av('S')), Bits)","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5552"}},{"Add":{"text":" end","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5565"}},{"Add":{"text":" || Lane <- As],","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5590"}},{"Add":{"text":" [MatchA, MatchS, pack(Lanes, Shape)].","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5632"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5633"}}]}},{"Edit":{"inode":{"change":5,"pos":1700},"path":"src/wa_embedder_simd.erl","line":313,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":11939}],"down_context":[{"change":5,"pos":11939}],"flag":"BLOCK","start":5635,"end":6231,"inode":{"change":5,"pos":1700}}},"contents":[{"Add":{"text":"%% Saturating add/sub. Signed: compute on the biased (signed) values, clamp to","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5713"}},{"Add":{"text":"%% the signed range, wrap back to unsigned lane bits. Unsigned: clamp to","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5786"}},{"Add":{"text":"%% [0, 2^bits - 1].","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5806"}},{"Add":{"text":"binary_lane(\"add_sat_s\", A, B, Bits, int) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5851"}},{"Add":{"text":" wrap(clamp_signed(af_op('+', bias(A, Bits), bias(B, Bits)), Bits), Bits);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5929"}},{"Add":{"text":"binary_lane(\"sub_sat_s\", A, B, Bits, int) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:5974"}},{"Add":{"text":" wrap(clamp_signed(af_op('-', bias(A, Bits), bias(B, Bits)), Bits), Bits);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6052"}},{"Add":{"text":"binary_lane(\"add_sat_u\", A, B, Bits, int) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6097"}},{"Add":{"text":" clamp_unsigned(af_op('+', A, B), Bits);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6141"}},{"Add":{"text":"binary_lane(\"sub_sat_u\", A, B, Bits, int) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6186"}},{"Add":{"text":" clamp_unsigned(af_op('-', A, B), Bits);","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6230"}}]}},{"Edit":{"inode":{"change":5,"pos":1700},"path":"src/wa_embedder_simd.erl","line":326,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":12032}],"down_context":[{"change":5,"pos":12032}],"flag":"BLOCK","start":6232,"end":6668,"inode":{"change":5,"pos":1700}}},"contents":[{"Add":{"text":"%% clamp(X, Lo, Hi) = min(max(X, Lo), Hi).","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6274"}},{"Add":{"text":"clamp(Expr, Lo, Hi) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6297"}},{"Add":{"text":" erl_call(min, [erl_call(max, [Expr, af_int(Lo)]), af_int(Hi)]).","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6365"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6366"}},{"Add":{"text":"%% Clamp to the signed range of `Bits' bits: [-2^(bits-1), 2^(bits-1) - 1].","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6442"}},{"Add":{"text":"clamp_signed(Expr, Bits) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6470"}},{"Add":{"text":" Half = 1 bsl (Bits - 1),","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6499"}},{"Add":{"text":" clamp(Expr, -Half, Half - 1).","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6533"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6534"}},{"Add":{"text":"%% Clamp to the unsigned range of `Bits' bits: [0, 2^bits - 1].","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6598"}},{"Add":{"text":"clamp_unsigned(Expr, Bits) ->","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6628"}},{"Add":{"text":" clamp(Expr, 0, (1 bsl Bits) - 1).","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6666"}},{"Add":{"text":"","pos":"3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC:6667"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"OWa9BbHAcTr6v1Zgzpm3hTB4U3oXtxJLwDUmPqhi4oQ=","login":null}

…

Dependencies

Change contents

Review