diff options
author | Richard Trieu <rtrieu@google.com> | 2017-09-07 23:20:35 +0000 |
---|---|---|
committer | Richard Trieu <rtrieu@google.com> | 2017-09-07 23:20:35 +0000 |
commit | 2cf792edc26b3c815db265d75b226ff57c5c64a7 (patch) | |
tree | 0302ed1a5a6929b649b69a9e98eb88c2eea51ee8 /lib | |
parent | a878acdb05fb6688602f055f04312e91cccbef96 (diff) |
Revert r312318, r312325, r312424, r312489
r312318 - Debug info for variables whose type is shrinked to bool
r312325, r312424, r312489 - Test case for r312318
Revision 312318 introduced a null dereference bug.
Details in https://bugs.llvm.org/show_bug.cgi?id=34490
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@312758 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r-- | lib/CodeGen/AsmPrinter/DwarfExpression.cpp | 1 | ||||
-rw-r--r-- | lib/IR/DebugInfoMetadata.cpp | 1 | ||||
-rw-r--r-- | lib/Transforms/IPO/GlobalOpt.cpp | 38 |
3 files changed, 1 insertions, 39 deletions
diff --git a/lib/CodeGen/AsmPrinter/DwarfExpression.cpp b/lib/CodeGen/AsmPrinter/DwarfExpression.cpp index 429269d36d8..4538bb3ff02 100644 --- a/lib/CodeGen/AsmPrinter/DwarfExpression.cpp +++ b/lib/CodeGen/AsmPrinter/DwarfExpression.cpp @@ -338,7 +338,6 @@ void DwarfExpression::addExpression(DIExpressionCursor &&ExprCursor, break; case dwarf::DW_OP_plus: case dwarf::DW_OP_minus: - case dwarf::DW_OP_mul: emitOp(Op->getOp()); break; case dwarf::DW_OP_deref: diff --git a/lib/IR/DebugInfoMetadata.cpp b/lib/IR/DebugInfoMetadata.cpp index 8f6822e3c97..005aac821f9 100644 --- a/lib/IR/DebugInfoMetadata.cpp +++ b/lib/IR/DebugInfoMetadata.cpp @@ -643,7 +643,6 @@ bool DIExpression::isValid() const { case dwarf::DW_OP_plus_uconst: case dwarf::DW_OP_plus: case dwarf::DW_OP_minus: - case dwarf::DW_OP_mul: case dwarf::DW_OP_deref: case dwarf::DW_OP_xderef: break; diff --git a/lib/Transforms/IPO/GlobalOpt.cpp b/lib/Transforms/IPO/GlobalOpt.cpp index 8d4bde40968..ee8fdaebbda 100644 --- a/lib/Transforms/IPO/GlobalOpt.cpp +++ b/lib/Transforms/IPO/GlobalOpt.cpp @@ -36,7 +36,6 @@ #include "llvm/IR/Module.h" #include "llvm/IR/Operator.h" #include "llvm/IR/ValueHandle.h" -#include "llvm/IR/DebugInfoMetadata.h" #include "llvm/Pass.h" #include "llvm/Support/Debug.h" #include "llvm/Support/ErrorHandling.h" @@ -1604,47 +1603,12 @@ static bool TryToShrinkGlobalToBoolean(GlobalVariable *GV, Constant *OtherVal) { assert(InitVal->getType() != Type::getInt1Ty(GV->getContext()) && "No reason to shrink to bool!"); - SmallVector<DIGlobalVariableExpression *, 1> GVs; - GV->getDebugInfo(GVs); - // If initialized to zero and storing one into the global, we can use a cast // instead of a select to synthesize the desired value. bool IsOneZero = false; - if (ConstantInt *CI = dyn_cast<ConstantInt>(OtherVal)){ + if (ConstantInt *CI = dyn_cast<ConstantInt>(OtherVal)) IsOneZero = InitVal->isNullValue() && CI->isOne(); - ConstantInt *CIInit = dyn_cast<ConstantInt>(GV->getInitializer()); - uint64_t ValInit = CIInit->getZExtValue(); - uint64_t ValOther = CI->getZExtValue(); - uint64_t ValMinus = ValOther - ValInit; - - for(auto *GVe : GVs){ - DIGlobalVariable *DGV = GVe->getVariable(); - DIExpression *E = GVe->getExpression(); - - // val * (ValOther - ValInit) + ValInit: - // DW_OP_deref DW_OP_constu <ValMinus> - // DW_OP_mul DW_OP_constu <ValInit> DW_OP_plus DW_OP_stack_value - E = DIExpression::get(NewGV->getContext(), - {dwarf::DW_OP_deref, - dwarf::DW_OP_constu, - ValMinus, - dwarf::DW_OP_mul, - dwarf::DW_OP_constu, - ValInit, - dwarf::DW_OP_plus, - dwarf::DW_OP_stack_value}); - DIGlobalVariableExpression *DGVE = - DIGlobalVariableExpression::get(NewGV->getContext(), DGV, E); - NewGV->addDebugInfo(DGVE); - } - } else { - // FIXME: This will only emit address for debugger on which will - // be written only 0 or 1. - for(auto *GV : GVs) - NewGV->addDebugInfo(GV); - } - while (!GV->use_empty()) { Instruction *UI = cast<Instruction>(GV->user_back()); if (StoreInst *SI = dyn_cast<StoreInst>(UI)) { |