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
 */