| double fadd(double x, double y) { return x + y; } |
| double fsub(double x, double y) { return x - y; } |
| double fmul(double x, double y) { return x * y; } |
| double fdiv(double x, double y) { return x / y; } |
| double fneg(double x) { return -x; } |
| _Bool ftst(double x) { return !x; } |
| |
| /* |
| * check-name: floating-point ops |
| * check-command: test-linearize -Wno-decl $file |
| |
| * check-output-start |
| fadd: |
| .L0: |
| <entry-point> |
| fadd.64 %r3 <- %arg1, %arg2 |
| ret.64 %r3 |
| |
| |
| fsub: |
| .L2: |
| <entry-point> |
| fsub.64 %r7 <- %arg1, %arg2 |
| ret.64 %r7 |
| |
| |
| fmul: |
| .L4: |
| <entry-point> |
| fmul.64 %r11 <- %arg1, %arg2 |
| ret.64 %r11 |
| |
| |
| fdiv: |
| .L6: |
| <entry-point> |
| fdiv.64 %r15 <- %arg1, %arg2 |
| ret.64 %r15 |
| |
| |
| fneg: |
| .L8: |
| <entry-point> |
| fneg.64 %r18 <- %arg1 |
| ret.64 %r18 |
| |
| |
| ftst: |
| .L10: |
| <entry-point> |
| setfval.64 %r21 <- 0.000000e+00 |
| fcmpoeq.1 %r23 <- %arg1, %r21 |
| ret.1 %r23 |
| |
| |
| * check-output-end |
| */ |