Lines Matching defs:rightDouble
728 GateRef rightDouble = GetDoubleOfTDouble(right);
730 opNumber1 = DoubleToInt(glue, rightDouble);
750 GateRef rightDouble = GetDoubleOfTDouble(right);
753 opNumber1 = DoubleToInt(glue, rightDouble);
821 GateRef rightDouble = GetDoubleOfTDouble(right);
823 opNumber1 = DoubleToInt(glue, rightDouble);
843 GateRef rightDouble = GetDoubleOfTDouble(right);
846 opNumber1 = DoubleToInt(glue, rightDouble);
923 GateRef rightDouble = GetDoubleOfTDouble(right);
925 opNumber1 = DoubleToInt(glue, rightDouble);
945 GateRef rightDouble = GetDoubleOfTDouble(right);
948 opNumber1 = DoubleToInt(glue, rightDouble);
1014 GateRef rightDouble = GetDoubleOfTDouble(right);
1015 opNumber1 = DoubleToInt(glue, rightDouble);
1035 GateRef rightDouble = GetDoubleOfTDouble(right);
1038 opNumber1 = DoubleToInt(glue, rightDouble);
1102 GateRef rightDouble = GetDoubleOfTDouble(right);
1104 opNumber1 = DoubleToInt(glue, rightDouble);
1124 GateRef rightDouble = GetDoubleOfTDouble(right);
1127 opNumber1 = DoubleToInt(glue, rightDouble);
1191 GateRef rightDouble = GetDoubleOfTDouble(right);
1193 opNumber1 = DoubleToInt(glue, rightDouble);
1213 GateRef rightDouble = GetDoubleOfTDouble(right);
1216 opNumber1 = DoubleToInt(glue, rightDouble);