SCM Repository
[smlnj] Annotation of /sml/trunk/src/MLRISC/instructions/freqProps.sig
Annotation of /sml/trunk/src/MLRISC/instructions/freqProps.sig
Parent Directory
| 
Revision Log
Revision 1110 -
(view)
(download)
(as text)
| 1 : |
monnier |
409 |
(*
|
| 2 : |
|
|
* This is the abstract interface for extracting various kinds of
|
| 3 : |
|
|
* frequency information from the program.
|
| 4 : |
|
|
*)
|
| 5 : |
|
|
|
| 6 : |
|
|
signature FREQUENCY_PROPERTIES =
|
| 7 : |
jhr |
1110 |
sig
|
| 8 : |
monnier |
409 |
|
| 9 : |
jhr |
1110 |
structure I : INSTRUCTIONS
|
| 10 : |
monnier |
409 |
|
| 11 : |
jhr |
1110 |
(* Branch probability *)
|
| 12 : |
|
|
val branchProb : I.instruction -> Probability.prob
|
| 13 : |
monnier |
409 |
|
| 14 : |
jhr |
1110 |
end
|
