Generalized float contagion a bit to reduce the possiblity of quiet
inefficency. Now we handle mixed single/double float operations, and also do this contagion on comparisons. Also, we explicitly GIVE-UP when there is a integer-rational comparison where the rational is non-constant to reduce the chance that a mixed comparison will get through with no efficency note.
Loading
Please register or sign in to comment