Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /MLRISC/trunk/ppc/ra/ppcRegAlloc.sml
ViewVC logotype

View of /MLRISC/trunk/ppc/ra/ppcRegAlloc.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4867 - (download) (annotate)
Sat Sep 29 11:41:37 2018 UTC (8 months, 3 weeks ago) by jhr
File size: 1829 byte(s)
  Adding header comments
(* ppcRegAlloc.sml
 *
 * COPYRIGHT (c) 2018 The Fellowship of SML/NJ (http://www.smlnj.org)
 * All rights reserved.
 *)

functor PPCRegAlloc(structure I : INSTRUCTIONS where C = PPCCells
		     structure P : INSN_PROPERTIES where I = I
		     structure F : FLOWGRAPH where I = I and P = P
		     structure Asm : INSTRUCTION_EMITTER where I=I and P=P) :
  sig
    functor IntRa (structure RaUser : RA_USER_PARAMS
		     where I = I
		     where type B.name = F.B.name) : RA
    functor FloatRa (structure RaUser : RA_USER_PARAMS
		     where I = I
		     where type B.name = F.B.name) : RA
   end=
struct

  structure C=I.C

  (* liveness analysis for general purpose registers *)
  structure RegLiveness =
    Liveness(structure Flowgraph=F
	     structure Instruction=I
	     val defUse = P.defUse C.GP
	     val regSet = C.getCell C.GP
	     val cellset = C.updateCell C.GP)


  functor IntRa =
    RegAllocator
       (structure RaArch = struct
	   structure InsnProps = P
	   structure AsmEmitter = Asm
	   structure I = I
	   structure Liveness=RegLiveness

	   val defUse = P.defUse C.GP
	   val firstPseudoR = 32
	   val maxPseudoR = C.maxCell
	   val numRegs = C.numCell C.GP
	   val regSet = C.getCell C.GP
	end)

  (* liveness analysis for floating point registers *)
  structure FregLiveness =
    Liveness(structure Flowgraph=F
	     structure Instruction=I
	     val defUse = P.defUse C.FP
	     val regSet = C.getCell C.FP
	     val cellset = C.updateCell C.FP)

  functor FloatRa =
    RegAllocator
       (structure RaArch = struct
	   structure InsnProps = P
	   structure AsmEmitter = Asm
	   structure I = I
	   structure Liveness=FregLiveness

 	   val defUse = P.defUse C.FP
	   val firstPseudoR = 64
	   val maxPseudoR = C.maxCell
	   val numRegs = C.numCell C.FP
	   val regSet = C.getCell C.FP
	end)
end


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0