acid: asm(fmin)
fmin 0x0000000000200028	MOVSD	a+0x0(FP),X6
fmin+0x6 0x000000000020002e	MOVSD	b+0x8(FP),X5
fmin+0xc 0x0000000000200034	UCOMISD	X6,X5
fmin+0x10 0x0000000000200038	JLS	fmin+0x17(SB)
fmin+0x12 0x000000000020003a	MOVSD	X6,X0
fmin+0x16 0x000000000020003e	RET
fmin+0x17 0x000000000020003f	MOVSD	X5,X0
fmin+0x1b 0x0000000000200043	JMP	fmin+0x16(SB)
acid: asm(min)
min 0x00000000002001d5	MOVSD	a+0x0(FP),X0
min+0x6 0x00000000002001db	MINSD	b+0x8(FP),X0
min+0xc 0x00000000002001e1	RET