6 -- Begin Signature -------------------------------------------------
9 Register captures the common instances and methods that is
10 usually required of a register-set like type. Register
11 supports PCs, speculative PCs, and predicate registers.
16 class (Ix a,Eq a,Ord a,Bounded a,Show a,Read a,Enum a) => Register a where
18 -- is the register read only? for example, in DLX
19 -- r0 <- r0 + r0 is equivilant to a nop because r0 is read only
22 -- pick out the PC register
25 -- pick out the speculative PC register
31 -- is the register a predicate register?
37 -- End Signature -------------------------------------------------
38 -- ispc and isspec should probably be defined as :
39 -- ispc r = pc == r. havent tested this though....