en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.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/annotations.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/annotations.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/annotations.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/annotations.s#5afdd64a [WebAssembly] Update InstPrinter and AsmParser for new EH instructionsThis updates InstPrinter and AsmParser for `delegate` and `catch_all`instructions. Both will reject programs with multiple `catch_all`s per asingle `try`. And InstPrinter uses `EHInstStack` to figure out whetherto print catch label comments: It does not print catch label commentsfor second `catch` or `catch_all` in a `try`.Reviewed By: aardappelDifferential Revision: https://reviews.llvm.org/D94051 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.s Fri, 01 Jan 2021 09:03:21 +0000 Heejin Ahn <aheejin@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.s#0d8dfbb4 [WebAssembly] Update InstPrinter support for EH- Updates InstPrinter to handle `catch_all`.- Makes `rethrow` condition an early exit from the function to make the rest simpler.- Unify label and catch counters. They don't need to be counted separately and this will help `delegate` instruction later.- Removes `LastSeenEHInst` field. This was first introduced to handle when there are more than one `catch` blocks per `try`, but this was not implemented correctly and not being used at the moment anyway.- Reenables all tests in cfg-stackify-eh.ll that don't deal with unwind destination mismatches, which will be handled in a later CL.Reviewed By: dschuff, tlively, aardappelDifferential Revision: https://reviews.llvm.org/D94043 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.s Sun, 27 Dec 2020 09:10:53 +0000 Heejin Ahn <aheejin@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.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/annotations.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/annotations.s#8fffa1df [WebAssembly] Remove unneeded MCSymbolRefExpr variantsWe record the type of the symbol (event/function/data/global) in theMCWasmSymbol and so it should always be clear how to handle a relocationbased on the symbol itself.The exception is a function which still needs the special @TYPEINDEXthen the relocation contains the signature rather than the addressof the functions.Differential Revision: https://reviews.llvm.org/D58472llvm-svn: 354697 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.s Fri, 22 Feb 2019 22:29:34 +0000 Sam Clegg <sbc@chromium.org> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.s#d6f48786 [WebAssembly] Exception handling: Switch to the new proposalSummary:This switches the EH implementation to the new proposal:https://github.com/WebAssembly/exception-handling/blob/master/proposals/Exceptions.md(The previous proposal was https://github.com/WebAssembly/exception-handling/blob/master/proposals/old/Exceptions.md)- Instruction changes - Now we have one single `catch` instruction that returns a except_ref value - `throw` now can take variable number of operations - `rethrow` does not have 'depth' argument anymore - `br_on_exn` queries an except_ref to see if it matches the tag and branches to the given label if true. - `extract_exception` is a pseudo instruction that simulates popping values from wasm stack. This is to make `br_on_exn`, a very special instruction, work: `br_on_exn` puts values onto the stack only if it is taken, and the # of values can vay depending on the tag.- Now there's only one `catch` per `try`, this patch removes all special handling for terminate pad with a call to `__clang_call_terminate`. Before it was the only case there are two catch clauses (a normal `catch` and `catch_all` per `try`).- Make `rethrow` act as a terminator like `throw`. This splits BB after `rethrow` in WasmEHPrepare, and deletes an unnecessary `unreachable` after `rethrow` in LateEHPrepare.- Now we stop at all catchpads (because we add wasm `catch` instruction that catches all exceptions), this creates new `findWasmUnwindDestinations` function in SelectionDAGBuilder.- Now we use `br_on_exn` instrution to figure out if an except_ref matches the current tag or not, LateEHPrepare generates this sequence for catch pads:``` catch block i32 br_on_exn $__cpp_exception end_block extract_exception```- Branch analysis for `br_on_exn` in WebAssemblyInstrInfo- Other various misc. changes to switch to the new proposal.Reviewers: dschuffSubscribers: sbc100, jgravelle-google, sunfish, llvm-commitsDifferential Revision: https://reviews.llvm.org/D57134llvm-svn: 352598 List of files: /llvm-project-15.0.7/llvm/test/MC/WebAssembly/annotations.s Wed, 30 Jan 2019 03:21:57 +0000 Heejin Ahn <aheejin@gmail.com>