1 /* Verify straight-line strength reduction for simple pointer subtraction. */
2
3 /* { dg-do compile } */
4 /* { dg-options "-O3 -fdump-tree-optimized" } */
5
6 int*
f(int s,int * c,int * d)7 f (int s, int *c, int *d)
8 {
9 int a1, a2, a3, *x1, *x2, *x3;
10
11 a1 = 2 * s;
12 x1 = c - a1;
13 a2 = 4 * s;
14 x2 = c - a2;
15 a3 = 6 * s;
16 x3 = c - a3;
17 return x1 == d ? x2 : x3;
18 }
19
20 /* Note that since some branch prediction heuristics changed, the
21 calculations of x2 and x3 are pushed downward into the legs
22 of the conditional, changing the code presented to SLSR.
23 However, this proves to be a useful test for introducing an
24 initializer with a cast, so we'll keep it as is. */
25
26 /* There are 4 ' * ' instances in the decls (since "int * iftmp.0;" is
27 added), 2 parms, 3 in the code. The second one in the code may
28 be a widening multiply (for example, on AArch64). */
29 /* { dg-final { scan-tree-dump-times " w?\\* " 9 "optimized" } } */
30