comparison gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-branch-1.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
17 ((((temp)->code) == 42) && arf ()))))))))))))) 17 ((((temp)->code) == 42) && arf ())))))))))))))
18 ; 18 ;
19 else if (i1 && foo ()); 19 else if (i1 && foo ());
20 } 20 }
21 21
22 /* There should be two tests against i1. One from the hash table 22 /* There should be four tests against i1. One from the hash table
23 dumps, one in the code itself. */ 23 dumps, one from the EVRP analyzer one from EVRP evaluation and one
24 /* { dg-final { scan-tree-dump-times "if .i1_" 2 "dom2"} } */ 24 in the code itself. */
25 /* { dg-final { scan-tree-dump-times "if .i1_" 4 "dom2"} } */
25 26
26 /* There should be no actual jump threads realized by DOM. The 27 /* There should be no actual jump threads realized by DOM. The
27 legitimize jump threads are handled in VRP and those discovered 28 legitimize jump threads are handled in VRP and those discovered
28 by DOM are subsumed by collapsing a conditional. */ 29 by DOM are subsumed by collapsing a conditional. */
29 /* { dg-final { scan-tree-dump-not "Threaded" "dom2"} } */ 30 /* { dg-final { scan-tree-dump-not "Threaded" "dom2"} } */