Asm.Ar

Documentation

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

Methods

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

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

result: src, dest

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

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

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

udd :: arch reg freg f2reg a -> UD

Instances

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

Defined in Asm.Ar

Methods

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

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

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

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

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

udd :: AArch64 reg freg f2reg a -> UD

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

Defined in Asm.Ar

Methods

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

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

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

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

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

udd :: X86 reg freg f2reg a -> UD