From 174e597d466547d34cf8fcd2a95976e0cf5ebbac Mon Sep 17 00:00:00 2001 From: Eric Christopher Date: Wed, 26 May 2010 01:59:55 +0000 Subject: [PATCH] Temporarily revert r104655 as it's breaking the bots. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104664 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/CodeGen/MachineFunction.h | 15 +------ lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp | 34 --------------- lib/CodeGen/StackSlotColoring.cpp | 42 ++++++++++++++++--- 3 files changed, 38 insertions(+), 53 deletions(-) diff --git a/include/llvm/CodeGen/MachineFunction.h b/include/llvm/CodeGen/MachineFunction.h index ec25bc13199..595872ad2d7 100644 --- a/include/llvm/CodeGen/MachineFunction.h +++ b/include/llvm/CodeGen/MachineFunction.h @@ -114,13 +114,9 @@ class MachineFunction { /// unsigned FunctionNumber; - /// Alignment - The alignment of the function. + /// The alignment of the function. unsigned Alignment; - /// HasReturnsTwiceCall - Returns true if there's a call with a - /// "returns_twice" attribute, like setjmp. - bool HasReturnsTwiceCall; - MachineFunction(const MachineFunction &); // DO NOT IMPLEMENT void operator=(const MachineFunction&); // DO NOT IMPLEMENT public: @@ -185,15 +181,6 @@ public: void EnsureAlignment(unsigned A) { if (Alignment < A) Alignment = A; } - - /// hasReturnsTwiceCall - Returns true if there's a call with a - /// "returns_twice" attribute, like setjmp. - bool hasReturnsTwiceCall() const { - return HasReturnsTwiceCall; - } - void setReturnsTwiceCall(bool B) { - HasReturnsTwiceCall = B; - } /// getInfo - Keep track of various per-function pieces of information for /// backends that would like to do so. diff --git a/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp b/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp index 7e40cb9c640..6d789a674cf 100644 --- a/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp +++ b/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp @@ -25,7 +25,6 @@ #include "llvm/Intrinsics.h" #include "llvm/IntrinsicInst.h" #include "llvm/LLVMContext.h" -#include "llvm/Module.h" #include "llvm/CodeGen/FastISel.h" #include "llvm/CodeGen/GCStrategy.h" #include "llvm/CodeGen/GCMetadata.h" @@ -254,39 +253,6 @@ bool SelectionDAGISel::runOnMachineFunction(MachineFunction &mf) { done:; } - // Set a flag indicating if the machine function makes a call to setjmp / - // sigsetjmp (i.e., a function marked "returns_twice"). We'll use this to - // disable certain optimizations which cannot handle such control flows. - // - // FIXME: This goes beyond the setjmp/sigsetjmp functions. We should check for - // the GCC "returns twice" attribute. - const Module *M = Fn.getParent(); - const Function *SetJmp = M->getFunction("setjmp"); - const Function *SigSetJmp = M->getFunction("sigsetjmp"); - bool HasReturnsTwiceCall = false; - - if (SetJmp || SigSetJmp) { - if (SetJmp && !SetJmp->use_empty()) - for (Value::const_use_iterator - I = SetJmp->use_begin(), E = SetJmp->use_end(); I != E; ++I) - if (const CallInst *CI = dyn_cast(I)) - if (CI->getParent()->getParent() == &Fn) { - HasReturnsTwiceCall = true; - break; - } - - if (!HasReturnsTwiceCall && SigSetJmp && !SigSetJmp->use_empty()) - for (Value::const_use_iterator - I = SigSetJmp->use_begin(), E = SigSetJmp->use_end(); I != E; ++I) - if (const CallInst *CI = dyn_cast(I)) - if (CI->getParent()->getParent() == &Fn) { - HasReturnsTwiceCall = true; - break; - } - - mf.setReturnsTwiceCall(HasReturnsTwiceCall); - } - // Release function-specific state. SDB and CurDAG are already cleared // at this point. FuncInfo->clear(); diff --git a/lib/CodeGen/StackSlotColoring.cpp b/lib/CodeGen/StackSlotColoring.cpp index 354878aa426..80435563498 100644 --- a/lib/CodeGen/StackSlotColoring.cpp +++ b/lib/CodeGen/StackSlotColoring.cpp @@ -118,6 +118,7 @@ namespace { private: void InitializeSlots(); + bool CheckForSetJmpCall(const MachineFunction &MF) const; void ScanForSpillSlotRefs(MachineFunction &MF); bool OverlapWithAssignments(LiveInterval *li, int Color) const; int ColorSlot(LiveInterval *li); @@ -161,6 +162,34 @@ namespace { }; } +/// CheckForSetJmpCall - Return true if there's a call to setjmp/sigsetjmp in +/// this function. +bool StackSlotColoring::CheckForSetJmpCall(const MachineFunction &MF) const { + const Function *F = MF.getFunction(); + const Module *M = F->getParent(); + const Function *SetJmp = M->getFunction("setjmp"); + const Function *SigSetJmp = M->getFunction("sigsetjmp"); + + if (!SetJmp && !SigSetJmp) + return false; + + if (SetJmp && !SetJmp->use_empty()) + for (Value::const_use_iterator + I = SetJmp->use_begin(), E = SetJmp->use_end(); I != E; ++I) + if (const CallInst *CI = dyn_cast(I)) + if (CI->getParent()->getParent() == F) + return true; + + if (SigSetJmp && !SigSetJmp->use_empty()) + for (Value::const_use_iterator + I = SigSetJmp->use_begin(), E = SigSetJmp->use_end(); I != E; ++I) + if (const CallInst *CI = dyn_cast(I)) + if (CI->getParent()->getParent() == F) + return true; + + return false; +} + /// ScanForSpillSlotRefs - Scan all the machine instructions for spill slot /// references and update spill slot weights. void StackSlotColoring::ScanForSpillSlotRefs(MachineFunction &MF) { @@ -724,11 +753,14 @@ bool StackSlotColoring::runOnMachineFunction(MachineFunction &MF) { return false; } - // If there is a call to a function with the attribute "returns_twice" (like - // setjmp or sigsetjmp), don't perform stack slot coloring. The stack could be - // modified before the the second return, resulting in the wrong value being - // used afterwards. (See .) - if (MF.hasReturnsTwiceCall()) + // If there are calls to setjmp or sigsetjmp, don't perform stack slot + // coloring. The stack could be modified before the longjmp is executed, + // resulting in the wrong value being used afterwards. (See + // .) + // + // FIXME: This goes beyond the setjmp/sigsetjmp functions. Ideally, we should + // check for the GCC "returns twice" attribute. + if (CheckForSetJmpCall(MF)) return false; // Gather spill slot references -- 2.34.1