X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FnativeGen%2FMachInstrs.hs;h=00317ee5525bdfe7986fee9bda9139de80da6315;hb=3aafdc1609ee60c4d5629b279c45ccbb943fa4a7;hp=6316d94265f01ff8fea516869d55b2be756c0304;hpb=7d817d447d3ee0df22691afad29c94ebbb334120;p=ghc-hetmet.git diff --git a/compiler/nativeGen/MachInstrs.hs b/compiler/nativeGen/MachInstrs.hs index 6316d94..00317ee 100644 --- a/compiler/nativeGen/MachInstrs.hs +++ b/compiler/nativeGen/MachInstrs.hs @@ -1,3 +1,10 @@ +{-# OPTIONS -w #-} +-- The above warning supression flag is a temporary kludge. +-- While working on this module you are encouraged to remove it and fix +-- any warnings in the module. See +-- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings +-- for details + ----------------------------------------------------------------------------- -- -- Machine-dependent assembly language @@ -36,6 +43,7 @@ module MachInstrs ( #include "HsVersions.h" +import BlockId import MachRegs import Cmm import MachOp ( MachRep(..) ) @@ -52,8 +60,8 @@ import GHC.Exts -- Our flavours of the Cmm types -- Type synonyms for Cmm populated with native code -type NatCmm = GenCmm CmmStatic Instr -type NatCmmTop = GenCmmTop CmmStatic Instr +type NatCmm = GenCmm CmmStatic [CmmStatic] (ListGraph Instr) +type NatCmmTop = GenCmmTop CmmStatic [CmmStatic] (ListGraph Instr) type NatBasicBlock = GenBasicBlock Instr -- ----------------------------------------------------------------------------- @@ -226,6 +234,9 @@ data Instr | DELTA Int -- specify current stack offset for -- benefit of subsequent passes + | SPILL Reg Int -- ^ spill this reg to a stack slot + | RELOAD Int Reg -- ^ reload this reg from a stack slot + -- ----------------------------------------------------------------------------- -- Alpha instructions @@ -473,9 +484,9 @@ bit or 64 bit precision. | GABS MachRep Reg Reg -- src, dst | GNEG MachRep Reg Reg -- src, dst | GSQRT MachRep Reg Reg -- src, dst - | GSIN MachRep Reg Reg -- src, dst - | GCOS MachRep Reg Reg -- src, dst - | GTAN MachRep Reg Reg -- src, dst + | GSIN MachRep CLabel CLabel Reg Reg -- src, dst + | GCOS MachRep CLabel CLabel Reg Reg -- src, dst + | GTAN MachRep CLabel CLabel Reg Reg -- src, dst | GFREE -- do ffree on all x86 regs; an ugly hack #endif @@ -573,7 +584,7 @@ is_G_instr instr GSUB _ _ _ _ -> True; GMUL _ _ _ _ -> True GCMP _ _ _ -> True; GABS _ _ _ -> True GNEG _ _ _ -> True; GSQRT _ _ _ -> True - GSIN _ _ _ -> True; GCOS _ _ _ -> True; GTAN _ _ _ -> True + GSIN _ _ _ _ _ -> True; GCOS _ _ _ _ _ -> True; GTAN _ _ _ _ _ -> True GFREE -> panic "is_G_instr: GFREE (!)" other -> False #endif /* i386_TARGET_ARCH */