X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FnativeGen%2FMachInstrs.hs;fp=compiler%2FnativeGen%2FMachInstrs.hs;h=529da0dd83803c7efda94b1df0e427607dca743f;hb=d7d09c18459983be1ef690e0d9136a8736b1976f;hp=e16dbf3b0565cacbd69dc8d01a40e335b9ddd2c5;hpb=abaa832f4b580fabaee9c887bb01da379c7e6482;p=ghc-hetmet.git diff --git a/compiler/nativeGen/MachInstrs.hs b/compiler/nativeGen/MachInstrs.hs index e16dbf3..529da0d 100644 --- a/compiler/nativeGen/MachInstrs.hs +++ b/compiler/nativeGen/MachInstrs.hs @@ -609,6 +609,13 @@ is_G_instr instr | BF Cond Bool BlockId -- cond, annul?, target | JMP AddrMode -- target + + -- With a tabled jump we know all the possible destinations. Tabled + -- jump includes its list of destinations so we can work out what regs + -- are live across the jump. + -- + | JMP_TBL AddrMode [BlockId] + | CALL (Either Imm Reg) Int Bool -- target, args, terminal riZero :: RI -> Bool