(* alpha32RegAlloc.sml --- alpha integer and floating register allocator
 *
 * COPYRIGHT (c) 1996 AT&T Bell Laboratories.
 *
 *)

(* Integer and floating register allocators are a partial application
 * of a curried functor. 
 *)



functor Alpha32RegAlloc(structure P : INSN_PROPERTIES
			structure F : FLOWGRAPH
			structure I : INSTRUCTIONS where C = Alpha32Cells
			structure Asm : EMITTER_NEW
			   sharing Asm.F = F
		  	   sharing P.I = F.I = Asm.I = I) :
   sig
    functor IntRa (structure RaUser : RA_USER_PARAMS
		     where type I.operand = I.operand
		       and type I.instruction = I.instruction
		     (* should be: where I = I -- bug 1205 *)) : sig
        datatype mode = REGISTER_ALLOCATION | COPY_PROPAGATION
	val ra : mode -> F.cluster -> F.cluster
      end
    functor FloatRa (structure RaUser : RA_USER_PARAMS
		       where type I.operand = I.operand
		         and type I.instruction = I.instruction
		       (* should be: where I = I *)) : sig
        datatype mode = REGISTER_ALLOCATION | COPY_PROPAGATION
        val ra : mode -> F.cluster -> F.cluster
      end
   end =
struct
    (* liveness analysis for general purpose registers *)
  structure RegLiveness =
    Liveness(structure Flowgraph=F
	     structure Instruction=I
	     val defUse = P.defUseR
	     fun regSet c = #1 (c:Alpha32Cells.cellset)
	     fun cellset((_,f),r) = (r,f))


  (* integer register allocator *)
  functor IntRa = 
      RegAllocator
	 (structure RaArch = struct

	     structure InsnProps = P
	     structure AsmEmitter = Asm
	     structure I = I
	     structure Liveness=RegLiveness
	     val defUse = P.defUseR
	     val firstPseudoR = 32
	     val maxPseudoR = Alpha32Cells.maxReg
	     val numRegs = Alpha32Cells.numRegs
	     fun regSet c = #1 (c:Alpha32Cells.cellset)
	  end)



  (* liveness analysis for floating point registers *)
  structure FregLiveness = 
    Liveness(structure Flowgraph=F
	     structure Instruction=I
	     val defUse = P.defUseF
	     fun regSet c = #2 (c:Alpha32Cells.cellset)
	     fun cellset((r,_),f) = (r,f))

  (* floating register allocator *)
  functor FloatRa = 
    RegAllocator
       (structure RaArch = struct

          structure InsnProps = P
	  structure AsmEmitter = Asm
	  structure Liveness=FregLiveness
	  structure I = I

	  val defUse = P.defUseF
	  val firstPseudoR = 32
	  val maxPseudoR = Alpha32Cells.maxFreg
	  val numRegs = Alpha32Cells.numFregs
	  fun regSet c = #2 (c:Alpha32Cells.cellset)
	end)
end




(*
 * $Log: alpha32RegAlloc.sml,v $
 * Revision 1.6  1997/07/17 12:26:46  george
 *   The regmap is now represented as an int map rather than using arrays.
 *
# Revision 1.5  1997/07/15  15:38:12  dbm
# *** empty log message ***
#
# Revision 1.4  1997/07/02  13:21:50  george
#   The register allocator now has a mode to do either copy-propagation
#   or full register allocation + copy-propagation.
#
# Revision 1.3  1997/05/22  03:22:00  dbm
#   Minor change in SML '97 style sharing.  Still can't use where structure
#   -- see bug 1205.
#
# Revision 1.2  1997/05/20  12:07:38  dbm
#   SML '97 sharing, where structure.
#
# Revision 1.1.1.1  1997/04/19  18:14:22  george
#   Version 109.27
#
 *)