Lines Matching refs:frB
6591 IRTemp frB = newTemp(Ity_F64);
6594 assign( frB, getFReg(rB_addr)); // always F64
6596 assign( rA, unop( Iop_ReinterpF64asI64, mkexpr(frB)) );
6598 assign( rA, unop( Iop_64to32, unop( Iop_ReinterpF64asI64, mkexpr(frB))) );
10356 IRTemp frB = newTemp(Ity_F64);
10372 assign( frB, getFReg(frB_addr));
10384 rm, mkexpr(frA), mkexpr(frB) ));
10393 rm, mkexpr(frA), mkexpr(frB) ));
10402 rm, mkexpr(frA), mkexpr(frB) ));
10413 assign( frD, binop( Iop_SqrtF64, rm, mkexpr(frB) ));
10426 ieee_one, mkexpr(frB) ));
10446 assign( frD, unop(Iop_RSqrtEst5GoodF64, mkexpr(frB)) );
10462 assign( frD, triop(Iop_DivF64, rm, mkexpr(frA), mkexpr(frB)) );
10470 assign( frD, triop(Iop_SubF64, rm, mkexpr(frA), mkexpr(frB)) );
10478 assign( frD, triop(Iop_AddF64, rm, mkexpr(frA), mkexpr(frB)) );
10487 assign( frD, binop(Iop_SqrtF64, rm, mkexpr(frB)) );
10504 // frD = (frA >= 0.0) ? frC : frB
10505 // = (cc_b0 == 0) ? frC : frB
10510 mkexpr(frB) ));
10529 ieee_one, mkexpr(frB) ));
10547 assign( frD, unop(Iop_RSqrtEst5GoodF64, mkexpr(frB)) );
10594 IRTemp frB = newTemp(Ity_F64);
10620 assign( frB, getFReg(frB_addr));
10638 mkexpr(frA), mkexpr(frC), mkexpr(frB) ));
10645 mkexpr(frA), mkexpr(frC), mkexpr(frB) ));
10655 mkexpr(frA), mkexpr(frC), mkexpr(frB) ) );
10660 mkexpr(frA), mkexpr(frC), mkexpr(frB) ) );
10682 mkexpr(frA), mkexpr(frC), mkexpr(frB) ));
10689 mkexpr(frA), mkexpr(frC), mkexpr(frB) ));
10699 mkexpr(frA), mkexpr(frC), mkexpr(frB) ) );
10704 mkexpr(frA), mkexpr(frC), mkexpr(frB) ));
10742 * - The floating-point operand in register FRB is a Zero, a
10748 * - The floating-point operand in register FRB is a Zero, an
10808 * - Test if FRB is Zero
10809 * - Test if FRB is an Infinity
10813 * Test if FRB holds a denormalized value. A denormalized value is one where
10855 * - The double-precision floating-point operand in register FRB is a Zero, a
10869 * - The double-precision floating-point operand in register FRB is a Zero, an
10927 * and FRB is an Infinity. Test if FRB is zero.
10940 * Test if the double-precision floating-point operand in register FRB is
11008 * - Test if FRB ix Zero
11009 * - Test if FRB is an Infinity
11013 * Test if FRB holds a denormalized value. A denormalized value is one where
11165 IRTemp frB = newTemp(Ity_F64);
11173 assign( frB, getFReg(frB_addr));
11175 assign( ccIR, binop(Iop_CmpF64, mkexpr(frA), mkexpr(frB)) );
11258 IRTemp frB = newTemp(Ity_F64);
11278 assign( frB, getFReg(frB_addr));
11287 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) );
11294 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) );
11304 assign( frD, binop( Iop_RoundF64toF32, rm, mkexpr(frB) ));
11310 binop(Iop_F64toI32S, rm, mkexpr(frB)) );
11320 frB) ));
11333 mkexpr( frB ) ) );
11344 binop(Iop_F64toI64S, rm, mkexpr(frB)) );
11353 binop(Iop_F64toI64S, mkU32(Irrm_ZERO), mkexpr(frB)) );
11364 binop(Iop_F64toI64U, opc2 == 0x3AE ? rm : mkU32(Irrm_ZERO), mkexpr(frB)) );
11372 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) );
11379 assign( r_tmp64, unop( Iop_ReinterpF64asI64, mkexpr(frB)) );
11388 binop(Iop_F64toI64S, mkU32(Irrm_NEAREST), mkexpr(frB)) );
11393 binop(Iop_F64toI64S, mkU32(Irrm_ZERO), mkexpr(frB)) );
11398 binop(Iop_F64toI64S, mkU32(Irrm_PosINF), mkexpr(frB)) );
11403 binop(Iop_F64toI64S, mkU32(Irrm_NegINF), mkexpr(frB)) );
11407 /* don't use the rounded integer if frB is outside -9e18..9e18 */
11410 /* frD = (fabs(frB) > 9e18) ? frB :
11411 (sign(frB)) ? -fabs((double)r_tmp64) : (double)r_tmp64 */
11417 unop(Iop_AbsF64, mkexpr(frB)))),
11419 mkexpr(frB),
11425 mkexpr(frB))),
11715 IRTemp frB = newTemp(Ity_F64);
11718 assign( frB, getFReg(frB_addr));
11731 mkexpr(frB) ) ) ) ) );
11744 mkexpr(frB) ) ) ) ) );
11770 IRTemp frB = newTemp(Ity_F64);
11781 assign( frB, getFReg(frB_addr));
11799 assign( itmpB, unop(Iop_ReinterpF64asI64, mkexpr(frB)) );
11805 mkexpr(itmpB)), /* frB's high 32 bits */
11814 mkexpr(itmpB)))) ); /* frB's low 32 bits */
11819 assign( frD, unop( Iop_NegF64, mkexpr(frB) ));
11824 assign( frD, mkexpr(frB) );
11829 assign( frD, unop( Iop_NegF64, unop( Iop_AbsF64, mkexpr(frB) )));
11834 assign( frD, unop( Iop_AbsF64, mkexpr(frB) ));
11944 IRTemp frB = newTemp(Ity_F64);
11988 assign( frB, getFReg(frB_addr));
11989 assign( frB_int, unop( Iop_ReinterpF64asI64, mkexpr( frB ) ) );
12026 assign( frB, getFReg(frB_addr));
12027 assign( frB_int, unop( Iop_ReinterpF64asI64, mkexpr( frB ) ) );
12083 IRTemp frB = newTemp(Ity_F64);
12117 * field of register FRB, where k = i+8x(1-W). In the Power
12137 assign( frB, getFReg(frB_addr));
12138 assign( rB_64, unop( Iop_ReinterpF64asI64, mkexpr( frB ) ) );
12806 IRTemp frB = newTemp( Ity_D64 );
12819 assign( frB, getDReg( frB_addr ) );
12825 assign( frS, triop( Iop_AddD64, round, mkexpr( frA ), mkexpr( frB ) ) );
12830 assign( frS, triop( Iop_SubD64, round, mkexpr( frA ), mkexpr( frB ) ) );
12835 assign( frS, triop( Iop_MulD64, round, mkexpr( frA ), mkexpr( frB ) ) );
12840 assign( frS, triop( Iop_DivD64, round, mkexpr( frA ), mkexpr( frB ) ) );
12864 IRTemp frB = newTemp( Ity_D128 );
12877 assign( frB, getDReg_pair( frB_addr ) );
12883 assign( frS, triop( Iop_AddD128, round, mkexpr( frA ), mkexpr( frB ) ) );
12888 assign( frS, triop( Iop_SubD128, round, mkexpr( frA ), mkexpr( frB ) ) );
12893 assign( frS, triop( Iop_MulD128, round, mkexpr( frA ), mkexpr( frB ) ) );
12898 assign( frS, triop( Iop_DivD128, round, mkexpr( frA ), mkexpr( frB ) ) );
12993 IRTemp frB;
13002 frB = newTemp( Ity_D32 );
13004 assign( frB, getDReg32( frB_addr ) );
13005 assign( frS, unop( Iop_D32toD64, mkexpr( frB ) ) );
13011 frB = newTemp( Ity_D64 );
13013 assign( frB, getDReg( frB_addr ) );
13014 assign( frS, binop( Iop_D64toD32, round, mkexpr( frB ) ) );
13023 frB = newTemp( Ity_D64 );
13025 assign( frB, getDReg( frB_addr ) );
13026 assign( tmp, binop( Iop_D64toI64S, round, mkexpr( frB ) ) );
13034 frB = newTemp( Ity_D64 );
13036 assign( frB, getDReg( frB_addr ) );
13039 unop( Iop_ReinterpD64asI64, mkexpr( frB ) ) ) );
13123 IRTemp frB = newTemp( Ity_D64 );
13143 assign( frB, getDReg( frB_addr ) );
13146 mkexpr( frB ) ) );
13168 IRTemp frB = newTemp( Ity_D128 );
13184 assign( frB, getDReg_pair( frB_addr ) );
13187 mkexpr( frB ) ) );
13213 IRTemp frB = newTemp( Ity_D64 );
13217 assign( frB, getDReg( frB_addr ) );
13226 * given by TE using significand from frB. Need to add the bias
13253 mkexpr( frB ) ) );
13263 mkexpr( frB ) ) );
13280 mkexpr( frB ) ) );
13307 IRTemp frB = newTemp( Ity_D128 );
13311 assign( frB, getDReg_pair( frB_addr ) );
13349 mkexpr( frB ) ) );
13358 mkexpr( frB ) ) );
13375 mkexpr( frB ) ) );
13401 IRTemp frB = newTemp( Ity_D64 );
13406 assign( frB, getDReg( frB_addr ) );
13412 assign( tmp, unop( Iop_ExtractExpD64, mkexpr( frB ) ) );
13421 mkexpr( frB ) ) );
13446 IRTemp frB = newTemp( Ity_D128 );
13452 assign( frB, getDReg_pair( frB_addr ) );
13462 assign( tmp, unop( Iop_ExtractExpD128, mkexpr( frB ) ) );
13472 mkexpr( frB ) ) );
13496 IRTemp frB;
13508 frB = newTemp( Ity_D64 );
13511 assign( frB, getDReg( frB_addr ) );
13513 assign( ccIR, binop( Iop_CmpD64, mkexpr( frA ), mkexpr( frB ) ) );
13518 frB = newTemp( Ity_D128 );
13521 assign( frB, getDReg_pair( frB_addr ) );
13522 assign( ccIR, binop( Iop_CmpD128, mkexpr( frA ), mkexpr( frB ) ) );
13570 IRTemp frB = newTemp( Ity_D64 );
13600 assign( frB, getDReg( frB_addr ) );
13607 mkexpr( frB ) ) ) );
13615 assign( frB, unop( Iop_D128HItoD64, mkexpr( frB128 ) ) );
13640 mkexpr(frB) ) ) ) );
14207 IRTemp frB = newTemp( Ity_D64 );
14218 assign( frB, getDReg( frB_addr ) );
14219 assign( frBI64, unop( Iop_ReinterpD64asI64, mkexpr( frB ) ) );
14921 IRTemp frB = newTemp( Ity_D64 );
14933 assign( frB, getDReg( frB_addr ) );
14934 assign( frBI64, unop( Iop_ReinterpD64asI64, mkexpr( frB ) ) );
15051 * 3 K != 0 and K < Number of significant digits if FRB
15052 * 2 K != 0 and K > Number of significant digits if FRB OR K = 0
15053 * 1 K != 0 and K = Number of significant digits if FRB
15054 * 0 K ? Number of significant digits if FRB
16370 IRTemp frB = newTemp(Ity_F64);
16380 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB ))));
16419 triop( mOp, rm, mkexpr( frA ), mkexpr( frB ) ) ) );
16435 binop( Iop_SqrtF64, rm, mkexpr( frB ) ) ) );
16448 /* xvm{add|sub}mdp XT,XA,XB is element-wise equivalent to fm{add|sub} FRT,FRA,FRC,FRB with . . .
16451 * XB == FRB
16454 * XT == FRB
16504 mkexpr( mdp ? frT : frB ),
16505 mkexpr( mdp ? frB : frT ) ) ) );
17298 * else if frB is a SNaN
17299 * result = frB converted to QNaN
17300 * else if frB is a QNaN
17302 * // One of frA or frB was a NaN in order for this function to be called, so
17305 * result = frB
17314 /* else: if frB is a SNaN */
17316 /* then: result = frB converted to QNaN */
17318 /* else: if frB is a QNaN */
17322 /* else: frA is a QNaN, so result = frB */
17348 * Arguments: frA and frb are Ity_I64
17375 * otherwise, simply return frB. */
17417 IRTemp frB = newTemp(Ity_F64);
17444 assign(frB, unop(Iop_ReinterpI64asF64, mkexpr(frB_I64)));
17447 mkexpr( frB ) ) );
17449 /* don't use the rounded integer if frB is outside -9e18..9e18 */
17452 /* frD = (fabs(frB) > 9e18) ? frB :
17453 (sign(frB)) ? -fabs((double)intermediateResult) : (double)intermediateResult */
17460 unop( Iop_AbsF64, mkexpr( frB ) ) ) ),
17462 mkexpr( frB ),
17483 * If frB is a SNAN, then frD <- frB, with bit 12 set to '1'.
17524 IRTemp frB = newTemp(Ity_I64);
17529 assign(frB, unop(Iop_V128HIto64, getVSReg( XB )));
17538 unop( Iop_ReinterpI64asF64, mkexpr( frB ) ) ) );
17551 mkexpr( frB ) )
17690 IRTemp frB = newTemp(Ity_I64);
17696 assign(frB, unop(Iop_V128HIto64, getVSReg( XB )));
17700 putVSReg( XT, binop( Iop_64HLtoV128, get_max_min_fp(frA, frB, isMin), get_max_min_fp(frA2, frB2, isMin) ) );
17708 IRTemp frB = newTemp(Ity_I64);
17712 assign(frB, unop(Iop_V128HIto64, getVSReg( XB )));
17724 mkexpr( frB ),
17789 IRTemp frB = newTemp(Ity_F64);
17794 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB ))));
17799 assign(abs_resultHi, unop( Iop_NegF64, unop( Iop_AbsF64, mkexpr( frB ) ) ) );
17803 assign(abs_resultHi, unop( Iop_AbsF64, mkexpr( frB ) ) );
17854 IRTemp frB = newTemp(Ity_F64);
17856 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB ))));
17862 unop( Iop_NegF64, mkexpr( frB ) ) ),
17982 IRTemp frB = newTemp(Ity_F64);
17990 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB ))));
18004 mkexpr( frB ) ) ) ),
18014 mkexpr( frB ) ) ) ),
18022 mkexpr( frB ) ) ),
18032 mkexpr( frB ) ) ) ),
18040 mkexpr( frB ) ) ),
18058 mkexpr( mdp ? frT : frB ),
18059 mkexpr( mdp ? frB : frT ) ) ) ),
18073 mkexpr( mdp ? frT : frB ),
18074 mkexpr( mdp ? frB : frT ) ) ),
18093 mkexpr( mdp ? frT : frB ),
18094 mkexpr( mdp ? frB : frT ) ) ) ),
18108 mkexpr( mdp ? frT : frB ),
18109 mkexpr( mdp ? frB : frT ) ) ),
18131 mkexpr( mdp ? frT : frB ),
18132 mkexpr( mdp ? frB : frT ) ) ) );
18154 mkexpr( mdp ? frT : frB ),
18155 mkexpr( mdp ? frB : frT ) ) ) ) );
18178 mkexpr( mdp ? frT : frB ),
18179 mkexpr( mdp ? frB : frT ) ) ) ) );
18201 mkexpr( mdp ? frT : frB ),
18202 mkexpr( mdp ? frB : frT ) ) ));
18216 mkexpr( frB ) ) ) ),
18225 mkexpr( frB ) ) ),
18233 mkexpr( frB ) ) ),
18244 mkexpr( frB ) ) ) ),
18252 mkexpr( frB ) ) ),
18263 assign( frB_I64, unop( Iop_ReinterpF64asI64, mkexpr( frB ) ) );
18311 IRTemp frB = newTemp(Ity_F64);
18319 assign(frB, unop(Iop_ReinterpI64asF64, unop(Iop_V128HIto64, getVSReg( XB ))));
18326 ccPPC32 = get_fp_cmp_CR_val( binop(Iop_CmpF64, mkexpr(frA), mkexpr(frB)));
18966 IRTemp frB = newTemp(Ity_I64);
18971 assign(frB, unop(Iop_V128HIto64, mkexpr( vB )));
18972 putVSReg( XT, binop( Iop_64HLtoV128, get_max_min_fp(frA, frB, isMin), mkU64( 0 ) ) );
19000 IRTemp frB = newTemp(Ity_F64);
19008 assign( frB,
19016 mkexpr(frB) ) );
19024 redp ? mkexpr( frB ) :
19034 IRTemp frB = newTemp(Ity_F64);
19040 assign( frB,
19048 mkexpr(frB) ) );
19055 redp ? mkexpr( frB ) : mkexpr( sqrt ) ) ),
19062 IRTemp frB = newTemp(Ity_F64);
19065 assign( frB,
19073 mkexpr( frB ) ) ),
