Lines Matching refs:high_bits
3420 int32_t high_bits = product >> 32; in EVALUATE() local
3421 r1_val = high_bits; in EVALUATE()
3423 set_low_register(r1, high_bits); in EVALUATE()
3790 int32_t high_bits = product >> 32; in EVALUATE() local
3791 r1_val = high_bits; in EVALUATE()
3793 set_low_register(r1, high_bits); in EVALUATE()
7250 int32_t high_bits = product >> 32; in EVALUATE() local
7252 set_low_register(r1, high_bits); in EVALUATE()
8155 int32_t high_bits = product >> 32; in EVALUATE() local
8156 r1_val = high_bits; in EVALUATE()
8158 set_low_register(r1, high_bits); in EVALUATE()
8456 uint32_t high_bits = product >> 32; in EVALUATE() local
8457 r1_val = high_bits; in EVALUATE()
8459 set_low_register(r1, high_bits); in EVALUATE()