diff options
| -rw-r--r-- | test/spec/linking.txt | 18 | ||||
| -rw-r--r-- | test/spec/unreached-invalid.txt | 157 | ||||
| m--------- | third_party/testsuite | 0 |
3 files changed, 95 insertions, 80 deletions
diff --git a/test/spec/linking.txt b/test/spec/linking.txt index 081f24c2..e9578ef9 100644 --- a/test/spec/linking.txt +++ b/test/spec/linking.txt @@ -7,30 +7,30 @@ out/third_party/testsuite/linking.wast:28: assert_unlinkable passed: out/third_party/testsuite/linking.wast:32: assert_unlinkable passed: error: import signature mismatch 0000026: error: OnImportFunc callback failed -out/third_party/testsuite/linking.wast:166: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:174: assert_unlinkable passed: error: elem segment offset is out of bounds: 10 >= max value 10 0000029: error: OnElemSegmentFunctionIndex callback failed -out/third_party/testsuite/linking.wast:175: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:183: assert_unlinkable passed: error: unknown module field "mem" 0000027: error: OnImportMemory callback failed -out/third_party/testsuite/linking.wast:187: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:195: assert_unlinkable passed: error: elem segment offset is out of bounds: 12 >= max value 10 0000030: error: OnElemSegmentFunctionIndex callback failed -out/third_party/testsuite/linking.wast:198: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:206: assert_unlinkable passed: error: data segment is out of bounds: [65536, 65537) >= max value 65536 0000042: error: OnDataSegmentData callback failed -out/third_party/testsuite/linking.wast:258: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:266: assert_unlinkable passed: error: data segment is out of bounds: [65536, 65537) >= max value 65536 0000020: error: OnDataSegmentData callback failed -out/third_party/testsuite/linking.wast:283: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:291: assert_unlinkable passed: error: duplicate export "print" error: unknown module field "tab" 0000037: error: OnImportTable callback failed -out/third_party/testsuite/linking.wast:294: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:302: assert_unlinkable passed: error: data segment is out of bounds: [327680, 327681) >= max value 327680 0000028: error: OnDataSegmentData callback failed -out/third_party/testsuite/linking.wast:304: assert_unlinkable passed: +out/third_party/testsuite/linking.wast:312: assert_unlinkable passed: error: elem segment offset is out of bounds: 0 >= max value 0 000002e: error: OnElemSegmentFunctionIndex callback failed -79/79 tests passed. +80/80 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/unreached-invalid.txt b/test/spec/unreached-invalid.txt index 3a478557..8773ab57 100644 --- a/test/spec/unreached-invalid.txt +++ b/test/spec/unreached-invalid.txt @@ -105,224 +105,239 @@ out/third_party/testsuite/unreached-invalid.wast:193: assert_invalid passed: error: type stack size too small at i32.eqz. got 0, expected at least 1 000001c: error: OnConvertExpr callback failed out/third_party/testsuite/unreached-invalid.wast:199: assert_invalid passed: + error: type stack size too small at i32.eqz. got 0, expected at least 1 + 000001c: error: OnConvertExpr callback failed +out/third_party/testsuite/unreached-invalid.wast:205: assert_invalid passed: + error: type stack size too small at i32.eqz. got 0, expected at least 1 + 000001c: error: OnConvertExpr callback failed +out/third_party/testsuite/unreached-invalid.wast:211: assert_invalid passed: error: type mismatch in i32.eqz, expected i32 but got f32. 000001e: error: OnConvertExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:205: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:217: assert_invalid passed: error: type stack size too small at f32.eq. got 1, expected at least 2 error: type mismatch in f32.eq, expected f32 but got i32. 000001d: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:211: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:223: assert_invalid passed: error: type mismatch in f32.eq, expected f32 but got i32. 0000020: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:217: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:229: assert_invalid passed: error: type stack at end of block is 1, expected 0 000001d: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:223: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:235: assert_invalid passed: error: type mismatch in block, expected i32 but got f32. 0000023: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:229: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:241: assert_invalid passed: error: type stack at end of loop is 1, expected 0 000001f: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:235: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:247: assert_invalid passed: error: type mismatch in loop, expected i32 but got f32. 0000021: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:241: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:253: assert_invalid passed: error: type stack at end of function is 1, expected 0 000001b: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:247: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:259: assert_invalid passed: error: type mismatch in implicit return, expected i32 but got f32. 000001f: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:254: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:265: assert_invalid passed: + error: type stack size too small at i32.eqz. got 0, expected at least 1 + 000001e: error: OnConvertExpr callback failed +out/third_party/testsuite/unreached-invalid.wast:271: assert_invalid passed: + error: type stack size too small at i32.eqz. got 0, expected at least 1 + 0000020: error: OnConvertExpr callback failed +out/third_party/testsuite/unreached-invalid.wast:277: assert_invalid passed: + error: type stack size too small at i32.eqz. got 0, expected at least 1 + 000001f: error: OnConvertExpr callback failed +out/third_party/testsuite/unreached-invalid.wast:284: assert_invalid passed: error: type stack size too small at i32.eqz. got 0, expected at least 1 000001f: error: OnConvertExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:260: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:290: assert_invalid passed: error: type mismatch in i32.eqz, expected i32 but got f32. 0000021: error: OnConvertExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:266: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:296: assert_invalid passed: error: type stack size too small at f32.eq. got 1, expected at least 2 error: type mismatch in f32.eq, expected f32 but got i32. 0000020: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:272: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:302: assert_invalid passed: error: type mismatch in f32.eq, expected f32 but got i32. 0000023: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:278: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:308: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000020: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:284: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:314: assert_invalid passed: error: type mismatch in block, expected i32 but got f32. error: type stack at end of block is 1, expected 0 0000026: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:291: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:321: assert_invalid passed: error: type stack at end of loop is 1, expected 0 0000022: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:297: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:327: assert_invalid passed: error: type mismatch in loop, expected i32 but got f32. 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:304: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:334: assert_invalid passed: error: type stack at end of function is 1, expected 0 000001e: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:310: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:340: assert_invalid passed: error: type mismatch in implicit return, expected i32 but got f32. 0000022: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:318: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:348: assert_invalid passed: error: type stack size too small at i32.eqz. got 0, expected at least 1 0000020: error: OnConvertExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:324: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:354: assert_invalid passed: error: type mismatch in i32.eqz, expected i32 but got f32. 0000022: error: OnConvertExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:330: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:360: assert_invalid passed: error: type stack size too small at f32.eq. got 1, expected at least 2 error: type mismatch in f32.eq, expected f32 but got i32. 0000021: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:336: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:366: assert_invalid passed: error: type mismatch in f32.eq, expected f32 but got i32. 0000024: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:342: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:372: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000021: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:348: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:378: assert_invalid passed: error: type mismatch in block, expected i32 but got f32. error: type stack at end of block is 1, expected 0 0000027: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:354: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:384: assert_invalid passed: error: type stack at end of loop is 1, expected 0 0000023: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:360: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:390: assert_invalid passed: error: type mismatch in loop, expected i32 but got f32. 0000025: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:366: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:396: assert_invalid passed: error: type stack at end of function is 1, expected 0 000001f: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:372: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:402: assert_invalid passed: error: type mismatch in implicit return, expected i32 but got f32. 0000023: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:379: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:409: assert_invalid passed: error: type stack size too small at i32.eqz. got 0, expected at least 1 000001d: error: OnConvertExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:385: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:415: assert_invalid passed: error: type mismatch in i32.eqz, expected i32 but got f32. 0000021: error: OnConvertExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:391: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:421: assert_invalid passed: error: type stack size too small at f32.eq. got 1, expected at least 2 error: type mismatch in f32.eq, expected f32 but got i32. 000001e: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:397: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:427: assert_invalid passed: error: type mismatch in f32.eq, expected f32 but got i32. 0000023: error: OnCompareExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:403: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:433: assert_invalid passed: error: type stack at end of if is 1, expected 0 000001e: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:409: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:439: assert_invalid passed: error: if without else cannot have type signature. error: type mismatch in if, expected i32 but got f32. 0000022: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:415: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:445: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000020: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:421: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:451: assert_invalid passed: error: type mismatch in block, expected i32 but got f32. 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:427: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:457: assert_invalid passed: error: type stack at end of loop is 1, expected 0 0000020: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:433: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:463: assert_invalid passed: error: type mismatch in loop, expected i32 but got f32. 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:440: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:470: assert_invalid passed: error: type mismatch in return, expected i32 but got f64. 0000025: error: OnReturnExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:447: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:477: assert_invalid passed: error: type mismatch in br, expected i32 but got f64. 0000029: error: OnBrExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:454: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:484: assert_invalid passed: error: type mismatch in br_if, expected i32 but got f32. 0000021: error: OnBrIfExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:460: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:490: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:468: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:498: assert_invalid passed: error: type mismatch in block, expected f32 but got i32. 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:477: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:507: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:485: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:515: assert_invalid passed: error: type mismatch in br_table, expected i32 but got f32. 0000022: error: OnBrTableExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:491: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:521: assert_invalid passed: error: type mismatch in br_table, expected i32 but got f32. 0000025: error: OnBrTableExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:497: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:527: assert_invalid passed: error: type mismatch in br_table, expected void but got f32. 0000023: error: OnBrTableExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:509: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:539: assert_invalid passed: error: type mismatch in br_table, expected f64 but got f32. 0000023: error: OnBrTableExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:524: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:554: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000020: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:530: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:560: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 0000020: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:536: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:566: assert_invalid passed: error: type mismatch in implicit return, expected i32 but got i64. 0000022: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:542: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:572: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000023: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:549: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:579: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000021: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:555: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:585: assert_invalid passed: error: type stack size too small at block. got 0, expected at least 1 0000022: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:561: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:591: assert_invalid passed: error: type mismatch in block, expected i32 but got i64. 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:568: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:598: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000023: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:574: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:604: assert_invalid passed: error: type stack size too small at block. got 0, expected at least 1 0000025: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:580: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:610: assert_invalid passed: error: type mismatch in block, expected i32 but got i64. 0000027: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:588: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:618: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000024: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:595: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:625: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000020: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:601: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:631: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 0000022: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:607: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:637: assert_invalid passed: error: type mismatch in implicit return, expected i32 but got i64. 0000024: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:613: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:643: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000025: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:621: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:651: assert_invalid passed: error: type stack at end of loop is 1, expected 0 0000020: error: OnEndExpr callback failed -out/third_party/testsuite/unreached-invalid.wast:627: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:657: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 0000020: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:633: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:663: assert_invalid passed: error: type mismatch in implicit return, expected i32 but got i64. 0000022: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:640: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:670: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 000001f: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:646: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:676: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 0000020: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:653: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:683: assert_invalid passed: error: type stack at end of function is 1, expected 0 000001d: error: EndFunctionBody callback failed -out/third_party/testsuite/unreached-invalid.wast:660: assert_invalid passed: +out/third_party/testsuite/unreached-invalid.wast:690: assert_invalid passed: error: type stack at end of block is 1, expected 0 0000022: error: OnEndExpr callback failed -105/105 tests passed. +110/110 tests passed. ;;; STDOUT ;;) diff --git a/third_party/testsuite b/third_party/testsuite -Subproject 8f55b1c7e02834fd81e014ab937b7ae256d2cbb +Subproject 7af29c0e076e04d53085c1e0b860ba87fbea0ae |