blob: ea07562e47eb2e051c2d4618624192612dea4e29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-lim-details" } */
/* PR tree-optimization/117234 */
/* PAREN_EXPR should not be declared as
a trapping. */
float f1(float a, int t, _Bool *b, float c)
{
float tt = 0;
for (int i = 0; i < t; i++)
{
if (b[i])
tt *= -__builtin_assoc_barrier (-a);
}
return tt;
}
/* There should be 3 `invariant up to level`, two for each `-` and one
for the PAREN_EXPR. */
/* { dg-final { scan-tree-dump-times "invariant up to level" 3 "lim2" } } */
|
