{"header":{"message":"numerics","description":null,"timestamp":"2026-08-25T11:21:05.953052Z","authors":[{}]},"hash":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIELrmBO3AzxdzQnCQ0NYwyGTTDNhyOxUD69vMNe6o2xc"}],"deps":{"hashes":[["YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC","numerics"],["AA",null],["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","First success compilation"],["UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","add wat fixtures"],["RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC","compilation for the control flow"],["Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","embedding memory instructions"],["GCVBQSRAU6AVYHZT5WFVLUXU3N22RBQCLK4PKPLU5TACVBUZTP2AC","globals and extensions and type select"],["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC","Initial commit"],["KFLYOSTI7YNXINV7WSZ2YYOL66GHXP5SVGD6HX4ECXZL4N2LLYCQC","Add basic tests"]],"deps":["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","UC22XFOK2RF4RCQGZPBYQYMYNLMZSC43V5BSYBNSAAZMGMDEQSHAC","RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC","Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","GCVBQSRAU6AVYHZT5WFVLUXU3N22RBQCLK4PKPLU5TACVBUZTP2AC"],"known":["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC"]},"hunks":[{"FileAdd":{"meta":{"basename":"17_conversions.wat","metadata":0},"context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:51"}},{"Add":{"text":" (func (export \"wrap\") (param i64) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:100"}},{"Add":{"text":" local.get 0 i32.wrap_i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:130"}},{"Add":{"text":" (func (export \"extend_s\") (param i32) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:183"}},{"Add":{"text":" local.get 0 i64.extend_i32_s)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:217"}},{"Add":{"text":" (func (export \"extend_u\") (param i32) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:270"}},{"Add":{"text":" local.get 0 i64.extend_i32_u)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:304"}},{"Add":{"text":" (func (export \"demote\") (param f64) (result f32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:355"}},{"Add":{"text":" local.get 0 f32.demote_f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:387"}},{"Add":{"text":" (func (export \"promote\") (param f32) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:439"}},{"Add":{"text":" local.get 0 f64.promote_f32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:472"}},{"Add":{"text":" (func (export \"trunc_s\") (param f64) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:524"}},{"Add":{"text":" local.get 0 i32.trunc_f64_s)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:557"}},{"Add":{"text":" (func (export \"trunc_sat_s\") (param f64) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:613"}},{"Add":{"text":" local.get 0 i32.trunc_sat_f64_s)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:650"}},{"Add":{"text":" (func (export \"trunc_sat_u\") (param f64) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:706"}},{"Add":{"text":" local.get 0 i32.trunc_sat_f64_u)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:743"}},{"Add":{"text":" (func (export \"convert_s\") (param i32) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:797"}},{"Add":{"text":" local.get 0 f64.convert_i32_s)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:832"}},{"Add":{"text":" (func (export \"reinterpret_f32_i32\") (param f32) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:896"}},{"Add":{"text":" local.get 0 i32.reinterpret_f32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:933"}},{"Add":{"text":" (func (export \"reinterpret_i32_f32\") (param i32) (result f32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:997"}},{"Add":{"text":" local.get 0 f32.reinterpret_i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1034"}},{"Add":{"text":" (func (export \"reinterpret_f64_i64\") (param f64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1098"}},{"Add":{"text":" local.get 0 i64.reinterpret_f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1135"}},{"Add":{"text":" (func (export \"reinterpret_i64_f64\") (param i64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1199"}},{"Add":{"text":" local.get 0 f64.reinterpret_i64))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1237"}}]}},{"FileAdd":{"meta":{"basename":"16_f32_arithm.wat","metadata":0},"context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1289"}},{"Add":{"text":" (func (export \"add\") (param f32 f32) (result f32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1341"}},{"Add":{"text":" local.get 0 local.get 1 f32.add)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1378"}},{"Add":{"text":" (func (export \"div\") (param f32 f32) (result f32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1430"}},{"Add":{"text":" local.get 0 local.get 1 f32.div)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1467"}},{"Add":{"text":" (func (export \"nearest\") (param f32) (result f32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1519"}},{"Add":{"text":" local.get 0 f32.nearest)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1548"}},{"Add":{"text":" (func (export \"lt\") (param f32 f32) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1599"}},{"Add":{"text":" local.get 0 local.get 1 f32.lt))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1636"}}]}},{"FileAdd":{"meta":{"basename":"15_f64_arithm.wat","metadata":0},"context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1688"}},{"Add":{"text":" (func (export \"div\") (param f64 f64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1740"}},{"Add":{"text":" local.get 0 local.get 1 f64.div)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1777"}},{"Add":{"text":" (func (export \"nearest\") (param f64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1829"}},{"Add":{"text":" local.get 0 f64.nearest)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1858"}},{"Add":{"text":" (func (export \"copysign\") (param f64 f64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1915"}},{"Add":{"text":" local.get 0 local.get 1 f64.copysign)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:1957"}},{"Add":{"text":" (func (export \"sqrt\") (param f64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2006"}},{"Add":{"text":" local.get 0 f64.sqrt)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2032"}},{"Add":{"text":" (func (export \"min\") (param f64 f64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2084"}},{"Add":{"text":" local.get 0 local.get 1 f64.min)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2121"}},{"Add":{"text":" (func (export \"max\") (param f64 f64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2173"}},{"Add":{"text":" local.get 0 local.get 1 f64.max)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2210"}},{"Add":{"text":" (func (export \"floor\") (param f64) (result f64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2260"}},{"Add":{"text":" local.get 0 f64.floor)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2287"}},{"Add":{"text":" (func (export \"lt\") (param f64 f64) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2338"}},{"Add":{"text":" local.get 0 local.get 1 f64.lt))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2375"}}]}},{"FileAdd":{"meta":{"basename":"14_i64_arithm.wat","metadata":0},"context":[{"change":3,"pos":15}],"contents":[{"Add":{"text":"(module","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2427"}},{"Add":{"text":" (func (export \"add_wrap\") (param i64 i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2484"}},{"Add":{"text":" local.get 0 local.get 1 i64.add)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2521"}},{"Add":{"text":" (func (export \"mul_wrap\") (param i64 i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2578"}},{"Add":{"text":" local.get 0 local.get 1 i64.mul)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2615"}},{"Add":{"text":" (func (export \"div_s\") (param i64 i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2669"}},{"Add":{"text":" local.get 0 local.get 1 i64.div_s)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2708"}},{"Add":{"text":" (func (export \"shr_s\") (param i64 i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2762"}},{"Add":{"text":" local.get 0 local.get 1 i64.shr_s)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2801"}},{"Add":{"text":" (func (export \"shr_u\") (param i64 i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2855"}},{"Add":{"text":" local.get 0 local.get 1 i64.shr_u)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2894"}},{"Add":{"text":" (func (export \"shl\") (param i64 i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2946"}},{"Add":{"text":" local.get 0 local.get 1 i64.shl)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:2983"}},{"Add":{"text":" (func (export \"rotl\") (param i64 i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3036"}},{"Add":{"text":" local.get 0 local.get 1 i64.rotl)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3074"}},{"Add":{"text":" (func (export \"clz\") (param i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3122"}},{"Add":{"text":" local.get 0 i64.clz)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3147"}},{"Add":{"text":" (func (export \"ctz\") (param i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3195"}},{"Add":{"text":" local.get 0 i64.ctz)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3220"}},{"Add":{"text":" (func (export \"popcnt\") (param i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3271"}},{"Add":{"text":" local.get 0 i64.popcnt)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3299"}},{"Add":{"text":" (func (export \"lt_s\") (param i64 i64) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3352"}},{"Add":{"text":" local.get 0 local.get 1 i64.lt_s)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3390"}},{"Add":{"text":" (func (export \"lt_u\") (param i64 i64) (result i32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3443"}},{"Add":{"text":" local.get 0 local.get 1 i64.lt_u)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3481"}},{"Add":{"text":" (func (export \"extend32_s\") (param i64) (result i64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3536"}},{"Add":{"text":" local.get 0 i64.extend32_s))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3569"}}]}},{"Edit":{"inode":{"change":9,"pos":62},"path":"test/wa_embedder_test.exs","line":162,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":1980}],"down_context":[{"change":5,"pos":4231}],"flag":"BLOCK","start":3571,"end":9139,"inode":{"change":9,"pos":62}}},"contents":[{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3578"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3584"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3585"}},{"Add":{"text":" describe \"numeric completeness\" do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3622"}},{"Add":{"text":" @u64_max 18_446_744_073_709_551_615","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3662"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3663"}},{"Add":{"text":" test \"i64 arithmetic wraps at 64 bits\" do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3709"}},{"Add":{"text":" assert {:module, :\"14_i64_arithm\"} = compile_wat(\"14_i64_arithm\")","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3781"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3782"}},{"Add":{"text":" # 2^63 - 1 + 1 wraps into canonical u64 positive range","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3843"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"add_wrap\", [9_223_372_036_854_775_807, 1]) ==","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3926"}},{"Add":{"text":" 9_223_372_036_854_775_808","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3967"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:3968"}},{"Add":{"text":" # (-1) * 2 wraps to 2^64 - 2","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4003"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"mul_wrap\", [-1, 2]) == 18_446_744_073_709_551_614","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4090"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4091"}},{"Add":{"text":" # signed division of negatives","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4128"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"div_s\", [-8, 2]) == @u64_max - 3","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4198"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4199"}},{"Add":{"text":" # signed vs unsigned shift of -2","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4238"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"shr_s\", [-2, 1]) == @u64_max","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4304"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"shr_u\", [@u64_max, 1]) == 9_223_372_036_854_775_807","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4393"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4394"}},{"Add":{"text":" # shift count masked to 6 bits: shift by 64 == shift by 0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4458"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"shl\", [1, 63]) == 9_223_372_036_854_775_808","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4539"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"shl\", [1, 64]) == 1","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4596"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4597"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"rotl\", [1, 1]) == 2","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4654"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"rotl\", [9_223_372_036_854_775_808, 1]) == 1","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4735"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4736"}},{"Add":{"text":" # clz/ctz/popcnt","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4759"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"clz\", [0]) == 64","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4813"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"clz\", [1]) == 63","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4867"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"ctz\", [0]) == 64","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4921"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"ctz\", [12]) == 2","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:4975"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"popcnt\", [255]) == 8","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5033"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"popcnt\", [@u64_max]) == 64","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5097"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5098"}},{"Add":{"text":" # signed vs unsigned comparison of -2 and 0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5148"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"lt_s\", [-2, -1]) == true","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5210"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"lt_u\", [@u64_max, 0]) == false","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5278"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5279"}},{"Add":{"text":" # sign-extend lowest 32 bits: 0x80000000 -> 0xFFFFFFFF80000000","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5348"}},{"Add":{"text":" assert call(:\"14_i64_arithm\", \"extend32_s\", [0x80000000]) == 18_446_744_071_562_067_968","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5442"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5450"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5451"}},{"Add":{"text":" test \"f64 arithmetic, nearest ties-to-even, copysign\" do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5512"}},{"Add":{"text":" assert {:module, :\"15_f64_arithm\"} = compile_wat(\"15_f64_arithm\")","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5584"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5585"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"div\", [1.0, 8.0]) == 0.125","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5649"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5650"}},{"Add":{"text":" # nearest: ties round to even","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5686"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"nearest\", [0.5]) == 0.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5747"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"nearest\", [1.5]) == 2.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5808"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"nearest\", [2.5]) == 2.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5869"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"nearest\", [3.5]) == 4.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5930"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"nearest\", [-0.5]) == 0.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:5992"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"nearest\", [-1.5]) == -2.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6055"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6056"}},{"Add":{"text":" # copysign: magnitude of first, sign bit of second (incl. -0.0)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6126"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"copysign\", [3.0, -1.0]) == -3.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6195"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"copysign\", [3.0, 1.0]) == 3.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6262"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"copysign\", [-3.0, 1.0]) == 3.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6330"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"copysign\", [3.0, -0.0]) == -3.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6399"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6400"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"sqrt\", [2.0]) == :math.sqrt(2.0)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6470"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"min\", [-1.5, 1.5]) == -1.5","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6534"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"max\", [-1.5, 1.5]) == 1.5","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6597"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"floor\", [-2.5]) == -3.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6658"}},{"Add":{"text":" assert call(:\"15_f64_arithm\", \"lt\", [1.5, 2.5]) == true","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6720"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6728"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6729"}},{"Add":{"text":" test \"f32 arithmetic truncates to single precision\" do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6788"}},{"Add":{"text":" assert {:module, :\"16_f32_arithm\"} = compile_wat(\"16_f32_arithm\")","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6860"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6861"}},{"Add":{"text":" # 0.1 + 0.2 at f32 precision differs from the f64 result 0.30000000000000004","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:6944"}},{"Add":{"text":" assert call(:\"16_f32_arithm\", \"add\", [0.1, 0.2]) == 0.30000001192092896","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7022"}},{"Add":{"text":" assert call(:\"16_f32_arithm\", \"add\", [1.0, 2.0]) == 3.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7084"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7085"}},{"Add":{"text":" # 1/3 at f32 precision","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7114"}},{"Add":{"text":" assert call(:\"16_f32_arithm\", \"div\", [1.0, 3.0]) == 0.3333333432674408","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7191"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7192"}},{"Add":{"text":" assert call(:\"16_f32_arithm\", \"nearest\", [1.5]) == 2.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7253"}},{"Add":{"text":" assert call(:\"16_f32_arithm\", \"nearest\", [0.5]) == 0.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7314"}},{"Add":{"text":" assert call(:\"16_f32_arithm\", \"lt\", [1.0, 2.0]) == true","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7376"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7384"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7385"}},{"Add":{"text":" test \"type conversions incl. trapping trunc and saturating trunc_sat\" do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7462"}},{"Add":{"text":" assert {:module, :\"17_conversions\"} = compile_wat(\"17_conversions\")","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7536"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7537"}},{"Add":{"text":" # wrap / extend","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7559"}},{"Add":{"text":" assert call(:\"17_conversions\", \"wrap\", [0x1FFFFFFFF]) == 0xFFFFFFFF","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7633"}},{"Add":{"text":" assert call(:\"17_conversions\", \"extend_s\", [-1]) == @u64_max","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7700"}},{"Add":{"text":" assert call(:\"17_conversions\", \"extend_u\", [-1]) == 0xFFFFFFFF","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7769"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7770"}},{"Add":{"text":" # demote / promote","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7795"}},{"Add":{"text":" assert call(:\"17_conversions\", \"demote\", [1.1]) == 1.100000023841858","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7870"}},{"Add":{"text":" assert call(:\"17_conversions\", \"promote\", [1.100000023841858]) == 1.100000023841858","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7960"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:7961"}},{"Add":{"text":" # trapping trunc: boundary ok, out-of-range traps","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8017"}},{"Add":{"text":" assert call(:\"17_conversions\", \"trunc_s\", [2_147_483_647.0]) == 2_147_483_647","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8101"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8102"}},{"Add":{"text":" assert_raise ArgumentError, fn ->","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8142"}},{"Add":{"text":" call(:\"17_conversions\", \"trunc_s\", [2_147_483_648.0])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8204"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8214"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8215"}},{"Add":{"text":" # saturating trunc: clamps instead of trapping","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8268"}},{"Add":{"text":" assert call(:\"17_conversions\", \"trunc_sat_s\", [2_147_483_648.0]) == 2_147_483_647","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8356"}},{"Add":{"text":" assert call(:\"17_conversions\", \"trunc_sat_s\", [-2_147_483_649.0]) == 2_147_483_648","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8445"}},{"Add":{"text":" assert call(:\"17_conversions\", \"trunc_sat_u\", [-1.9]) == 0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8510"}},{"Add":{"text":" assert call(:\"17_conversions\", \"trunc_sat_u\", [4_294_967_296.0]) == 4_294_967_295","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8598"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8599"}},{"Add":{"text":" # convert","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8615"}},{"Add":{"text":" assert call(:\"17_conversions\", \"convert_s\", [-1]) == -1.0","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8679"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8680"}},{"Add":{"text":" # reinterpret bitcasts (1.5f32 = 0x3FC00000, 1.5f64 = 0x3FF8000000000000)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8760"}},{"Add":{"text":" assert call(:\"17_conversions\", \"reinterpret_f32_i32\", [1.5]) == 1_069_547_520","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8844"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8845"}},{"Add":{"text":" assert call(:\"17_conversions\", \"reinterpret_i32_f32\", [1_069_547_520]) == 1.5","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8929"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:8930"}},{"Add":{"text":" assert call(:\"17_conversions\", \"reinterpret_f64_i64\", [1.5]) ==","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9000"}},{"Add":{"text":" 4_609_434_218_613_702_656","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9041"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9042"}},{"Add":{"text":" assert call(:\"17_conversions\", \"reinterpret_i64_f64\", [4_609_434_218_613_702_656]) == 1.5","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9138"}}]}},{"Replacement":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":7,"ins":{"up_context":[{"change":4,"pos":22}],"down_context":[{"change":4,"pos":65}],"flag":"BLOCK","start":9140,"end":9174,"inode":{"change":7,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":22},"to":{"change":4,"start":22,"end":23},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":23},"to":{"change":6,"start":1983,"end":2050},"introduced_by":6}],"inode":{"change":7,"pos":1322}},"ins_contents":[{"Add":{"text":" @m64 18_446_744_073_709_551_615","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9173"}}],"del_contents":[{"Del":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:22"}},{"Del":{"text":" @unary_nums [:eqz, :clz, :ctz, :popcnt, :extend8_s, :extend16_s]","pos":"GCVBQSRAU6AVYHZT5WFVLUXU3N22RBQCLK4PKPLU5TACVBUZTP2AC:2049"}}]}},{"Replacement":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":9,"ins":{"up_context":[{"change":4,"pos":66}],"down_context":[{"change":2,"pos":0}],"flag":"BLOCK","start":9175,"end":10532,"inode":{"change":7,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":66},"to":{"change":4,"start":66,"end":215},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":215},"to":{"change":6,"start":2051,"end":2095},"introduced_by":6},{"previous":"","flag":"DELETED","from":{"change":6,"pos":2095},"to":{"change":4,"start":238,"end":243},"introduced_by":6},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":238},"to":{"change":4,"start":238,"end":243},"introduced_by":4}],"inode":{"change":7,"pos":1322}},"ins_contents":[{"Add":{"text":" # Numeric instruction classification by full instruction name: unary ops","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9249"}},{"Add":{"text":" # pop one operand, everything else pops two.","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9296"}},{"Add":{"text":" @unary_ops MapSet.new([","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9322"}},{"Add":{"text":" :\"i32.eqz\", :\"i32.clz\", :\"i32.ctz\", :\"i32.popcnt\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9377"}},{"Add":{"text":" :\"i32.extend8_s\", :\"i32.extend16_s\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9418"}},{"Add":{"text":" :\"i64.eqz\", :\"i64.clz\", :\"i64.ctz\", :\"i64.popcnt\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9473"}},{"Add":{"text":" :\"i64.extend8_s\", :\"i64.extend16_s\", :\"i64.extend32_s\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9533"}},{"Add":{"text":" :\"f32.abs\", :\"f32.neg\", :\"f32.ceil\", :\"f32.floor\", :\"f32.trunc\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9602"}},{"Add":{"text":" :\"f32.nearest\", :\"f32.sqrt\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9635"}},{"Add":{"text":" :\"f64.abs\", :\"f64.neg\", :\"f64.ceil\", :\"f64.floor\", :\"f64.trunc\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9704"}},{"Add":{"text":" :\"f64.nearest\", :\"f64.sqrt\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9737"}},{"Add":{"text":" :\"i32.wrap_i64\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9758"}},{"Add":{"text":" :\"i64.extend_i32_u\", :\"i64.extend_i32_s\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9804"}},{"Add":{"text":" :\"f64.promote_f32\", :\"f32.demote_f64\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9847"}},{"Add":{"text":" :\"i32.trunc_f32_s\", :\"i32.trunc_f32_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9891"}},{"Add":{"text":" :\"i32.trunc_f64_s\", :\"i32.trunc_f64_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9935"}},{"Add":{"text":" :\"i64.trunc_f32_s\", :\"i64.trunc_f32_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:9979"}},{"Add":{"text":" :\"i64.trunc_f64_s\", :\"i64.trunc_f64_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10023"}},{"Add":{"text":" :\"i32.trunc_sat_f32_s\", :\"i32.trunc_sat_f32_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10075"}},{"Add":{"text":" :\"i32.trunc_sat_f64_s\", :\"i32.trunc_sat_f64_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10127"}},{"Add":{"text":" :\"i64.trunc_sat_f32_s\", :\"i64.trunc_sat_f32_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10179"}},{"Add":{"text":" :\"i64.trunc_sat_f64_s\", :\"i64.trunc_sat_f64_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10231"}},{"Add":{"text":" :\"f32.convert_i32_s\", :\"f32.convert_i32_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10279"}},{"Add":{"text":" :\"f32.convert_i64_s\", :\"f32.convert_i64_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10327"}},{"Add":{"text":" :\"f64.convert_i32_s\", :\"f64.convert_i32_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10375"}},{"Add":{"text":" :\"f64.convert_i64_s\", :\"f64.convert_i64_u\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10423"}},{"Add":{"text":" :\"i32.reinterpret_f32\", :\"i64.reinterpret_f64\",","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10475"}},{"Add":{"text":" :\"f32.reinterpret_i32\", :\"f64.reinterpret_i64\"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10526"}},{"Add":{"text":" ])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10531"}}],"del_contents":[{"Del":{"text":" @supported_nums ~w(","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:87"}},{"Del":{"text":" add sub mul div_s div_u rem_s rem_u and or xor shl shr_s shr_u rotl rotr","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:164"}},{"Del":{"text":" eq ne lt_s lt_u gt_s gt_u le_s le_u ge_s ge_u","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:214"}},{"Del":{"text":" eqz clz ctz popcnt extend8_s extend16_s","pos":"GCVBQSRAU6AVYHZT5WFVLUXU3N22RBQCLK4PKPLU5TACVBUZTP2AC:2094"}},{"Del":{"text":" )a","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:242"}}]}},{"Replacement":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":799,"ins":{"up_context":[{"change":4,"pos":13273}],"down_context":[{"change":4,"pos":13316}],"flag":"BLOCK","start":10533,"end":10562,"inode":{"change":7,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":13273},"to":{"change":4,"start":13273,"end":13316},"introduced_by":4}],"inode":{"change":7,"pos":1322}},"ins_contents":[{"Add":{"text":" if name in @unary_ops do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10561"}}],"del_contents":[{"Del":{"text":" if num_suffix!(name) in @unary_nums do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:13315"}}]}},{"Edit":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":968,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":19828},"to":{"change":5,"start":19828,"end":19829},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":19829},"to":{"change":4,"start":14461,"end":14655},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14461},"to":{"change":4,"start":14461,"end":14655},"introduced_by":4}],"inode":{"change":7,"pos":1322}}},"contents":[{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:19828"}},{"Del":{"text":" defp num_suffix!(name) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14488"}},{"Del":{"text":" case Atom.to_string(name) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14521"}},{"Del":{"text":" \"i32.\" <> suffix -> String.to_atom(suffix)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14570"}},{"Del":{"text":" _ -> raise(\"unsupported numeric instruction: #{inspect(name)}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14640"}},{"Del":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14648"}},{"Del":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14654"}}]}},{"Edit":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":969,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":14656}],"down_context":[{"change":4,"pos":14656}],"flag":"BLOCK","start":10563,"end":10632,"inode":{"change":7,"pos":1322}}},"contents":[{"Add":{"text":" # :\"i64.add\" -> :\"__i64_add\"; :\"i32.wrap_i64\" -> :\"__i32_wrap_i64\"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10631"}}]}},{"Replacement":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":971,"ins":{"up_context":[{"change":4,"pos":14684}],"down_context":[{"change":4,"pos":14891}],"flag":"BLOCK","start":10633,"end":10708,"inode":{"change":7,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14684},"to":{"change":4,"start":14684,"end":14891},"introduced_by":4}],"inode":{"change":7,"pos":1322}},"ins_contents":[{"Add":{"text":" String.to_atom(\"__\" <> String.replace(Atom.to_string(name), \".\", \"_\"))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10707"}}],"del_contents":[{"Del":{"text":" suffix = num_suffix!(name)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14714"}},{"Del":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14715"}},{"Del":{"text":" if suffix in @supported_nums do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14751"}},{"Del":{"text":" String.to_atom(\"__i32_\" <> Atom.to_string(suffix))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14808"}},{"Del":{"text":" else","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14817"}},{"Del":{"text":" raise(\"unsupported numeric instruction: #{inspect(name)}\")","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14882"}},{"Del":{"text":" end","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14890"}}]}},{"Edit":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":973,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14897},"to":{"change":4,"start":14897,"end":15029},"introduced_by":4}],"inode":{"change":7,"pos":1322}}},"contents":[{"Del":{"text":"","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14897"}},{"Del":{"text":" defp numeric_helper_form(name) do","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14933"}},{"Del":{"text":" suffix = num_suffix!(name)","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:14964"}},{"Del":{"text":" helper = String.to_atom(\"__i32_\" <> Atom.to_string(suffix))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15028"}}]}},{"Edit":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":974,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":15030}],"down_context":[{"change":4,"pos":15030}],"flag":"BLOCK","start":10709,"end":10757,"inode":{"change":7,"pos":1322}}},"contents":[{"Add":{"text":" defp i32_helper_form(name, helper, suffix) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10756"}}]}},{"Replacement":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":986,"ins":{"up_context":[{"change":4,"pos":15335}],"down_context":[{"change":4,"pos":15366}],"flag":"BLOCK","start":10758,"end":10786,"inode":{"change":7,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":15335},"to":{"change":4,"start":15335,"end":15366},"introduced_by":4}],"inode":{"change":7,"pos":1322}},"ins_contents":[{"Add":{"text":" name in @unary_ops ->","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10785"}}],"del_contents":[{"Del":{"text":" suffix in @unary_nums ->","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:15365"}}]}},{"Edit":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":996,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":15676}],"down_context":[{"change":4,"pos":15676}],"flag":"BLOCK","start":10787,"end":28502,"inode":{"change":7,"pos":1322}}},"contents":[{"Add":{"text":" # i64 / f32 / f64 / conversion helpers: bodies are hand-built abstract","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10859"}},{"Add":{"text":" # format. Bit-operator parens are implicit in the AST; `band` binds","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10929"}},{"Add":{"text":" # tighter than bxor/bor/bsl/bsr in the equivalent Erlang source.","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10996"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:10997"}},{"Add":{"text":" defp numeric_helper_form(name) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11033"}},{"Add":{"text":" helper = num_helper!(name)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11064"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11065"}},{"Add":{"text":" case numeric_body_af(name) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11099"}},{"Add":{"text":" nil ->","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11112"}},{"Add":{"text":" case Atom.to_string(name) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11149"}},{"Add":{"text":" \"i32.\" <> suffix -> i32_helper_form(name, helper, String.to_atom(suffix))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11233"}},{"Add":{"text":" other -> raise(\"unsupported numeric instruction: #{other}\")","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11303"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11315"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11316"}},{"Add":{"text":" body ->","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11330"}},{"Add":{"text":" arity = if name in @unary_ops, do: 1, else: 2","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11384"}},{"Add":{"text":" patterns = if arity == 1, do: [af_var(:A)], else: [af_var(:A), af_var(:B)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11467"}},{"Add":{"text":" {:function, ann(), helper, arity, [af_clause(patterns, body)]}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11538"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11546"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11552"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11553"}},{"Add":{"text":" # --- abstract-format builders for helper bodies ------------------------------","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11635"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11636"}},{"Add":{"text":" defp af_bin(elems), do: {:bin, ann(), elems}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11683"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11684"}},{"Add":{"text":" defp af_bin_elem(value, size), do: af_bin_elem(value, size, :default)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11756"}},{"Add":{"text":" defp af_bin_elem(value, :default, tl), do: {:bin_element, ann(), value, :default, tl}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11844"}},{"Add":{"text":" defp af_bin_elem(value, size, tl), do: {:bin_element, ann(), value, af_int(size), tl}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11932"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11933"}},{"Add":{"text":" defp af_remote(mod, fun, args) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:11969"}},{"Add":{"text":" {:call, ann(), {:remote, ann(), af_atom(mod), af_atom(fun)}, args}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12040"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12046"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12047"}},{"Add":{"text":" # case clause with a guard on the bound pattern (trunc range checks)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12118"}},{"Add":{"text":" defp guarded_clause(pat, guard, body), do: {:clause, ann(), [pat], [[guard]], body}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12204"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12205"}},{"Add":{"text":" defp af_float(f), do: {:float, ann(), f}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12248"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12249"}},{"Add":{"text":" defp norm64(x), do: af_op(:band, x, af_int(@m64))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12301"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12302"}},{"Add":{"text":" # canonical u64 -> signed i64 (norm first: params may enter as raw negatives)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12382"}},{"Add":{"text":" defp bias64(x) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12402"}},{"Add":{"text":" n = norm64(x)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12420"}},{"Add":{"text":" af_op(:-, n, af_op(:bsl, af_op(:bsr, n, af_int(63)), af_int(64)))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12490"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12496"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12497"}},{"Add":{"text":" defp bias32(x) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12517"}},{"Add":{"text":" n = af_op(:band, x, af_int(@m32))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12555"}},{"Add":{"text":" af_op(:-, n, af_op(:bsl, af_op(:bsr, n, af_int(31)), af_int(32)))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12625"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12631"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12632"}},{"Add":{"text":" # round a double through a 32-bit float segment (f32 precision)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12698"}},{"Add":{"text":" defp f32_round(expr) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12724"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:R), 32, [:float])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12787"}},{"Add":{"text":" af_bin([af_bin_elem(expr, 32, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12845"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12862"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12868"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12869"}},{"Add":{"text":" defp f32_wrapped(body) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12897"}},{"Add":{"text":" expr = if length(body) == 1, do: hd(body), else: {:block, ann(), body}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12972"}},{"Add":{"text":" f32_round(expr)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12992"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12998"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:12999"}},{"Add":{"text":" defp i64_signed_cmp(op) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13028"}},{"Add":{"text":" [af_match(af_var(:XA), bias64(af_var(:A))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13076"}},{"Add":{"text":" af_match(af_var(:XB), bias64(af_var(:B))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13124"}},{"Add":{"text":" af_op(op, af_var(:XA), af_var(:XB))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13166"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13172"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13173"}},{"Add":{"text":" defp f64_nearest_body do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13200"}},{"Add":{"text":" [af_match(af_var(:T), erl_call(:trunc, [af_var(:A)])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13259"}},{"Add":{"text":" af_match(af_var(:D), erl_call(:abs, [af_op(:-, af_var(:A), af_var(:T))])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13339"}},{"Add":{"text":" af_match(af_var(:S),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13365"}},{"Add":{"text":" {:if, ann(),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13385"}},{"Add":{"text":" [","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13395"}},{"Add":{"text":" guard_clause(af_op(:<, af_var(:A), af_float(0.0)), [af_int(-1)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13471"}},{"Add":{"text":" guard_clause(af_atom(:true), [af_int(1)])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13523"}},{"Add":{"text":" ]}),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13536"}},{"Add":{"text":" {:if, ann(),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13554"}},{"Add":{"text":" [","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13562"}},{"Add":{"text":" guard_clause(af_op(:<, af_var(:D), af_float(0.5)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13621"}},{"Add":{"text":" [af_op(:*, af_var(:T), af_float(1.0))]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13672"}},{"Add":{"text":" guard_clause(af_op(:>, af_var(:D), af_float(0.5)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13731"}},{"Add":{"text":" [af_op(:*, af_op(:+, af_var(:T), af_var(:S)), af_float(1.0))]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13805"}},{"Add":{"text":" guard_clause(af_op(:==, af_op(:rem, af_var(:T), af_int(2)), af_int(0)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13885"}},{"Add":{"text":" [af_op(:*, af_var(:T), af_float(1.0))]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13936"}},{"Add":{"text":" guard_clause(af_atom(:true),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:13973"}},{"Add":{"text":" [af_op(:*, af_op(:+, af_var(:T), af_var(:S)), af_float(1.0))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14046"}},{"Add":{"text":" ]}]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14056"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14062"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14063"}},{"Add":{"text":" # magnitude of A, sign BIT of B (bit-exact, handles -0.0)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14123"}},{"Add":{"text":" defp f64_copysign_body do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14151"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:AS), 1), af_bin_elem(af_var(:AR), 63)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14234"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:A), 64, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14298"}},{"Add":{"text":" af_match(af_bin([af_bin_elem(af_var(:BS), 1), af_bin_elem(af_var(:_), :default, [:bits])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14395"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:B), 64, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14459"}},{"Add":{"text":" af_match(af_bin([af_bin_elem(af_var(:R), :default, [:float])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14528"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:BS), 1), af_bin_elem(af_var(:AR), 63)])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14612"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14629"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14635"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14636"}},{"Add":{"text":" # trapping trunc: out-of-range (or non-finite, unrepresentable on BEAM) traps","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14716"}},{"Add":{"text":" defp trunc_trap_body(lo, hi, wrap) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14756"}},{"Add":{"text":" result = if wrap, do: [af_op(:band, af_var(:T), af_int(wrap))], else: [af_var(:T)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14843"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14844"}},{"Add":{"text":" [{:case, ann(), erl_call(:trunc, [af_var(:A)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14896"}},{"Add":{"text":" [","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14904"}},{"Add":{"text":" guarded_clause(af_var(:T),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:14939"}},{"Add":{"text":" af_op(:andalso, af_op(:>=, af_var(:T), af_int(lo)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15001"}},{"Add":{"text":" af_op(:\"=<\", af_var(:T), af_int(hi))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15052"}},{"Add":{"text":" result),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15071"}},{"Add":{"text":" af_clause([af_var(:_)], [erl_call(:error, [af_atom(:badarg)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15143"}},{"Add":{"text":" ]}]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15153"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15159"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15160"}},{"Add":{"text":" # saturating trunc: clamp instead of trap (what modern clang/rustc emit)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15235"}},{"Add":{"text":" defp trunc_sat_body(lo, hi, wrap) do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15274"}},{"Add":{"text":" inner =","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15286"}},{"Add":{"text":" {:case, ann(), erl_call(:trunc, [af_var(:A)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15339"}},{"Add":{"text":" [","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15348"}},{"Add":{"text":" guarded_clause(af_var(:T), af_op(:<, af_var(:T), af_int(lo)), [af_int(lo)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15434"}},{"Add":{"text":" guarded_clause(af_var(:T), af_op(:>, af_var(:T), af_int(hi)), [af_int(hi)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15520"}},{"Add":{"text":" af_clause([af_var(:T)], [af_var(:T)])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15567"}},{"Add":{"text":" ]}","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15577"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15578"}},{"Add":{"text":" if wrap do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15593"}},{"Add":{"text":" [af_op(:band, inner, af_int(wrap))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15635"}},{"Add":{"text":" else","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15644"}},{"Add":{"text":" [inner]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15658"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15666"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15672"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15673"}},{"Add":{"text":" # --- i64 ------------------------------------------------------------------","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15752"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15753"}},{"Add":{"text":" defp numeric_body_af(:\"i64.add\"), do: [af_op(:band, af_op(:+, af_var(:A), af_var(:B)), af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15857"}},{"Add":{"text":" defp numeric_body_af(:\"i64.sub\"), do: [af_op(:band, af_op(:-, af_var(:A), af_var(:B)), af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:15961"}},{"Add":{"text":" defp numeric_body_af(:\"i64.mul\"), do: [af_op(:band, af_op(:*, af_var(:A), af_var(:B)), af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16065"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16066"}},{"Add":{"text":" defp numeric_body_af(:\"i64.div_s\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16106"}},{"Add":{"text":" [af_match(af_var(:XA), bias64(af_var(:A))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16154"}},{"Add":{"text":" af_match(af_var(:XB), bias64(af_var(:B))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16202"}},{"Add":{"text":" af_op(:band, af_op(:div, af_var(:XA), af_var(:XB)), af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16274"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16280"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16281"}},{"Add":{"text":" defp numeric_body_af(:\"i64.div_u\"),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16319"}},{"Add":{"text":" do: [af_op(:band, af_op(:div, af_var(:A), af_var(:B)), af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16393"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16394"}},{"Add":{"text":" defp numeric_body_af(:\"i64.rem_s\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16434"}},{"Add":{"text":" [af_match(af_var(:XA), bias64(af_var(:A))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16482"}},{"Add":{"text":" af_match(af_var(:XB), bias64(af_var(:B))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16530"}},{"Add":{"text":" af_op(:rem, af_var(:XA), af_var(:XB))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16574"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16580"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16581"}},{"Add":{"text":" defp numeric_body_af(:\"i64.rem_u\"), do: [af_op(:rem, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16661"}},{"Add":{"text":" defp numeric_body_af(:\"i64.and\"), do: [af_op(:band, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16740"}},{"Add":{"text":" defp numeric_body_af(:\"i64.or\"), do: [af_op(:bor, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16817"}},{"Add":{"text":" defp numeric_body_af(:\"i64.xor\"), do: [af_op(:bxor, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16896"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16897"}},{"Add":{"text":" defp numeric_body_af(:\"i64.shl\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:16935"}},{"Add":{"text":" [af_op(:band, af_op(:bsl, af_var(:A), af_op(:band, af_var(:B), af_int(63))), af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17031"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17037"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17038"}},{"Add":{"text":" defp numeric_body_af(:\"i64.shr_u\"),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17076"}},{"Add":{"text":" do: [af_op(:bsr, af_var(:A), af_op(:band, af_var(:B), af_int(63)))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17148"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17149"}},{"Add":{"text":" defp numeric_body_af(:\"i64.shr_s\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17189"}},{"Add":{"text":" [af_match(af_var(:XA), bias64(af_var(:A))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17237"}},{"Add":{"text":" af_op(:band, af_op(:bsr, af_var(:XA), af_op(:band, af_var(:B), af_int(63))), af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17334"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17340"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17341"}},{"Add":{"text":" defp numeric_body_af(:\"i64.rotl\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17380"}},{"Add":{"text":" [af_match(af_var(:K), af_op(:band, af_var(:B), af_int(63))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17445"}},{"Add":{"text":" af_op(:band,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17463"}},{"Add":{"text":" af_op(:bor, af_op(:bsl, af_var(:A), af_var(:K)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17519"}},{"Add":{"text":" af_op(:bsr, af_var(:A), af_op(:-, af_int(64), af_var(:K)))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17593"}},{"Add":{"text":" af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17615"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17621"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17622"}},{"Add":{"text":" defp numeric_body_af(:\"i64.rotr\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17661"}},{"Add":{"text":" [af_match(af_var(:K), af_op(:band, af_var(:B), af_int(63))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17726"}},{"Add":{"text":" af_op(:band,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17744"}},{"Add":{"text":" af_op(:bor, af_op(:bsr, af_var(:A), af_var(:K)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17800"}},{"Add":{"text":" af_op(:bsl, af_var(:A), af_op(:-, af_int(64), af_var(:K)))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17874"}},{"Add":{"text":" af_int(@m64))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17896"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17902"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17903"}},{"Add":{"text":" defp numeric_body_af(:\"i64.eq\"), do: [af_op(:==, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:17979"}},{"Add":{"text":" defp numeric_body_af(:\"i64.ne\"), do: [af_op(:\"=/=\", af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18058"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18059"}},{"Add":{"text":" defp numeric_body_af(:\"i64.lt_s\"), do: i64_signed_cmp(:<)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18119"}},{"Add":{"text":" defp numeric_body_af(:\"i64.gt_s\"), do: i64_signed_cmp(:>)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18179"}},{"Add":{"text":" defp numeric_body_af(:\"i64.le_s\"), do: i64_signed_cmp(:\"=<\")","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18242"}},{"Add":{"text":" defp numeric_body_af(:\"i64.ge_s\"), do: i64_signed_cmp(:>=)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18303"}},{"Add":{"text":" defp numeric_body_af(:\"i64.lt_u\"), do: [af_op(:<, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18380"}},{"Add":{"text":" defp numeric_body_af(:\"i64.gt_u\"), do: [af_op(:>, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18457"}},{"Add":{"text":" defp numeric_body_af(:\"i64.le_u\"), do: [af_op(:\"=<\", af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18537"}},{"Add":{"text":" defp numeric_body_af(:\"i64.ge_u\"), do: [af_op(:>=, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18615"}},{"Add":{"text":" defp numeric_body_af(:\"i64.eqz\"), do: [af_op(:==, af_var(:A), af_int(0))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18691"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18692"}},{"Add":{"text":" defp numeric_body_af(:\"i64.clz\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18730"}},{"Add":{"text":" [{:if, ann(),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18748"}},{"Add":{"text":" [","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18756"}},{"Add":{"text":" guard_clause(af_op(:==, af_var(:A), af_int(0)), [af_int(64)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18827"}},{"Add":{"text":" guard_clause(af_atom(:true),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18864"}},{"Add":{"text":" [af_op(:-, af_int(64),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18897"}},{"Add":{"text":" erl_call(:byte_size,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:18931"}},{"Add":{"text":" [erl_call(:integer_to_binary, [af_var(:A), af_int(2)])]))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19006"}},{"Add":{"text":" ]}]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19016"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19022"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19023"}},{"Add":{"text":" defp numeric_body_af(:\"i64.ctz\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19061"}},{"Add":{"text":" [{:if, ann(),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19079"}},{"Add":{"text":" [","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19087"}},{"Add":{"text":" guard_clause(af_op(:==, af_var(:A), af_int(0)), [af_int(64)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19158"}},{"Add":{"text":" guard_clause(af_atom(:true),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19195"}},{"Add":{"text":" [af_op(:-,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19216"}},{"Add":{"text":" erl_call(:byte_size,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19250"}},{"Add":{"text":" [erl_call(:integer_to_binary,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19295"}},{"Add":{"text":" [af_op(:band, af_var(:A), af_op(:-, af_var(:A))), af_int(2)])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19378"}},{"Add":{"text":" af_int(1))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19404"}},{"Add":{"text":" ]}]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19414"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19420"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19421"}},{"Add":{"text":" # SWAR popcount (branch-free; the multiply is masked to 64 bits because","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19495"}},{"Add":{"text":" # Erlang integers do not wrap)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19528"}},{"Add":{"text":" defp numeric_body_af(:\"i64.popcnt\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19569"}},{"Add":{"text":" [af_match(af_var(:V1),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19596"}},{"Add":{"text":" af_op(:-, af_var(:A),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19625"}},{"Add":{"text":" af_op(:band, af_op(:bsr, af_var(:A), af_int(1)), af_int(0x5555555555555555)))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19714"}},{"Add":{"text":" af_match(af_var(:V2),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19741"}},{"Add":{"text":" af_op(:+,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19758"}},{"Add":{"text":" af_op(:band, af_var(:V1), af_int(0x3333333333333333)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19822"}},{"Add":{"text":" af_op(:band, af_op(:bsr, af_var(:V1), af_int(2)), af_int(0x3333333333333333)))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19912"}},{"Add":{"text":" af_match(af_var(:V4),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19939"}},{"Add":{"text":" af_op(:band,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:19959"}},{"Add":{"text":" af_op(:+, af_var(:V2), af_op(:bsr, af_var(:V2), af_int(4))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20029"}},{"Add":{"text":" af_int(0x0F0F0F0F0F0F0F0F))),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20068"}},{"Add":{"text":" af_op(:bsr,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20085"}},{"Add":{"text":" af_op(:band, af_op(:*, af_var(:V4), af_int(0x0101010101010101)), af_int(@m64)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20172"}},{"Add":{"text":" af_int(56))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20192"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20198"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20199"}},{"Add":{"text":" defp numeric_body_af(:\"i64.extend8_s\"),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20241"}},{"Add":{"text":" do: [norm64(af_op(:-, af_op(:bxor, af_op(:band, af_var(:A), af_int(0xFF)), af_int(0x80)), af_int(0x80)))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20351"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20352"}},{"Add":{"text":" defp numeric_body_af(:\"i64.extend16_s\"),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20395"}},{"Add":{"text":" do: [norm64(af_op(:-, af_op(:bxor, af_op(:band, af_var(:A), af_int(0xFFFF)), af_int(0x8000)), af_int(0x8000)))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20511"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20512"}},{"Add":{"text":" defp numeric_body_af(:\"i64.extend32_s\"),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20555"}},{"Add":{"text":" do: [norm64(af_op(:-, af_op(:bxor, af_op(:band, af_var(:A), af_int(@m32)), af_int(0x80000000)), af_int(0x80000000)))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20677"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20678"}},{"Add":{"text":" # --- f64 ------------------------------------------------------------------","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20757"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20758"}},{"Add":{"text":" defp numeric_body_af(:\"f64.add\"), do: [af_op(:+, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20834"}},{"Add":{"text":" defp numeric_body_af(:\"f64.sub\"), do: [af_op(:-, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20910"}},{"Add":{"text":" defp numeric_body_af(:\"f64.mul\"), do: [af_op(:*, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:20986"}},{"Add":{"text":" defp numeric_body_af(:\"f64.div\"), do: [af_op(:/, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21062"}},{"Add":{"text":" defp numeric_body_af(:\"f64.eq\"), do: [af_op(:==, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21138"}},{"Add":{"text":" defp numeric_body_af(:\"f64.ne\"), do: [af_op(:\"=/=\", af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21217"}},{"Add":{"text":" defp numeric_body_af(:\"f64.lt\"), do: [af_op(:<, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21292"}},{"Add":{"text":" defp numeric_body_af(:\"f64.gt\"), do: [af_op(:>, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21367"}},{"Add":{"text":" defp numeric_body_af(:\"f64.le\"), do: [af_op(:\"=<\", af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21445"}},{"Add":{"text":" defp numeric_body_af(:\"f64.ge\"), do: [af_op(:>=, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21521"}},{"Add":{"text":" defp numeric_body_af(:\"f64.min\"), do: [erl_call(:min, [af_var(:A), af_var(:B)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21604"}},{"Add":{"text":" defp numeric_body_af(:\"f64.max\"), do: [erl_call(:max, [af_var(:A), af_var(:B)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21687"}},{"Add":{"text":" defp numeric_body_af(:\"f64.abs\"), do: [erl_call(:abs, [af_var(:A)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21758"}},{"Add":{"text":" defp numeric_body_af(:\"f64.neg\"), do: [af_op(:-, af_var(:A))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21822"}},{"Add":{"text":" defp numeric_body_af(:\"f64.ceil\"), do: [af_remote(:math, :ceil, [af_var(:A)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21903"}},{"Add":{"text":" defp numeric_body_af(:\"f64.floor\"), do: [af_remote(:math, :floor, [af_var(:A)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:21986"}},{"Add":{"text":" defp numeric_body_af(:\"f64.trunc\"), do: [erl_call(:trunc, [af_var(:A)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22061"}},{"Add":{"text":" defp numeric_body_af(:\"f64.sqrt\"), do: [af_remote(:math, :sqrt, [af_var(:A)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22142"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22143"}},{"Add":{"text":" defp numeric_body_af(:\"f64.nearest\"), do: f64_nearest_body()","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22206"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22207"}},{"Add":{"text":" defp numeric_body_af(:\"f64.copysign\"), do: f64_copysign_body()","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22272"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22273"}},{"Add":{"text":" # --- f32 (double-precision compute, then round through 32-bit float) ------","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22352"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22353"}},{"Add":{"text":" defp numeric_body_af(:\"f32.add\"), do: f32_wrapped([af_op(:+, af_var(:A), af_var(:B))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22442"}},{"Add":{"text":" defp numeric_body_af(:\"f32.sub\"), do: f32_wrapped([af_op(:-, af_var(:A), af_var(:B))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22531"}},{"Add":{"text":" defp numeric_body_af(:\"f32.mul\"), do: f32_wrapped([af_op(:*, af_var(:A), af_var(:B))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22620"}},{"Add":{"text":" defp numeric_body_af(:\"f32.div\"), do: f32_wrapped([af_op(:/, af_var(:A), af_var(:B))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22709"}},{"Add":{"text":" defp numeric_body_af(:\"f32.eq\"), do: [af_op(:==, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22785"}},{"Add":{"text":" defp numeric_body_af(:\"f32.ne\"), do: [af_op(:\"=/=\", af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22864"}},{"Add":{"text":" defp numeric_body_af(:\"f32.lt\"), do: [af_op(:<, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:22939"}},{"Add":{"text":" defp numeric_body_af(:\"f32.gt\"), do: [af_op(:>, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23014"}},{"Add":{"text":" defp numeric_body_af(:\"f32.le\"), do: [af_op(:\"=<\", af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23092"}},{"Add":{"text":" defp numeric_body_af(:\"f32.ge\"), do: [af_op(:>=, af_var(:A), af_var(:B))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23168"}},{"Add":{"text":" defp numeric_body_af(:\"f32.min\"), do: f32_wrapped([erl_call(:min, [af_var(:A), af_var(:B)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23264"}},{"Add":{"text":" defp numeric_body_af(:\"f32.max\"), do: f32_wrapped([erl_call(:max, [af_var(:A), af_var(:B)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23360"}},{"Add":{"text":" defp numeric_body_af(:\"f32.abs\"), do: f32_wrapped([erl_call(:abs, [af_var(:A)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23444"}},{"Add":{"text":" defp numeric_body_af(:\"f32.neg\"), do: f32_wrapped([af_op(:-, af_var(:A))])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23521"}},{"Add":{"text":" defp numeric_body_af(:\"f32.ceil\"), do: f32_wrapped([af_remote(:math, :ceil, [af_var(:A)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23615"}},{"Add":{"text":" defp numeric_body_af(:\"f32.floor\"), do: f32_wrapped([af_remote(:math, :floor, [af_var(:A)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23711"}},{"Add":{"text":" defp numeric_body_af(:\"f32.trunc\"), do: f32_wrapped([erl_call(:trunc, [af_var(:A)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23799"}},{"Add":{"text":" defp numeric_body_af(:\"f32.sqrt\"), do: f32_wrapped([af_remote(:math, :sqrt, [af_var(:A)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23893"}},{"Add":{"text":" defp numeric_body_af(:\"f32.nearest\"), do: f32_wrapped(f64_nearest_body())","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23969"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:23970"}},{"Add":{"text":" defp numeric_body_af(:\"f32.copysign\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24013"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:AS), 1), af_bin_elem(af_var(:AR), 63)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24096"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:A), 64, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24160"}},{"Add":{"text":" af_match(af_bin([af_bin_elem(af_var(:BS), 1), af_bin_elem(af_var(:_), :default, [:bits])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24257"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:B), 64, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24321"}},{"Add":{"text":" af_match(af_bin([af_bin_elem(af_var(:R), 32, [:float])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24384"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:BS), 1), af_bin_elem(af_var(:AR), 63)])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24468"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24485"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24491"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24492"}},{"Add":{"text":" # --- conversions ------------------------------------------------------------","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24573"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24574"}},{"Add":{"text":" defp numeric_body_af(:\"i32.wrap_i64\"), do: [af_op(:band, af_var(:A), af_int(@m32))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24660"}},{"Add":{"text":" defp numeric_body_af(:\"i64.extend_i32_u\"), do: [af_op(:band, af_var(:A), af_int(@m32))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24750"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24751"}},{"Add":{"text":" defp numeric_body_af(:\"i64.extend_i32_s\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24798"}},{"Add":{"text":" [norm64(af_op(:-,","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24820"}},{"Add":{"text":" af_op(:bxor, af_op(:band, af_var(:A), af_int(@m32)), af_int(0x80000000)),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24902"}},{"Add":{"text":" af_int(0x80000000)))]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24932"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24938"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:24939"}},{"Add":{"text":" defp numeric_body_af(:\"f64.promote_f32\"), do: [af_var(:A)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25000"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25001"}},{"Add":{"text":" defp numeric_body_af(:\"f32.demote_f64\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25046"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:R), 32, [:float])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25109"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:A), 32, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25173"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25190"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25196"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25197"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_f32_s\"), do: trunc_trap_body(-2_147_483_648, 2_147_483_647, @m32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25298"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_f64_s\"), do: trunc_trap_body(-2_147_483_648, 2_147_483_647, @m32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25399"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_f32_u\"), do: trunc_trap_body(0, 4_294_967_295, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25486"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_f64_u\"), do: trunc_trap_body(0, 4_294_967_295, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25573"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_f32_s\"), do: trunc_trap_body(-9_223_372_036_854_775_808, 9_223_372_036_854_775_807, @m64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25698"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_f64_s\"), do: trunc_trap_body(-9_223_372_036_854_775_808, 9_223_372_036_854_775_807, @m64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25823"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_f32_u\"), do: trunc_trap_body(0, 18_446_744_073_709_551_615, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:25923"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_f64_u\"), do: trunc_trap_body(0, 18_446_744_073_709_551_615, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26023"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26024"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_sat_f32_s\"), do: trunc_sat_body(-2_147_483_648, 2_147_483_647, @m32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26128"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_sat_f64_s\"), do: trunc_sat_body(-2_147_483_648, 2_147_483_647, @m32)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26232"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_sat_f32_u\"), do: trunc_sat_body(0, 4_294_967_295, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26322"}},{"Add":{"text":" defp numeric_body_af(:\"i32.trunc_sat_f64_u\"), do: trunc_sat_body(0, 4_294_967_295, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26412"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_sat_f32_s\"), do: trunc_sat_body(-9_223_372_036_854_775_808, 9_223_372_036_854_775_807, @m64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26540"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_sat_f64_s\"), do: trunc_sat_body(-9_223_372_036_854_775_808, 9_223_372_036_854_775_807, @m64)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26668"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_sat_f32_u\"), do: trunc_sat_body(0, 18_446_744_073_709_551_615, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26771"}},{"Add":{"text":" defp numeric_body_af(:\"i64.trunc_sat_f64_u\"), do: trunc_sat_body(0, 18_446_744_073_709_551_615, nil)","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26874"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26875"}},{"Add":{"text":" defp numeric_body_af(:\"f64.convert_i32_s\"), do: [erl_call(:float, [bias32(af_var(:A))])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:26966"}},{"Add":{"text":" defp numeric_body_af(:\"f64.convert_i64_s\"), do: [erl_call(:float, [bias64(af_var(:A))])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27057"}},{"Add":{"text":" defp numeric_body_af(:\"f64.convert_i32_u\"), do: [erl_call(:float, [af_var(:A)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27140"}},{"Add":{"text":" defp numeric_body_af(:\"f64.convert_i64_u\"), do: [erl_call(:float, [af_var(:A)])]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27223"}},{"Add":{"text":" defp numeric_body_af(:\"f32.convert_i32_s\"), do: f32_wrapped([erl_call(:float, [bias32(af_var(:A))])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27327"}},{"Add":{"text":" defp numeric_body_af(:\"f32.convert_i64_s\"), do: f32_wrapped([erl_call(:float, [bias64(af_var(:A))])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27431"}},{"Add":{"text":" defp numeric_body_af(:\"f32.convert_i32_u\"), do: f32_wrapped([erl_call(:float, [af_var(:A)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27527"}},{"Add":{"text":" defp numeric_body_af(:\"f32.convert_i64_u\"), do: f32_wrapped([erl_call(:float, [af_var(:A)])])","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27623"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27624"}},{"Add":{"text":" # reinterpret bitcasts: raw bits between int and float, sizes explicit","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27697"}},{"Add":{"text":" defp numeric_body_af(:\"i32.reinterpret_f32\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27747"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:R), 32)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27800"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:A), 32, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27864"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27881"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27887"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27888"}},{"Add":{"text":" defp numeric_body_af(:\"i64.reinterpret_f64\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27938"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:R), 64)]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:27991"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:A), 64, [:float])])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28055"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28072"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28078"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28079"}},{"Add":{"text":" defp numeric_body_af(:\"f32.reinterpret_i32\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28129"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:R), 32, [:float])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28192"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:A), 32)])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28246"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28263"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28269"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28270"}},{"Add":{"text":" defp numeric_body_af(:\"f64.reinterpret_i64\") do","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28320"}},{"Add":{"text":" [af_match(af_bin([af_bin_elem(af_var(:R), 64, [:float])]),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28383"}},{"Add":{"text":" af_bin([af_bin_elem(af_var(:A), 64)])),","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28437"}},{"Add":{"text":" af_var(:R)]","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28454"}},{"Add":{"text":" end","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28460"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28461"}},{"Add":{"text":" defp numeric_body_af(_name), do: nil","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28500"}},{"Add":{"text":"","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28501"}}]}},{"Replacement":{"inode":{"change":7,"pos":1322},"path":"lib/wa_embedder.ex","line":1402,"ins":{"up_context":[{"change":4,"pos":16311}],"down_context":[{"change":4,"pos":16369}],"flag":"BLOCK","start":28503,"end":28550,"inode":{"change":7,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":16311},"to":{"change":4,"start":16311,"end":16369},"introduced_by":4}],"inode":{"change":7,"pos":1322}},"ins_contents":[{"Add":{"text":" lowbit = af_op(:band, a, af_op(:-, a))","pos":"YEQMUWZZDKK2GQS5H5AORYLDID2757JKQPJLJ4SZGYAUKVO4XH3QC:28549"}}],"del_contents":[{"Del":{"text":" lowbit = af_op(:band, a, af_op(:-, a, af_int(1)))","pos":"RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC:16368"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"8qSJOH6BVcdWao5RJo4KIDgWmUTFN7bmFjGav3FK9XU=","login":null}

…

Dependencies

Change contents

Review