en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#d657c689 [WebAssembly] Allow .data shorthand for .section .data,"",@ List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Mon, 14 Feb 2022 23:55:24 +0000 Wouter van Oortmerssen <aardappel@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#ac653664 [WebAssembly] support "return" and unreachable code in asm type checkerTo support return (it not being supported well was the ground cause forhttps://github.com/WebAssembly/wasi-sdk/issues/200) we also have to haveat least a basic notion of unreachable, which in this case just means to stoptype checking until there is an end_block (an incoming control flow edge).This is conservative (may miss on some type checking opportunities) but issimple and an improvement over what we had before.Differential Revision: https://reviews.llvm.org/D112953 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Mon, 01 Nov 2021 20:09:47 +0000 Wouter van Oortmerssen <aardappel@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#9647a6f7 [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/basic-assembly.s Mon, 07 Jun 2021 19:10:47 +0000 Wouter van Oortmerssen <aardappel@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#1d891d44 [WebAssembly] Rename event to tagWe recently decided to change 'event' to 'tag', and 'event section' to'tag section', out of the rationale that the section contains ageneralized tag that references a type, which may be used for somethingother than exceptions, and the name 'event' can be confusing in the webcontext.See- https://github.com/WebAssembly/exception-handling/issues/159#issuecomment-857910130- https://github.com/WebAssembly/exception-handling/pull/161Reviewed By: tlivelyDifferential Revision: https://reviews.llvm.org/D104423 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Tue, 15 Jun 2021 08:49:43 +0000 Heejin Ahn <aheejin@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#8638c897 [WebAssembly] Remove unimplemented-simd target featureNow that the WebAssembly SIMD specification is finalized and engines aregenerally up-to-date, there is no need for a separate target feature for gatingSIMD instructions that engines have not implemented. With this change,v128.const is now enabled by default with the simd128 target feature.Differential Revision: https://reviews.llvm.org/D98457 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Thu, 18 Mar 2021 17:23:12 +0000 Thomas Lively <tlively@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#4307069d [WebAssembly] Swap operand order of call_indirect in text formatThe WebAssembly text and binary formats have different operand ordersfor the "type" and "table" fields of call_indirect (andreturn_call_indirect). In LLVM we use the binary order for the MCInstr,but when we produce or consume the text format we should use the textorder. For compilation units targetting WebAssembly 1.0 (without thereference types feature), we omit the table operand entirely.Differential Revision: https://reviews.llvm.org/D97761 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Tue, 02 Mar 2021 11:18:16 +0000 Andy Wingo <wingo@igalia.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#2632ba6a [WebAssembly] call_indirect issues table number relocsIf the reference-types feature is enabled, call_indirect will explicitlyreference its corresponding function table via TABLE_NUMBERrelocations against a table symbol.Also, as before, address-taken functions can also cause the functiontable to be created, only with reference-types they additionally cause asymbol table entry to be emitted.Differential Revision: https://reviews.llvm.org/D90948 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Fri, 12 Feb 2021 10:22:13 +0000 Andy Wingo <wingo@igalia.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#7dc98adb Revert "[WebAssembly] call_indirect issues table number relocs"This reverts commit 861dbe1a021e6439af837b72b219fb9c449a57ae. It brokeemscripten -- see https://reviews.llvm.org/D90948#2578843. List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Tue, 23 Feb 2021 10:23:31 +0000 Andy Wingo <wingo@igalia.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#861dbe1a [WebAssembly] call_indirect issues table number relocsIf the reference-types feature is enabled, call_indirect will explicitlyreference its corresponding function table via `TABLE_NUMBER`relocations against a table symbol.Also, as before, address-taken functions can also cause the functiontable to be created, only with reference-types they additionally cause asymbol table entry to be emitted.We abuse the used-in-reloc flag on symbols to indicate which tablesshould end up in the symbol table. We do this because unfortunatelyolder wasm-ld will carp if it see a table symbol.Differential Revision: https://reviews.llvm.org/D90948 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Fri, 12 Feb 2021 10:22:13 +0000 Andy Wingo <wingo@igalia.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#a872ee2f [WebAssembly] ensure .functype applies to right label in assemblerWe used to require .functype immediately follows the label it sets the type of, but not all Clang output follows this rule.Now we simply allow it on any symbol, but only assume its a function start for a defined symbol, which is simpler and more general.Fixes (part of) https://bugs.llvm.org/show_bug.cgi?id=49036Differential Revision: https://reviews.llvm.org/D96165 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Fri, 05 Feb 2021 00:14:58 +0000 Wouter van Oortmerssen <aardappel@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#96ef4f30 Revert "[WebAssembly] call_indirect issues table number relocs"This reverts commit 418df4a6ab35d343cc0f2608c90a73dd9b8d0ab1.This change broke emscripten tests, I believe because it startedgenerating 5-byte a wide table index in the call_indirect instruction.Neither v8 nor wabt seem to be able to handle that. The speccurrently says that this is single 0x0 byte and:"In future versions of WebAssembly, the zero byte occurring in theencoding of the call_indirectcall_indirect instruction may be used toindex additional tables."So we need to revisit this change. For backwards compat I guesswe need to guarantee that __indirect_function_table is always ataddress zero. We could also consider making this a single-byterelocation with and assert if have more than 127 tables (for now).Differential Revision: https://reviews.llvm.org/D95005 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Tue, 19 Jan 2021 22:29:05 +0000 Sam Clegg <sbc@chromium.org> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#418df4a6 [WebAssembly] call_indirect issues table number relocsThis patch changes to make call_indirect explicitly refer to thecorresponding function table, residualizing TABLE_NUMBER relocs againstit.With this change, wasm-ld now sees all references to tables, and canlink multiple tables.Differential Revision: https://reviews.llvm.org/D90948 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Tue, 05 Jan 2021 10:05:18 +0000 Andy Wingo <wingo@igalia.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#9e4eadeb [WebAssembly] Update basic EH instructions for the new specThis implements basic instructions for the new spec.- Adds new versions of instructions: `catch`, `catch_all`, and `rethrow`- Adds support for instruction selection for the new instructions - `catch` needs a custom routine for the same reason `throw` needs one, to encode `__cpp_exception` tag symbol.- Updates `WebAssembly::isCatch` utility function to include `catch_all` and Change code that compares an instruction's opcode with `catch` to use that function.- LateEHPrepare - Previously in LateEHPrepare we added `catch` instruction to both `catchpad`s (for user catches) and `cleanuppad`s (for destructors). In the new version `catch` is generated from `llvm.catch` intrinsic in instruction selection phase, so we only need to add `catch_all` to the beginning of cleanup pads. - `catch` is generated from instruction selection, but we need to hoist the `catch` instruction to the beginning of every EH pad, because `catch` can be in the middle of the EH pad or even in a split BB from it after various code transformations. - Removes `addExceptionExtraction` function, which was used to generate `br_on_exn` before.- CFGStackfiy: Deletes `fixUnwindMismatches` function. Running this function on the new instruction causes crashes, and the new version will be added in a later CL, whose contents will be completely different. So deleting the whole function will make the diff easier to read.- Reenables all disabled tests in exception.ll and eh-lsda.ll and a single basic test in cfg-stackify-eh.ll.- Updates existing tests to use the new assembly format. And deletes `br_on_exn` instructions from the tests and FileCheck lines.Reviewed By: dschuff, tlivelyDifferential Revision: https://reviews.llvm.org/D94040 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Sat, 26 Dec 2020 10:27:44 +0000 Heejin Ahn <aheejin@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#902ea588 [WebAssembly] Rename atomic.notify and *.atomic.wait- atomic.notify -> memory.atomic.notify- i32.atomic.wait -> memory.atomic.wait32- i64.atomic.wait -> memory.atomic.wait64See https://github.com/WebAssembly/threads/pull/149.Reviewed By: tlivelyDifferential Revision: https://reviews.llvm.org/D91447 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Fri, 13 Nov 2020 12:24:47 +0000 Heejin Ahn <aheejin@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#388fb67b [WebAssembly] Added .tabletype to asm and multiple table support in obj filesAdds more testing in basic-assembly.s and a new test tables.s.Adds support to yaml reading and writing of tables as well.Differential Revision: https://reviews.llvm.org/D88815 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Tue, 13 Oct 2020 14:13:10 +0000 Paulo Matos <pmatos@linki.tools> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#ca9ba764 [WebAssembly] Replace all calls with generalized multivalue callsSummary:Extends the multivalue call infrastructure to tail calls, removes alllegacy calls specialized for particular result types, and removes theCallIndirectFixup pass, since all indirect call arguments are nowfixed up directly in the post-insertion hook.In order to keep supporting pretty-printed defs and uses in testexpectations, MCInstLower now inserts an immediate containing thenumber of defs for each call and call_indirect. The InstPrinter isupdated to query this immediate if it is present and determine whichMCOperands are defs and uses accordingly.Depends on D72902.Reviewers: aheejinSubscribers: dschuff, mgorny, sbc100, jgravelle-google, hiraditya, sunfish, llvm-commitsTags: #llvmDifferential Revision: https://reviews.llvm.org/D74192 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Fri, 07 Feb 2020 00:29:59 +0000 Thomas Lively <tlively@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#2cb27072 [WebAssembly] Allow multivalue types in block signature operandsSummary:Renames `ExprType` to the more apt `BlockType` and adds a variant formultivalue blocks. Currently non-void blocks are only generated at theend of functions where the block return type needs to agree with thefunction return type, and that remains true for multivalueblocks. That invariant means that the actual signature does not needto be stored in the block signature `MachineOperand` because it can beinferred by `WebAssemblyMCInstLower` from the return type of theparent function. `WebAssemblyMCInstLower` continues to lower blocksignature operands to immediates when possible but lowers multivaluesignatures to function type symbols. The AsmParser and Disassemblerare updated to handle multivalue block types as well.Reviewers: aheejin, dschuff, aardappelSubscribers: sbc100, jgravelle-google, hiraditya, sunfish, llvm-commitsTags: #llvmDifferential Revision: https://reviews.llvm.org/D68889llvm-svn: 374933 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Tue, 15 Oct 2019 18:28:22 +0000 Thomas Lively <tlively@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#19bf637e [WebAssembly][MC] Allow empty assembly functionsDifferential Revision: https://reviews.llvm.org/D66434llvm-svn: 369292 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Mon, 19 Aug 2019 19:04:54 +0000 Sam Clegg <sbc@chromium.org> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#87af0b19 [WebAssembly] Assembler/InstPrinter: support call_indirect type index.A TYPE_INDEX operand (as used by call_indirect) used to be representedby the InstPrinter as a symbol (e.g. .Ltype_index0@TYPE_INDEX) whichwas a bit of a mismatch with the WasmObjectWriter which expects anunnamed symbol, to receive the signature from and then turn into areloc.There was really no good way to round-trip this information. An earlierversion of this patch tried to attach the signature information usinga .functype, but that ran into trouble when the symbol was re-emittedwithout a name. Removing the name was a giant hack also.The current version changes the assembly syntax to have an inlinesignature spec for TYPEINDEX operands that is always unnamed, whichis much more elegant both in syntax and in implementation (as now theassembler is able to follow the same path as the regular backend)Reviewers: sbc100, dschuff, aheejin, jgravelle-google, sunfish, tlivelySubscribers: arphaman, llvm-commitsTags: #llvmDifferential Revision: https://reviews.llvm.org/D64758llvm-svn: 367590 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Thu, 01 Aug 2019 18:08:26 +0000 Wouter van Oortmerssen <aardappel@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s#9f96a58c [WebAssembly] Rename except_ref type to exnrefSummary:We agreed to rename `except_ref` to `exnref` for consistency with otherreference types inhttps://github.com/WebAssembly/exception-handling/issues/79. This alsorenames WebAssemblyInstrExceptRef.td to WebAssemblyInstrRef.td in orderto use the file for other reference types in future.Reviewers: dschuffSubscribers: sbc100, jgravelle-google, hiraditya, sunfish, jfb, llvm-commitsTags: #llvmDifferential Revision: https://reviews.llvm.org/D64703llvm-svn: 366145 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/basic-assembly.s Mon, 15 Jul 2019 22:49:25 +0000 Heejin Ahn <aheejin@gmail.com>