    module SPARC.Cond (
    	Cond(..),
    	condUnsigned,
    	condToSigned,
    	condToUnsigned
    )

    where

    -- | Branch condition codes.
    data Cond
    	= ALWAYS
    	| EQQ
    	| GE
    	| GEU
    	| GTT
    	| GU
    	| LE
    	| LEU
    	| LTT
    	| LU
    	| NE
    	| NEG
    	| NEVER
    	| POS
    	| VC
    	| VS
    	deriving Eq

    condUnsigned :: Cond -> Bool
    condUnsigned GU  = True
    condUnsigned LU  = True
    condUnsigned GEU = True
    condUnsigned LEU = True
    condUnsigned _   = False

    condToSigned :: Cond -> Cond
    condToSigned GU  = GTT
    condToSigned LU  = LTT
    condToSigned GEU = GE
    condToSigned LEU = LE
    condToSigned x   = x

    condToUnsigned :: Cond -> Cond
    condToUnsigned GTT = GU
    condToUnsigned LTT = LU
    condToUnsigned GE  = GEU
    condToUnsigned LE  = LEU
    condToUnsigned x   = x