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