Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Asm.Aarch64
Documentation
data AArch64 reg freg f2 a Source #
Constructors
Label | |
B | |
Blr | |
C | |
Bl | |
Bc | |
Ret | |
Fields
| |
RetL | |
FMovXX | |
FMovDR | |
MovRR | |
MovRC | |
MovZ | |
MovRCf | |
LdrRL | |
MovK | |
Ldr | |
LdrB | |
Str | |
StrB | |
LdrD | |
StrD | |
SubRR | |
AddRR | |
AddRRS | |
ZeroR | |
Mvn | |
AndRR | |
OrRR | |
Eor | |
MulRR | |
Madd | |
Msub | |
Sdiv | |
AddRC | |
SubRC | |
Lsl | |
Asr | |
CmpRC | |
CmpRR | |
Neg | |
Fmul | |
Fadd | |
Fsub | |
Fdiv | |
FcmpZ | |
Fcmp | |
Fneg | |
Scvtf | |
Fcvtms | |
Fcvtas | |
Stp | |
Ldp | |
Stp2 | |
Ldp2 | |
StpD | |
LdpD | |
Fmadd | |
Fmsub | |
Fsqrt | |
Frintm | |
MrsR | |
Fmax | |
Fmin | |
Fabs | |
Csel | |
Tbnz | |
Tbz | |
Cbnz | |
Cbz | |
Fcsel | |
Cset | |
TstI | |
EorI | |
Instances
Instances
Functor Addr Source # | |||||
NFData a => NFData (Addr a) Source # | |||||
Defined in Asm.Aarch64 | |||||
Generic (Addr reg) Source # | |||||
Defined in Asm.Aarch64 Associated Types
| |||||
Pretty reg => Pretty (Addr reg) Source # | |||||
Defined in Asm.Aarch64 | |||||
type Rep (Addr reg) Source # | |||||
Defined in Asm.Aarch64 type Rep (Addr reg) = D1 ('MetaData "Addr" "Asm.Aarch64" "apple-0.3.0.0-inplace" 'False) (C1 ('MetaCons "R" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: (C1 ('MetaCons "RP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)) :+: C1 ('MetaCons "BI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Shift))))) |
Constructors
X0 | |
X1 | |
X2 | |
X3 | |
X4 | |
X5 | |
X6 | |
X7 | |
X8 | |
X9 | |
X10 | |
X11 | |
X12 | |
X13 | |
X14 | |
X15 | |
X16 | |
X17 | |
X18 | |
X19 | |
X20 | |
X21 | |
X22 | |
X23 | |
X24 | |
X25 | |
X26 | |
X27 | |
X28 | |
X29 | |
X30 | |
SP |
Instances
E AReg Source # | |||||
NFData AReg Source # | |||||
Defined in Asm.Aarch64 | |||||
Enum AReg Source # | |||||
Generic AReg Source # | |||||
Defined in Asm.Aarch64 Associated Types
| |||||
Show AReg Source # | |||||
Eq AReg Source # | |||||
Ord AReg Source # | |||||
Pretty AReg Source # | |||||
Defined in Asm.Aarch64 | |||||
type Rep AReg Source # | |||||
Defined in Asm.Aarch64 type Rep AReg = D1 ('MetaData "AReg" "Asm.Aarch64" "apple-0.3.0.0-inplace" 'False) (((((C1 ('MetaCons "X0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "X4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X7" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "X8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X11" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "X12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X15" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "X16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X17" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X18" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X19" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "X20" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X21" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X22" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X23" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "X24" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X25" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X26" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X27" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "X28" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X29" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "X30" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SP" 'PrefixI 'False) (U1 :: Type -> Type)))))) |
Constructors
D0 | |
D1 | |
D2 | |
D3 | |
D4 | |
D5 | |
D6 | |
D7 | |
D8 | |
D9 | |
D10 | |
D11 | |
D12 | |
D13 | |
D14 | |
D15 | |
D16 | |
D17 | |
D18 | |
D19 | |
D20 | |
D21 | |
D22 | |
D23 | |
D24 | |
D25 | |
D26 | |
D27 | |
D28 | |
D29 | |
D30 | |
D31 |
Instances
E FAReg Source # | |||||
NFData FAReg Source # | |||||
Defined in Asm.Aarch64 | |||||
Enum FAReg Source # | |||||
Generic FAReg Source # | |||||
Defined in Asm.Aarch64 Associated Types
| |||||
Show FAReg Source # | |||||
Eq FAReg Source # | |||||
Ord FAReg Source # | |||||
Pretty FAReg Source # | |||||
Defined in Asm.Aarch64 | |||||
type Rep FAReg Source # | |||||
Defined in Asm.Aarch64 type Rep FAReg = D1 ('MetaData "FAReg" "Asm.Aarch64" "apple-0.3.0.0-inplace" 'False) (((((C1 ('MetaCons "D0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "D4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D7" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "D8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D11" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "D12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D15" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "D16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D17" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D18" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D19" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "D20" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D21" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D22" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D23" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "D24" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D25" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D26" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D27" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "D28" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D29" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D30" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D31" 'PrefixI 'False) (U1 :: Type -> Type)))))) |
Constructors
V0 | |
V1 | |
V2 | |
V3 | |
V4 | |
V5 | |
V6 | |
V7 | |
V8 | |
V9 | |
V10 | |
V11 | |
V12 | |
V13 | |
V14 | |
V15 | |
V16 | |
V17 | |
V18 | |
V19 | |
V20 | |
V21 | |
V22 | |
V23 | |
V24 | |
V25 | |
V26 | |
V27 | |
V28 | |
V29 | |
V30 | |
V31 |
Instances
SIMD F2Reg Source # | |||||
E F2Reg Source # | |||||
NFData F2Reg Source # | |||||
Defined in Asm.Aarch64 | |||||
Enum F2Reg Source # | |||||
Generic F2Reg Source # | |||||
Defined in Asm.Aarch64 Associated Types
| |||||
Eq F2Reg Source # | |||||
Ord F2Reg Source # | |||||
type Rep F2Reg Source # | |||||
Defined in Asm.Aarch64 type Rep F2Reg = D1 ('MetaData "F2Reg" "Asm.Aarch64" "apple-0.3.0.0-inplace" 'False) (((((C1 ('MetaCons "V0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "V4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V7" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "V8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V11" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "V12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V15" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "V16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V17" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V18" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V19" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "V20" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V21" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V22" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V23" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "V24" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V25" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V26" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V27" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "V28" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V29" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "V30" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "V31" 'PrefixI 'False) (U1 :: Type -> Type)))))) |