1 double fadd(double x
, double y
) { return x
+ y
; }
2 double fsub(double x
, double y
) { return x
- y
; }
3 double fmul(double x
, double y
) { return x
* y
; }
4 double fdiv(double x
, double y
) { return x
/ y
; }
5 double fneg(double x
) { return -x
; }
6 _Bool
ftst(double x
) { return !x
; }
9 * check-name: floating-point ops
10 * check-command: test-linearize -Wno-decl $file
16 fadd.64 %r3 <- %arg1, %arg2
23 fsub.64 %r7 <- %arg1, %arg2
30 fmul.64 %r11 <- %arg1, %arg2
37 fdiv.64 %r15 <- %arg1, %arg2
51 setfval.64 %r21 <- 0.000000e+00
52 fcmpoeq.1 %r23 <- %arg1, %r21