diff options
| author | Wouter van Oortmerssen <aardappel@gmail.com> | 2021-11-01 13:09:47 -0700 |
|---|---|---|
| committer | Wouter van Oortmerssen <aardappel@gmail.com> | 2021-11-01 15:42:58 -0700 |
| commit | ac65366485d4584c9e7f39a59bc56d833627c1ea (patch) | |
| tree | d97ffdc5687e7abe3dc4fd25464c2bccabe9be79 /llvm/lib/CodeGen/LiveDebugVariables.cpp | |
| parent | 31f02e9d7ac5b696ab5141d715e02f1cc9c2bf0d (diff) | |
| download | llvm-ac65366485d4584c9e7f39a59bc56d833627c1ea.zip llvm-ac65366485d4584c9e7f39a59bc56d833627c1ea.tar.gz llvm-ac65366485d4584c9e7f39a59bc56d833627c1ea.tar.bz2 | |
[WebAssembly] support "return" and unreachable code in asm type checker
To support return (it not being supported well was the ground cause for
https://github.com/WebAssembly/wasi-sdk/issues/200) we also have to have
at least a basic notion of unreachable, which in this case just means to stop
type checking until there is an end_block (an incoming control flow edge).
This is conservative (may miss on some type checking opportunities) but is
simple and an improvement over what we had before.
Differential Revision: https://reviews.llvm.org/D112953
Diffstat (limited to 'llvm/lib/CodeGen/LiveDebugVariables.cpp')
0 files changed, 0 insertions, 0 deletions