Changes in reference-types.s

cb778e93 - [WebAssembly] Implement ref.is_null MC layer support and codegen

Fri, 13 May 2022 05:55:31 +0000

[WebAssembly] Implement ref.is_null MC layer support and codegenCustom type-checking (in WebAssemblyAsmTypeCheck.cpp) is used toworkaround the fact that separate variants of the instruction aredefined for externref and funcref.Based on an initial patch by Paulo Matos .Differential Revision: https://reviews.llvm.org/D123484 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/reference-types.s

a96d8285 - [WebAssembly] Implementation of intrinsic for ref.null and HeapType removal

Sun, 05 Dec 2021 12:50:47 +0000

[WebAssembly] Implementation of intrinsic for ref.null and HeapType removalThis patch implements the intrinsic for ref.null.In the process of implementing int_wasm_ref_null_func() andint_wasm_ref_null_extern() intrinsics, it removes the redundantHeapType.This also causes the textual assembler syntax for ref.null tochange. Instead of receiving an argument: `func` or `extern`, theinstruction mnemonic is either ref.null_func or ref.null_extern,without the need for a further operand.Reviewed By: tlivelyDifferential Revision: https://reviews.llvm.org/D114979 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/reference-types.s

9647a6f7 - [WebAssembly] Added initial type checker to MC Assembler

Mon, 07 Jun 2021 19:10:47 +0000

[WebAssembly] Added initial type checker to MC AssemblerThis to protect against non-sensical instruction sequences being assembled,which would either cause asserts/crashes further down, or a Wasm module being output that doesn't validate.Unlike a validator, this type checker is able to give type-errors as part of the parsing process, which makes the assembler much friendlier to be used by humans writing manual input.Because the MC system is single pass (instructions aren't even stored in MC format, they are directly output) the type checker has to be single pass as well, which means that from now on .globaltype and .functype decls must come before their use. An extra pass is added to Codegen to collect information for this purpose, since AsmPrinter is normally single pass / streaming as well, and would otherwise generate this information on the fly.A `-no-type-check` flag was added to llvm-mc (and any other tools that take asm input) that surpresses type errors, as a quick escape hatch for tests that were not intended to be type correct.This is a first version of the type checker that ignores control flow, i.e. it checks that types are correct along the linear path, but not the branch path. This will still catch most errors. Branch checking could be added in the future.Differential Revision: https://reviews.llvm.org/D104945 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/reference-types.s

60653e24 - [WebAssembly] Support select and block for reference types

Mon, 30 Nov 2020 09:39:13 +0000

[WebAssembly] Support select and block for reference typesThis adds missing `select` instruction support and block return typesupport for reference types. Also refactors WebAssemblyInstrRef.td andrearranges tests in reference-types.s. Tests don't include `exnref`types, because we currently don't support `exnref` for `ref.null` andthe type will be removed soon anyway.Reviewed By: tlively, sbc100, wingoDifferential Revision: https://reviews.llvm.org/D92359 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/reference-types.s

107c3a12 - [WebAssembly] Implement ref.null

Tue, 03 Nov 2020 18:46:23 +0000

[WebAssembly] Implement ref.nullThis patch adds a new "heap type" operand kind to the WebAssembly MClayer, used by ref.null. Currently the possible values are "extern" and"func"; when typed function references come, though, this operand may bea type index.Note that the "heap type" production is still known as "refedtype" inthe draft proposal; changing its name in the spec isongoing (https://github.com/WebAssembly/reference-types/issues/123).The register form of ref.null is still untested.Differential Revision: https://reviews.llvm.org/D90608 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/reference-types.s