Skip to content

Introduce DIExpressionOptimizer in DIExpression::append #69770

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 3 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
103 changes: 103 additions & 0 deletions llvm/include/llvm/IR/DebugInfoMetadata.h
Original file line number Diff line number Diff line change
Expand Up @@ -3073,6 +3073,109 @@ template <> struct DenseMapInfo<DIExpression::FragmentInfo> {
static bool isEqual(const FragInfo &A, const FragInfo &B) { return A == B; }
};

class DIExpressionOptimizer {

// When looking at a DIExpression such as {DW_OP_constu, 1, DW_OP_constu, 2,
// DW_OP_plus} and trying to append {DW_OP_consts, 3, DW_OP_minus}
// NewMathOperator = DW_OP_minus
// OperandRight = 3
// OperatorRight = DW_OP_consts
// CurrMathOperator = DW_OP_plus
// OperandLeft = 2
// OperandLeft = DW_OP_constu

/// The math operator of the new subexpression being appended to the
/// DIExpression.
uint64_t NewMathOperator = 0;

/// The operand of the new subexpression being appended to the DIExpression.
uint64_t OperandRight;

/// The operator attached to OperandRight.
uint64_t OperatorRight = 0;

/// The math operator at the end of the current DIExpression.
uint64_t CurrMathOperator = 0;

/// The operand at the end of the current DIExpression at the top of the
/// stack.
uint64_t OperandLeft;

/// The operator attached to OperandLeft.
uint64_t OperatorLeft = 0;

bool operatorIsCommutative(uint64_t Operator);

SmallVector<uint64_t> getOperatorLocations(ArrayRef<uint64_t> Ops);

void reset();

public:
bool operatorCanBeOptimized(uint64_t Operator);
void optimize(SmallVectorImpl<uint64_t> &NewOps, ArrayRef<uint64_t> Ops);
};

/// Holds a DIExpression and keeps track of how many operands have been consumed
/// so far.
class DIExpressionCursor {
DIExpression::expr_op_iterator Start, End;

public:
DIExpressionCursor(const DIExpression *Expr) {
if (!Expr) {
assert(Start == End);
return;
}
Start = Expr->expr_op_begin();
End = Expr->expr_op_end();
}

DIExpressionCursor(ArrayRef<uint64_t> Expr)
: Start(Expr.begin()), End(Expr.end()) {}

DIExpressionCursor(const DIExpressionCursor &) = default;

/// Consume one operation.
std::optional<DIExpression::ExprOperand> take() {
if (Start == End)
return std::nullopt;
return *(Start++);
}

/// Consume N operations.
void consume(unsigned N) { std::advance(Start, N); }

/// Return the current operation.
std::optional<DIExpression::ExprOperand> peek() const {
if (Start == End)
return std::nullopt;
return *(Start);
}

/// Return the next operation.
std::optional<DIExpression::ExprOperand> peekNext() const {
if (Start == End)
return std::nullopt;

auto Next = Start.getNext();
if (Next == End)
return std::nullopt;

return *Next;
}

/// Determine whether there are any operations left in this expression.
operator bool() const { return Start != End; }

DIExpression::expr_op_iterator begin() const { return Start; }
DIExpression::expr_op_iterator end() const { return End; }

/// Retrieve the fragment information, if any.
std::optional<DIExpression::FragmentInfo> getFragmentInfo() const {
return DIExpression::getFragmentInfo(Start, End);
}
};

/// Global variables.
///
/// TODO: Remove DisplayName. It's always equal to Name.
Expand Down
61 changes: 0 additions & 61 deletions llvm/lib/CodeGen/AsmPrinter/DwarfExpression.h
Original file line number Diff line number Diff line change
Expand Up @@ -31,67 +31,6 @@ class DIELoc;
class TargetRegisterInfo;
class MachineLocation;

/// Holds a DIExpression and keeps track of how many operands have been consumed
/// so far.
class DIExpressionCursor {
DIExpression::expr_op_iterator Start, End;

public:
DIExpressionCursor(const DIExpression *Expr) {
if (!Expr) {
assert(Start == End);
return;
}
Start = Expr->expr_op_begin();
End = Expr->expr_op_end();
}

DIExpressionCursor(ArrayRef<uint64_t> Expr)
: Start(Expr.begin()), End(Expr.end()) {}

DIExpressionCursor(const DIExpressionCursor &) = default;

/// Consume one operation.
std::optional<DIExpression::ExprOperand> take() {
if (Start == End)
return std::nullopt;
return *(Start++);
}

/// Consume N operations.
void consume(unsigned N) { std::advance(Start, N); }

/// Return the current operation.
std::optional<DIExpression::ExprOperand> peek() const {
if (Start == End)
return std::nullopt;
return *(Start);
}

/// Return the next operation.
std::optional<DIExpression::ExprOperand> peekNext() const {
if (Start == End)
return std::nullopt;

auto Next = Start.getNext();
if (Next == End)
return std::nullopt;

return *Next;
}

/// Determine whether there are any operations left in this expression.
operator bool() const { return Start != End; }

DIExpression::expr_op_iterator begin() const { return Start; }
DIExpression::expr_op_iterator end() const { return End; }

/// Retrieve the fragment information, if any.
std::optional<DIExpression::FragmentInfo> getFragmentInfo() const {
return DIExpression::getFragmentInfo(Start, End);
}
};

/// Base class containing the logic for constructing DWARF expressions
/// independently of whether they are emitted into a DIE or into a .debug_loc
/// entry.
Expand Down
143 changes: 140 additions & 3 deletions llvm/lib/IR/DebugInfoMetadata.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1734,6 +1734,143 @@ const DIExpression *DIExpression::extractAddressClass(const DIExpression *Expr,
return Expr;
}

SmallVector<uint64_t>
DIExpressionOptimizer::getOperatorLocations(ArrayRef<uint64_t> Ops) {
SmallVector<uint64_t> OpLocs;
uint64_t Loc = 0;
DIExpressionCursor Cursor(Ops);

while (Cursor.peek()) {
OpLocs.push_back(Loc);
auto Size = Cursor.peek()->getSize();
Loc += Size;
Cursor.consume(1);
}

return OpLocs;
}

bool DIExpressionOptimizer::operatorIsCommutative(uint64_t Operator) {
return Operator == dwarf::DW_OP_mul || Operator == dwarf::DW_OP_plus;
}

bool DIExpressionOptimizer::operatorCanBeOptimized(uint64_t Operator) {
switch (Operator) {
case dwarf::DW_OP_plus:
case dwarf::DW_OP_plus_uconst:
case dwarf::DW_OP_minus:
case dwarf::DW_OP_mul:
case dwarf::DW_OP_div:
case dwarf::DW_OP_shl:
case dwarf::DW_OP_shr:
return true;
default:
return false;
}
}

void DIExpressionOptimizer::reset() {
NewMathOperator = 0;
CurrMathOperator = 0;
OperatorLeft = 0;
OperatorRight = 0;
}

void DIExpressionOptimizer::optimize(SmallVectorImpl<uint64_t> &NewOps,
ArrayRef<uint64_t> Ops) {

if (Ops.size() == 2 && Ops[0] == dwarf::DW_OP_plus_uconst) {
// Convert a {DW_OP_plus_uconst, <constant value>} expression to
// {DW_OP_constu, <constant value>, DW_OP_plus}
NewMathOperator = dwarf::DW_OP_plus;
OperandRight = Ops[1];
OperatorRight = dwarf::DW_OP_constu;
} else if (Ops.size() == 3) {
NewMathOperator = Ops[2];
OperandRight = Ops[1];
OperatorRight = Ops[0];
} else {
// Currently, DIExpressionOptimizer only supports arithmetic operations
// such as Ops = {DW_OP_constu, 1, DW_OP_mul}
NewOps.append(Ops.begin(), Ops.end());
return;
}

if (OperatorRight != dwarf::DW_OP_constu &&
OperatorRight != dwarf::DW_OP_consts) {
NewOps.append(Ops.begin(), Ops.end());
return;
}

uint64_t CurrOperator;

if ((NewMathOperator == dwarf::DW_OP_mul ||
NewMathOperator == dwarf::DW_OP_div) &&
OperandRight == 1) {
// It is a multiply or divide by 1
reset();
return;
}
if ((NewMathOperator == dwarf::DW_OP_plus ||
NewMathOperator == dwarf::DW_OP_minus ||
NewMathOperator == dwarf::DW_OP_shl ||
NewMathOperator == dwarf::DW_OP_shr) &&
OperandRight == 0) {
// It is a add, subtract, shift left, or shift right with 0
reset();
return;
}

// Get the locations of the operators in the DIExpression
auto OperatorLocs = getOperatorLocations(NewOps);

for (auto It = OperatorLocs.rbegin(); It != OperatorLocs.rend(); It++) {
// Only look at the last two operators of the DIExpression to see if the new
// operators can be constant folded with them.
if (std::distance(OperatorLocs.rbegin(), It) > 1)
break;
CurrOperator = NewOps[*It];
if (CurrOperator == dwarf::DW_OP_mul || CurrOperator == dwarf::DW_OP_div ||
CurrOperator == dwarf::DW_OP_plus ||
CurrOperator == dwarf::DW_OP_minus) {
CurrMathOperator = CurrOperator;
continue;
}
if (CurrOperator == dwarf::DW_OP_plus_uconst &&
NewMathOperator == dwarf::DW_OP_plus) {
NewOps[*It + 1] = OperandRight + NewOps[*It + 1];
reset();
return;
}
if (CurrOperator == dwarf::DW_OP_constu ||
CurrOperator == dwarf::DW_OP_consts) {
OperatorLeft = CurrOperator;
OperandLeft = NewOps[*It + 1];

if (NewMathOperator == CurrMathOperator &&
operatorIsCommutative(NewMathOperator)) {
switch (NewMathOperator) {
case dwarf::DW_OP_plus:
NewOps[*It + 1] = OperandRight + OperandLeft;
break;
case dwarf::DW_OP_mul:
NewOps[*It + 1] = OperandRight * OperandLeft;
break;
default:
llvm_unreachable("Operator is not multiplication or addition!");
}
reset();
return;
}
break;
}
break;
}
NewOps.append(Ops.begin(), Ops.end());
reset();
return;
}

DIExpression *DIExpression::prepend(const DIExpression *Expr, uint8_t Flags,
int64_t Offset) {
SmallVector<uint64_t, 8> Ops;
Expand Down Expand Up @@ -1846,19 +1983,19 @@ DIExpression *DIExpression::append(const DIExpression *Expr,

// Copy Expr's current op list.
SmallVector<uint64_t, 16> NewOps;
DIExpressionOptimizer Optimizer;
for (auto Op : Expr->expr_ops()) {
// Append new opcodes before DW_OP_{stack_value, LLVM_fragment}.
if (Op.getOp() == dwarf::DW_OP_stack_value ||
Op.getOp() == dwarf::DW_OP_LLVM_fragment) {
NewOps.append(Ops.begin(), Ops.end());
Optimizer.optimize(NewOps, Ops);

// Ensure that the new opcodes are only appended once.
Ops = std::nullopt;
}
Op.appendToVector(NewOps);
}

NewOps.append(Ops.begin(), Ops.end());
Optimizer.optimize(NewOps, Ops);
auto *result = DIExpression::get(Expr->getContext(), NewOps);
assert(result->isValid() && "concatenated expression is not valid");
return result;
Expand Down
4 changes: 2 additions & 2 deletions llvm/test/DebugInfo/MIR/AArch64/dbgcall-site-expr-chain.mir
Original file line number Diff line number Diff line change
Expand Up @@ -105,12 +105,12 @@ body: |

# CHECK: DW_TAG_GNU_call_site_parameter
# CHECK-NEXT: DW_AT_location (DW_OP_reg2 W2)
# CHECK-NEXT: DW_AT_GNU_call_site_value (DW_OP_breg19 W19+700, DW_OP_plus_uconst 0x9, DW_OP_plus_uconst 0x50)
# CHECK-NEXT: DW_AT_GNU_call_site_value (DW_OP_breg19 W19+789)

# CHECK: DW_TAG_GNU_call_site_parameter
# CHECK-NEXT: DW_AT_location (DW_OP_reg1 W1)
# CHECK-NEXT: DW_AT_GNU_call_site_value (DW_OP_breg19 W19-406, DW_OP_constu 0x32, DW_OP_minus)

# CHECK: DW_TAG_GNU_call_site_parameter
# CHECK-NEXT: DW_AT_location (DW_OP_reg0 W0)
# CHECK-NEXT: DW_AT_GNU_call_site_value (DW_OP_breg19 W19+100, DW_OP_plus_uconst 0x17)
# CHECK-NEXT: DW_AT_GNU_call_site_value (DW_OP_breg19 W19+123)
Loading