|
@@ -118,6 +118,7 @@ namespace {
|
|
|
|
|
|
private:
|
|
private:
|
|
void InitializeSlots();
|
|
void InitializeSlots();
|
|
|
|
+ bool CheckForSetJmpCall(const MachineFunction &MF) const;
|
|
void ScanForSpillSlotRefs(MachineFunction &MF);
|
|
void ScanForSpillSlotRefs(MachineFunction &MF);
|
|
bool OverlapWithAssignments(LiveInterval *li, int Color) const;
|
|
bool OverlapWithAssignments(LiveInterval *li, int Color) const;
|
|
int ColorSlot(LiveInterval *li);
|
|
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<CallInst>(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<CallInst>(I))
|
|
|
|
+ if (CI->getParent()->getParent() == F)
|
|
|
|
+ return true;
|
|
|
|
+
|
|
|
|
+ return false;
|
|
|
|
+}
|
|
|
|
+
|
|
/// ScanForSpillSlotRefs - Scan all the machine instructions for spill slot
|
|
/// ScanForSpillSlotRefs - Scan all the machine instructions for spill slot
|
|
/// references and update spill slot weights.
|
|
/// references and update spill slot weights.
|
|
void StackSlotColoring::ScanForSpillSlotRefs(MachineFunction &MF) {
|
|
void StackSlotColoring::ScanForSpillSlotRefs(MachineFunction &MF) {
|
|
@@ -724,11 +753,14 @@ bool StackSlotColoring::runOnMachineFunction(MachineFunction &MF) {
|
|
return false;
|
|
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 <rdar://problem/8007500>.)
|
|
|
|
- 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
|
|
|
|
+ // <rdar://problem/8007500>.)
|
|
|
|
+ //
|
|
|
|
+ // FIXME: This goes beyond the setjmp/sigsetjmp functions. Ideally, we should
|
|
|
|
+ // check for the GCC "returns twice" attribute.
|
|
|
|
+ if (CheckForSetJmpCall(MF))
|
|
return false;
|
|
return false;
|
|
|
|
|
|
// Gather spill slot references
|
|
// Gather spill slot references
|