Searched refs:r3_val (Results 1 – 1 of 1) sorted by relevance
2824 double r3_val = get_double_from_d_register(r3); in EVALUATE() local2825 double r1_val = r2_val + r3_val; in EVALUATE()2839 double r3_val = get_double_from_d_register(r3); in EVALUATE() local2840 double r1_val = r2_val - r3_val; in EVALUATE()2854 double r3_val = get_double_from_d_register(r3); in EVALUATE() local2855 double r1_val = r2_val * r3_val; in EVALUATE()2869 double r3_val = get_double_from_d_register(r3); in EVALUATE() local2870 double r1_val = r2_val / r3_val; in EVALUATE()3135 uint32_t r3_val = get_low_register<uint32_t>(r3); in EVALUATE() local3137 uint32_t rotateBits = r3_val >> (32 - shiftBits); in EVALUATE()[all …]