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 #

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

data ScalarFormat #

Constructors

FmtInt8
FmtInt16
FmtInt32
FmtInt64
FmtFloat
FmtDouble

Instances

Instances details

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

intFormat :: Width -> Format #

Get the integer format of this width.

floatFormat :: Width -> Format #

Get the float format of this width.

isIntFormat :: Format -> Bool #

Check if a format represent an integer value.

isIntScalarFormat :: ScalarFormat -> Bool #

intScalarFormat :: Width -> ScalarFormat #

isFloatFormat :: Format -> Bool #

Check if a format represents a floating point value.

vecFormat :: CmmType -> Format #

isVecFormat :: Format -> Bool #

Check if a format represents a vector

cmmTypeFormat :: CmmType -> Format #

Convert a Cmm type to a Format.

formatToWidth :: Format -> Width #

Get the Width of a Format.

scalarWidth :: ScalarFormat -> Width #

formatInBytes :: Format -> Int #

isFloatScalarFormat :: ScalarFormat -> Bool #

isFloatOrFloatVecFormat :: Format -> Bool #

floatScalarFormat :: Width -> ScalarFormat #

scalarFormatFormat :: ScalarFormat -> Format #

data VirtualRegWithFormat #

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 #
Instance details Defined in GHC.CmmToAsm.Format Methods ppr :: VirtualRegWithFormat -> SDoc #

data RegWithFormat #

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

takeVirtualRegs :: UniqSet RegWithFormat -> UniqSet VirtualReg #

Take all the virtual registers from this set.

takeRealRegs :: UniqSet RegWithFormat -> UniqSet RealReg #

Take all the real registers from this set.