diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-22 16:37:07 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-22 17:07:53 +0100 |
| commit | 80777740bcb17ee8aacb78ebd2dd9c0f84945474 (patch) | |
| tree | f1aa85a3f459b54578135a128e63cbd6869168b5 /Documentation/IR.rst | |
| parent | b59dbdaf37400cc57e21f8b4bc72a8092d0a2332 (diff) | |
| parent | 45e0e859a9cf2d14546dd5597a777926087928f0 (diff) | |
| download | sparse-dev-80777740bcb17ee8aacb78ebd2dd9c0f84945474.tar.gz | |
Merge branch 'optim-cgoto' into next
* simplification of computed gotos with 1 or 2 targets
Diffstat (limited to 'Documentation/IR.rst')
| -rw-r--r-- | Documentation/IR.rst | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/Documentation/IR.rst b/Documentation/IR.rst index 6330ee9c..38df84ff 100644 --- a/Documentation/IR.rst +++ b/Documentation/IR.rst @@ -352,13 +352,20 @@ Others * .type: type of the literal & .target .. op:: OP_SETVAL - Create a pseudo corresponding to a string literal or a label-as-value. - The value is given as an expression EXPR_STRING or EXPR_LABEL. + Create a pseudo corresponding to a string literal. + The value is given as an expression EXPR_STRING. * .val: (expression) input expression * .target: the resulting value * .type: type of .target, the value +.. op:: OP_LABEL + Create a pseudo corresponding to a label-as-value. + + * .bb_true: the BB corresponding to the label + * .target: the resulting value + * .type: type of .target (void \*) + .. op:: OP_PHI Phi-node (for SSA form). |