File psl-1983/doc/cmacros.note artifact 74632234e1 part of check-in 955d0a90a7


                     Random LAP and CMACRO Notes
                     ---------------------------

In LAP-TO-ASM, LoadTime and StartupTime have ASMpreEVAL property.
Assumes certain things are WCONST's, like UNBOUND, HEAPSIZE,


Collect ASMPSEUDOOPs
	(FLOAT x)
	(FULLWORD x Y z ...)
	(BYTE x y ... z)
	(HALFWORD x y ...)
	(STRING s)

Collect	OPERANDPRINTFUNCTIONS
	(REG n)
	(ENTRY id)
	(INTERNALENTRY id)
	(ExtraREG n)  -> A macro actually
	(WVAR v)
	(WARRAY v)
	(WSTRING v)
	(FLUID id)
	($FLUID id)
	(GLOBAL id)
	($GLOBAL id)

Collect ASMExpressionFunction
	(INTERNALENTRY id)
	(WCONST x)

Collect WCONSTREFORMPSEUDO
	(INTERNALENTRY id)
	(QUOTE sexp)
	(LOC m)
	(IDLOC id)

BinaryASMOP and UnaryAsmOP -> For Parens/rename

	  (Plus2 !+)
	  (WPlus2 !+)
	  (Difference !-)
	  (WDifference !-)
	  (Times2 !*)
	  (WTimes2 !*)
	  (Quotient !/)
	  (WQuotient !/)), 'BinaryASMOp);

	  (Minus !-)
	  (WMinus !-)), 'UnaryASMOp);


ASMExpressionFormat and ASMExpressionFunction

---------DEC20--------------------
LAND,LOR,LXOR,LSH known BinaryASMOP
LNOT UnaryASMOP
MkItem is ASMEXPRESSIONFORMAT

OperandPrintFunctions:
	(INDIRECT exp)
	(INDEXED exp)
	(IMMEDIATE exp) -> A macro
	(FIELDPOINTER x y z)

CERROR is AsmPseudoOP, and !*CERROR is CMACRO


-------------VAX----------------------------
BINARYOP: Remainder LAND LOR LXOR LSH
UNARY:    Lnot
ASMEXPRESSIONFormat: MkItem

OPERANDPRINTFUNCTION:
	(DEFFERED x)
	(DISPLACEMENT x)
	(INDEXED x)
	(IMMEDIATE x)
	(AUTOINCREMENT x)
	(AUTODECREMENT x)
	(ABSOLUTE x)
	(FOREIGNENTRY x)

Also Cerror and !*Cerror


-------------------------------------------------------


Current set of ALM modes:
  TERMINALOPERAND, passed as is to LAP, unchanged in recrusive CMACROS
	(FLUID id)
	(!$FLUID id)
	(GLOBAL id)
	(!$GLOBAL id)
	(EXTRAREG r)

	(LABEL l)
	(INDEXED a) ? or TLM
	(INDIRECT a) ? TLM
	(LIT x)      ? TLM

	(UNIMMEDIATE x)


  ANYREG's just for OPEN-code
	(CAR exp)
	(CDR exp)

  SPECIALANYREGS, can sometimes (always?) be used recursively
		  provide the ANYREG table simplifies and re-installs
		  same TAG, or some other TAG.
	(FRAME i)
	(FRAMESIZE)
	(LABLEGEN l)
	(LABELREF l)
	(MEMORY a c)
	(QUOTE sexp)	 % Not TEMINALOPERAND too; ANYREG table "clever"
	(REG r)
	(WCONST w)
	(WVAR v)
	(WARRAY v)    ? only in ASM

Why are InternalEntry, ForeignEntry and Entry not in the
above LIST. SHould they not be TERMINALOPERAND?

Note that when in doubt, WCONST evaluable adds (IMMEDIATE...); is this
a good idea?

What are legal ALM addressing modes in each CMACRO,
remember !*JUMP is allowed MEMORY; how about !*CALL


Add CERROR and !*CERROR to COMMON-CMACROS; avoid FALL-THRU, rather
ALWAYs have an ERROR clause as default. Ie, Writer of CMACROs must
put in (ANY.. as default).

How to turn off INTERNAL function for debugging.
	Needs a flag, but can redefine INTERNALLYCALLABLEP to be NIL
	in COMPILER being used (either CROSS or RESIDENT or FASL)

	(de InternallyCallableP (x) NIL)

What is difference between 'FASTLINK and INTERNALFUNCTION flag
(see common-predicates)

Check what can be loaded as .SL and .LAP to simplify BOOT.
Ie how to ue MACRO's for compilation and INTERP. Perhaps
change model of CMACRO to be REAL macro, seen by compiler.
What is INTERP compatibility package? Need combine
INTERP-SYSLISP, INUM, etc.


To simplify debugging, can we make some "inessential" CMACRO's just
refer to associated OPENCODE or HANDCODED routine (eg, xxxFIELD).
Which CMACRO's are ESSENTIAL to COMPILER, which only appear in
the COMP-DECLS, and which are "pure" optimizations?

SRCCOM the various DECL files, perhaps can be made more common (for
the moment).


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]