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 /sml/trunk/src/MLRISC/backpatch/delaySlotProps.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/backpatch/delaySlotProps.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 228 - (download) (as text) (annotate)
Sat Apr 17 17:15:03 1999 UTC (20 years, 3 months ago) by monnier
File size: 1714 byte(s)
This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.
(* 
 * Architectures that require branch delay slots should implement this module 
 *
 *)
signature DELAY_SLOT_PROPERTIES =
sig
   structure I : INSTRUCTIONS

   datatype delay_slot = 
     D_NONE        (* no delay slot *)
   | D_ERROR       (* an error *)    
   | D_ALWAYS      (* one delay slot *)
   | D_TAKEN       (* delay slot is only active when branch is taken *)
   | D_FALLTHRU    (* delay slot is only active when branch is not taken *)

       (* size of delay slot in bytes *)
   val delaySlotSize : int 

       (* Return the delay slot properties of an instruction *)
   val delaySlot : { instr : I.instruction, backward : bool } -> 
		   { n    : bool,       (* is the nullified bit on? *)
		     nOn  : delay_slot, (* delay type when nullified *)
		     nOff : delay_slot, (* delay type when not nullified *)
		     nop  : bool        (* is there a nop padded? *) 
		   } 

       (* Change the delay slot properties of an instruction *)
   val enableDelaySlot : 
	 {instr : I.instruction, n:bool, nop:bool} -> I.instruction

       (* is there any dependency conflict? *)
   val conflict : {regmap:int->int,src:I.instruction,dst:I.instruction} -> bool

       (* can delaySlot fit within the delay slot of jmp? *)
   val delaySlotCandidate : 
       { jmp : I.instruction, delaySlot : I.instruction } -> bool

       (* change the branch target of an instruction *)
   val setTarget : I.instruction * Label.label -> I.instruction

end

(*
 * $Log: delaySlotProps.sig,v $
 * Revision 1.2  1998/08/12 13:36:07  leunga
 *   Fixed the 2.0 + 2.0 == nan bug by treating FCMP as instrs with delay slots
 *
 * Revision 1.1  1998/08/05 19:47:20  george
 *   Changes to support the SPARC back end
 *
 *)

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