{"header":{"message":"conversions","description":null,"timestamp":"2026-09-05T11:36:57.93427Z","authors":[{}]},"hash":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC","conversions"],["AA",null],["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","add wat fixtures"],["HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","Basic SIMD implementation"],["A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","simd lane"],["3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","integer lane ALU"],["O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC","simd float lane"],["2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC","bitwise and comparison"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC","A25SZVDMV3LOFPC7H5NFIQI5U22TOFC3E5R6HZ56M347DDMQW34AC","3J3ZBY4EBLZVVLN3ZLGNPLKIUII2ZGKGECI5VI4JHUCHTLXGOKXAC","O7WSK4GVPIAW75FAPHZDKSAQIVNAQCKQI6G53TENEWLS5H4OI5PAC","2ERHGVDXNFGG3GPTZ2DEK5IE6F7Q37V4FZ2K2234VXGKSEOJGUXAC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":9,"pos":62},"path":"wa_embedder_ex/test/wa_embedder_test.exs","line":1046,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":2153}],"down_context":[{"change":6,"pos":2153}],"flag":"BLOCK","start":0,"end":4223,"inode":{"change":9,"pos":62}}},"contents":[{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8"}},{"Add":{"text":" test \"conversions: widen/narrow, extmul/extadd, popcnt, q15mulr, dot, float<->int\" do","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:98"}},{"Add":{"text":" assert {:module, :\"38_simd_convert\"} = compile_wat(\"38_simd_convert\")","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:174"}},{"Add":{"text":" m = :\"38_simd_convert\"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:203"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:204"}},{"Add":{"text":" i16 = fn b -> for <>, do: w end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:269"}},{"Add":{"text":" i32 = fn b -> for <>, do: w end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:334"}},{"Add":{"text":" pack16 = fn xs -> for v <- xs, into: <<>>, do: <> end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:416"}},{"Add":{"text":" pack32 = fn xs -> for v <- xs, into: <<>>, do: <> end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:498"}},{"Add":{"text":" f32 = fn xs -> for v <- xs, into: <<>>, do: <> end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:575"}},{"Add":{"text":" f64 = fn xs -> for v <- xs, into: <<>>, do: <> end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:652"}},{"Add":{"text":" uf32 = fn b -> for <>, do: v end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:716"}},{"Add":{"text":" uf64 = fn b -> for <>, do: v end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:780"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:781"}},{"Add":{"text":" # extend: source i8 lanes; high 8 bytes are negative when signed","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:852"}},{"Add":{"text":" src = <<1, 2, 3, 4, 5, 6, 7, 8, 250, 251, 252, 253, 254, 255, 100, 200>>","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:931"}},{"Add":{"text":" assert i16.(call(m, \"extend_low_s\", [src])) == [1, 2, 3, 4, 5, 6, 7, 8]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1009"}},{"Add":{"text":" # -6,-5,-4,-3,-2,-1,100,-56 wrapped to unsigned i16","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1067"}},{"Add":{"text":" assert i16.(call(m, \"extend_high_s\", [src])) ==","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1121"}},{"Add":{"text":" [65530, 65531, 65532, 65533, 65534, 65535, 100, 65480]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1191"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1192"}},{"Add":{"text":" assert i16.(call(m, \"extend_low_u\", [src])) == [1, 2, 3, 4, 5, 6, 7, 8]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1270"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1271"}},{"Add":{"text":" # pairwise widening add (signed vs unsigned on the negative high half)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1348"}},{"Add":{"text":" assert i16.(call(m, \"extadd_s\", [src])) == [3, 7, 11, 15, 65525, 65529, 65533, 44]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1437"}},{"Add":{"text":" assert i16.(call(m, \"extadd_u\", [src])) == [3, 7, 11, 15, 501, 505, 509, 300]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1521"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1522"}},{"Add":{"text":" # popcnt per byte","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1546"}},{"Add":{"text":" assert :binary.bin_to_list(call(m, \"popcnt\", [<<0, 1, 3, 7, 15, 255, 128, 170, 0::64>>]))","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1642"}},{"Add":{"text":" |> Enum.take(8) == [0, 1, 2, 3, 4, 8, 1, 4]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1699"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1700"}},{"Add":{"text":" # narrow (saturating): A lanes {100,200,-100,5}, then B","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1762"}},{"Add":{"text":" na = pack16.([100, 200, -100, 5, 0, 0, 0, 0])","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1814"}},{"Add":{"text":" nb = pack16.([300, -300, 127, 128, 0, 0, 0, 0])","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1868"}},{"Add":{"text":" # signed clamp to [-128,127]: 200->127, -100->156 (unsigned)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:1935"}},{"Add":{"text":" assert :binary.bin_to_list(call(m, \"narrow_s\", [na, nb])) |> Enum.take(4) == [","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2020"}},{"Add":{"text":" 100,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2040"}},{"Add":{"text":" 127,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2060"}},{"Add":{"text":" 156,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2080"}},{"Add":{"text":" 5","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2097"}},{"Add":{"text":" ]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2112"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2113"}},{"Add":{"text":" # unsigned clamp to [0,255]: -100 -> 0","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2158"}},{"Add":{"text":" assert :binary.bin_to_list(call(m, \"narrow_u\", [na, nb])) |> Enum.take(4) == [","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2243"}},{"Add":{"text":" 100,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2263"}},{"Add":{"text":" 200,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2283"}},{"Add":{"text":" 0,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2301"}},{"Add":{"text":" 5","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2318"}},{"Add":{"text":" ]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2333"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2334"}},{"Add":{"text":" # extmul low half (signed), i8 {2..9} * {10..}","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2387"}},{"Add":{"text":" ea = <<2, 3, 4, 5, 6, 7, 8, 9, 0::64>>","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2432"}},{"Add":{"text":" eb = <<10, 10, 10, 10, 10, 10, 10, 10, 0::64>>","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2485"}},{"Add":{"text":" assert i16.(call(m, \"extmul_low_s\", [ea, eb])) == [20, 30, 40, 50, 60, 70, 80, 90]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2574"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2575"}},{"Add":{"text":" # q15mulr_sat_s: (a*b + 0x4000) >> 15","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2619"}},{"Add":{"text":" qa = pack16.([16384, -16384, 32767, 0, 0, 0, 0, 0])","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2677"}},{"Add":{"text":" qb = pack16.([16384, 16384, 32767, 0, 0, 0, 0, 0])","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2734"}},{"Add":{"text":" # 8192, -8192 (=57344 unsigned), 32766","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2779"}},{"Add":{"text":" assert i16.(call(m, \"q15mulr\", [qa, qb])) == [8192, 57344, 32766, 0, 0, 0, 0, 0]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2866"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2867"}},{"Add":{"text":" # dot: lane_i = a[2i]*b[2i] + a[2i+1]*b[2i+1]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2919"}},{"Add":{"text":" da = pack16.([1, 2, 3, 4, 5, 6, 7, 8])","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:2964"}},{"Add":{"text":" db = pack16.([5, 6, 7, 8, 1, 2, 3, 4])","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3009"}},{"Add":{"text":" assert i32.(call(m, \"dot\", [da, db])) == [17, 53, 17, 53]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3073"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3074"}},{"Add":{"text":" # trunc_sat (float -> int, truncate then saturate)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3131"}},{"Add":{"text":" # 1.7->1, -2.9->-2, 1e10->INT32_MAX, -5.5->-5","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3183"}},{"Add":{"text":" assert i32.(call(m, \"trunc_sat_s\", [f32.([1.7, -2.9, 1.0e10, -5.5])])) ==","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3263"}},{"Add":{"text":" [1, 4_294_967_294, 2_147_483_647, 4_294_967_291]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3327"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3328"}},{"Add":{"text":" # unsigned: -2.9 clamps to 0, 1e10 -> UINT32_MAX","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3383"}},{"Add":{"text":" assert i32.(call(m, \"trunc_sat_u\", [f32.([1.7, -2.9, 1.0e10, 5.5])])) ==","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3462"}},{"Add":{"text":" [1, 0, 4_294_967_295, 5]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3502"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3503"}},{"Add":{"text":" # f64x2 -> i32x4 with high lanes zeroed","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3549"}},{"Add":{"text":" assert i32.(call(m, \"trunc_sat_f64_zero\", [f64.([3.9, -2.1])])) ==","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3622"}},{"Add":{"text":" [3, 4_294_967_294, 0, 0]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3662"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3663"}},{"Add":{"text":" # int -> float","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3684"}},{"Add":{"text":" assert uf32.(call(m, \"convert_s\", [pack32.([1, -2, 3, -4])])) == [1.0, -2.0, 3.0, -4.0]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3778"}},{"Add":{"text":" # unsigned 0xFFFFFFFF -> ~4.29e9 (rounds to f32)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3833"}},{"Add":{"text":" assert uf32.(call(m, \"convert_u\", [pack32.([1, 0xFFFFFFFF, 3, 4])])) ==","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3911"}},{"Add":{"text":" [1.0, 4_294_967_296.0, 3.0, 4.0]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3959"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:3960"}},{"Add":{"text":" # demote f64x2 -> f32x4 (low 2 lanes, high 2 = 0.0)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4018"}},{"Add":{"text":" assert uf32.(call(m, \"demote\", [f64.([1.5, 2.25])])) == [1.5, 2.25, 0.0, 0.0]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4102"}},{"Add":{"text":" # promote low 2 f32 -> f64x2","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4137"}},{"Add":{"text":" assert uf64.(call(m, \"promote\", [f32.([1.5, 2.25, 9.0, 9.0])])) == [1.5, 2.25]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4222"}}]}},{"FileAdd":{"meta":{"basename":"38_simd_convert.wat","metadata":0},"context":[{"change":2,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4276"}},{"Add":{"text":" ;; Conversions, widen/narrow, and specialized integer ops (task 6).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4346"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4347"}},{"Add":{"text":" ;; --- integer widen (extend one half) ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4392"}},{"Add":{"text":" (func (export \"extend_low_s\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4451"}},{"Add":{"text":" local.get 0 i16x8.extend_low_i8x16_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4493"}},{"Add":{"text":" (func (export \"extend_high_s\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4553"}},{"Add":{"text":" local.get 0 i16x8.extend_high_i8x16_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4596"}},{"Add":{"text":" (func (export \"extend_low_u\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4655"}},{"Add":{"text":" local.get 0 i16x8.extend_low_i8x16_u)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4697"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4698"}},{"Add":{"text":" ;; --- pairwise widening add ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4733"}},{"Add":{"text":" (func (export \"extadd_s\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4788"}},{"Add":{"text":" local.get 0 i16x8.extadd_pairwise_i8x16_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4835"}},{"Add":{"text":" (func (export \"extadd_u\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4890"}},{"Add":{"text":" local.get 0 i16x8.extadd_pairwise_i8x16_u)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4937"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4938"}},{"Add":{"text":" ;; --- popcnt ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:4958"}},{"Add":{"text":" (func (export \"popcnt\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5011"}},{"Add":{"text":" local.get 0 i8x16.popcnt)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5041"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5042"}},{"Add":{"text":" ;; --- narrow (saturating) ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5075"}},{"Add":{"text":" (func (export \"narrow_s\") (param v128 v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5135"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.narrow_i16x8_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5185"}},{"Add":{"text":" (func (export \"narrow_u\") (param v128 v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5245"}},{"Add":{"text":" local.get 0 local.get 1 i8x16.narrow_i16x8_u)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5295"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5296"}},{"Add":{"text":" ;; --- extmul (widening multiply of one half) ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5348"}},{"Add":{"text":" (func (export \"extmul_low_s\") (param v128 v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5412"}},{"Add":{"text":" local.get 0 local.get 1 i16x8.extmul_low_i8x16_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5466"}},{"Add":{"text":" (func (export \"extmul_high_s\") (param v128 v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5531"}},{"Add":{"text":" local.get 0 local.get 1 i16x8.extmul_high_i8x16_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5586"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5587"}},{"Add":{"text":" ;; --- q15mulr_sat_s and dot ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5622"}},{"Add":{"text":" (func (export \"q15mulr\") (param v128 v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5681"}},{"Add":{"text":" local.get 0 local.get 1 i16x8.q15mulr_sat_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5730"}},{"Add":{"text":" (func (export \"dot\") (param v128 v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5785"}},{"Add":{"text":" local.get 0 local.get 1 i32x4.dot_i16x8_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5832"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5833"}},{"Add":{"text":" ;; --- float <-> int ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5860"}},{"Add":{"text":" (func (export \"trunc_sat_s\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5918"}},{"Add":{"text":" local.get 0 i32x4.trunc_sat_f32x4_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:5959"}},{"Add":{"text":" (func (export \"trunc_sat_u\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6017"}},{"Add":{"text":" local.get 0 i32x4.trunc_sat_f32x4_u)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6058"}},{"Add":{"text":" (func (export \"trunc_sat_f64_zero\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6123"}},{"Add":{"text":" local.get 0 i32x4.trunc_sat_f64x2_s_zero)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6169"}},{"Add":{"text":" (func (export \"convert_s\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6225"}},{"Add":{"text":" local.get 0 f32x4.convert_i32x4_s)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6264"}},{"Add":{"text":" (func (export \"convert_u\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6320"}},{"Add":{"text":" local.get 0 f32x4.convert_i32x4_u)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6359"}},{"Add":{"text":" (func (export \"demote\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6412"}},{"Add":{"text":" local.get 0 f32x4.demote_f64x2_zero)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6453"}},{"Add":{"text":" (func (export \"promote\") (param v128) (result v128)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6507"}},{"Add":{"text":" local.get 0 f64x2.promote_low_f32x4)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6548"}},{"Add":{"text":")","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6550"}}]}},{"Replacement":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":89,"ins":{"up_context":[{"change":3,"pos":4828}],"down_context":[{"change":3,"pos":4861}],"flag":"BLOCK","start":6552,"end":6594,"inode":{"change":3,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4828},"to":{"change":3,"start":4828,"end":4861},"introduced_by":3}],"inode":{"change":3,"pos":1700}},"ins_contents":[{"Add":{"text":" case is_conv_unary(Suffix) of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6593"}}],"del_contents":[{"Del":{"text":" case is_unary(Op) of","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:4860"}}]}},{"Replacement":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":91,"ins":{"up_context":[{"change":3,"pos":4888}],"down_context":[{"change":3,"pos":4915}],"flag":"BLOCK","start":6595,"end":6755,"inode":{"change":3,"pos":1700}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4888},"to":{"change":3,"start":4888,"end":4915},"introduced_by":3}],"inode":{"change":3,"pos":1700}},"ins_contents":[{"Add":{"text":" false ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6619"}},{"Add":{"text":" case is_unary(Op) of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6660"}},{"Add":{"text":" true -> 1;","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6695"}},{"Add":{"text":" false -> 2","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6730"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6754"}}],"del_contents":[{"Del":{"text":" false -> 2","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:4914"}}]}},{"Edit":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":99,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":4941}],"down_context":[{"change":3,"pos":4941}],"flag":"BLOCK","start":6756,"end":7259,"inode":{"change":3,"pos":1700}}},"contents":[{"Add":{"text":"%% Conversion/widen ops that take a SINGLE v128 (arity 1). The complement","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6829"}},{"Add":{"text":"%% (narrow_*, extmul_*, q15mulr_sat_s, dot_i16x8_s) take two v128s (arity 2).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6907"}},{"Add":{"text":"is_conv_unary(Suffix) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:6932"}},{"Add":{"text":" prefix(\"extend_low_\", Suffix) orelse prefix(\"extend_high_\", Suffix) orelse","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7011"}},{"Add":{"text":" prefix(\"extadd_pairwise_\", Suffix) orelse","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7061"}},{"Add":{"text":" prefix(\"trunc_sat_\", Suffix) orelse","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7105"}},{"Add":{"text":" prefix(\"convert_\", Suffix) orelse","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7147"}},{"Add":{"text":" prefix(\"demote_\", Suffix) orelse prefix(\"promote_\", Suffix).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7216"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7217"}},{"Add":{"text":"prefix(P, Str) -> lists:prefix(P, Str).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7257"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7258"}}]}},{"Replacement":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":195,"ins":{"up_context":[{"change":7,"pos":5711}],"down_context":[{"change":3,"pos":8042}],"flag":"BLOCK","start":7260,"end":11510,"inode":{"change":3,"pos":1700}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":4,"pos":4304},"to":{"change":3,"start":7811,"end":8042},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":7,"pos":5711},"to":{"change":3,"start":7811,"end":8042},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":7811},"to":{"change":3,"start":7811,"end":8042},"introduced_by":3}],"inode":{"change":3,"pos":1700}},"ins_contents":[{"Add":{"text":" _ when Suffix =:= \"popcnt\" ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7297"}},{"Add":{"text":" body_popcnt();","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7324"}},{"Add":{"text":" _ ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7337"}},{"Add":{"text":" case is_conv_unary(Suffix) of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7379"}},{"Add":{"text":" true -> body_conv1(Op);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7419"}},{"Add":{"text":" false ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7444"}},{"Add":{"text":" Shape = op_shape(Op),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7486"}},{"Add":{"text":" {_Count, Bits, Kind} = shape(Shape),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7543"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Shape),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7607"}},{"Add":{"text":" Lanes = [unary_lane(Suffix, A, Bits, Kind) || A <- As],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7683"}},{"Add":{"text":" [MatchA, pack(Lanes, Shape)]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7732"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7748"}},{"Add":{"text":" end.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7757"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7758"}},{"Add":{"text":"%% popcnt: population count per byte (i8x16). Unpack 16 bytes, count set bits.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7837"}},{"Add":{"text":"body_popcnt() ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7854"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", i8x16),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7902"}},{"Add":{"text":" Lanes = [popcount_expr(A) || A <- As],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7945"}},{"Add":{"text":" [MatchA, pack(Lanes, i8x16)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7979"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:7980"}},{"Add":{"text":"%% Population count of a byte value 0..255 via the classic SWAR trick, kept","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8056"}},{"Add":{"text":"%% small since lanes are only 8 bits:","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8094"}},{"Add":{"text":"%% B - ((B bsr 1) band 16#55) ... folded; simplest correct form for a byte:","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8172"}},{"Add":{"text":"%% count = length([1 || bit set]). We use a compact arithmetic reduction.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8248"}},{"Add":{"text":"popcount_expr(B) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8268"}},{"Add":{"text":" %% x = B - ((B >> 1) & 0x55)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8301"}},{"Add":{"text":" X1 = af_op('-', B, af_op('band', af_op('bsr', B, af_int(1)), af_int(16#55))),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8383"}},{"Add":{"text":" %% x = (x & 0x33) + ((x >> 2) & 0x33)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8425"}},{"Add":{"text":" X2 = af_op('+',","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8445"}},{"Add":{"text":" af_op('band', X1, af_int(16#33)),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8494"}},{"Add":{"text":" af_op('band', af_op('bsr', X1, af_int(2)), af_int(16#33))),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8569"}},{"Add":{"text":" %% (x + (x >> 4)) & 0x0F","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8598"}},{"Add":{"text":" af_op('band', af_op('+', X2, af_op('bsr', X2, af_int(4))), af_int(16#0F)).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8677"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8678"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8756"}},{"Add":{"text":"%% Conversions / widen / narrow (task 6). Source and destination shapes differ,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8836"}},{"Add":{"text":"%% so these don't fit the generic same-shape lane path.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8892"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8970"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:8971"}},{"Add":{"text":"%% Arity-1 conversions: extend_low/high, extadd_pairwise, trunc_sat, convert,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9049"}},{"Add":{"text":"%% demote, promote. Dispatch on the op-name atom.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9099"}},{"Add":{"text":"body_conv1(Op) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9117"}},{"Add":{"text":" case Op of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9132"}},{"Add":{"text":" %% --- integer widen: extend one half to the wider (dest) shape ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9208"}},{"Add":{"text":" 'i16x8.extend_low_i8x16_s' -> body_extend(i8x16, i16x8, low, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9286"}},{"Add":{"text":" 'i16x8.extend_high_i8x16_s' -> body_extend(i8x16, i16x8, high, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9366"}},{"Add":{"text":" 'i16x8.extend_low_i8x16_u' -> body_extend(i8x16, i16x8, low, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9446"}},{"Add":{"text":" 'i16x8.extend_high_i8x16_u' -> body_extend(i8x16, i16x8, high, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9528"}},{"Add":{"text":" 'i32x4.extend_low_i16x8_s' -> body_extend(i16x8, i32x4, low, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9606"}},{"Add":{"text":" 'i32x4.extend_high_i16x8_s' -> body_extend(i16x8, i32x4, high, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9686"}},{"Add":{"text":" 'i32x4.extend_low_i16x8_u' -> body_extend(i16x8, i32x4, low, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9766"}},{"Add":{"text":" 'i32x4.extend_high_i16x8_u' -> body_extend(i16x8, i32x4, high, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9848"}},{"Add":{"text":" 'i64x2.extend_low_i32x4_s' -> body_extend(i32x4, i64x2, low, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:9926"}},{"Add":{"text":" 'i64x2.extend_high_i32x4_s' -> body_extend(i32x4, i64x2, high, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10006"}},{"Add":{"text":" 'i64x2.extend_low_i32x4_u' -> body_extend(i32x4, i64x2, low, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10086"}},{"Add":{"text":" 'i64x2.extend_high_i32x4_u' -> body_extend(i32x4, i64x2, high, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10168"}},{"Add":{"text":" %% --- pairwise widening add of adjacent lanes ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10227"}},{"Add":{"text":" 'i16x8.extadd_pairwise_i8x16_s' -> body_extadd(i8x16, i16x8, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10305"}},{"Add":{"text":" 'i16x8.extadd_pairwise_i8x16_u' -> body_extadd(i8x16, i16x8, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10385"}},{"Add":{"text":" 'i32x4.extadd_pairwise_i16x8_s' -> body_extadd(i16x8, i32x4, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10463"}},{"Add":{"text":" 'i32x4.extadd_pairwise_i16x8_u' -> body_extadd(i16x8, i32x4, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10543"}},{"Add":{"text":" %% --- float -> int (truncate toward zero, saturating) ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10610"}},{"Add":{"text":" 'i32x4.trunc_sat_f32x4_s' -> body_trunc_sat(f32x4, i32x4, signed, false);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10692"}},{"Add":{"text":" 'i32x4.trunc_sat_f32x4_u' -> body_trunc_sat(f32x4, i32x4, unsigned, false);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10776"}},{"Add":{"text":" 'i32x4.trunc_sat_f64x2_s_zero' -> body_trunc_sat(f64x2, i32x4, signed, true);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10862"}},{"Add":{"text":" 'i32x4.trunc_sat_f64x2_u_zero' -> body_trunc_sat(f64x2, i32x4, unsigned, true);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10950"}},{"Add":{"text":" %% --- int -> float ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:10982"}},{"Add":{"text":" 'f32x4.convert_i32x4_s' -> body_convert(i32x4, f32x4, signed, false);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11060"}},{"Add":{"text":" 'f32x4.convert_i32x4_u' -> body_convert(i32x4, f32x4, unsigned, false);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11140"}},{"Add":{"text":" 'f64x2.convert_low_i32x4_s' -> body_convert(i32x4, f64x2, signed, true);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11221"}},{"Add":{"text":" 'f64x2.convert_low_i32x4_u' -> body_convert(i32x4, f64x2, unsigned, true);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11304"}},{"Add":{"text":" %% --- float <-> float precision ---","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11349"}},{"Add":{"text":" 'f32x4.demote_f64x2_zero' -> body_demote();","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11401"}},{"Add":{"text":" 'f64x2.promote_low_f32x4' -> body_promote();","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11454"}},{"Add":{"text":" _ -> erlang:error({unsupported_simd_conv, Op})","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11509"}}],"del_contents":[{"Del":{"text":" Shape ->","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:7827"}},{"Del":{"text":" {_Count, Bits, Kind} = shape(Shape),","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:7876"}},{"Del":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Shape),","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:7932"}},{"Del":{"text":" Lanes = [unary_lane(Suffix, A, Bits, Kind) || A <- As],","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:8000"}},{"Del":{"text":" [MatchA, pack(Lanes, Shape)]","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:8041"}}]}},{"Edit":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":272,"atom":{"NewVertex":{"up_context":[{"change":7,"pos":5713}],"down_context":[{"change":7,"pos":5713}],"flag":"BLOCK","start":11511,"end":14703,"inode":{"change":3,"pos":1700}}},"contents":[{"Add":{"text":"%% extend: widen 8 (or 4/2) lanes of one half of Src into the wider Dst shape.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11589"}},{"Add":{"text":"body_extend(Src, Dst, Half, Sign) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11626"}},{"Add":{"text":" {SrcCount, SrcBits, int} = shape(Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11669"}},{"Add":{"text":" {DstCount, _DstBits, int} = shape(Dst),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11713"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11759"}},{"Add":{"text":" Selected =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11774"}},{"Add":{"text":" case Half of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11795"}},{"Add":{"text":" low -> lists:sublist(As, 1, DstCount);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11846"}},{"Add":{"text":" high -> lists:sublist(As, SrcCount - DstCount + 1, DstCount)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11919"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11932"}},{"Add":{"text":" Lanes =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11944"}},{"Add":{"text":" [case Sign of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:11966"}},{"Add":{"text":" signed -> bias(L, SrcBits);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12007"}},{"Add":{"text":" unsigned -> L","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12034"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12047"}},{"Add":{"text":" || L <- Selected],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12075"}},{"Add":{"text":" [MatchA, pack(Lanes, Dst)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12107"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12108"}},{"Add":{"text":"%% extadd_pairwise: sum adjacent lane pairs (widening) into the wider shape.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12185"}},{"Add":{"text":"body_extadd(Src, Dst, Sign) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12216"}},{"Add":{"text":" {_SrcCount, SrcBits, int} = shape(Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12260"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12306"}},{"Add":{"text":" Pairs = chunk_pairs(As),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12335"}},{"Add":{"text":" Lanes =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12347"}},{"Add":{"text":" [begin","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12362"}},{"Add":{"text":" {L, R} = Pair,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12390"}},{"Add":{"text":" case Sign of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12416"}},{"Add":{"text":" signed -> af_op('+', bias(L, SrcBits), bias(R, SrcBits));","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12491"}},{"Add":{"text":" unsigned -> af_op('+', L, R)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12537"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12554"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12567"}},{"Add":{"text":" || Pair <- Pairs],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12595"}},{"Add":{"text":" [MatchA, pack(Lanes, Dst)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12627"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12628"}},{"Add":{"text":"%% Split a lane list into {even, odd} adjacent pairs [{l0,l1},{l2,l3},...].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12704"}},{"Add":{"text":"chunk_pairs([]) -> [];","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12727"}},{"Add":{"text":"chunk_pairs([L, R | Rest]) -> [{L, R} | chunk_pairs(Rest)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12787"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12788"}},{"Add":{"text":"%% trunc_sat: float -> int, truncate toward zero, saturate to the dest range.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12866"}},{"Add":{"text":"%% `Zero' means the source has fewer lanes (f64x2 -> i32x4) and the high dest","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12944"}},{"Add":{"text":"%% lanes are zero-filled.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:12970"}},{"Add":{"text":"body_trunc_sat(Src, Dst, Sign, Zero) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13010"}},{"Add":{"text":" {_SrcCount, _SrcBits, float} = shape(Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13057"}},{"Add":{"text":" {DstCount, DstBits, int} = shape(Dst),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13100"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13146"}},{"Add":{"text":" {Lo, Hi} =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13161"}},{"Add":{"text":" case Sign of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13182"}},{"Add":{"text":" signed -> {-(1 bsl (DstBits - 1)), (1 bsl (DstBits - 1)) - 1};","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13257"}},{"Add":{"text":" unsigned -> {0, (1 bsl DstBits) - 1}","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13306"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13319"}},{"Add":{"text":" Converted = [wrap(clamp(erl_call(trunc, [L]), Lo, Hi), DstBits) || L <- As],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13400"}},{"Add":{"text":" Lanes =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13412"}},{"Add":{"text":" case Zero of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13433"}},{"Add":{"text":" true -> Converted ++ lists:duplicate(DstCount - length(Converted), af_int(0));","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13524"}},{"Add":{"text":" false -> Converted","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13555"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13568"}},{"Add":{"text":" [MatchA, pack(Lanes, Dst)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13600"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13601"}},{"Add":{"text":"%% convert: int -> float. `Low' means only the low lanes of Src are used","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13674"}},{"Add":{"text":"%% (i32x4 -> f64x2 uses lanes 0..1).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13711"}},{"Add":{"text":"body_convert(Src, Dst, Sign, Low) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13748"}},{"Add":{"text":" {_SrcCount, SrcBits, int} = shape(Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13792"}},{"Add":{"text":" {DstCount, _DstBits, float} = shape(Dst),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13838"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13884"}},{"Add":{"text":" Used =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13895"}},{"Add":{"text":" case Low of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13915"}},{"Add":{"text":" true -> lists:sublist(As, 1, DstCount);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13967"}},{"Add":{"text":" false -> As","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:13991"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14004"}},{"Add":{"text":" Lanes =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14016"}},{"Add":{"text":" [begin","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14031"}},{"Add":{"text":" V =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14048"}},{"Add":{"text":" case Sign of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14078"}},{"Add":{"text":" signed -> bias(L, SrcBits);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14127"}},{"Add":{"text":" unsigned -> L","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14162"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14184"}},{"Add":{"text":" erl_call(float, [V])","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14218"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14231"}},{"Add":{"text":" || L <- Used],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14255"}},{"Add":{"text":" [MatchA, pack(Lanes, Dst)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14287"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14288"}},{"Add":{"text":"%% demote_f64x2_zero: 2 f64 lanes -> low 2 f32 lanes, high 2 f32 = 0.0.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14360"}},{"Add":{"text":"body_demote() ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14377"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", f64x2),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14425"}},{"Add":{"text":" Lanes = As ++ [af_float(0.0), af_float(0.0)],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14475"}},{"Add":{"text":" [MatchA, pack(Lanes, f32x4)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14509"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14510"}},{"Add":{"text":"%% promote_low_f32x4: low 2 f32 lanes -> 2 f64 lanes.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14564"}},{"Add":{"text":"body_promote() ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14582"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", f32x4),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14630"}},{"Add":{"text":" Lanes = lists:sublist(As, 1, 2),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14667"}},{"Add":{"text":" [MatchA, pack(Lanes, f64x2)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14701"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14702"}}]}},{"Replacement":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":441,"ins":{"up_context":[{"change":5,"pos":4791}],"down_context":[{"change":3,"pos":9160}],"flag":"BLOCK","start":14704,"end":14913,"inode":{"change":3,"pos":1700}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":4,"pos":4559},"to":{"change":3,"start":9107,"end":9160},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":5,"pos":4791},"to":{"change":3,"start":9107,"end":9160},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":9107},"to":{"change":3,"start":9107,"end":9160},"introduced_by":3}],"inode":{"change":3,"pos":1700}},"ins_contents":[{"Add":{"text":" _ ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14724"}},{"Add":{"text":" case is_conv_binary(Suffix) of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14775"}},{"Add":{"text":" true -> body_conv2(Op);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14823"}},{"Add":{"text":" false -> body_binary_lane(Shape, Suffix)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14888"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14912"}}],"del_contents":[{"Del":{"text":" _ -> body_binary_lane(Shape, Suffix)","pos":"HYPDFARUEXCWZLGIL2CZHIF75CNSI4KFCS7ZCHWTVSHA2T2T7EXQC:9159"}}]}},{"Edit":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":448,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":9185}],"down_context":[{"change":4,"pos":4560}],"flag":"BLOCK","start":14914,"end":15152,"inode":{"change":3,"pos":1700}}},"contents":[{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14914"}},{"Add":{"text":"%% Arity-2 conversion/specialized ops: narrow, extmul, q15mulr_sat_s, dot.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:14989"}},{"Add":{"text":"is_conv_binary(Suffix) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15015"}},{"Add":{"text":" prefix(\"narrow_\", Suffix) orelse prefix(\"extmul_\", Suffix) orelse","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15085"}},{"Add":{"text":" prefix(\"q15mulr_\", Suffix) orelse prefix(\"dot_\", Suffix).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15151"}}]}},{"Edit":{"inode":{"change":3,"pos":1700},"path":"src/wa_embedder_simd.erl","line":454,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":4561}],"down_context":[{"change":4,"pos":4561}],"flag":"BLOCK","start":15153,"end":19280,"inode":{"change":3,"pos":1700}}},"contents":[{"Add":{"text":"body_conv2(Op) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15170"}},{"Add":{"text":" case Op of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15185"}},{"Add":{"text":" %% narrow: saturate 2x source lanes into the (narrower) dest shape.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15261"}},{"Add":{"text":" 'i8x16.narrow_i16x8_s' -> body_narrow(i16x8, i8x16, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15330"}},{"Add":{"text":" 'i8x16.narrow_i16x8_u' -> body_narrow(i16x8, i8x16, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15401"}},{"Add":{"text":" 'i16x8.narrow_i32x4_s' -> body_narrow(i32x4, i16x8, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15470"}},{"Add":{"text":" 'i16x8.narrow_i32x4_u' -> body_narrow(i32x4, i16x8, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15541"}},{"Add":{"text":" %% extmul: widening multiply of one half.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15591"}},{"Add":{"text":" 'i16x8.extmul_low_i8x16_s' -> body_extmul(i8x16, i16x8, low, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15669"}},{"Add":{"text":" 'i16x8.extmul_high_i8x16_s' -> body_extmul(i8x16, i16x8, high, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15749"}},{"Add":{"text":" 'i16x8.extmul_low_i8x16_u' -> body_extmul(i8x16, i16x8, low, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15829"}},{"Add":{"text":" 'i16x8.extmul_high_i8x16_u' -> body_extmul(i8x16, i16x8, high, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15911"}},{"Add":{"text":" 'i32x4.extmul_low_i16x8_s' -> body_extmul(i16x8, i32x4, low, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:15989"}},{"Add":{"text":" 'i32x4.extmul_high_i16x8_s' -> body_extmul(i16x8, i32x4, high, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16069"}},{"Add":{"text":" 'i32x4.extmul_low_i16x8_u' -> body_extmul(i16x8, i32x4, low, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16149"}},{"Add":{"text":" 'i32x4.extmul_high_i16x8_u' -> body_extmul(i16x8, i32x4, high, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16231"}},{"Add":{"text":" 'i64x2.extmul_low_i32x4_s' -> body_extmul(i32x4, i64x2, low, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16309"}},{"Add":{"text":" 'i64x2.extmul_high_i32x4_s' -> body_extmul(i32x4, i64x2, high, signed);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16389"}},{"Add":{"text":" 'i64x2.extmul_low_i32x4_u' -> body_extmul(i32x4, i64x2, low, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16469"}},{"Add":{"text":" 'i64x2.extmul_high_i32x4_u' -> body_extmul(i32x4, i64x2, high, unsigned);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16551"}},{"Add":{"text":" 'i16x8.q15mulr_sat_s' -> body_q15mulr();","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16600"}},{"Add":{"text":" 'i32x4.dot_i16x8_s' -> body_dot();","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16643"}},{"Add":{"text":" _ -> erlang:error({unsupported_simd_conv, Op})","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16698"}},{"Add":{"text":" end.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16707"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16708"}},{"Add":{"text":"%% narrow: concat A's lanes then B's, saturate each to the dest lane's range,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16786"}},{"Add":{"text":"%% producing 2x the dest count. Signed source lanes are biased first.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16856"}},{"Add":{"text":"body_narrow(Src, Dst, Sign) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16887"}},{"Add":{"text":" {_SrcCount, SrcBits, int} = shape(Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16931"}},{"Add":{"text":" {_DstCount, DstBits, int} = shape(Dst),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:16975"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17021"}},{"Add":{"text":" {MatchB, Bs} = unpack(av('B'), \"B\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17067"}},{"Add":{"text":" Signed = fun(L) -> bias(L, SrcBits) end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17112"}},{"Add":{"text":" Clamp =","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17124"}},{"Add":{"text":" case Sign of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17145"}},{"Add":{"text":" signed -> fun(L) -> wrap(clamp_signed(Signed(L), DstBits), DstBits) end;","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17230"}},{"Add":{"text":" unsigned -> fun(L) -> clamp_unsigned(Signed(L), DstBits) end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17303"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17316"}},{"Add":{"text":" Lanes = [Clamp(L) || L <- As ++ Bs],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17357"}},{"Add":{"text":" [MatchA, MatchB, pack(Lanes, Dst)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17397"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17398"}},{"Add":{"text":"%% extmul: multiply one half of A and B (widening) into the wider dest shape.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17476"}},{"Add":{"text":"body_extmul(Src, Dst, Half, Sign) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17513"}},{"Add":{"text":" {SrcCount, SrcBits, int} = shape(Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17556"}},{"Add":{"text":" {DstCount, _DstBits, int} = shape(Dst),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17600"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17646"}},{"Add":{"text":" {MatchB, Bs} = unpack(av('B'), \"B\", Src),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17692"}},{"Add":{"text":" Sel = fun(Ls) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17713"}},{"Add":{"text":" case Half of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17734"}},{"Add":{"text":" low -> lists:sublist(Ls, 1, DstCount);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17785"}},{"Add":{"text":" high -> lists:sublist(Ls, SrcCount - DstCount + 1, DstCount)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17858"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17870"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17879"}},{"Add":{"text":" V = fun(L) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17897"}},{"Add":{"text":" case Sign of","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17918"}},{"Add":{"text":" signed -> bias(L, SrcBits);","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17958"}},{"Add":{"text":" unsigned -> L","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17984"}},{"Add":{"text":" end","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:17996"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18005"}},{"Add":{"text":" Lanes = [af_op('*', V(L), V(R)) || {L, R} <- lists:zip(Sel(As), Sel(Bs))],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18084"}},{"Add":{"text":" [MatchA, MatchB, pack(Lanes, Dst)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18124"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18125"}},{"Add":{"text":"%% i16x8.q15mulr_sat_s: (a*b + 0x4000) >> 15, saturated to signed 16-bit.","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18199"}},{"Add":{"text":"body_q15mulr() ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18217"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", i16x8),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18265"}},{"Add":{"text":" {MatchB, Bs} = unpack(av('B'), \"B\", i16x8),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18313"}},{"Add":{"text":" Lane = fun(L, R) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18337"}},{"Add":{"text":" Prod = af_op('+', af_op('*', bias(L, 16), bias(R, 16)), af_int(16#4000)),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18419"}},{"Add":{"text":" Shifted = af_op('bsr', Prod, af_int(15)),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18469"}},{"Add":{"text":" wrap(clamp_signed(Shifted, 16), 16)","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18513"}},{"Add":{"text":" end,","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18522"}},{"Add":{"text":" Lanes = [Lane(L, R) || {L, R} <- lists:zip(As, Bs)],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18579"}},{"Add":{"text":" [MatchA, MatchB, pack(Lanes, i16x8)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18621"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18622"}},{"Add":{"text":"%% i32x4.dot_i16x8_s: for each i32 lane, a[2i]*b[2i] + a[2i+1]*b[2i+1]","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18693"}},{"Add":{"text":"%% (signed 16-bit multiplies summed; result fits in i32, no saturation).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18766"}},{"Add":{"text":"body_dot() ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18780"}},{"Add":{"text":" {MatchA, As} = unpack(av('A'), \"A\", i16x8),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18828"}},{"Add":{"text":" {MatchB, Bs} = unpack(av('B'), \"B\", i16x8),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18876"}},{"Add":{"text":" Prods = [af_op('*', bias(L, 16), bias(R, 16)) || {L, R} <- lists:zip(As, Bs)],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:18959"}},{"Add":{"text":" Lanes = [af_op('+', P0, P1) || {P0, P1} <- chunk_pairs(Prods)],","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19027"}},{"Add":{"text":" [MatchA, MatchB, wrap_lanes_pack(Lanes, i32x4)].","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19080"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19081"}},{"Add":{"text":"%% Pack i32 lanes, wrapping each to 32 bits (dot products can be negative).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19157"}},{"Add":{"text":"wrap_lanes_pack(Lanes, Shape) ->","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19190"}},{"Add":{"text":" {_Count, Bits, int} = shape(Shape),","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19230"}},{"Add":{"text":" pack([wrap(L, Bits) || L <- Lanes], Shape).","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19278"}},{"Add":{"text":"","pos":"2JDIX26HTXNCFYBWLY2RSXZDI2FFYZVA3ME2C6X3KIJUYWJNYIFAC:19279"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"doiLSZoONvTUwZkUESAK8/fs//Ppw830aFdVc/IRI4c=","login":null}

…

Dependencies

Change contents

Review