diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-20 17:33:15 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-01 09:07:45 +0100 |
| commit | e207d0df64d8086d059349bc08fee310cf1cba84 (patch) | |
| tree | 194b3d5ce8d4fa8c5d952ad3f1b52912c062e0ba /Documentation | |
| parent | 39c697538115e7c402ab890f6d8755b2c1ddf826 (diff) | |
| download | sparse-dev-e207d0df64d8086d059349bc08fee310cf1cba84.tar.gz | |
IR: let OP_COMPUTEGOTO use .src instead of .target
In struct instruction, .target is normally used to hold
the result. Its value is thus produced/defined by instructions.
However, OP_COMPUTEDGOTO use .target as an input. This
creates slight complications for code, like liveness analysis,
which care about which fields are used and which are defined
by the instructions.
Change this by letting OP_COMPUTEDGOTO use .src for its
operand instead of .target.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/IR.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/IR.md b/Documentation/IR.md index 7bbeda8f..03fa3f80 100644 --- a/Documentation/IR.md +++ b/Documentation/IR.md @@ -39,7 +39,7 @@ Switch / multi-branch #### OP_COMPUTEDGOTO Computed goto / branch to register -- .target: target address (type is irrelevant, void*) +- .src: address to branch to (void*) - .multijmp_list: list of possible destination basic blocks ### Arithmetic binops |