diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-02-20 06:53:18 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-02-21 12:44:02 +0100 |
| commit | 2494587e823700458923052b17b0b981be92d776 (patch) | |
| tree | 56b9680a78dc5b33c6580aeb39126c0a1b69a16f /validation | |
| parent | efcf0db9d27ee1f463e1d6544bdaa7d0fd769778 (diff) | |
| download | sparse-dev-2494587e823700458923052b17b0b981be92d776.tar.gz | |
asm: output *memory* operands need their address as *input*
The addresses needed by memory output operands are linearized
(and placed) after the ASM instruction needing them.
So, split add_asm_output() in 2 parts: one generating only the
addresses for memory operands and called before issuing the body,
and another one doing the usual copy of (non-memory) output operands
back into their corresponding variables.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/linear/asm-out0.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/linear/asm-out0.c b/validation/linear/asm-out0.c index 64d154ed..a8e0be69 100644 --- a/validation/linear/asm-out0.c +++ b/validation/linear/asm-out0.c @@ -7,7 +7,6 @@ static void asm_out0(void) /* * check-name: asm-out0 * check-command: test-linearize -fdump-ir $file - * check-known-to-fail * * check-output-start asm_out0: |