Safe Haskell	None
Language	GHC2021

GHC.CmmToAsm.Format

Description

Formats on this architecture A Format is a combination of width and class

TODO: Signed vs unsigned?

TODO: This module is currently shared by all architectures because NCGMonad need to know about it to make a VReg. It would be better to have architecture specific formats, and do the overloading properly. eg SPARC doesn't care about FF80.

Synopsis

data Format where
- II8
- II16
- II32
- II64
- FF32
- FF64
- VecFormat !Length !ScalarFormat
- pattern IntegerFormat :: Format
data ScalarFormat
- = FmtInt8
- | FmtInt16
- | FmtInt32
- | FmtInt64
- | FmtFloat
- | FmtDouble
intFormat :: Width -> Format
floatFormat :: Width -> Format
isIntFormat :: Format -> Bool
isIntScalarFormat :: ScalarFormat -> Bool
intScalarFormat :: Width -> ScalarFormat
isFloatFormat :: Format -> Bool
vecFormat :: CmmType -> Format
isVecFormat :: Format -> Bool
cmmTypeFormat :: CmmType -> Format
formatToWidth :: Format -> Width
scalarWidth :: ScalarFormat -> Width
formatInBytes :: Format -> Int
isFloatScalarFormat :: ScalarFormat -> Bool
isFloatOrFloatVecFormat :: Format -> Bool
floatScalarFormat :: Width -> ScalarFormat
scalarFormatFormat :: ScalarFormat -> Format
data VirtualRegWithFormat = VirtualRegWithFormat {
- virtualRegWithFormat_reg :: !VirtualReg
- virtualRegWithFormat_format :: !Format
}
data RegWithFormat = RegWithFormat {
- regWithFormat_reg :: !Reg
- regWithFormat_format :: !Format
}
takeVirtualRegs :: UniqSet RegWithFormat -> UniqSet VirtualReg
takeRealRegs :: UniqSet RegWithFormat -> UniqSet RealReg

Documentation

data Format Source #

Constructors

II8
II16
II32
II64
FF32
FF64
VecFormat
Fields !Length number of elements (always at least 2) !ScalarFormat format of each element

Bundled Patterns

pattern IntegerFormat :: Format

Instances

Instances details

Outputable Format Source #
Instance details Defined in GHC.CmmToAsm.Format Methods ppr :: Format -> SDoc Source #
Show Format Source #
Instance details Defined in GHC.CmmToAsm.Format Methods showsPrec :: Int -> Format -> ShowS # show :: Format -> String # showList :: [Format] -> ShowS #
Eq Format Source #
Instance details Defined in GHC.CmmToAsm.Format Methods (==) :: Format -> Format -> Bool # (/=) :: Format -> Format -> Bool #
Ord Format Source #
Instance details Defined in GHC.CmmToAsm.Format Methods compare :: Format -> Format -> Ordering # (<) :: Format -> Format -> Bool # (<=) :: Format -> Format -> Bool # (>) :: Format -> Format -> Bool # (>=) :: Format -> Format -> Bool # max :: Format -> Format -> Format # min :: Format -> Format -> Format #

data ScalarFormat Source #

Constructors

FmtInt8
FmtInt16
FmtInt32
FmtInt64
FmtFloat
FmtDouble

Instances

Instances details

Show ScalarFormat Source #
Instance details Defined in GHC.CmmToAsm.Format Methods showsPrec :: Int -> ScalarFormat -> ShowS # show :: ScalarFormat -> String # showList :: [ScalarFormat] -> ShowS #
Eq ScalarFormat Source #
Instance details Defined in GHC.CmmToAsm.Format Methods (==) :: ScalarFormat -> ScalarFormat -> Bool # (/=) :: ScalarFormat -> ScalarFormat -> Bool #
Ord ScalarFormat Source #
Instance details Defined in GHC.CmmToAsm.Format Methods compare :: ScalarFormat -> ScalarFormat -> Ordering # (<) :: ScalarFormat -> ScalarFormat -> Bool # (<=) :: ScalarFormat -> ScalarFormat -> Bool # (>) :: ScalarFormat -> ScalarFormat -> Bool # (>=) :: ScalarFormat -> ScalarFormat -> Bool # max :: ScalarFormat -> ScalarFormat -> ScalarFormat # min :: ScalarFormat -> ScalarFormat -> ScalarFormat #

intFormat :: Width -> Format Source #

Get the integer format of this width.

floatFormat :: Width -> Format Source #

Get the float format of this width.

isIntFormat :: Format -> Bool Source #

Check if a format represent an integer value.

isIntScalarFormat :: ScalarFormat -> Bool Source #

intScalarFormat :: Width -> ScalarFormat Source #

isFloatFormat :: Format -> Bool Source #

Check if a format represents a floating point value.

vecFormat :: CmmType -> Format Source #

isVecFormat :: Format -> Bool Source #

Check if a format represents a vector

cmmTypeFormat :: CmmType -> Format Source #

Convert a Cmm type to a Format.

formatToWidth :: Format -> Width Source #

Get the Width of a Format.

scalarWidth :: ScalarFormat -> Width Source #

formatInBytes :: Format -> Int Source #

isFloatScalarFormat :: ScalarFormat -> Bool Source #

isFloatOrFloatVecFormat :: Format -> Bool Source #

floatScalarFormat :: Width -> ScalarFormat Source #

scalarFormatFormat :: ScalarFormat -> Format Source #

data VirtualRegWithFormat Source #

A typed virtual register: a virtual register, together with the specific format we are using it at.

Constructors

VirtualRegWithFormat
Fields virtualRegWithFormat_reg :: !VirtualReg virtualRegWithFormat_format :: !Format

Instances

Instances details

Outputable VirtualRegWithFormat Source #
Instance details Defined in GHC.CmmToAsm.Format Methods ppr :: VirtualRegWithFormat -> SDoc Source #

data RegWithFormat Source #

A typed register: a register, together with the specific format we are using it at.

Constructors

RegWithFormat
Fields regWithFormat_reg :: !Reg regWithFormat_format :: !Format

Instances

Instances details

Uniquable RegWithFormat Source #
Instance details Defined in GHC.CmmToAsm.Format Methods getUnique :: RegWithFormat -> Unique Source #
Outputable RegWithFormat Source #
Instance details Defined in GHC.CmmToAsm.Format Methods ppr :: RegWithFormat -> SDoc Source #
Show RegWithFormat Source #
Instance details Defined in GHC.CmmToAsm.Format Methods showsPrec :: Int -> RegWithFormat -> ShowS # show :: RegWithFormat -> String # showList :: [RegWithFormat] -> ShowS #

takeVirtualRegs :: UniqSet RegWithFormat -> UniqSet VirtualReg Source #

Take all the virtual registers from this set.

takeRealRegs :: UniqSet RegWithFormat -> UniqSet RealReg Source #

Take all the real registers from this set.