diff options
author | Heejin Ahn <aheejin@gmail.com> | 2024-09-04 09:00:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-09-04 09:00:17 -0700 |
commit | b2677842ae489835e5ce842c997ccacba79a2fb2 (patch) | |
tree | a61e825b1298840f19b2c609a5b8d45b0a4cf760 /src/passes/SSAify.cpp | |
parent | 952286421a19fb8358d645f49d455b75bfbd1d19 (diff) | |
download | binaryen-b2677842ae489835e5ce842c997ccacba79a2fb2.tar.gz binaryen-b2677842ae489835e5ce842c997ccacba79a2fb2.tar.bz2 binaryen-b2677842ae489835e5ce842c997ccacba79a2fb2.zip |
[EH] Rename BrTarget to Trampoline (NFC) (#6898)
This renames "delegate_br_target" to "delegate_trampoline". So how we
translate `try`-`delegate` is:
- Before:
```wast
(try $delegate_target
...
(try
(do
...
)
(delegate $delegate_target)
)
...
)
```
- After:
```wast
(try_table $delegate_target
(throw_ref
(block $delegate_br_target
...
(try_table (catch_all $delegate_br_target)
...
)
...
)
)
)
```
So `delegate_br_target` is the destination we branch (via `try_table`)
to, in order to rethrow the exnref using `throw_ref`.
But given that the translated code does not actually have a `br`, I
think this name can be confusing.
This renames `br_target` to `trampoline`, given that the block is upon
which we bounce the exnref off to reach the real delegate target.
This is to be consistent with the variable names in the LLVM
implementation (which has not been submitted yet).
Diffstat (limited to 'src/passes/SSAify.cpp')
0 files changed, 0 insertions, 0 deletions