Asm.X86.CF
Description
From the Kempe compiler with improvements.
mkControlFlow :: (E reg, E freg) => [BB X86 reg freg f2reg () ()] -> [BB X86 reg freg f2reg () ControlAnn] Source #
expand :: (E reg, E freg) => BB X86 reg freg f2reg () Liveness -> [X86 reg freg f2reg Liveness] Source #
udd :: (E reg, E freg) => X86 reg freg f2reg ann -> UD Source #
uses :: E reg => X86 reg freg f2reg ann -> IntSet Source #
defs :: E reg => X86 reg freg f2reg ann -> IntSet Source #
defsF :: E freg => X86 reg freg f2reg ann -> IntSet Source #