-#30
-(defun foo (x y)
- (< x y))
-
-FOO's IR1 representation is roughly:
-
-(defun foo (x y)
- (if (< x y)
- T
- NIL))
-
-However, if a full call is generated for < (and similarly for other
-predicate functions), then the IF is unnecessary, since the return value
-of (< x y) is already T or NIL.
---------------------------------------------------------------------------------