@scriptc/compiler 0.3.6 → 0.4.0

package/dist/backend/llvm/integer-remainder.js

@@ -154,35 +154,169 @@ function isPowerOfTwo(value) {
         power *= 2;
     return power === value;
 }
+/** `x - trunc(x / c) * c` for a power of two c of at least 1, which is
+ * exact for every double x. When |x| < c the quotient's magnitude is below
+ * 1 and truncates to zero, so the result is x. Otherwise x / c is a normal
+ * double and exact, and the truncated quotient times c is a multiple of c
+ * of magnitude at most |x|, also exact. When c is below x's ulp, x is
+ * itself a multiple of c and the difference is zero; otherwise both terms
+ * are multiples of x's ulp and the difference, smaller than c, is exact.
+ * ±Infinity gives the default NaN of `Infinity - Infinity`, the NaN fmod
+ * also returns for it, and a NaN dividend propagates. A zero difference
+ * takes the dividend's sign (`-4 % 2` and `-0 % 1` are -0). */
+function emitPowerOfTwoDouble(host, left, magnitude) {
+    const B = host.B;
+    const c = f64Lit(magnitude);
+    const quotient = B.tmp();
+    B.line(`${quotient} = fdiv double ${left}, ${c}`);
+    const whole = emitTruncF64(host, quotient);
+    const multiple = B.tmp(), difference = B.tmp();
+    B.line(`${multiple} = fmul double ${whole}, ${c}`);
+    B.line(`${difference} = fsub double ${left}, ${multiple}`);
+    return signDividendZero(host, left, difference);
+}
+/** `value`, or a zero with the dividend's sign when `value` is zero. */
+function signDividendZero(host, left, value) {
+    const B = host.B;
+    const zero = B.tmp(), signedZero = B.tmp(), result = B.tmp();
+    host.declare("declare double @llvm.copysign.f64(double, double)");
+    B.line(`${zero} = fcmp oeq double ${value}, ${f64Lit(0)}`);
+    B.line(`${signedZero} = call double @llvm.copysign.f64(double ${f64Lit(0)}, double ${left})`);
+    B.line(`${result} = select i1 ${zero}, double ${signedZero}, double ${value}`);
+    return result;
+}
+/** 2^52: the largest power-of-two divisor the integer path takes. */
+const INTEGER_DIVISOR_LIMIT = 2 ** 52;
+/** 2^62 as a double: the bound on dividends the integer path accepts. */
+const DOUBLE_DIVIDEND_LIMIT = 2 ** 62;
 /** JS `%` by a constant divisor whose magnitude c is a power of two of at
- * least 1, as `x - trunc(x / c) * c`, which is exact for every double x.
- * When |x| < c the quotient's magnitude is below 1 and truncates to zero,
- * so the result is x. Otherwise x / c is a normal double and exact, and
- * the truncated quotient times c is a multiple of c of magnitude at most
- * |x|, also exact. When c is below x's ulp, x is itself a multiple of c and
- * the difference is zero; otherwise both terms are multiples of x's ulp and
- * the difference, smaller than c, is exact. ±Infinity gives the default
- * NaN of `Infinity - Infinity`, the NaN fmod also returns for it, and a NaN
- * dividend propagates. A zero difference takes the dividend's sign
- * (`-4 % 2` and `-0 % 1` are -0). The divisor's sign does not change the
- * result. Returns null for any other divisor; a power of two below 1 keeps
- * frem, because x / c can overflow. */
-export function emitPowerOfTwoRemainder(host, left, divisor) {
+ * least 1. The divisor's sign does not change the result. Returns null for
+ * any other divisor; a power of two below 1 keeps frem, because x / c can
+ * overflow.
+ *
+ * Where truncation is itself an integer round trip (x86-64 without SSE4.1,
+ * see trunc.ts), `x - trunc(x / c) * c` puts two multiplications, the round
+ * trip and a sign fix on the dividend's dependency chain. In a loop that
+ * feeds the result back, such as `s = (s + x) % 65536`, that costs more
+ * than the integer remainder. There a proven integer dividend takes the i64
+ * remainder directly, and other dividends of magnitude below 2^62 take
+ * integer paths:
+ *
+ * - A computed dividend (`+`, `-` or `*`, as in hashes, generators and
+ *   accumulators) is usually an integer. When it is one, the result is the
+ *   i64 remainder (shifts, since c is a constant power of two), as in
+ *   emitCheckedRemainder. Otherwise, when |x| < 2c (as in a phase
+ *   accumulator reduced by 1), the result is x itself if |x| < c and
+ *   x - copysign(c, x) if not, exact because x and c are then within a
+ *   factor of two, and never zero because x is not an integer. Larger
+ *   quotients take the path below, whose cost does not grow with the
+ *   quotient as fmod's does.
+ * - Any other dividend takes i = trunc(x) as an i64 and adds back x's
+ *   fraction without a branch on whether x is an integer, which stays fast
+ *   when integers and fractions alternate unpredictably. Because c is an
+ *   integer, trunc(x / c) = trunc(i / c), so
+ *     x % c = (i - trunc(i / c) * c) + (x - i) = (i srem c) + (x - i).
+ *   Both terms carry x's sign or are zero; x - i is exact, and the sum, of
+ *   magnitude below c and a multiple of x's ulp (an integer when x is one),
+ *   is exact too. It is zero exactly when both terms are.
+ *
+ * A zero result takes the dividend's sign. Larger, infinite and NaN
+ * dividends take the double sequence, as do targets with a rounding
+ * instruction and divisors above 2^52. */
+export function emitPowerOfTwoRemainder(host, left, divisor, dividend, computed) {
     const magnitude = Math.abs(divisor);
     if (!isPowerOfTwo(magnitude))
         return null;
+    if (!host.inlineTrunc || magnitude > INTEGER_DIVISOR_LIMIT)
+        return { name: emitPowerOfTwoDouble(host, left.name, magnitude), type: F64 };
+    if (dividend)
+        return emitSignedIntegerRemainder(host, left, dividend, {
+            name: String(magnitude),
+            type: "i64",
+            signed: false,
+            range: { min: magnitude, max: magnitude },
+        });
     const B = host.B;
-    const c = f64Lit(magnitude);
-    const quotient = B.tmp();
-    B.line(`${quotient} = fdiv double ${left.name}, ${c}`);
-    const whole = emitTruncF64(host, quotient);
-    const multiple = B.tmp(), difference = B.tmp(), zero = B.tmp(), signedZero = B.tmp(), result = B.tmp();
+    host.declare("declare double @llvm.fabs.f64(double)");
     host.declare("declare double @llvm.copysign.f64(double, double)");
-    B.line(`${multiple} = fmul double ${whole}, ${c}`);
-    B.line(`${difference} = fsub double ${left.name}, ${multiple}`);
-    B.line(`${zero} = fcmp oeq double ${difference}, ${f64Lit(0)}`);
+    host.declare("declare i1 @llvm.expect.i1(i1, i1)");
+    const raw = B.tmp(), integer = B.tmp(), back = B.tmp(), size = B.tmp(), inRange = B.tmp();
+    B.line(`${raw} = fptosi double ${left.name} to i64`);
+    // Poison when out of range or NaN; no path below uses it then.
+    B.line(`${integer} = freeze i64 ${raw}`);
+    B.line(`${back} = sitofp i64 ${integer} to double`);
+    B.line(`${size} = call double @llvm.fabs.f64(double ${left.name})`);
+    // False for NaN.
+    B.line(`${inRange} = fcmp olt double ${size}, ${f64Lit(DOUBLE_DIVIDEND_LIMIT)}`);
+    const join = B.newLabel("rem.pow2.join");
+    const incoming = [];
+    const branch = (condition, likely, unlikely) => {
+        const expected = B.tmp();
+        B.line(`${expected} = call i1 @llvm.expect.i1(i1 ${condition}, i1 true)`);
+        B.condBr(expected, likely, unlikely);
+    };
+    if (computed) {
+        const exact = B.tmp(), integral = B.tmp();
+        B.line(`${exact} = fcmp oeq double ${back}, ${left.name}`);
+        B.line(`${integral} = and i1 ${inRange}, ${exact}`);
+        const whole = B.newLabel("rem.pow2.int"), other = B.newLabel("rem.pow2.other");
+        branch(integral, whole, other);
+        B.startBlock(whole);
+        const remainder = B.tmp(), number = B.tmp(), zero = B.tmp(), signedZero = B.tmp(), integerValue = B.tmp();
+        B.line(`${remainder} = srem i64 ${integer}, ${magnitude}`);
+        B.line(`${number} = sitofp i64 ${remainder} to double`);
+        B.line(`${zero} = icmp eq i64 ${remainder}, 0`);
+        B.line(`${signedZero} = fmul double ${left.name}, ${f64Lit(0)}`);
+        B.line(`${integerValue} = select i1 ${zero}, double ${signedZero}, double ${number}`);
+        incoming.push(`[ ${integerValue}, %${B.currentLabel()} ]`);
+        B.br(join);
+        B.startBlock(other);
+        const near = B.tmp();
+        // False for NaN.
+        B.line(`${near} = fcmp olt double ${size}, ${f64Lit(2 * magnitude)}`);
+        const small = B.newLabel("rem.pow2.small"), large = B.newLabel("rem.pow2.large");
+        branch(near, small, large);
+        B.startBlock(small);
+        const c = f64Lit(magnitude);
+        const below = B.tmp();
+        B.line(`${below} = fcmp olt double ${size}, ${c}`);
+        // A branch rather than a select keeps the usual |x| < c case, where the
+        // result is x, off the dividend's dependency chain.
+        const keep = B.newLabel("rem.pow2.keep"), wrap = B.newLabel("rem.pow2.wrap");
+        branch(below, keep, wrap);
+        B.startBlock(keep);
+        incoming.push(`[ ${left.name}, %${B.currentLabel()} ]`);
+        B.br(join);
+        B.startBlock(wrap);
+        const step = B.tmp(), reduced = B.tmp();
+        B.line(`${step} = call double @llvm.copysign.f64(double ${c}, double ${left.name})`);
+        B.line(`${reduced} = fsub double ${left.name}, ${step}`);
+        incoming.push(`[ ${reduced}, %${B.currentLabel()} ]`);
+        B.br(join);
+        B.startBlock(large);
+    }
+    const fractional = B.newLabel("rem.pow2.frac"), huge = B.newLabel("rem.pow2.float");
+    branch(inRange, fractional, huge);
+    B.startBlock(fractional);
+    const remainder = B.tmp(), whole = B.tmp(), fraction = B.tmp(), sum = B.tmp(), wholeZero = B.tmp(), fractionZero = B.tmp(), zero = B.tmp(), signedZero = B.tmp(), value = B.tmp();
+    B.line(`${remainder} = srem i64 ${integer}, ${magnitude}`);
+    B.line(`${whole} = sitofp i64 ${remainder} to double`);
+    B.line(`${fraction} = fsub double ${left.name}, ${back}`);
+    B.line(`${sum} = fadd double ${whole}, ${fraction}`);
+    B.line(`${wholeZero} = icmp eq i64 ${remainder}, 0`);
+    B.line(`${fractionZero} = fcmp oeq double ${fraction}, ${f64Lit(0)}`);
+    B.line(`${zero} = and i1 ${wholeZero}, ${fractionZero}`);
     B.line(`${signedZero} = call double @llvm.copysign.f64(double ${f64Lit(0)}, double ${left.name})`);
-    B.line(`${result} = select i1 ${zero}, double ${signedZero}, double ${difference}`);
+    B.line(`${value} = select i1 ${zero}, double ${signedZero}, double ${sum}`);
+    incoming.push(`[ ${value}, %${B.currentLabel()} ]`);
+    B.br(join);
+    B.startBlock(huge);
+    const floating = emitPowerOfTwoDouble(host, left.name, magnitude);
+    incoming.push(`[ ${floating}, %${B.currentLabel()} ]`);
+    B.br(join);
+    B.startBlock(join);
+    const result = B.tmp();
+    B.line(`${result} = phi double ${incoming.join(", ")}`);
     return { name: result, type: F64 };
 }
 //# sourceMappingURL=integer-remainder.js.map

package/dist/backend/llvm/integer-remainder.js.map

@@ -1 +1 @@
-{"version":3,"file":"integer-remainder.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-remainder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAe,MAAM,gBAAgB,CAAC;AAElD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C;;;wDAGwD;AACxD,MAAM,UAAU,0BAA0B,CACxC,IAAwB,EACxB,IAAa,EACb,QAAmB,EACnB,OAAkB;IAElB,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAC1C,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EACzC,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QACzB,OAAO,aAAa,CAClB,IAAI,EACJ,SAAS,EACT;YACE,GAAG,EAAE,CAAC;YACN,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,QAAQ,CAAC,KAAK,CAAC,GAAG,EAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CACvE;SACF,EACD,GAAG,CACJ,CAAC;IACJ,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED;wDACwD;AACxD,MAAM,cAAc,GAAG,qBAAqB,CAAC;AAE7C;;;;;0CAK0C;AAC1C,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAa;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,OAAO,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;IACvD,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;sEAasE;AACtE,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,IAAa,EACb,KAAc,EACd,QAA0B,EAC1B,OAAyB;IAEzB,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,CAAS,CAAC;IACd,IAAI,QAAQ;QAAE,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;SAC1C,CAAC;QACJ,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,4DAA4D;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,OAAO,KAAK,cAAc,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,mBAAmB,MAAM,KAAK,CAAC,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,CAAS,CAAC;IACd,IAAI,OAAO,EAAE,CAAC;QACZ,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,OAAO,KAAK,CAAC,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,EAAE,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACpC,EAAE,GAAG,CAAC,CAAC;IACT,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,iCAAiC,EAAE,YAAY,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,IAAI,SAAS,GAAG,MAAM,CAAC;IACvB,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,SAAS,MAAM,IAAI,SAAS,QAAQ,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED;;yDAEyD;AACzD,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAyB;IACrE,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,KAAK;QACnB,IAAI,CAAC,EAAE,KAAK,IAAI;QAChB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC5B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI;QAExB,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC/B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uDAAuD;AACvD,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,KAAK;QAAE,KAAK,IAAI,CAAC,CAAC;IACjC,OAAO,KAAK,KAAK,KAAK,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;uCAYuC;AACvC,MAAM,UAAU,uBAAuB,CACrC,IAAwB,EACxB,IAAa,EACb,OAAe;IAEf,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EACtB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,IAAI,CACJ,GAAG,UAAU,4CAA4C,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,IAAI,GAAG,CAC3F,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,YAAY,UAAU,YAAY,UAAU,EAAE,CAAC,CAAC;IACpF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC"}
+{"version":3,"file":"integer-remainder.js","sourceRoot":"","sources":["../../../src/backend/llvm/integer-remainder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAe,MAAM,gBAAgB,CAAC;AAElD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C;;;wDAGwD;AACxD,MAAM,UAAU,0BAA0B,CACxC,IAAwB,EACxB,IAAa,EACb,QAAmB,EACnB,OAAkB;IAElB,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAC1C,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EACzC,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,OAAO,KAAK,WAAW,EAAE,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QACzB,OAAO,aAAa,CAClB,IAAI,EACJ,SAAS,EACT;YACE,GAAG,EAAE,CAAC;YACN,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,QAAQ,CAAC,KAAK,CAAC,GAAG,EAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CACvE;SACF,EACD,GAAG,CACJ,CAAC;IACJ,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED;wDACwD;AACxD,MAAM,cAAc,GAAG,qBAAqB,CAAC;AAE7C;;;;;0CAK0C;AAC1C,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAa;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,OAAO,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;IACvD,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;sEAasE;AACtE,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,IAAa,EACb,KAAc,EACd,QAA0B,EAC1B,OAAyB;IAEzB,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,CAAS,CAAC;IACd,IAAI,QAAQ;QAAE,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;SAC1C,CAAC;QACJ,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,4DAA4D;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,OAAO,KAAK,cAAc,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,mBAAmB,MAAM,KAAK,CAAC,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,CAAS,CAAC;IACd,IAAI,OAAO,EAAE,CAAC;QACZ,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,OAAO,KAAK,CAAC,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IACD,IAAI,EAAE,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACpC,EAAE,GAAG,CAAC,CAAC;IACT,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,iCAAiC,EAAE,YAAY,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAChC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC9B,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACxD,IAAI,SAAS,GAAG,MAAM,CAAC;IACvB,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,SAAS,MAAM,IAAI,SAAS,QAAQ,MAAM,IAAI,IAAI,CAAC,CAAC;IACvF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED;;yDAEyD;AACzD,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAyB;IACrE,IAAI,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,KAAK;QACnB,IAAI,CAAC,EAAE,KAAK,IAAI;QAChB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC5B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI;QAExB,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC/B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uDAAuD;AACvD,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,KAAK;QAAE,KAAK,IAAI,CAAC,CAAC;IACjC,OAAO,KAAK,KAAK,KAAK,CAAC;AACzB,CAAC;AAED;;;;;;;;;+DAS+D;AAC/D,SAAS,oBAAoB,CAAC,IAAwB,EAAE,IAAY,EAAE,SAAiB;IACrF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EACtB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IAC3D,OAAO,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;AAClD,CAAC;AAED,wEAAwE;AACxE,SAAS,gBAAgB,CAAC,IAAwB,EAAE,IAAY,EAAE,KAAa;IAC7E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,4CAA4C,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,GAAG,CAAC,CAAC;IAC9F,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,IAAI,YAAY,UAAU,YAAY,KAAK,EAAE,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qEAAqE;AACrE,MAAM,qBAAqB,GAAG,CAAC,IAAI,EAAE,CAAC;AAEtC,yEAAyE;AACzE,MAAM,qBAAqB,GAAG,CAAC,IAAI,EAAE,CAAC;AAEtC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0CAiC0C;AAC1C,MAAM,UAAU,uBAAuB,CACrC,IAAwB,EACxB,IAAa,EACb,OAAe,EACf,QAA0B,EAC1B,QAAiB;IAEjB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,SAAS,GAAG,qBAAqB;QACxD,OAAO,EAAE,IAAI,EAAE,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC/E,IAAI,QAAQ;QACV,OAAO,0BAA0B,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC;YACvB,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE;SAC1C,CAAC,CAAC;IACL,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;IACrD,+DAA+D;IAC/D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,OAAO,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,wCAAwC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IACpE,iBAAiB;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,sBAAsB,IAAI,KAAK,MAAM,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAE,QAAgB,EAAQ,EAAE;QAC3E,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,iCAAiC,SAAS,YAAY,CAAC,CAAC;QAC1E,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EACtC,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACvC,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACzB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,OAAO,KAAK,SAAS,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,SAAS,YAAY,CAAC,CAAC;QACxD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,SAAS,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,gBAAgB,IAAI,YAAY,UAAU,YAAY,MAAM,EAAE,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,KAAK,YAAY,MAAM,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC3D,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACX,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,iBAAiB;QACjB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACxC,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3B,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;QACnD,wEAAwE;QACxE,oDAAoD;QACpD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,EACtC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACnB,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,4CAA4C,CAAC,YAAY,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACrF,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;QACzD,QAAQ,CAAC,IAAI,CAAC,KAAK,OAAO,MAAM,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACX,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,EAC5C,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACtC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACzB,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,EACtB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,OAAO,KAAK,SAAS,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,iBAAiB,SAAS,YAAY,CAAC,CAAC;IACvD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,kBAAkB,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,kBAAkB,KAAK,KAAK,QAAQ,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,kBAAkB,SAAS,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,sBAAsB,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,SAAS,KAAK,YAAY,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,IAAI,CACJ,GAAG,UAAU,4CAA4C,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,IAAI,GAAG,CAC3F,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,IAAI,YAAY,UAAU,YAAY,GAAG,EAAE,CAAC,CAAC;IAC5E,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClE,QAAQ,CAAC,IAAI,CAAC,KAAK,QAAQ,MAAM,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC"}

package/dist/backend/llvm/intern-tables.test.js

@@ -5,7 +5,7 @@ import { emitLlvmModule } from "./emitter.js";
 const loc = { file: "intern-tables.ts", start: 0, end: 1 };
 function module(body) {
     return {
-        irVersion: 16,
+        irVersion: 17,
         sourceFile: loc.file,
         entry: "main",
         functions: [

package/dist/backend/llvm/jsval-encoding.d.ts

@@ -0,0 +1,21 @@
+/** Bit patterns (decimal i64 literals; unsigned compares read them as
+ * the 0xFFF9... words). */
+export declare const JS_BITS: {
+    /** Words below this are doubles; it is also undefined's word. */
+    readonly limit: "-1970324836974592";
+    readonly undefined: "-1970324836974592";
+    readonly null: "-1970324836974591";
+    readonly false: "-1970324836974590";
+    readonly true: "-1970324836974589";
+    readonly cellTag: "-1688849860263936";
+    readonly strTag: "-1407374883553280";
+    readonly bigintTag: "-1125899906842624";
+    readonly payloadMask: "281474976710655";
+    readonly canonicalNan: "9221120237041090560";
+};
+/** The tag of a word (its top 16 bits) for each heap kind. */
+export declare const JS_TAGS: {
+    readonly cell: 65530;
+    readonly str: 65531;
+    readonly bigint: 65532;
+};

package/dist/backend/llvm/jsval-encoding.js

@@ -0,0 +1,20 @@
+/* jsval word encoding constants shared by the jsval emitter (jsval.ts) and
+ * the RC helpers (shapes.ts). The authoritative description is scr_js.h. */
+/** Bit patterns (decimal i64 literals; unsigned compares read them as
+ * the 0xFFF9... words). */
+export const JS_BITS = {
+    /** Words below this are doubles; it is also undefined's word. */
+    limit: "-1970324836974592",
+    undefined: "-1970324836974592",
+    null: "-1970324836974591",
+    false: "-1970324836974590",
+    true: "-1970324836974589",
+    cellTag: "-1688849860263936",
+    strTag: "-1407374883553280",
+    bigintTag: "-1125899906842624",
+    payloadMask: "281474976710655",
+    canonicalNan: "9221120237041090560",
+};
+/** The tag of a word (its top 16 bits) for each heap kind. */
+export const JS_TAGS = { cell: 0xfffa, str: 0xfffb, bigint: 0xfffc };
+//# sourceMappingURL=jsval-encoding.js.map

package/dist/backend/llvm/jsval-encoding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsval-encoding.js","sourceRoot":"","sources":["../../../src/backend/llvm/jsval-encoding.ts"],"names":[],"mappings":"AAAA;4EAC4E;AAE5E;2BAC2B;AAC3B,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,iEAAiE;IACjE,KAAK,EAAE,mBAAmB;IAC1B,SAAS,EAAE,mBAAmB;IAC9B,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,mBAAmB;IAC1B,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,mBAAmB;IAC5B,MAAM,EAAE,mBAAmB;IAC3B,SAAS,EAAE,mBAAmB;IAC9B,WAAW,EAAE,iBAAiB;IAC9B,YAAY,EAAE,qBAAqB;CAC3B,CAAC;AAEX,8DAA8D;AAC9D,MAAM,CAAC,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAW,CAAC"}

package/dist/backend/llvm/jsval.d.ts

@@ -0,0 +1,12 @@
+import type { LibCallExpr, LlValue, LlvmEmitterContext } from "./expr-context.js";
+type Host = LlvmEmitterContext;
+/** Whether this target represents jsvals as NaN-boxed words. */
+export declare function jsImmediates(host: {
+    sizeType: "i32" | "i64";
+}): boolean;
+/** js.* libCalls. */
+export declare function emitJsLibCall(host: Host, e: LibCallExpr): LlValue;
+/** ToBoolean of a jsval (a toBool over an operator result): doubles and
+ * the special words inline, cells, strings and BigInts in the runtime. */
+export declare function jsTruthy(host: Host, v: string): string;
+export {};