[PATCH] D147504: [WebAssembly] `AsmTypeCheck` support to br instr

[Congcong Cai via Phabricator via llvm-commits]

HerrCai0907 created this revision.
HerrCai0907 added reviewers: aardappel, dschuff, tlively.
Herald added subscribers: pmatos, asb, ecnelises, mikhail.ramalho, sunfish, hiraditya, jgravelle-google, sbc100.
Herald added a project: All.
HerrCai0907 requested review of this revision.
Herald added subscribers: llvm-commits, aheejin.
Herald added a project: LLVM.

This PR introduces the `BrStack` member to store the info about
`loop`, 'block`, `if` and `try`. It can check whether br immediate number
out of range and whether type stack is mismatched in `br` instr.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D147504

Files:
  1.log
  llvm/lib/Target/WebAssembly/AsmParser/WebAssemblyAsmTypeCheck.cpp
  llvm/lib/Target/WebAssembly/AsmParser/WebAssemblyAsmTypeCheck.h
  llvm/test/MC/WebAssembly/type-checker-control-flow.s
  llvm/test/MC/WebAssembly/type-checker-errors.s

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D147504.510700.patch
Type: text/x-patch
Size: 17582 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230404/e53a97ee/attachment.bin>