blob: e4596fe7c337722f74b53f266573b19cc16acab4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/* { dg-do compile } */
/* { dg-options "-fdump-rtl-cmpelim -dp" } */
/* { dg-skip-if "code quality test" { *-*-* } { "-O0" } { "" } } */
typedef float __attribute__ ((mode (SF))) float_t;
float_t
le_addsf (float_t x, float_t y)
{
x += y;
if (x <= 0)
return x;
else
return x + 2;
}
/* Expect assembly like:
addf3 4(%ap),8(%ap),%r0 # 28 [c=48] *addsf3_ccnz/2
jleq .L1 # 30 [c=26] *branch_ccnz
addf2 $0f2.0e+0,%r0 # 27 [c=36] *addsf3/0
.L1:
*/
/* { dg-final { scan-rtl-dump-times "deleting insn with uid" 1 "cmpelim" } } */
/* { dg-final { scan-assembler-not "\t(bit|cmpz?|tst). " } } */
/* { dg-final { scan-assembler "addsf\[^ \]*_ccnz(/\[0-9\]+)?\n" } } */
/* { dg-final { scan-assembler "branch_ccnz\n" } } */
|
