Asm.Aarch64.CF
mkControlFlow :: (E reg, E freg, E f2reg) => [BB AArch64 reg freg f2reg () ()] -> [BB AArch64 reg freg f2reg () ControlAnn] Source #
expand :: (E reg, E freg, E f2reg) => BB AArch64 reg freg f2reg () Liveness -> [AArch64 reg freg f2reg Liveness] Source #
udd :: (E reg, E freg, E f2reg) => AArch64 reg freg f2reg ann -> UD Source #