diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-04-09 16:49:09 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-01 00:18:44 +0200 |
| commit | 6dea652c4ac3aec57ffb1ce7c333184d324971f8 (patch) | |
| tree | 28932646258397c25555ec64592614a992696688 /validation/mem2reg | |
| parent | b9d74dac4b2ddad5dd90ec36eb2e40963d09f9d8 (diff) | |
| download | sparse-dev-6dea652c4ac3aec57ffb1ce7c333184d324971f8.tar.gz | |
ssa: activate the new SSA conversion
This activate the new SSA conversion that will be used
to replace simplify_symbol_usage() which created invalid
SSA (phi-nodes were placed where the value was needed
instead of where the paths meet, also and partially related,
it was possible for a phi-node to have more operands/sources
than the BB it was in had parents).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/mem2reg')
| -rw-r--r-- | validation/mem2reg/broken-phi02.c | 1 | ||||
| -rw-r--r-- | validation/mem2reg/broken-phi03.c | 1 | ||||
| -rw-r--r-- | validation/mem2reg/cond-expr5.c | 1 | ||||
| -rw-r--r-- | validation/mem2reg/quadra00.c | 1 | ||||
| -rw-r--r-- | validation/mem2reg/quadra01.c | 1 | ||||
| -rw-r--r-- | validation/mem2reg/stray-phisrc.c | 1 | ||||
| -rw-r--r-- | validation/mem2reg/undef00.c | 1 |
7 files changed, 1 insertions, 6 deletions
diff --git a/validation/mem2reg/broken-phi02.c b/validation/mem2reg/broken-phi02.c index 69776e0f..5aa65071 100644 --- a/validation/mem2reg/broken-phi02.c +++ b/validation/mem2reg/broken-phi02.c @@ -22,7 +22,6 @@ int foo(int a, int b) * is used) causes a missed select-conversion at later stage. * * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * check-output-ignore * check-output-contains: select\\. */ diff --git a/validation/mem2reg/broken-phi03.c b/validation/mem2reg/broken-phi03.c index 58b47979..eff1ff8a 100644 --- a/validation/mem2reg/broken-phi03.c +++ b/validation/mem2reg/broken-phi03.c @@ -23,7 +23,6 @@ int foo(int a, int b) * is used) causes a missed select-conversion at later stage. * * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * check-output-ignore * check-output-contains: select\\. */ diff --git a/validation/mem2reg/cond-expr5.c b/validation/mem2reg/cond-expr5.c index 62ac6c15..a3ce5e3a 100644 --- a/validation/mem2reg/cond-expr5.c +++ b/validation/mem2reg/cond-expr5.c @@ -11,7 +11,6 @@ int foo(int p, int q, int a) /* * check-name: cond-expr5 * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file - * check-known-to-fail * * check-output-ignore * check-output-excludes: load\\. diff --git a/validation/mem2reg/quadra00.c b/validation/mem2reg/quadra00.c index 63b489c9..69ddc977 100644 --- a/validation/mem2reg/quadra00.c +++ b/validation/mem2reg/quadra00.c @@ -20,7 +20,6 @@ int foo(int *a, int b, int c) /* * check-name: quadratic phisrc * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * check-output-ignore * check-output-excludes: phi\\..*, .*, .* * check-output-excludes: phi\\..*, .*, .*, .* diff --git a/validation/mem2reg/quadra01.c b/validation/mem2reg/quadra01.c index b71f4696..bab337f2 100644 --- a/validation/mem2reg/quadra01.c +++ b/validation/mem2reg/quadra01.c @@ -20,6 +20,7 @@ static void foo(void) { * check-name: quadratic @ liveness * check-command: test-linearize -I. $file * check-timeout: + * check-known-to-fail * * check-output-ignore * check-output-excludes: phi\\. diff --git a/validation/mem2reg/stray-phisrc.c b/validation/mem2reg/stray-phisrc.c index e9f35c89..0da7df7a 100644 --- a/validation/mem2reg/stray-phisrc.c +++ b/validation/mem2reg/stray-phisrc.c @@ -18,7 +18,6 @@ static int foo(int **g) /* * check-name: stray phisrc * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-excludes: phisrc\\. diff --git a/validation/mem2reg/undef00.c b/validation/mem2reg/undef00.c index 27f0aaa8..20ea962c 100644 --- a/validation/mem2reg/undef00.c +++ b/validation/mem2reg/undef00.c @@ -13,7 +13,6 @@ static void badw(int v) /* * check-name: undef00 * check-command: test-linearize -fdump-ir=mem2reg $file - * check-known-to-fail * check-output-ignore * check-output-pattern(1): load\\. * check-output-pattern(1): load\\..*\\[UNDEF\\] |