diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-30 14:34:34 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-09-06 02:57:20 +0200 |
| commit | 4d4dc74a9afa3e11953d7ff230794c83472e60c0 (patch) | |
| tree | 0bb6e86a2ba4647ee4645f7577f35d73dcc162cc /validation | |
| parent | 45c5f24a17690d2d4276fadb6c02a78e44843b23 (diff) | |
| download | sparse-dev-4d4dc74a9afa3e11953d7ff230794c83472e60c0.tar.gz | |
fix ordering of phi-node operand
The linearization of logical '&&' create a phi-node with its
operands in the wrong order relatively to the parent BBs.
Switch the order of the operands for logical '&&'.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/linear/logical.c | 8 | ||||
| -rw-r--r-- | validation/linear/phi-order01.c | 1 |
2 files changed, 4 insertions, 5 deletions
diff --git a/validation/linear/logical.c b/validation/linear/logical.c index 0f502c6b..2c9f43f8 100644 --- a/validation/linear/logical.c +++ b/validation/linear/logical.c @@ -159,7 +159,7 @@ as: br .L19 .L19: - phi.32 %r46 <- %phi14, %phi13 + phi.32 %r46 <- %phi13, %phi14 phisrc.32 %phi15(return) <- %r46 br .L17 @@ -189,7 +189,7 @@ au: br .L23 .L23: - phi.32 %r56 <- %phi17, %phi16 + phi.32 %r56 <- %phi16, %phi17 phisrc.32 %phi18(return) <- %r56 br .L21 @@ -217,7 +217,7 @@ al: br .L27 .L27: - phi.32 %r64 <- %phi20, %phi19 + phi.32 %r64 <- %phi19, %phi20 phisrc.32 %phi21(return) <- %r64 br .L25 @@ -246,7 +246,7 @@ ad: br .L31 .L31: - phi.32 %r73 <- %phi23, %phi22 + phi.32 %r73 <- %phi22, %phi23 phisrc.32 %phi24(return) <- %r73 br .L29 diff --git a/validation/linear/phi-order01.c b/validation/linear/phi-order01.c index 18f2acbc..0c4004fe 100644 --- a/validation/linear/phi-order01.c +++ b/validation/linear/phi-order01.c @@ -13,5 +13,4 @@ static int bar(int a) /* * check-name: phi-order01 * check-command: sparse -vir -flinearize=last $file - * check-known-to-fail */ |