aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/mem2reg/broken-phi02.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-04-09 16:49:09 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-07-01 00:18:44 +0200
commit6dea652c4ac3aec57ffb1ce7c333184d324971f8 (patch)
tree28932646258397c25555ec64592614a992696688 /validation/mem2reg/broken-phi02.c
parentb9d74dac4b2ddad5dd90ec36eb2e40963d09f9d8 (diff)
downloadsparse-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/broken-phi02.c')
-rw-r--r--validation/mem2reg/broken-phi02.c1
1 files changed, 0 insertions, 1 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\\.
*/