{"header":{"message":"simd lane","description":null,"timestamp":"2026-09-05T10:06:42.331221Z","authors":[{}]},"hash":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","simd lane"],["AA",null],["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","add wat fixtures"],["SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","use captures in imports"],["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","Basic SIMD implementation"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":6,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":889,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":1157}],"down_context":[{"change":3,"pos":2589}],"flag":"BLOCK","start":0,"end":1646,"inode":{"change":6,"pos":62}}},"contents":[{"Add":{"text":" end","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:7"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:8"}},{"Add":{"text":" test \"lane construction/access: splat, extract, replace, shuffle, swizzle\" do","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:90"}},{"Add":{"text":" assert {:module, :\"34_simd_lanes\"} = compile_wat(\"34_simd_lanes\")","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:162"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:163"}},{"Add":{"text":" a = <<10, 11, 12, 13, 20, 21, 22, 23, 30, 31, 32, 33, 40, 41, 42, 43>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:240"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:241"}},{"Add":{"text":" # splat broadcasts a scalar across all lanes (little-endian per lane)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:317"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"splat_i32\", [1]) ==","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:374"}},{"Add":{"text":" <<1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:440"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:441"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"splat_i8\", [0xAB]) == :binary.copy(<<0xAB>>, 16)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:527"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:528"}},{"Add":{"text":" # extract_lane_s sign-extends the byte (0xFE -> -2); _u zero-extends (254)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:609"}},{"Add":{"text":" v = <<0, 0, 0, 0xFE, 0::96>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:644"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"extract_i8_s3\", [v]) == -2","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:708"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"extract_i8_u3\", [v]) == 254","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:773"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:774"}},{"Add":{"text":" # i32x4 lane 1 = bytes 4..7 little-endian","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:822"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"extract_i32_1\", [a]) == 0x17161514","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:894"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:895"}},{"Add":{"text":" # replace_lane 2 overwrites bytes 8..11","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:941"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"replace_i32_2\", [a, 0x7F7F7F7F]) ==","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1014"}},{"Add":{"text":" <<10, 11, 12, 13, 20, 21, 22, 23, 127, 127, 127, 127, 40, 41, 42, 43>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1100"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1101"}},{"Add":{"text":" # shuffle: idx 0..15 select from A ++ B (0..15 = A, 16..31 = B)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1171"}},{"Add":{"text":" b = <<3, 2, 1, 0, 16, 17, 18, 19, 8, 9, 10, 11, 12, 13, 14, 15>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1242"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1243"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"shuffle_rev4\", [a, b]) ==","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1306"}},{"Add":{"text":" <<13, 12, 11, 10, 3, 2, 1, 0, 30, 31, 32, 33, 40, 41, 42, 43>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1384"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1385"}},{"Add":{"text":" # swizzle: index A by B's bytes; out-of-range (>= 16) yields 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1454"}},{"Add":{"text":" idx = <<0, 1, 2, 3, 15, 16, 17, 255, 0::64>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1505"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1506"}},{"Add":{"text":" assert call(:\"34_simd_lanes\", \"swizzle\", [a, idx]) ==","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1566"}},{"Add":{"text":" <<10, 11, 12, 13, 43, 0, 0, 0, 10, 10, 10, 10, 10, 10, 10, 10>>","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1645"}}]}},{"FileAdd":{"meta":{"basename":"34_simd_lanes.wat","metadata":0},"context":[{"change":2,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1697"}},{"Add":{"text":" ;; Lane construction / access: splat, extract_lane (signed/unsigned),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1769"}},{"Add":{"text":" ;; replace_lane, shuffle, swizzle. Each exported func returns a v128 or a","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1845"}},{"Add":{"text":" ;; scalar so the test can assert exact little-endian bytes / lane values.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1921"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1922"}},{"Add":{"text":" ;; i32x4.splat: replicate a scalar i32 across all 4 lanes.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:1983"}},{"Add":{"text":" (func (export \"splat_i32\") (param i32) (result v128)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2038"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2054"}},{"Add":{"text":" i32x4.splat)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2071"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2072"}},{"Add":{"text":" ;; i8x16.splat: replicate a byte across all 16 lanes.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2128"}},{"Add":{"text":" (func (export \"splat_i8\") (param i32) (result v128)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2182"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2198"}},{"Add":{"text":" i8x16.splat)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2215"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2216"}},{"Add":{"text":" ;; i8x16.extract_lane_s: signed extract of lane 3 (sign-extends the byte).","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2293"}},{"Add":{"text":" (func (export \"extract_i8_s3\") (param v128) (result i32)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2352"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2368"}},{"Add":{"text":" i8x16.extract_lane_s 3)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2396"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2397"}},{"Add":{"text":" ;; i8x16.extract_lane_u: unsigned extract of lane 3.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2452"}},{"Add":{"text":" (func (export \"extract_i8_u3\") (param v128) (result i32)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2511"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2527"}},{"Add":{"text":" i8x16.extract_lane_u 3)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2555"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2556"}},{"Add":{"text":" ;; i32x4.extract_lane: plain extract of lane 1.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2606"}},{"Add":{"text":" (func (export \"extract_i32_1\") (param v128) (result i32)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2665"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2681"}},{"Add":{"text":" i32x4.extract_lane 1)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2707"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2708"}},{"Add":{"text":" ;; i32x4.replace_lane: set lane 2 to the given scalar.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2765"}},{"Add":{"text":" (func (export \"replace_i32_2\") (param v128) (param i32) (result v128)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2837"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2853"}},{"Add":{"text":" local.get 1","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2869"}},{"Add":{"text":" i32x4.replace_lane 2)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2895"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2896"}},{"Add":{"text":" ;; i8x16.shuffle: pick bytes; here reverse the first 4 bytes of A, then take","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:2975"}},{"Add":{"text":" ;; 4 bytes from B, then zeros-selection is not possible (all indices valid).","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3054"}},{"Add":{"text":" (func (export \"shuffle_rev4\") (param v128 v128) (result v128)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3118"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3134"}},{"Add":{"text":" local.get 1","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3150"}},{"Add":{"text":" i8x16.shuffle 3 2 1 0 16 17 18 19 8 9 10 11 12 13 14 15)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3211"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3212"}},{"Add":{"text":" ;; i8x16.swizzle: index A by the byte lanes of B; out-of-range (>=16) -> 0.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3290"}},{"Add":{"text":" (func (export \"swizzle\") (param v128 v128) (result v128)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3349"}},{"Add":{"text":" local.get 0","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3365"}},{"Add":{"text":" local.get 1","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3381"}},{"Add":{"text":" i8x16.swizzle)","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3400"}},{"Add":{"text":")","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3402"}}]}},{"Replacement":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":20,"ins":{"up_context":[{"change":4,"pos":2602}],"down_context":[{"change":4,"pos":2689}],"flag":"BLOCK","start":3404,"end":3517,"inode":{"change":4,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2602},"to":{"change":4,"start":2602,"end":2689},"introduced_by":4}],"inode":{"change":4,"pos":1700}},"ins_contents":[{"Add":{"text":" af_match/2, af_clause/2, af_op/2, af_op/3, af_list/1,","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3461"}},{"Add":{"text":" af_bin/1, af_bin_elem/3, erl_call/2, remote_call/3","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3516"}}],"del_contents":[{"Del":{"text":" af_match/2, af_clause/2, af_op/2, af_op/3,","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:2648"}},{"Del":{"text":" af_bin/1, af_bin_elem/3, erl_call/2","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:2688"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":29,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":2895}],"down_context":[{"change":4,"pos":2895}],"flag":"BLOCK","start":3518,"end":3812,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":"%% An op name is `.' with exactly one dot (the shape separator);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3597"}},{"Add":{"text":"%% the suffix itself may contain underscores (extract_lane_s, min_s, ...). We","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3675"}},{"Add":{"text":"%% encode ONLY that dot as `_' so the round-trip is unambiguous: the FIRST `_'","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3754"}},{"Add":{"text":"%% after the `__v_' prefix is the shape/suffix boundary.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3811"}}]}},{"Replacement":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":34,"ins":{"up_context":[{"change":4,"pos":2921}],"down_context":[{"change":4,"pos":3002}],"flag":"BLOCK","start":3813,"end":3889,"inode":{"change":4,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2921},"to":{"change":4,"start":2921,"end":3002},"introduced_by":4}],"inode":{"change":4,"pos":1700}},"ins_contents":[{"Add":{"text":" Replaced = lists:flatten(string:replace(atom_to_list(Name), \".\", \"_\")),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3888"}}],"del_contents":[{"Del":{"text":" Replaced = lists:flatten(string:replace(atom_to_list(Name), \".\", \"_\", all)),","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:3001"}}]}},{"Replacement":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":37,"ins":{"up_context":[{"change":4,"pos":3041}],"down_context":[{"change":4,"pos":3075}],"flag":"BLOCK","start":3890,"end":4025,"inode":{"change":4,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3041},"to":{"change":4,"start":3041,"end":3075},"introduced_by":4}],"inode":{"change":4,"pos":1700}},"ins_contents":[{"Add":{"text":"%% '__v_i32x4_extract_lane_s' -> 'i32x4.extract_lane_s' (restore only the","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:3963"}},{"Add":{"text":"%% shape/suffix boundary — the first `_' — back to `.').","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4024"}}],"del_contents":[{"Del":{"text":"%% '__v_i32x4_add' -> 'i32x4.add'","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:3074"}}]}},{"Replacement":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":42,"ins":{"up_context":[{"change":4,"pos":3158}],"down_context":[{"change":4,"pos":3236}],"flag":"BLOCK","start":4026,"end":4160,"inode":{"change":4,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3158},"to":{"change":4,"start":3158,"end":3236},"introduced_by":4}],"inode":{"change":4,"pos":1700}},"ins_contents":[{"Add":{"text":" {Shape, [$_ | Suffix]} = lists:splitwith(fun(C) -> C =/= $_ end, Rest),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4109"}},{"Add":{"text":" list_to_atom(Shape ++ \".\" ++ Suffix);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4159"}}],"del_contents":[{"Del":{"text":" list_to_atom(lists:flatten(string:replace(Rest, \"_\", \".\", all)));","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:3235"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":163,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":7811}],"down_context":[{"change":4,"pos":7811}],"flag":"BLOCK","start":4161,"end":4304,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":" Shape when Suffix =:= \"splat\" ->","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4201"}},{"Add":{"text":" %% splat: single scalar operand A broadcast to every lane.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4272"}},{"Add":{"text":" body_splat(Shape);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4303"}}]}},{"Replacement":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":194,"ins":{"up_context":[{"change":4,"pos":9061}],"down_context":[{"change":4,"pos":9107}],"flag":"BLOCK","start":4305,"end":4559,"inode":{"change":4,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":9061},"to":{"change":4,"start":9061,"end":9107},"introduced_by":4}],"inode":{"change":4,"pos":1700}},"ins_contents":[{"Add":{"text":" \"extract_lane\" -> body_extract_lane(Shape, plain);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4371"}},{"Add":{"text":" \"extract_lane_s\" -> body_extract_lane(Shape, signed);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4441"}},{"Add":{"text":" \"extract_lane_u\" -> body_extract_lane(Shape, unsigned);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4513"}},{"Add":{"text":" \"swizzle\" -> body_swizzle();","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4558"}}],"del_contents":[{"Del":{"text":" \"splat\" -> body_splat(Shape);","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:9106"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":201,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":9185}],"down_context":[{"change":4,"pos":9185}],"flag":"BLOCK","start":4560,"end":5299,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4560"}},{"Add":{"text":"%% extract_lane[_s/_u]: params (A, LaneIdx). Unpack A's lanes into a list and","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4638"}},{"Add":{"text":"%% select lane `LaneIdx' at runtime (the immediate is passed as an argument so","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4717"}},{"Add":{"text":"%% one helper serves every lane index of a given op name). Signedness:","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4788"}},{"Add":{"text":"%% _s -> sign-extend the lane (i8/i16 -> i32); _u / plain -> raw unsigned;","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4865"}},{"Add":{"text":"%% float -> raw lane value.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4895"}},{"Add":{"text":"body_extract_lane(Shape, Signedness) ->","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4935"}},{"Add":{"text":" {_Count, Bits, Kind} = shape(Shape),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:4976"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Shape),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5024"}},{"Add":{"text":" Lane = remote_call(lists, nth, [af_op('+', av('B'), af_int(1)), af_list(As)]),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5107"}},{"Add":{"text":" Result =","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5120"}},{"Add":{"text":" case {Kind, Signedness} of","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5155"}},{"Add":{"text":" {float, _} -> Lane;","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5187"}},{"Add":{"text":" {int, signed} -> bias(Lane, Bits);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5234"}},{"Add":{"text":" {int, _} -> Lane","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5263"}},{"Add":{"text":" end,","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5276"}},{"Add":{"text":" [MatchA, Result].","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5298"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":219,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":9186}],"down_context":[{"change":4,"pos":9186}],"flag":"BLOCK","start":5300,"end":6101,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":"%% swizzle: params (A, B). Result byte i = A[B[i]] if B[i] < 16 else 0.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5371"}},{"Add":{"text":"%% Both operands are i8x16 (16 raw bytes). Built as a list comprehension over","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5449"}},{"Add":{"text":"%% B's bytes indexing into A's byte list.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5491"}},{"Add":{"text":"body_swizzle() ->","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5509"}},{"Add":{"text":" %% As = binary_to_list(A); then for each index Ix in binary_to_list(B):","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5585"}},{"Add":{"text":" %% if Ix < 16 -> lists:nth(Ix+1, As) else 0.","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5636"}},{"Add":{"text":" Sel =","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5646"}},{"Add":{"text":" {'case', ann(), af_op('<', af_var('Ix'), af_int(16)),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5708"}},{"Add":{"text":" [af_clause([af_atom(true)],","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5745"}},{"Add":{"text":" [remote_call(lists, nth, [af_op('+', af_var('Ix'), af_int(1)), av('As')])]),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5842"}},{"Add":{"text":" af_clause([af_atom(false)], [af_int(0)])]},","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5896"}},{"Add":{"text":" Comp = {lc, ann(), Sel, [{generate, ann(), af_var('Ix'), erl_call(binary_to_list, [av('B')])}]},","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:5997"}},{"Add":{"text":" [af_match(av('As'), erl_call(binary_to_list, [av('A')])),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6059"}},{"Add":{"text":" erl_call(list_to_binary, [Comp])].","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6099"}},{"Add":{"text":"","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6100"}}]}},{"Edit":{"inode":{"change":4,"pos":1700},"path":"src/wa_embedder_simd.erl","line":305,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":12743}],"down_context":[{"change":4,"pos":12743}],"flag":"BLOCK","start":6102,"end":7147,"inode":{"change":4,"pos":1700}}},"contents":[{"Add":{"text":"%% replace_lane: params (A, Val, LaneIdx). Rebuild the lane list, substituting","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6180"}},{"Add":{"text":"%% `Val' (wrapped for int lanes) at position `LaneIdx' (runtime immediate).","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6256"}},{"Add":{"text":"body3(Op) when Op =:= 'i8x16.replace_lane';","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6300"}},{"Add":{"text":" Op =:= 'i16x8.replace_lane';","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6344"}},{"Add":{"text":" Op =:= 'i32x4.replace_lane';","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6388"}},{"Add":{"text":" Op =:= 'i64x2.replace_lane';","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6432"}},{"Add":{"text":" Op =:= 'f32x4.replace_lane';","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6476"}},{"Add":{"text":" Op =:= 'f64x2.replace_lane' ->","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6522"}},{"Add":{"text":" Shape = op_shape(Op),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6548"}},{"Add":{"text":" {Count, Bits, Kind} = shape(Shape),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6588"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Shape),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6636"}},{"Add":{"text":" NewVal =","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6649"}},{"Add":{"text":" case Kind of","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6670"}},{"Add":{"text":" int -> wrap(av('B'), Bits);","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6710"}},{"Add":{"text":" float -> av('B')","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6739"}},{"Add":{"text":" end,","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6752"}},{"Add":{"text":" %% For each lane I (0..Count-1): I =:= C -> NewVal ; else As[I].","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6821"}},{"Add":{"text":" Lanes =","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6833"}},{"Add":{"text":" [begin","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6848"}},{"Add":{"text":" Old = lists:nth(I + 1, As),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6889"}},{"Add":{"text":" {'case', ann(), af_op('==', av('C'), af_int(I)),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:6951"}},{"Add":{"text":" [af_clause([af_atom(true)], [NewVal]),","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:7004"}},{"Add":{"text":" af_clause([af_atom(false)], [Old])]}","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:7056"}},{"Add":{"text":" end","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:7069"}},{"Add":{"text":" || I <- lists:seq(0, Count - 1)],","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:7112"}},{"Add":{"text":" [MatchA, pack(Lanes, Shape)];","pos":"A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC:7146"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"A1iBIVAT5R2pm5hdJXSFAdgQGnzqtkPKbL/QVVS3ajc=","login":null}

…

Dependencies

Change contents

Review