loop.json 8.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. {"source_filename": "loop.wast",
  2. "commands": [
  3. {"type": "module", "line": 3, "filename": "loop.0.wasm"},
  4. {"type": "assert_return", "line": 176, "action": {"type": "invoke", "field": "empty", "args": []}, "expected": []},
  5. {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "singular", "args": []}, "expected": [{"type": "i32", "value": "7"}]},
  6. {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "multi", "args": []}, "expected": [{"type": "i32", "value": "8"}]},
  7. {"type": "assert_return", "line": 179, "action": {"type": "invoke", "field": "nested", "args": []}, "expected": [{"type": "i32", "value": "9"}]},
  8. {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "deep", "args": []}, "expected": [{"type": "i32", "value": "150"}]},
  9. {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "as-unary-operand", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
  10. {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "as-binary-operand", "args": []}, "expected": [{"type": "i32", "value": "12"}]},
  11. {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "as-test-operand", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
  12. {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "as-compare-operand", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
  13. {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "break-bare", "args": []}, "expected": [{"type": "i32", "value": "19"}]},
  14. {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "break-value", "args": []}, "expected": [{"type": "i32", "value": "18"}]},
  15. {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "break-repeated", "args": []}, "expected": [{"type": "i32", "value": "18"}]},
  16. {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "break-inner", "args": []}, "expected": [{"type": "i32", "value": "31"}]},
  17. {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "effects", "args": []}, "expected": [{"type": "i32", "value": "1"}]},
  18. {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "while", "args": [{"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]},
  19. {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "while", "args": [{"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]},
  20. {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "while", "args": [{"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "2"}]},
  21. {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "while", "args": [{"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "6"}]},
  22. {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "while", "args": [{"type": "i64", "value": "5"}]}, "expected": [{"type": "i64", "value": "120"}]},
  23. {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "while", "args": [{"type": "i64", "value": "20"}]}, "expected": [{"type": "i64", "value": "2432902008176640000"}]},
  24. {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "for", "args": [{"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]},
  25. {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "for", "args": [{"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]},
  26. {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "for", "args": [{"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "2"}]},
  27. {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "for", "args": [{"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "6"}]},
  28. {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "for", "args": [{"type": "i64", "value": "5"}]}, "expected": [{"type": "i64", "value": "120"}]},
  29. {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "for", "args": [{"type": "i64", "value": "20"}]}, "expected": [{"type": "i64", "value": "2432902008176640000"}]},
  30. {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "1088421888"}]}, "expected": [{"type": "f32", "value": "0"}]},
  31. {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1088421888"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
  32. {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
  33. {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "f32", "value": "1073741824"}]},
  34. {"type": "assert_return", "line": 212, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1082130432"}]},
  35. {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1082130432"}]}, "expected": [{"type": "f32", "value": "1086324736"}]},
  36. {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1120403456"}]}, "expected": [{"type": "f32", "value": "1159684096"}]},
  37. {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1120534528"}]}, "expected": [{"type": "f32", "value": "1159892992"}]},
  38. {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
  39. {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
  40. {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1092616192"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
  41. {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "f32", "value": "1077936128"}]},
  42. {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1082130432"}]},
  43. {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1088421888"}, {"type": "f32", "value": "1082130432"}]}, "expected": [{"type": "f32", "value": "1092940751"}]},
  44. {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1088421888"}, {"type": "f32", "value": "1120403456"}]}, "expected": [{"type": "f32", "value": "1166601314"}]},
  45. {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "nesting", "args": [{"type": "f32", "value": "1088421888"}, {"type": "f32", "value": "1120534528"}]}, "expected": [{"type": "f32", "value": "1159892992"}]},
  46. {"type": "assert_invalid", "line": 226, "filename": "loop.1.wasm", "text": "type mismatch"},
  47. {"type": "assert_invalid", "line": 230, "filename": "loop.2.wasm", "text": "type mismatch"},
  48. {"type": "assert_invalid", "line": 234, "filename": "loop.3.wasm", "text": "type mismatch"},
  49. {"type": "assert_invalid", "line": 238, "filename": "loop.4.wasm", "text": "type mismatch"},
  50. {"type": "assert_invalid", "line": 243, "filename": "loop.5.wasm", "text": "type mismatch"},
  51. {"type": "assert_invalid", "line": 249, "filename": "loop.6.wasm", "text": "type mismatch"}]}