Asm.Ar

Documentation

class Arch (arch :: Type -> Type -> Type -> Type) reg freg where

Methods

cf :: [BB arch reg freg () ()] -> [BB arch reg freg () ControlAnn]

mI :: arch reg freg a -> Maybe (reg, reg)

result: src, dest

mf :: arch reg freg a -> Maybe (freg, freg)

bb :: [arch reg freg a] -> [BB arch reg freg a ()]

expand :: BB arch reg freg () Liveness -> [arch reg freg Liveness]

udd :: arch reg freg a -> UD

Instances

(E reg, E freg) => Arch AArch64 reg freg

Defined in Asm.Ar

Methods

cf :: [BB AArch64 reg freg () ()] -> [BB AArch64 reg freg () ControlAnn]

mI :: AArch64 reg freg a -> Maybe (reg, reg)

mf :: AArch64 reg freg a -> Maybe (freg, freg)

bb :: [AArch64 reg freg a] -> [BB AArch64 reg freg a ()]

expand :: BB AArch64 reg freg () Liveness -> [AArch64 reg freg Liveness]

udd :: AArch64 reg freg a -> UD

(E reg, E freg) => Arch X86 reg freg

Defined in Asm.Ar

Methods

cf :: [BB X86 reg freg () ()] -> [BB X86 reg freg () ControlAnn]

mI :: X86 reg freg a -> Maybe (reg, reg)

mf :: X86 reg freg a -> Maybe (freg, freg)

bb :: [X86 reg freg a] -> [BB X86 reg freg a ()]

expand :: BB X86 reg freg () Liveness -> [X86 reg freg Liveness]

udd :: X86 reg freg a -> UD