[PATCH] D147852: [WebAssembly] Handle block-like structures consistently in type checker

Heejin Ahn via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Apr 9 03:07:26 PDT 2023


aheejin added inline comments.


================
Comment at: llvm/lib/Target/WebAssembly/AsmParser/WebAssemblyAsmTypeCheck.cpp:309-322
+    if (Name == "catch") {
+      const MCSymbolRefExpr *SymRef;
+      if (getSymRef(Operands[1]->getStartLoc(), Inst, SymRef))
+        return true;
+      const auto *WasmSym = cast<MCSymbolWasm>(&SymRef->getSymbol());
+      const auto *Sig = WasmSym->getSignature();
+      if (!Sig || WasmSym->getType() != wasm::WASM_SYMBOL_TYPE_TAG)
----------------
This code is just moved from below


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147852/new/

https://reviews.llvm.org/D147852



More information about the llvm-commits mailing list