Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Validation #135

Merged
merged 34 commits into from
Oct 7, 2024
Merged

Validation #135

merged 34 commits into from
Oct 7, 2024

Commits on Oct 6, 2024

  1. Tests: Enable assert_invalid tests

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    b2c5474 View commit details
    Browse the repository at this point in the history

  2. WasmGen: Remove Output assoctype from InstructionVisitor 

    because nobody used it. This removal also allows removing
`VoidInstructionVisitor`
    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    b2b64e7 View commit details
    Browse the repository at this point in the history

  3. WasmGen: Split InstructionEncoder to a separate file

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    3c3a0d8 View commit details
    Browse the repository at this point in the history

  4. Validation: Validate memory alignment

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    66eef6f View commit details
    Browse the repository at this point in the history

  5. Validation: Check stack height at the end of block frames

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    9567f82 View commit details
    Browse the repository at this point in the history

  6. Fix shifted register printing

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    a3c2917 View commit details
    Browse the repository at this point in the history

  7. Translator: Fix a miscompilation for unreachable br_table

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    a91a9d1 View commit details
    Browse the repository at this point in the history

  8. Validation: Ban internal global usage in constant expressions

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    f0bcdb5 View commit details
    Browse the repository at this point in the history

  9. Validation: Check element segment

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    788e27e View commit details
    Browse the repository at this point in the history

  10. Validation: Check for duplicate export names

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    673fe9d View commit details
    Browse the repository at this point in the history

  11. Validation: Check function type index bounds in import entry

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    ae3902a View commit details
    Browse the repository at this point in the history

  12. Validation: Check global mutability and types

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    4960d02 View commit details
    Browse the repository at this point in the history

  13. CLI: Add wat2wasm command

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    d30ecca View commit details
    Browse the repository at this point in the history

  14. Revert "CLI: Add wat2wasm command" 

    This reverts commit b091e4070162599520c7a09560c6d4fcf36727a4.
    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    c91dfb4 View commit details
    Browse the repository at this point in the history

  15. Validation: Fix unreachable if block with else

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    7e46572 View commit details
    Browse the repository at this point in the history

  16. Validation: Multiple memories are not permitted for now

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    f8d9e35 View commit details
    Browse the repository at this point in the history

  17. WasmParser: Add ExpressionParser API

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    5283139 View commit details
    Browse the repository at this point in the history

  18. Validation: Fix end instruction handling

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    125e91c View commit details
    Browse the repository at this point in the history

  19. Validation: Add memory type validation

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    c554be0 View commit details
    Browse the repository at this point in the history

  20. Validation: Fix mixed memory64 table copy

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    d452f05 View commit details
    Browse the repository at this point in the history

  21. Validation: Check table.init instruction

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    baf442b View commit details
    Browse the repository at this point in the history

  22. Explore: Print instruction offsets in disassembly

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    0b94855 View commit details
    Browse the repository at this point in the history

  23. Translator: Fix a miscompilation bug in the return instruction

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    0129708 View commit details
    Browse the repository at this point in the history

  24. Validation: Ban function references to undeclared functions

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    6bd7139 View commit details
    Browse the repository at this point in the history

  25. Validation: Disallow select on reference types

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    d676fa4 View commit details
    Browse the repository at this point in the history

  26. Validation: Check start function type

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    5a6266c View commit details
    Browse the repository at this point in the history

  27. WAT: Fix element expression encoding

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    18c6e61 View commit details
    Browse the repository at this point in the history

  28. Validation: Check table element type in table.copy

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    8a0451c View commit details
    Browse the repository at this point in the history

  29. Validation: Check table types

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    ea50c40 View commit details
    Browse the repository at this point in the history

  30. Validation: Fix br_table instruction type checking

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    5f2875c View commit details
    Browse the repository at this point in the history

  31. Validation: Check result types at end of root block

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    0d66e17 View commit details
    Browse the repository at this point in the history

  32. Validation: Push value on local.tee even if the frame is unreachable

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    0a9fa7b View commit details
    Browse the repository at this point in the history

  33. Validation: Fix br_table branch copy check

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    e2d15f3 View commit details
    Browse the repository at this point in the history

  34. Tests: Adjust ExecutionTests for the strict validation

    @kateinoigakukun
    kateinoigakukun committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    c26db63 View commit details
    Browse the repository at this point in the history