X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FnativeGen%2FRegAllocInfo.hs;h=57c9ce6e1a7f4a8fa4c38c252600b5eea7bdbd53;hb=a842f3d5e7c9026a642589948ef67dbaf6272396;hp=a1435899534690e73228d4368e2cb056e7ed1d2b;hpb=cbc96da034482b769889c109f6cc822f42b12027;p=ghc-hetmet.git

diff --git a/compiler/nativeGen/RegAllocInfo.hs b/compiler/nativeGen/RegAllocInfo.hs
index a143589..57c9ce6 100644
--- a/compiler/nativeGen/RegAllocInfo.hs
+++ b/compiler/nativeGen/RegAllocInfo.hs
@@ -21,6 +21,7 @@ module RegAllocInfo (
 	regUsage,
 	patchRegs,
 	jumpDests,
+	isJumpish,
 	patchJump,
 	isRegRegMove,
 
@@ -434,6 +435,37 @@ jumpDests insn acc
 	_other		-> acc
 
 
+-- | Check whether a particular instruction is a jump, branch or call instruction (jumpish)
+--	We can't just use jumpDests above because the jump might take its arg,
+--	so the instr won't contain a blockid.
+--
+isJumpish :: Instr -> Bool
+isJumpish instr
+ = case instr of
+#if i386_TARGET_ARCH || x86_64_TARGET_ARCH
+	JMP{}		-> True
+	JXX{}		-> True
+	JXX_GBL{}	-> True
+	JMP_TBL{}	-> True
+	CALL{}		-> True
+
+#elif powerpc_TARGET_ARCH
+	BCC{}		-> True
+	BCCFAR{}	-> True
+	JMP{}		-> True
+	
+#elif sparc_TARGET_ARCH
+	BI{}		-> True
+	BF{}		-> True
+	JMP{}		-> True
+	JMP_TBL{}	-> True
+	CALL{}		-> True
+#else
+#error	"RegAllocInfo.isJumpish: not implemented for this architecture"
+#endif
+	_		-> False
+	
+
 -- | Change the destination of this jump instruction
 --	Used in joinToTargets in the linear allocator, when emitting fixup code
 --	for join points.