summaryrefslogtreecommitdiffstats
path: root/llvm/lib/CodeGen/MachineInstr.cpp
diff options
context:
space:
mode:
authorReid Kleckner <rnk@google.com>2017-11-08 21:31:14 +0000
committerReid Kleckner <rnk@google.com>2017-11-08 21:31:14 +0000
commit7adb2fdbbadd0c588a2137c7362a9099574d79ae (patch)
tree51b8a7eec92f22bbf2869969130a0fce1886de6b /llvm/lib/CodeGen/MachineInstr.cpp
parenta702fa17f31abd5efce302ef3d4cf2fbaf167368 (diff)
downloadbcm5719-llvm-7adb2fdbbadd0c588a2137c7362a9099574d79ae.tar.gz
bcm5719-llvm-7adb2fdbbadd0c588a2137c7362a9099574d79ae.zip
Revert "Correct dwarf unwind information in function epilogue for X86"
This reverts r317579, originally committed as r317100. There is a design issue with marking CFI instructions duplicatable. Not all targets support the CFIInstrInserter pass, and targets like Darwin can't cope with duplicated prologue setup CFI instructions. The compact unwind info emission fails. When the following code is compiled for arm64 on Mac at -O3, the CFI instructions end up getting tail duplicated, which causes compact unwind info emission to fail: int a, c, d, e, f, g, h, i, j, k, l, m; void n(int o, int *b) { if (g) f = 0; for (; f < o; f++) { m = a; if (l > j * k > i) j = i = k = d; h = b[c] - e; } } We get assembly that looks like this: ; BB#1: ; %if.then Lloh3: adrp x9, _f@GOTPAGE Lloh4: ldr x9, [x9, _f@GOTPAGEOFF] mov w8, wzr Lloh5: str wzr, [x9] stp x20, x19, [sp, #-16]! ; 8-byte Folded Spill .cfi_def_cfa_offset 16 .cfi_offset w19, -8 .cfi_offset w20, -16 cmp w8, w0 b.lt LBB0_3 b LBB0_7 LBB0_2: ; %entry.if.end_crit_edge Lloh6: adrp x8, _f@GOTPAGE Lloh7: ldr x8, [x8, _f@GOTPAGEOFF] Lloh8: ldr w8, [x8] stp x20, x19, [sp, #-16]! ; 8-byte Folded Spill .cfi_def_cfa_offset 16 .cfi_offset w19, -8 .cfi_offset w20, -16 cmp w8, w0 b.ge LBB0_7 LBB0_3: ; %for.body.lr.ph Note the multiple .cfi_def* directives. Compact unwind info emission can't handle that. llvm-svn: 317726
Diffstat (limited to 'llvm/lib/CodeGen/MachineInstr.cpp')
-rw-r--r--llvm/lib/CodeGen/MachineInstr.cpp50
1 files changed, 4 insertions, 46 deletions
diff --git a/llvm/lib/CodeGen/MachineInstr.cpp b/llvm/lib/CodeGen/MachineInstr.cpp
index 478a92e22fc..d1ec82346d2 100644
--- a/llvm/lib/CodeGen/MachineInstr.cpp
+++ b/llvm/lib/CodeGen/MachineInstr.cpp
@@ -320,45 +320,8 @@ bool MachineOperand::isIdenticalTo(const MachineOperand &Other) const {
}
case MachineOperand::MO_MCSymbol:
return getMCSymbol() == Other.getMCSymbol();
- case MachineOperand::MO_CFIIndex: {
- const MachineFunction *MF = getParent()->getParent()->getParent();
- const MachineFunction *OtherMF =
- Other.getParent()->getParent()->getParent();
- MCCFIInstruction Inst = MF->getFrameInstructions()[getCFIIndex()];
- MCCFIInstruction OtherInst =
- OtherMF->getFrameInstructions()[Other.getCFIIndex()];
- MCCFIInstruction::OpType op = Inst.getOperation();
- if (op != OtherInst.getOperation()) return false;
- switch (op) {
- case MCCFIInstruction::OpDefCfa:
- case MCCFIInstruction::OpOffset:
- case MCCFIInstruction::OpRelOffset:
- if (Inst.getRegister() != OtherInst.getRegister()) return false;
- if (Inst.getOffset() != OtherInst.getOffset()) return false;
- break;
- case MCCFIInstruction::OpRestore:
- case MCCFIInstruction::OpUndefined:
- case MCCFIInstruction::OpSameValue:
- case MCCFIInstruction::OpDefCfaRegister:
- if (Inst.getRegister() != OtherInst.getRegister()) return false;
- break;
- case MCCFIInstruction::OpRegister:
- if (Inst.getRegister() != OtherInst.getRegister()) return false;
- if (Inst.getRegister2() != OtherInst.getRegister2()) return false;
- break;
- case MCCFIInstruction::OpDefCfaOffset:
- case MCCFIInstruction::OpAdjustCfaOffset:
- case MCCFIInstruction::OpGnuArgsSize:
- if (Inst.getOffset() != OtherInst.getOffset()) return false;
- break;
- case MCCFIInstruction::OpRememberState:
- case MCCFIInstruction::OpRestoreState:
- case MCCFIInstruction::OpEscape:
- case MCCFIInstruction::OpWindowSave:
- break;
- }
- return true;
- }
+ case MachineOperand::MO_CFIIndex:
+ return getCFIIndex() == Other.getCFIIndex();
case MachineOperand::MO_Metadata:
return getMetadata() == Other.getMetadata();
case MachineOperand::MO_IntrinsicID:
@@ -407,13 +370,8 @@ hash_code llvm::hash_value(const MachineOperand &MO) {
return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMetadata());
case MachineOperand::MO_MCSymbol:
return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getMCSymbol());
- case MachineOperand::MO_CFIIndex: {
- const MachineFunction *MF = MO.getParent()->getParent()->getParent();
- MCCFIInstruction Inst = MF->getFrameInstructions()[MO.getCFIIndex()];
- return hash_combine(MO.getType(), MO.getTargetFlags(), Inst.getOperation(),
- Inst.getRegister(), Inst.getRegister2(),
- Inst.getOffset());
- }
+ case MachineOperand::MO_CFIIndex:
+ return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getCFIIndex());
case MachineOperand::MO_IntrinsicID:
return hash_combine(MO.getType(), MO.getTargetFlags(), MO.getIntrinsicID());
case MachineOperand::MO_Predicate:
OpenPOWER on IntegriCloud