PR middle-end/77357 - strlen of constant strings not folded
[official-gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / ssa-dom-branch-1.c
blobfae5bdef8186eb152ca8249b0f1a9d434e176d78
1 /* { dg-do compile } */
2 /* { dg-options "-O2 -w -fdump-tree-dom2-details" } */
4 typedef struct rtx_def *rtx;
5 struct rtx_def
7 int code;
8 rtx rt_rtx;
9 };
10 rtx
11 try_combine (rtx i1, rtx newpat)
13 rtx temp;
14 if (i1 && (temp = ((((((newpat->rt_rtx, ((((temp)->code) == 42)))))))))
15 && ((temp =
16 (((((((((((newpat)->rt_rtx),
17 ((((temp)->code) == 42) && arf ())))))))))))))
19 else if (i1 && foo ());
22 /* There should be four tests against i1. One from the hash table
23 dumps, one from the EVRP analyzer one from EVRP evaluation and one
24 in the code itself. */
25 /* { dg-final { scan-tree-dump-times "if .i1_" 4 "dom2"} } */
27 /* There should be no actual jump threads realized by DOM. The
28 legitimize jump threads are handled in VRP and those discovered
29 by DOM are subsumed by collapsing a conditional. */
30 /* { dg-final { scan-tree-dump-not "Threaded" "dom2"} } */