{"header":{"message":"porting memory","description":null,"timestamp":"2026-08-30T16:29:27.686816Z","authors":[{}]},"hash":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC","porting memory"],["AA",null],["Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","embedding memory instructions"],["GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC","return call, bulk mem, mutable globals"],["VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC","refs"],["5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC","Move abstract forms to erlang"],["A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","imports"],["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","First success compilation"],["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC","Initial commit"]],"deps":["Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC","VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC","5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC"],"known":["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC"]},"hunks":[{"FileMove":{"meta":{"basename":"wa_embedder_memory_binary.erl","metadata":0},"old":[{"basename":"binary.ex","metadata":0}],"up":[{"change":5,"pos":15}],"down":[{"change":2,"pos":23679}],"show_perms":false}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":1,"ins":{"up_context":[{"change":2,"pos":23679}],"down_context":[{"change":2,"pos":25265}],"flag":"BLOCK","start":41,"end":521,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23679},"to":{"change":2,"start":23680,"end":25265},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"%% Default linear-memory backend: memory bytes live in a plain binary. The","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:115"}},{"Add":{"text":"%% reference is an opaque `#{mem => Binary, max => Max | none}' map, so grow","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:192"}},{"Add":{"text":"%% validation is correct even with multiple wasm modules in one process (no","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:268"}},{"Add":{"text":"%% shared process-dictionary state).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:305"}},{"Add":{"text":"%%","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:308"}},{"Add":{"text":"%% Out-of-bounds access traps via `erlang:error({wasm_trap, memory_oob,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:380"}},{"Add":{"text":"%% #{addr => Addr, width => Width}})' per the WASM specification.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:446"}},{"Add":{"text":"%%","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:449"}},{"Add":{"text":"%% Pure OTP; no Elixir dependency.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:484"}},{"Add":{"text":"-module(wa_embedder_memory_binary).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:520"}}],"del_contents":[{"Del":{"text":"defmodule WaEmbedder.Memory.Binary do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23717"}},{"Del":{"text":" @moduledoc \"\"\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23734"}},{"Del":{"text":" Default linear-memory backend: memory bytes live in a plain Erlang","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23803"}},{"Del":{"text":" binary. The reference is an opaque `%{mem: binary, max: max | :none}`","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23875"}},{"Del":{"text":" map, so grow validation is correct even with multiple wasm modules in","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23947"}},{"Del":{"text":" one process (no shared process-dictionary state).","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23999"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24000"}},{"Del":{"text":" Out-of-bounds access traps via `erlang:error({:wasm_trap, :memory_oob,","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24073"}},{"Del":{"text":" %{addr: addr, width: width}})` per the WASM specification.","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24134"}},{"Del":{"text":" \"\"\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24140"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24141"}},{"Del":{"text":" @behaviour WaEmbedder.Memory","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24172"}},{"Del":{"text":" @page_size 65_536","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24192"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24193"}},{"Del":{"text":" @impl true","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24206"}},{"Del":{"text":" def new(min_pages, max_pages) do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24241"}},{"Del":{"text":" %{mem: <<0::size(min_pages * @page_size * 8)>>, max: max_pages}","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24309"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24315"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24316"}},{"Del":{"text":" @impl true","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24329"}},{"Del":{"text":" def load(%{mem: mem}, addr, width, decode) do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24377"}},{"Del":{"text":" :ok = check_bounds(mem, addr, width)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24418"}},{"Del":{"text":" bit_width = width * 8","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24444"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24445"}},{"Del":{"text":" case decode do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24464"}},{"Del":{"text":" :unsigned ->","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24483"}},{"Del":{"text":" <<_::binary-size(addr), val::little-unsigned-size(bit_width), _::binary>> = mem","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24571"}},{"Del":{"text":" val","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24583"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24584"}},{"Del":{"text":" :signed ->","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24601"}},{"Del":{"text":" <<_::binary-size(addr), val::little-signed-size(bit_width), _::binary>> = mem","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24687"}},{"Del":{"text":" val","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24699"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24700"}},{"Del":{"text":" :float ->","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24716"}},{"Del":{"text":" <<_::binary-size(addr), val::little-float-size(bit_width), _::binary>> = mem","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24801"}},{"Del":{"text":" val","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24813"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24821"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24827"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24828"}},{"Del":{"text":" @impl true","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24841"}},{"Del":{"text":" def store(%{mem: mem} = ref, addr, width, value, value_type) do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24907"}},{"Del":{"text":" :ok = check_bounds(mem, addr, width)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24948"}},{"Del":{"text":" bit_width = width * 8","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24974"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:24975"}},{"Del":{"text":" before = binary_part(mem, 0, addr)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25014"}},{"Del":{"text":" after_bytes = binary_part(mem, addr + width, byte_size(mem) - addr - width)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25094"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25095"}},{"Del":{"text":" stored =","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25108"}},{"Del":{"text":" case value_type do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25133"}},{"Del":{"text":" :integer -> <>","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25196"}},{"Del":{"text":" :float -> <>","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25254"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25264"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":12,"ins":{"up_context":[{"change":2,"pos":25266}],"down_context":[{"change":2,"pos":25346}],"flag":"BLOCK","start":522,"end":554,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":25266},"to":{"change":2,"start":25266,"end":25346},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"-behaviour(wa_embedder_memory).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:553"}}],"del_contents":[{"Del":{"text":" %{ref | mem: <>}","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25339"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25345"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":14,"ins":{"up_context":[{"change":2,"pos":25347}],"down_context":[{"change":2,"pos":25421}],"flag":"BLOCK","start":555,"end":644,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":25347},"to":{"change":2,"start":25347,"end":25421},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"-export([new/2, load/4, store/5, size/1, grow/2, write_data/3, copy/4, fill/4, init/4]).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:643"}}],"del_contents":[{"Del":{"text":" @impl true","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25359"}},{"Del":{"text":" def size(%{mem: mem}), do: div(byte_size(mem), @page_size)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25420"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":16,"ins":{"up_context":[{"change":2,"pos":25422}],"down_context":[{"change":2,"pos":25567}],"flag":"BLOCK","start":645,"end":672,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":25422},"to":{"change":2,"start":25422,"end":25567},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"-define(PAGE_SIZE, 65536).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:671"}}],"del_contents":[{"Del":{"text":" @impl true","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25434"}},{"Del":{"text":" def grow(%{mem: mem, max: max} = ref, delta) do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25484"}},{"Del":{"text":" old_pages = div(byte_size(mem), @page_size)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25532"}},{"Del":{"text":" new_pages = old_pages + delta","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25566"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":18,"ins":{"up_context":[{"change":2,"pos":25568}],"down_context":[{"change":2,"pos":25756}],"flag":"BLOCK","start":673,"end":781,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":25568},"to":{"change":2,"start":25568,"end":25756},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"new(MinPages, MaxPages) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:699"}},{"Add":{"text":" Bits = MinPages * ?PAGE_SIZE * 8,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:737"}},{"Add":{"text":" #{mem => <<0:Bits>>, max => MaxPages}.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:780"}}],"del_contents":[{"Del":{"text":" if max != :none and new_pages > max do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25610"}},{"Del":{"text":" {-1, ref}","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25626"}},{"Del":{"text":" else","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25635"}},{"Del":{"text":" new_mem = <>","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25700"}},{"Del":{"text":" {old_pages, %{ref | mem: new_mem}}","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25741"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25749"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25755"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":22,"ins":{"up_context":[{"change":2,"pos":25757}],"down_context":[{"change":3,"pos":12645}],"flag":"BLOCK","start":782,"end":1252,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":25757},"to":{"change":2,"start":25757,"end":26078},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":26078},"to":{"change":3,"start":12285,"end":12644},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":12644},"to":{"change":2,"start":26078,"end":26084},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":26078},"to":{"change":2,"start":26078,"end":26084},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"load(#{mem := Mem}, Addr, Width, Decode) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:825"}},{"Add":{"text":" ok = check_bounds(Mem, Addr, Width),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:866"}},{"Add":{"text":" BitWidth = Width * 8,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:892"}},{"Add":{"text":" case Decode of","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:911"}},{"Add":{"text":" unsigned ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:931"}},{"Add":{"text":" <<_:Addr/binary, Val:BitWidth/little-unsigned, _/binary>> = Mem,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1008"}},{"Add":{"text":" Val;","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1025"}},{"Add":{"text":" signed ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1043"}},{"Add":{"text":" <<_:Addr/binary, Val:BitWidth/little-signed, _/binary>> = Mem,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1118"}},{"Add":{"text":" Val;","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1135"}},{"Add":{"text":" float ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1152"}},{"Add":{"text":" <<_:Addr/binary, Val:BitWidth/little-float, _/binary>> = Mem,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1226"}},{"Add":{"text":" Val","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1242"}},{"Add":{"text":" end.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1251"}}],"del_contents":[{"Del":{"text":" @impl true","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25769"}},{"Del":{"text":" def write_data(%{mem: mem} = ref, offset, payload) do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25825"}},{"Del":{"text":" before = binary_part(mem, 0, offset)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25866"}},{"Del":{"text":" after_len = byte_size(mem) - offset - byte_size(payload)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:25927"}},{"Del":{"text":" after_bytes = binary_part(mem, offset + byte_size(payload), after_len)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26002"}},{"Del":{"text":" %{ref | mem: <>}","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26077"}},{"Del":{"text":" end","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12290"}},{"Del":{"text":"","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12291"}},{"Del":{"text":" @impl true","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12304"}},{"Del":{"text":" def copy(%{mem: mem} = ref, dst, src, n) do","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12350"}},{"Del":{"text":" :ok = check_bounds(mem, dst, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12386"}},{"Del":{"text":" :ok = check_bounds(mem, src, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12422"}},{"Del":{"text":"","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12423"}},{"Del":{"text":" copied = binary_part(mem, src, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12461"}},{"Del":{"text":" before = binary_part(mem, 0, dst)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12499"}},{"Del":{"text":" after_bytes = binary_part(mem, dst + n, byte_size(mem) - dst - n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12569"}},{"Del":{"text":" %{ref | mem: <>}","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12643"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26083"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":37,"ins":{"up_context":[{"change":3,"pos":12646}],"down_context":[{"change":2,"pos":26084}],"flag":"BLOCK","start":1253,"end":1735,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":12646},"to":{"change":3,"start":12646,"end":12743},"introduced_by":3}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"store(#{mem := Mem} = Ref, Addr, Width, Value, ValueType) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1313"}},{"Add":{"text":" ok = check_bounds(Mem, Addr, Width),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1354"}},{"Add":{"text":" BitWidth = Width * 8,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1380"}},{"Add":{"text":" Before = binary:part(Mem, 0, Addr),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1420"}},{"Add":{"text":" AfterBytes = binary:part(Mem, Addr + Width, byte_size(Mem) - Addr - Width),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1500"}},{"Add":{"text":" Stored =","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1513"}},{"Add":{"text":" case ValueType of","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1539"}},{"Add":{"text":" integer -> <>;","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1598"}},{"Add":{"text":" float -> <>","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1651"}},{"Add":{"text":" end,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1664"}},{"Add":{"text":" Ref#{mem => <>}.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1734"}}],"del_contents":[{"Del":{"text":" @impl true","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12658"}},{"Del":{"text":" def fill(%{mem: mem} = ref, dst, value, n) do","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12706"}},{"Del":{"text":" :ok = check_bounds(mem, dst, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12742"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":49,"ins":{"up_context":[{"change":2,"pos":26085}],"down_context":[{"change":3,"pos":12859}],"flag":"BLOCK","start":1736,"end":1794,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":26085},"to":{"change":3,"start":12744,"end":12859},"introduced_by":3}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"size(#{mem := Mem}) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1758"}},{"Add":{"text":" byte_size(Mem) div ?PAGE_SIZE.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1793"}}],"del_contents":[{"Del":{"text":" filler =","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12756"}},{"Del":{"text":" case n do","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12772"}},{"Del":{"text":" 0 -> <<>>","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12790"}},{"Del":{"text":" _ -> :binary.copy(<>, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12848"}},{"Del":{"text":" end","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12858"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":52,"ins":{"up_context":[{"change":3,"pos":12860}],"down_context":[{"change":3,"pos":13048}],"flag":"BLOCK","start":1795,"end":2167,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":12860},"to":{"change":3,"start":12860,"end":13048},"introduced_by":3}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"grow(#{mem := Mem, max := Max} = Ref, Delta) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1842"}},{"Add":{"text":" OldPages = byte_size(Mem) div ?PAGE_SIZE,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1888"}},{"Add":{"text":" NewPages = OldPages + Delta,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1921"}},{"Add":{"text":" case Max =/= none andalso NewPages > Max of","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1969"}},{"Add":{"text":" true ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:1985"}},{"Add":{"text":" {-1, Ref};","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2008"}},{"Add":{"text":" false ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2025"}},{"Add":{"text":" Bits = Delta * ?PAGE_SIZE * 8,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2068"}},{"Add":{"text":" NewMem = <>,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2113"}},{"Add":{"text":" {OldPages, Ref#{mem => NewMem}}","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2157"}},{"Add":{"text":" end.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2166"}}],"del_contents":[{"Del":{"text":" before = binary_part(mem, 0, dst)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12897"}},{"Del":{"text":" after_bytes = binary_part(mem, dst + n, byte_size(mem) - dst - n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12967"}},{"Del":{"text":" %{ref | mem: <>}","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13041"}},{"Del":{"text":" end","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13047"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":64,"ins":{"up_context":[{"change":3,"pos":13049}],"down_context":[{"change":3,"pos":13199}],"flag":"BLOCK","start":2168,"end":2468,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13049},"to":{"change":3,"start":13049,"end":13199},"introduced_by":3}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"write_data(#{mem := Mem} = Ref, Offset, Payload) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2219"}},{"Add":{"text":" Before = binary:part(Mem, 0, Offset),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2261"}},{"Add":{"text":" AfterLen = byte_size(Mem) - Offset - byte_size(Payload),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2322"}},{"Add":{"text":" AfterBytes = binary:part(Mem, Offset + byte_size(Payload), AfterLen),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2396"}},{"Add":{"text":" Ref#{mem => <>}.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2467"}}],"del_contents":[{"Del":{"text":" @impl true","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13061"}},{"Del":{"text":" def init(%{mem: mem} = ref, dst, payload, n) do","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13111"}},{"Del":{"text":" :ok = check_bounds(mem, dst, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13147"}},{"Del":{"text":" true = n <= byte_size(payload) or trap(dst, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13198"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":70,"ins":{"up_context":[{"change":3,"pos":13200}],"down_context":[{"change":3,"pos":13426}],"flag":"BLOCK","start":2469,"end":2801,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13200},"to":{"change":3,"start":13200,"end":13426},"introduced_by":3}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"copy(#{mem := Mem} = Ref, Dst, Src, N) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2510"}},{"Add":{"text":" ok = check_bounds(Mem, Dst, N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2546"}},{"Add":{"text":" ok = check_bounds(Mem, Src, N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2582"}},{"Add":{"text":" Copied = binary:part(Mem, Src, N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2621"}},{"Add":{"text":" Before = binary:part(Mem, 0, Dst),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2660"}},{"Add":{"text":" AfterBytes = binary:part(Mem, Dst + N, byte_size(Mem) - Dst - N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2730"}},{"Add":{"text":" Ref#{mem => <>}.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2800"}}],"del_contents":[{"Del":{"text":" slice = binary_part(payload, 0, n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13238"}},{"Del":{"text":" before = binary_part(mem, 0, dst)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13276"}},{"Del":{"text":" after_bytes = binary_part(mem, dst + n, byte_size(mem) - dst - n)","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13346"}},{"Del":{"text":" %{ref | mem: <>}","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13419"}},{"Del":{"text":" end","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:13425"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":78,"ins":{"up_context":[{"change":3,"pos":13427}],"down_context":[{"change":2,"pos":26161}],"flag":"BLOCK","start":2802,"end":3214,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13427},"to":{"change":4,"start":32973,"end":33049},"introduced_by":4}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"fill(#{mem := Mem} = Ref, Dst, Value, N) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2845"}},{"Add":{"text":" ok = check_bounds(Mem, Dst, N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2881"}},{"Add":{"text":" Byte = ((Value rem 256) + 256) rem 256,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2925"}},{"Add":{"text":" Filler =","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2938"}},{"Add":{"text":" case N of","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2956"}},{"Add":{"text":" 0 -> <<>>;","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:2979"}},{"Add":{"text":" _ -> binary:copy(<>, N)","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3021"}},{"Add":{"text":" end,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3034"}},{"Add":{"text":" Before = binary:part(Mem, 0, Dst),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3073"}},{"Add":{"text":" AfterBytes = binary:part(Mem, Dst + N, byte_size(Mem) - Dst - N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3143"}},{"Add":{"text":" Ref#{mem => <>}.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3213"}}],"del_contents":[{"Del":{"text":" defp check_bounds(_mem, addr, width) when addr < 0, do: trap(addr, width)","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:33048"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":90,"ins":{"up_context":[{"change":2,"pos":26162}],"down_context":[{"change":2,"pos":26258}],"flag":"BLOCK","start":3215,"end":3571,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":26162},"to":{"change":2,"start":26162,"end":26258},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"init(#{mem := Mem} = Ref, Dst, Payload, N) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3260"}},{"Add":{"text":" ok = check_bounds(Mem, Dst, N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3296"}},{"Add":{"text":" true = N =< byte_size(Payload) orelse trap(Dst, N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3352"}},{"Add":{"text":" Slice = binary:part(Payload, 0, N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3392"}},{"Add":{"text":" Before = binary:part(Mem, 0, Dst),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3431"}},{"Add":{"text":" AfterBytes = binary:part(Mem, Dst + N, byte_size(Mem) - Dst - N),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3501"}},{"Add":{"text":" Ref#{mem => <>}.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3570"}}],"del_contents":[{"Del":{"text":" defp check_bounds(mem, addr, width) when addr + width > byte_size(mem), do: trap(addr, width)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26257"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":98,"ins":{"up_context":[{"change":2,"pos":26259}],"down_context":[{"change":2,"pos":26309}],"flag":"BLOCK","start":3572,"end":3781,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":26259},"to":{"change":2,"start":26259,"end":26309},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"check_bounds(_Mem, Addr, Width) when Addr < 0 ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3620"}},{"Add":{"text":" trap(Addr, Width);","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3643"}},{"Add":{"text":"check_bounds(Mem, Addr, Width) when Addr + Width > byte_size(Mem) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3712"}},{"Add":{"text":" trap(Addr, Width);","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3735"}},{"Add":{"text":"check_bounds(_Mem, _Addr, _Width) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3772"}},{"Add":{"text":" ok.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3780"}}],"del_contents":[{"Del":{"text":" defp check_bounds(_mem, _addr, _width), do: :ok","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26308"}}]}},{"Replacement":{"inode":{"change":2,"pos":23679},"path":"src/wa_embedder_memory_binary.erl","line":105,"ins":{"up_context":[{"change":2,"pos":26310}],"down_context":[],"flag":"BLOCK","start":3782,"end":3879,"inode":{"change":2,"pos":23679}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":26310},"to":{"change":2,"start":26310,"end":26418},"introduced_by":2}],"inode":{"change":2,"pos":23679}},"ins_contents":[{"Add":{"text":"trap(Addr, Width) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3802"}},{"Add":{"text":" erlang:error({wasm_trap, memory_oob, #{addr => Addr, width => Width}}).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3878"}}],"del_contents":[{"Del":{"text":" defp trap(addr, width),","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26335"}},{"Del":{"text":" do: :erlang.error({:wasm_trap, :memory_oob, %{addr: addr, width: width}})","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26413"}},{"Del":{"text":"end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:26417"}}]}},{"FileMove":{"meta":{"basename":"wa_embedder_memory.erl","metadata":0},"old":[{"basename":"memory.ex","metadata":0}],"up":[{"change":5,"pos":15}],"down":[{"change":2,"pos":21354}],"show_perms":false}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":1,"ins":{"up_context":[{"change":2,"pos":21354}],"down_context":[{"change":2,"pos":21454}],"flag":"BLOCK","start":3914,"end":4500,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":21354},"to":{"change":2,"start":21355,"end":21454},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"%% Behaviour for WaEmbedder linear-memory backends.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3965"}},{"Add":{"text":"%%","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:3968"}},{"Add":{"text":"%% A backend provides byte-addressable storage for a compiled WASM module's","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4044"}},{"Add":{"text":"%% linear memory. The reference returned by new/2 is opaque; the default","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4117"}},{"Add":{"text":"%% wa_embedder_memory_binary backend wraps a plain binary together with the","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4193"}},{"Add":{"text":"%% maximum page count.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4216"}},{"Add":{"text":"%%","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4219"}},{"Add":{"text":"%% Memory references are per-process: the compiled module caches its reference","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4298"}},{"Add":{"text":"%% in the calling process's dictionary under `{'__wasm_mem', ModuleName}'.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4373"}},{"Add":{"text":"%%","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4376"}},{"Add":{"text":"%% Pure OTP; no Elixir dependency (the Elixir WaEmbedder.Memory name shim","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4450"}},{"Add":{"text":"%% delegates here).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4470"}},{"Add":{"text":"-module(wa_embedder_memory).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4499"}}],"del_contents":[{"Del":{"text":"defmodule WaEmbedder.Memory do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21385"}},{"Del":{"text":" @moduledoc \"\"\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21402"}},{"Del":{"text":" Behaviour for WaEmbedder linear-memory backends.","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21453"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":15,"ins":{"up_context":[{"change":2,"pos":21455}],"down_context":[{"change":2,"pos":21709}],"flag":"BLOCK","start":4501,"end":4545,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":21455},"to":{"change":2,"start":21455,"end":21709},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-export([page_size/0, validate_backend/1]).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4544"}}],"del_contents":[{"Del":{"text":" A backend provides byte-addressable storage for a compiled WASM module's","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21529"}},{"Del":{"text":" linear memory. The reference returned by `new/2` is opaque; the default","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21603"}},{"Del":{"text":" `WaEmbedder.Memory.Binary` backend wraps a plain Erlang binary together","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21677"}},{"Del":{"text":" with the maximum page count.","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21708"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":17,"ins":{"up_context":[{"change":2,"pos":21710}],"down_context":[{"change":2,"pos":21870}],"flag":"BLOCK","start":4546,"end":4573,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":21710},"to":{"change":2,"start":21710,"end":21870},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-define(PAGE_SIZE, 65536).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4572"}}],"del_contents":[{"Del":{"text":" Memory references are per-process: the compiled module caches its","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21777"}},{"Del":{"text":" reference in the calling process's dictionary under","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21831"}},{"Del":{"text":" `{:__wasm_mem, module_name}`.","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21863"}},{"Del":{"text":" \"\"\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21869"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":19,"ins":{"up_context":[{"change":2,"pos":21871}],"down_context":[{"change":2,"pos":21891}],"flag":"BLOCK","start":4574,"end":4597,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":21871},"to":{"change":2,"start":21871,"end":21891},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-type ref() :: term().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4596"}}],"del_contents":[{"Del":{"text":" @page_size 65_536","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21890"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":21,"ins":{"up_context":[{"change":2,"pos":21892}],"down_context":[{"change":2,"pos":22009}],"flag":"BLOCK","start":4598,"end":4691,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":21892},"to":{"change":2,"start":21892,"end":22009},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback new(MinPages :: non_neg_integer(), MaxPages :: non_neg_integer() | none) -> ref().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4690"}}],"del_contents":[{"Del":{"text":" @callback new(min_pages :: non_neg_integer(), max_pages :: non_neg_integer() | :none) ::","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:21982"}},{"Del":{"text":" reference()","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22008"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":23,"ins":{"up_context":[{"change":2,"pos":22010}],"down_context":[{"change":3,"pos":11797}],"flag":"BLOCK","start":4692,"end":4856,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":22010},"to":{"change":2,"start":22010,"end":22747},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":22747},"to":{"change":3,"start":11618,"end":11645},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11645},"to":{"change":4,"start":32619,"end":32798},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":32798},"to":{"change":3,"start":11771,"end":11797},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11771},"to":{"change":3,"start":11771,"end":11797},"introduced_by":3}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback load(","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4707"}},{"Add":{"text":" ref(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4718"}},{"Add":{"text":" EffectiveAddress :: non_neg_integer(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4761"}},{"Add":{"text":" Width :: 1 | 2 | 4 | 8,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4789"}},{"Add":{"text":" Decode :: unsigned | signed | float","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4829"}},{"Add":{"text":") -> integer() | float().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4855"}}],"del_contents":[{"Del":{"text":" @callback load(","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22027"}},{"Del":{"text":" reference(),","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22054"}},{"Del":{"text":" effective_address :: non_neg_integer(),","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22108"}},{"Del":{"text":" width :: 1 | 2 | 4 | 8,","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22146"}},{"Del":{"text":" decode :: :unsigned | :signed | :float","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22199"}},{"Del":{"text":" ) ::","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22216"}},{"Del":{"text":" integer() | float()","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22250"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22251"}},{"Del":{"text":" @callback store(","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22270"}},{"Del":{"text":" reference(),","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22297"}},{"Del":{"text":" effective_address :: non_neg_integer(),","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22351"}},{"Del":{"text":" width :: 1 | 2 | 4 | 8,","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22389"}},{"Del":{"text":" value :: number(),","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22422"}},{"Del":{"text":" value_type :: :integer | :float","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22468"}},{"Del":{"text":" ) ::","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22485"}},{"Del":{"text":" reference()","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22511"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22512"}},{"Del":{"text":" @callback size(reference()) :: non_neg_integer()","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22563"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22564"}},{"Del":{"text":" @callback grow(reference(), delta_pages :: non_neg_integer()) :: {integer(), reference()}","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22656"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22657"}},{"Del":{"text":" @callback write_data(reference(), offset :: non_neg_integer(), payload :: binary()) ::","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22746"}},{"Del":{"text":" reference()","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:11643"}},{"Del":{"text":"","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:11644"}},{"Del":{"text":" @callback copy(","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32636"}},{"Del":{"text":" reference(),","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32663"}},{"Del":{"text":" dst :: non_neg_integer(),","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32703"}},{"Del":{"text":" src :: non_neg_integer(),","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32743"}},{"Del":{"text":" n :: non_neg_integer()","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32780"}},{"Del":{"text":" ) ::","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32797"}},{"Del":{"text":" reference()","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:11796"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":30,"ins":{"up_context":[{"change":3,"pos":11798}],"down_context":[{"change":3,"pos":11944}],"flag":"BLOCK","start":4857,"end":5024,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11798},"to":{"change":4,"start":32799,"end":32972},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":32972},"to":{"change":3,"start":11918,"end":11944},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11918},"to":{"change":3,"start":11918,"end":11944},"introduced_by":3}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback store(","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4873"}},{"Add":{"text":" ref(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4884"}},{"Add":{"text":" EffectiveAddress :: non_neg_integer(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4927"}},{"Add":{"text":" Width :: 1 | 2 | 4 | 8,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4955"}},{"Add":{"text":" Value :: number(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:4978"}},{"Add":{"text":" ValueType :: integer | float","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5011"}},{"Add":{"text":") -> ref().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5023"}}],"del_contents":[{"Del":{"text":" @callback fill(","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32816"}},{"Del":{"text":" reference(),","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32843"}},{"Del":{"text":" dst :: non_neg_integer(),","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32883"}},{"Del":{"text":" value :: integer(),","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32917"}},{"Del":{"text":" n :: non_neg_integer()","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32954"}},{"Del":{"text":" ) ::","pos":"VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC:32971"}},{"Del":{"text":" reference()","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:11943"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":38,"ins":{"up_context":[{"change":3,"pos":11945}],"down_context":[{"change":2,"pos":22773}],"flag":"BLOCK","start":5025,"end":5069,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11945},"to":{"change":3,"start":11945,"end":12119},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":12119},"to":{"change":2,"start":22747,"end":22773},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":22747},"to":{"change":2,"start":22747,"end":22773},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback size(ref()) -> non_neg_integer().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5068"}}],"del_contents":[{"Del":{"text":" @callback init(","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:11962"}},{"Del":{"text":" reference(),","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:11989"}},{"Del":{"text":" dst :: non_neg_integer(),","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12029"}},{"Del":{"text":" payload :: binary(),","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12064"}},{"Del":{"text":" n :: non_neg_integer()","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12101"}},{"Del":{"text":" ) ::","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12118"}},{"Del":{"text":" reference()","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22772"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":40,"ins":{"up_context":[{"change":2,"pos":22774}],"down_context":[{"change":2,"pos":22872}],"flag":"BLOCK","start":5070,"end":5148,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":22774},"to":{"change":2,"start":22774,"end":22872},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback grow(ref(), DeltaPages :: non_neg_integer()) -> {integer(), ref()}.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5147"}}],"del_contents":[{"Del":{"text":" @doc \"Page size in bytes (64 KiB, per the WASM specification).\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22839"}},{"Del":{"text":" def page_size, do: @page_size","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22871"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":42,"ins":{"up_context":[{"change":2,"pos":22873}],"down_context":[{"change":2,"pos":23142}],"flag":"BLOCK","start":5149,"end":5237,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":22873},"to":{"change":2,"start":22873,"end":23142},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback write_data(ref(), Offset :: non_neg_integer(), Payload :: binary()) -> ref().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5236"}}],"del_contents":[{"Del":{"text":" @doc \"\"\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22883"}},{"Del":{"text":" Validates that `backend` is loaded and exports every behaviour callback.","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:22958"}},{"Del":{"text":" Raises ArgumentError listing missing callbacks otherwise.","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23018"}},{"Del":{"text":" \"\"\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23024"}},{"Del":{"text":" def validate_backend!(backend) do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23060"}},{"Del":{"text":" case Code.ensure_loaded(backend) do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23100"}},{"Del":{"text":" {:module, ^backend} ->","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23129"}},{"Del":{"text":" :ok","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23141"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":44,"ins":{"up_context":[{"change":2,"pos":23143}],"down_context":[{"change":2,"pos":23276}],"flag":"BLOCK","start":5238,"end":5364,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23143},"to":{"change":2,"start":23143,"end":23276},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback copy(","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5253"}},{"Add":{"text":" ref(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5264"}},{"Add":{"text":" Dst :: non_neg_integer(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5294"}},{"Add":{"text":" Src :: non_neg_integer(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5324"}},{"Add":{"text":" N :: non_neg_integer()","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5351"}},{"Add":{"text":") -> ref().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5363"}}],"del_contents":[{"Del":{"text":" {:error, reason} ->","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23168"}},{"Del":{"text":" raise ArgumentError, \"memory backend #{inspect(backend)} not loadable: #{inspect(reason)}\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23267"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23275"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":51,"ins":{"up_context":[{"change":2,"pos":23277}],"down_context":[{"change":2,"pos":23354}],"flag":"BLOCK","start":5365,"end":5485,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23277},"to":{"change":3,"start":12120,"end":12284},"introduced_by":3}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback fill(","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5380"}},{"Add":{"text":" ref(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5391"}},{"Add":{"text":" Dst :: non_neg_integer(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5421"}},{"Add":{"text":" Value :: integer(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5445"}},{"Add":{"text":" N :: non_neg_integer()","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5472"}},{"Add":{"text":") -> ref().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5484"}}],"del_contents":[{"Del":{"text":" callbacks = [","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12137"}},{"Del":{"text":" new: 2,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12151"}},{"Del":{"text":" load: 4,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12166"}},{"Del":{"text":" store: 5,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12182"}},{"Del":{"text":" size: 1,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12197"}},{"Del":{"text":" grow: 2,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12212"}},{"Del":{"text":" write_data: 3,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12233"}},{"Del":{"text":" copy: 4,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12248"}},{"Del":{"text":" fill: 4,","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12263"}},{"Del":{"text":" init: 4","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12277"}},{"Del":{"text":" ]","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:12283"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":58,"ins":{"up_context":[{"change":2,"pos":23355}],"down_context":[{"change":2,"pos":23454}],"flag":"BLOCK","start":5486,"end":5607,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23355},"to":{"change":2,"start":23355,"end":23454},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"-callback init(","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5501"}},{"Add":{"text":" ref(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5512"}},{"Add":{"text":" Dst :: non_neg_integer(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5542"}},{"Add":{"text":" Payload :: binary(),","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5567"}},{"Add":{"text":" N :: non_neg_integer()","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5594"}},{"Add":{"text":") -> ref().","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5606"}}],"del_contents":[{"Del":{"text":" missing =","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23368"}},{"Del":{"text":" Enum.filter(callbacks, fn {f, a} -> not function_exported?(backend, f, a) end)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23453"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":65,"ins":{"up_context":[{"change":2,"pos":23455}],"down_context":[{"change":2,"pos":23605}],"flag":"BLOCK","start":5608,"end":5695,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23455},"to":{"change":2,"start":23455,"end":23605},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"%% Page size in bytes (64 KiB, per the WASM specification).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5667"}},{"Add":{"text":"page_size() -> ?PAGE_SIZE.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5694"}}],"del_contents":[{"Del":{"text":" if missing != [] do","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23478"}},{"Del":{"text":" raise ArgumentError,","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23505"}},{"Del":{"text":" \"memory backend #{inspect(backend)} is missing callbacks: #{inspect(missing)}\"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23596"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23604"}}]}},{"Replacement":{"inode":{"change":2,"pos":21354},"path":"src/wa_embedder_memory.erl","line":68,"ins":{"up_context":[{"change":2,"pos":23606}],"down_context":[],"flag":"BLOCK","start":5696,"end":6605,"inode":{"change":2,"pos":21354}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23606},"to":{"change":2,"start":23606,"end":23624},"introduced_by":2}],"inode":{"change":2,"pos":21354}},"ins_contents":[{"Add":{"text":"%% Validate that Backend is loaded and exports every behaviour callback.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5768"}},{"Add":{"text":"%% Returns `ok', or `{error, {not_loadable, Reason}}' / `{error, {missing,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5843"}},{"Add":{"text":"%% Missing}}'. The Elixir wrapper turns the error into an ArgumentError.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5916"}},{"Add":{"text":"validate_backend(Backend) ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5945"}},{"Add":{"text":" case code:ensure_loaded(Backend) of","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:5985"}},{"Add":{"text":" {module, Backend} ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6014"}},{"Add":{"text":" Callbacks = [","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6040"}},{"Add":{"text":" {new, 2},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6066"}},{"Add":{"text":" {load, 4},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6093"}},{"Add":{"text":" {store, 5},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6121"}},{"Add":{"text":" {size, 1},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6148"}},{"Add":{"text":" {grow, 2},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6175"}},{"Add":{"text":" {write_data, 3},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6208"}},{"Add":{"text":" {copy, 4},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6235"}},{"Add":{"text":" {fill, 4},","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6262"}},{"Add":{"text":" {init, 4}","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6288"}},{"Add":{"text":" ],","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6303"}},{"Add":{"text":" Missing = [FA || {F, A} = FA <- Callbacks, not erlang:function_exported(Backend, F, A)],","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6404"}},{"Add":{"text":" case Missing of","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6432"}},{"Add":{"text":" [] -> ok;","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6458"}},{"Add":{"text":" _ -> {error, {missing, Missing}}","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6507"}},{"Add":{"text":" end;","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6524"}},{"Add":{"text":" {error, Reason} ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6551"}},{"Add":{"text":" {error, {not_loadable, Reason}}","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6595"}},{"Add":{"text":" end.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6604"}}],"del_contents":[{"Del":{"text":" :ok","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23613"}},{"Del":{"text":" end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23619"}},{"Del":{"text":"end","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:23623"}}]}},{"Replacement":{"inode":{"change":9,"pos":1322},"path":"lib/wa_embedder.ex","line":33,"ins":{"up_context":[{"change":2,"pos":10118}],"down_context":[{"change":2,"pos":10185}],"flag":"BLOCK","start":6606,"end":6910,"inode":{"change":9,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":10118},"to":{"change":2,"start":10118,"end":10185},"introduced_by":2}],"inode":{"change":9,"pos":1322}},"ins_contents":[{"Add":{"text":" # Default to the Erlang backend so generated modules and init_memory call","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6683"}},{"Add":{"text":" # a pure-Erlang backend (keeps the core independent of Elixir). The Elixir","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6762"}},{"Add":{"text":" # WaEmbedder.Memory.Binary name shim remains available for callers/tests.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6840"}},{"Add":{"text":" backend = Keyword.get(opts, :memory, :wa_embedder_memory_binary)","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6909"}}],"del_contents":[{"Del":{"text":" backend = Keyword.get(opts, :memory, WaEmbedder.Memory.Binary)","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:10184"}}]}},{"FileAdd":{"meta":{"basename":"memory.ex","metadata":0},"context":[{"change":2,"pos":21318}],"contents":[{"Add":{"text":"defmodule WaEmbedder.Memory do","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6976"}},{"Add":{"text":" @moduledoc \"\"\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:6993"}},{"Add":{"text":" Behaviour for WaEmbedder linear-memory backends (Elixir-facing name).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7065"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7066"}},{"Add":{"text":" The implementation lives in the Erlang `:wa_embedder_memory` module; this","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7142"}},{"Add":{"text":" module is a thin shim that preserves the `WaEmbedder.Memory` name and the","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7218"}},{"Add":{"text":" `validate_backend!/1` bang-raising contract for Elixir callers and tests.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7294"}},{"Add":{"text":" The default backend is `WaEmbedder.Memory.Binary` (itself a shim over","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7366"}},{"Add":{"text":" `:wa_embedder_memory_binary`).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7399"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7400"}},{"Add":{"text":" A backend provides byte-addressable storage for a compiled WASM module's","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7475"}},{"Add":{"text":" linear memory. Memory references are per-process, cached in the calling","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7549"}},{"Add":{"text":" process's dictionary under `{:__wasm_mem, module_name}`.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7608"}},{"Add":{"text":" \"\"\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7614"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7615"}},{"Add":{"text":" @doc \"Page size in bytes (64 KiB, per the WASM specification).\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7681"}},{"Add":{"text":" def page_size, do: :wa_embedder_memory.page_size()","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7734"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7735"}},{"Add":{"text":" @doc \"\"\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7746"}},{"Add":{"text":" Validates that `backend` is loaded and exports every behaviour callback.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7821"}},{"Add":{"text":" Raises `ArgumentError` listing missing callbacks (or a load failure)","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7892"}},{"Add":{"text":" otherwise. Delegates the check to `:wa_embedder_memory.validate_backend/1`.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7970"}},{"Add":{"text":" \"\"\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:7976"}},{"Add":{"text":" def validate_backend!(backend) do","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8012"}},{"Add":{"text":" case :wa_embedder_memory.validate_backend(backend) do","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8070"}},{"Add":{"text":" :ok ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8083"}},{"Add":{"text":" :ok","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8095"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8096"}},{"Add":{"text":" {:error, {:missing, missing}} ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8135"}},{"Add":{"text":" raise ArgumentError,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8164"}},{"Add":{"text":" \"memory backend #{inspect(backend)} is missing callbacks: #{inspect(missing)}\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8257"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8258"}},{"Add":{"text":" {:error, {:not_loadable, reason}} ->","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8301"}},{"Add":{"text":" raise ArgumentError,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8330"}},{"Add":{"text":" \"memory backend #{inspect(backend)} not loadable: #{inspect(reason)}\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8414"}},{"Add":{"text":" end","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8422"}},{"Add":{"text":" end","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8428"}},{"Add":{"text":"end","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8432"}}]}},{"FileAdd":{"meta":{"basename":"binary.ex","metadata":0},"context":[{"change":2,"pos":23643}],"contents":[{"Add":{"text":"defmodule WaEmbedder.Memory.Binary do","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8506"}},{"Add":{"text":" @moduledoc \"\"\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8523"}},{"Add":{"text":" Default linear-memory backend (Elixir-facing name), a thin shim over the","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8598"}},{"Add":{"text":" Erlang `:wa_embedder_memory_binary` implementation. Retained so the","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8668"}},{"Add":{"text":" `WaEmbedder.Memory.Binary` name and its direct API stay callable from Elixir","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8747"}},{"Add":{"text":" (and so `WaEmbedder.Memory.validate_backend!/1` sees all nine callbacks","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8821"}},{"Add":{"text":" exported here).","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8839"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8840"}},{"Add":{"text":" The reference is the opaque `%{mem: binary, max: max | :none}` map produced","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8918"}},{"Add":{"text":" by the Erlang backend; out-of-bounds access traps via","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:8974"}},{"Add":{"text":" `:erlang.error({:wasm_trap, :memory_oob, %{addr: addr, width: width}})`.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9049"}},{"Add":{"text":" \"\"\"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9055"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9056"}},{"Add":{"text":" # The behaviour callbacks live in the Erlang `:wa_embedder_memory` module","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9132"}},{"Add":{"text":" # (`-callback` decls); validate_backend!/1 checks them via function_exported?,","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9213"}},{"Add":{"text":" # so no `@behaviour` attribute is needed here.","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9262"}},{"Add":{"text":"","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9263"}},{"Add":{"text":" defdelegate new(min_pages, max_pages), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9335"}},{"Add":{"text":" defdelegate load(ref, addr, width, decode), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9412"}},{"Add":{"text":" defdelegate store(ref, addr, width, value, value_type), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9501"}},{"Add":{"text":" defdelegate size(ref), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9557"}},{"Add":{"text":" defdelegate grow(ref, delta), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9620"}},{"Add":{"text":" defdelegate write_data(ref, offset, payload), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9699"}},{"Add":{"text":" defdelegate copy(ref, dst, src, n), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9768"}},{"Add":{"text":" defdelegate fill(ref, dst, value, n), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9839"}},{"Add":{"text":" defdelegate init(ref, dst, payload, n), to: :wa_embedder_memory_binary","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9912"}},{"Add":{"text":"end","pos":"MFKWIYCP4GM44QVJ2SXGR7RDWL7LMKQL534BIASILU25RTHI7E4AC:9916"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"bcxCwXealLzI9e7LZ44sOh1DoKZwK16nN5UJtNzdlo4=","login":null}

…

Dependencies

Change contents

Review