| 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)))))) | |||||