1 %verify "executed" 2 3 /* 4 * 64-bit floating point sqrt operation. 5 * If the result is a NaN, bail out to library code to do 6 * the right thing. 7 * 8 * On entry: 9 * a2 src addr of op1 10 * On exit: 11 * v0,v1/fv0 = res 12 */ 13 #ifdef SOFT_FLOAT 14 LOAD64(rARG0, rARG1, a2) # a0/a1<- vBB/vBB+1 15 #else 16 LOAD64_F(fa0, fa0f, a2) # fa0/fa0f<- vBB/vBB+1 17 sqrt.d fv0, fa0 18 c.eq.d fv0, fv0 19 bc1t 1f 20 #endif 21 JAL(sqrt) 22 1: 23 RETURN 24