common-predicates.sl 906 B

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. (*
  2. "% COMMON-PREDICATES.SL - Predicates used for Anyreg and C-macro expansion
  3. %
  4. % Author: Eric Benson
  5. % Symbolic Computation Group
  6. % Computer Science Dept.
  7. % University of Utah
  8. % Date: 21 December 1981
  9. % Copyright (c) 1981 University of Utah
  10. %")
  11. (fluid '(EntryPoints!*
  12. !*FastLinks))
  13. (global '(!*R2I))
  14. (de RegisterP (Expression)
  15. (EqCar Expression 'REG))
  16. (de AnyP (Expression)
  17. T)
  18. (de TaggedLabel (X)
  19. (EqCar X 'Label))
  20. (de EqTP (Expression)
  21. (equal Expression T))
  22. (de MinusOneP (Expression)
  23. (equal Expression -1))
  24. (de InternallyCallableP (X) % only when writing a file
  25. (and (or !*WritingFaslFile (not (FUnBoundP 'AsmOut)))
  26. (or !*FastLinks
  27. (and !*R2I (memq X EntryPoints!*))
  28. (FlagP X 'InternalFunction)
  29. (FlagP X 'FastLink))))
  30. (de AddressConstantP (Expression)
  31. (or (atom Expression) (equal (car Expression) 'Immediate)))