| import { instantiate } from "../wabt-wrapper.js"; |
| |
| function buildWat(types) { |
| let calleeBody = ""; |
| let callerChecks = []; |
| for (let i = 0; i < types.length; ++i) { |
| let type = types[i]; |
| calleeBody += `(${type}.const ${i})`; |
| } |
| |
| let wat = ` |
| (module |
| (func (export "callee") (result ${types.join(" ")}) |
| ${calleeBody} |
| ) |
| ) |
| `; |
| let exports = instantiate(wat).exports; |
| for (let j = 0; j < 10000; ++j) { |
| let results = exports.callee(); |
| if (!Array.isArray(results)) |
| throw new Error(); |
| if (results.length != types.length) |
| throw new Error(); |
| for (let i = 0; i < types.length; ++i) { |
| if (results[i] !== i) |
| throw new Error("got " + results[i] + " but wanted " + i + " in results: " + results); |
| } |
| } |
| }; |
| |
| buildWat(["f64", "f64"]); |
| |
| buildWat(["i32", "i32", "f32", "i32"]); |
| buildWat(["i32", "i32", "f32", "i32", "f64", "f32", "i32", "i32"]); |
| |
| // gpr in registers but fpr spilled. arm64 has 32 fprs so go above that |
| buildWat(["i32", "f32", "f32", "f32", "f32", "f32", "f32", "f32", "i32", "f32", "f32", "f64"]); |
| // gpr first and in middle |
| buildWat(["i32", "f32", "f32", "f32", "f32", "f32", "f32", "f32", "i32", "f32", "f32", "f64", "f32", "f32", "f32", "f32", "f32", "f32", "f64", "f32", "f32", "f32", "f32", "f64", "f32", "f32", "f32", "f32", "f64", "f32", "f32", "f32", "f32" , "f32", "f32", "f32", "f64"]); |
| |
| // gpr at end and in middle |
| buildWat(["f64", "f32", "f32", "f32", "f32", "f32", "f32", "f32", "i32", "f32", "f32", "f64", "f32", "f32", "f32", "f32", "f32", "f32", "f64", "f32", "f32", "f32", "f32", "f64", "f32", "i32", "f32", "f32", "f32", "f64", "f32", "f32", "f32", "f32" , "f32", "f32", "f32", "i32"]); |
| buildWat(["f32", "f32", "f32", "f32", "f32", "f32", "f32", "f32", "i32", "f32", "f32", "f64", "f32", "f32", "f32", "f32", "f32", "f32", "f64", "f32", "f32", "f32", "f32", "f64", "f32", "i32", "f32", "f32", "f32", "f64", "f32", "f32", "f32", "f32" , "f32", "f32", "f32", "i32"]); |
| |
| |
| // fpr in registers but gpr spilled. arm64 has 32 fprs so go above that |
| buildWat(["f64", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "f64", "i32", "i32", "i32"]); |
| // fpr first and in middle |
| buildWat(["f64", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "f64", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32" , "i32", "i32", "i32", "i32"]); |
| |
| // gpr at end and in middle |
| buildWat(["i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "f64", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "f32", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "i32" , "i32", "i32", "i32", "f64"]); |
| |
| |
| // both are spilled |
| buildWat(["i32", "f32", "i32", "f64", "i32", "f32", "i32", "i32", "f64", "i32", "i32", "f64", "f32", "f32", "f32", "f64", "f32", "i32", "i32", "f32", "i32", "f32", "f64", "f64", "i32", "f32", "f32", "f64", "i32", "i32", "i32", "f64", "f64", "f64", "f32", "f32", "i32", "i32", "i32", "i32", "f32", "f32", "f64", "i32", "i32", "i32", "i32", "i32", "i32", "i32", "f64", "f32", "f32", "f32", "f64", "i32", "i32", "i32", "f32", "f64", "f64", "i32", "i32", "f64", "f64", "f64", "i32", "i32", "i32", "i32"]) |