[llvm] r294532 - Reapply r294356 ("Keep track of spilled variables in LiveDebugValues").
Wolfgang Pieb via llvm-commits
llvm-commits at lists.llvm.org
Wed Feb 8 15:47:00 PST 2017
Author: wolfgangp
Date: Wed Feb 8 17:46:59 2017
New Revision: 294532
URL: http://llvm.org/viewvc/llvm-project?rev=294532&view=rev
Log:
Reapply r294356 ("Keep track of spilled variables in LiveDebugValues").
Was reverted with r294447 due to undefined behavior with negative offsets
in DBG_VALUE instructions.
Added:
llvm/trunk/test/DebugInfo/MIR/X86/live-debug-values-spill.mir
Modified:
llvm/trunk/lib/CodeGen/LiveDebugValues.cpp
Modified: llvm/trunk/lib/CodeGen/LiveDebugValues.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/LiveDebugValues.cpp?rev=294532&r1=294531&r2=294532&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/LiveDebugValues.cpp (original)
+++ llvm/trunk/lib/CodeGen/LiveDebugValues.cpp Wed Feb 8 17:46:59 2017
@@ -24,13 +24,16 @@
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/UniqueVector.h"
#include "llvm/CodeGen/LexicalScopes.h"
+#include "llvm/CodeGen/MachineFrameInfo.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstrBuilder.h"
+#include "llvm/CodeGen/MachineMemOperand.h"
#include "llvm/CodeGen/Passes.h"
#include "llvm/IR/DebugInfo.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
+#include "llvm/Target/TargetFrameLowering.h"
#include "llvm/Target/TargetInstrInfo.h"
#include "llvm/Target/TargetLowering.h"
#include "llvm/Target/TargetRegisterInfo.h"
@@ -61,6 +64,7 @@ class LiveDebugValues : public MachineFu
private:
const TargetRegisterInfo *TRI;
const TargetInstrInfo *TII;
+ const TargetFrameLowering *TFI;
LexicalScopes LS;
/// Keeps track of lexical scopes associated with a user value's source
@@ -127,11 +131,13 @@ private:
if (int RegNo = isDbgValueDescribedByReg(MI)) {
Kind = RegisterKind;
Loc.RegisterLoc.RegNo = RegNo;
- uint64_t Offset =
+ int64_t Offset =
MI.isIndirectDebugValue() ? MI.getOperand(1).getImm() : 0;
// We don't support offsets larger than 4GiB here. They are
// slated to be replaced with DIExpressions anyway.
- if (Offset >= (1ULL << 32))
+ // With indirect debug values used for spill locations, Offset
+ // can be negative.
+ if (Offset == INT64_MIN || std::abs(Offset) >= (1LL << 32))
Kind = InvalidKind;
else
Loc.RegisterLoc.Offset = Offset;
@@ -169,6 +175,11 @@ private:
typedef UniqueVector<VarLoc> VarLocMap;
typedef SparseBitVector<> VarLocSet;
typedef SmallDenseMap<const MachineBasicBlock *, VarLocSet> VarLocInMBB;
+ struct SpillDebugPair {
+ MachineInstr *SpillInst;
+ MachineInstr *DebugInst;
+ };
+ typedef SmallVector<SpillDebugPair, 4> SpillMap;
/// This holds the working set of currently open ranges. For fast
/// access, this is done both as a set of VarLocIDs, and a map of
@@ -218,14 +229,21 @@ private:
}
};
+ bool isSpillInstruction(const MachineInstr &MI, MachineFunction *MF,
+ unsigned &Reg);
+ int extractSpillBaseRegAndOffset(const MachineInstr &MI, unsigned &Reg);
+
void transferDebugValue(const MachineInstr &MI, OpenRangesSet &OpenRanges,
VarLocMap &VarLocIDs);
+ void transferSpillInst(MachineInstr &MI, OpenRangesSet &OpenRanges,
+ VarLocMap &VarLocIDs, SpillMap &Spills);
void transferRegisterDef(MachineInstr &MI, OpenRangesSet &OpenRanges,
const VarLocMap &VarLocIDs);
bool transferTerminatorInst(MachineInstr &MI, OpenRangesSet &OpenRanges,
VarLocInMBB &OutLocs, const VarLocMap &VarLocIDs);
bool transfer(MachineInstr &MI, OpenRangesSet &OpenRanges,
- VarLocInMBB &OutLocs, VarLocMap &VarLocIDs);
+ VarLocInMBB &OutLocs, VarLocMap &VarLocIDs, SpillMap &Spills,
+ bool transferSpills);
bool join(MachineBasicBlock &MBB, VarLocInMBB &OutLocs, VarLocInMBB &InLocs,
const VarLocMap &VarLocIDs,
@@ -305,6 +323,21 @@ void LiveDebugValues::printVarLocInMBB(c
}
#endif
+/// Given a spill instruction, extract the register and offset used to
+/// address the spill location in a target independent way.
+int LiveDebugValues::extractSpillBaseRegAndOffset(const MachineInstr &MI,
+ unsigned &Reg) {
+ assert(MI.hasOneMemOperand() &&
+ "Spill instruction does not have exactly one memory operand?");
+ auto MMOI = MI.memoperands_begin();
+ const PseudoSourceValue *PVal = (*MMOI)->getPseudoValue();
+ assert(PVal->kind() == PseudoSourceValue::FixedStack &&
+ "Inconsistent memory operand in spill instruction");
+ int FI = cast<FixedStackPseudoSourceValue>(PVal)->getFrameIndex();
+ const MachineBasicBlock *MBB = MI.getParent();
+ return TFI->getFrameIndexReference(*MBB->getParent(), FI, Reg);
+}
+
/// End all previous ranges related to @MI and start a new range from @MI
/// if it is a DBG_VALUE instr.
void LiveDebugValues::transferDebugValue(const MachineInstr &MI,
@@ -362,6 +395,85 @@ void LiveDebugValues::transferRegisterDe
OpenRanges.erase(KillSet, VarLocIDs);
}
+/// Decide if @MI is a spill instruction and return true if it is. We use 2
+/// criteria to make this decision:
+/// - Is this instruction a store to a spill slot?
+/// - Is there a register operand that is both used and killed?
+bool LiveDebugValues::isSpillInstruction(const MachineInstr &MI,
+ MachineFunction *MF, unsigned &Reg) {
+ const MachineFrameInfo &FrameInfo = MF->getFrameInfo();
+ int FI;
+ const MachineMemOperand *MMO;
+
+ // To identify a spill instruction, use the same criteria as in AsmPrinter.
+ if (!((TII->isStoreToStackSlotPostFE(MI, FI) ||
+ TII->hasStoreToStackSlot(MI, MMO, FI)) &&
+ FrameInfo.isSpillSlotObjectIndex(FI)))
+ return false;
+
+ // In a spill instruction generated by the InlineSpiller the spilled register
+ // has its kill flag set. Return false if we don't find such a register.
+ Reg = 0;
+ for (const MachineOperand &MO : MI.operands()) {
+ if (MO.isReg() && MO.isUse() && MO.isKill()) {
+ Reg = MO.getReg();
+ break;
+ }
+ }
+ return Reg != 0;
+}
+
+/// A spilled register may indicate that we have to end the current range of
+/// a variable and create a new one for the spill location.
+/// We don't want to insert any instructions in transfer(), so we just create
+/// the DBG_VALUE witout inserting it and keep track of it in @Spills.
+/// It will be inserted into the BB when we're done iterating over the
+/// instructions.
+void LiveDebugValues::transferSpillInst(MachineInstr &MI,
+ OpenRangesSet &OpenRanges,
+ VarLocMap &VarLocIDs,
+ SpillMap &Spills) {
+ unsigned Reg;
+ MachineFunction *MF = MI.getParent()->getParent();
+ if (!isSpillInstruction(MI, MF, Reg))
+ return;
+
+ // Check if the register is the location of a debug value.
+ for (unsigned ID : OpenRanges.getVarLocs()) {
+ if (VarLocIDs[ID].isDescribedByReg() == Reg) {
+ DEBUG(dbgs() << "Spilling Register " << PrintReg(Reg, TRI) << '('
+ << VarLocIDs[ID].Var.getVar()->getName() << ")\n");
+
+ // Create a DBG_VALUE instruction to describe the Var in its spilled
+ // location, but don't insert it yet to avoid invalidating the
+ // iterator in our caller.
+ unsigned SpillBase;
+ int SpillOffset = extractSpillBaseRegAndOffset(MI, SpillBase);
+ const MachineInstr *DMI = &VarLocIDs[ID].MI;
+ MachineInstr *SpDMI =
+ BuildMI(*MF, DMI->getDebugLoc(), DMI->getDesc(), true, SpillBase, 0,
+ DMI->getDebugVariable(), DMI->getDebugExpression());
+ SpDMI->getOperand(1).setImm(SpillOffset);
+ DEBUG(dbgs() << "Creating DBG_VALUE inst for spill: ";
+ SpDMI->print(dbgs(), false, TII));
+
+ // The newly created DBG_VALUE instruction SpDMI must be inserted after
+ // MI. Keep track of the pairing.
+ SpillDebugPair MIP = {&MI, SpDMI};
+ Spills.push_back(MIP);
+
+ // End all previous ranges of Var.
+ OpenRanges.erase(VarLocIDs[ID].Var);
+
+ // Add the VarLoc to OpenRanges.
+ VarLoc VL(*SpDMI, LS);
+ unsigned SpillLocID = VarLocIDs.insert(VL);
+ OpenRanges.insert(SpillLocID, VL.Var);
+ return;
+ }
+ }
+}
+
/// Terminate all open ranges at the end of the current basic block.
bool LiveDebugValues::transferTerminatorInst(MachineInstr &MI,
OpenRangesSet &OpenRanges,
@@ -387,10 +499,13 @@ bool LiveDebugValues::transferTerminator
/// This routine creates OpenRanges and OutLocs.
bool LiveDebugValues::transfer(MachineInstr &MI, OpenRangesSet &OpenRanges,
- VarLocInMBB &OutLocs, VarLocMap &VarLocIDs) {
+ VarLocInMBB &OutLocs, VarLocMap &VarLocIDs,
+ SpillMap &Spills, bool transferSpills) {
bool Changed = false;
transferDebugValue(MI, OpenRanges, VarLocIDs);
transferRegisterDef(MI, OpenRanges, VarLocIDs);
+ if (transferSpills)
+ transferSpillInst(MI, OpenRanges, VarLocIDs, Spills);
Changed = transferTerminatorInst(MI, OpenRanges, OutLocs, VarLocIDs);
return Changed;
}
@@ -479,10 +594,11 @@ bool LiveDebugValues::ExtendRanges(Machi
bool OLChanged = false;
bool MBBJoined = false;
- VarLocMap VarLocIDs; // Map VarLoc<>unique ID for use in bitvectors.
+ VarLocMap VarLocIDs; // Map VarLoc<>unique ID for use in bitvectors.
OpenRangesSet OpenRanges; // Ranges that are open until end of bb.
- VarLocInMBB OutLocs; // Ranges that exist beyond bb.
- VarLocInMBB InLocs; // Ranges that are incoming after joining.
+ VarLocInMBB OutLocs; // Ranges that exist beyond bb.
+ VarLocInMBB InLocs; // Ranges that are incoming after joining.
+ SpillMap Spills; // DBG_VALUEs associated with spills.
DenseMap<unsigned int, MachineBasicBlock *> OrderToBB;
DenseMap<MachineBasicBlock *, unsigned int> BBToOrder;
@@ -494,9 +610,14 @@ bool LiveDebugValues::ExtendRanges(Machi
Pending;
// Initialize every mbb with OutLocs.
+ // We are not looking at any spill instructions during the initial pass
+ // over the BBs. The LiveDebugVariables pass has already created DBG_VALUE
+ // instructions for spills of registers that are known to be user variables
+ // within the BB in which the spill occurs.
for (auto &MBB : MF)
for (auto &MI : MBB)
- transfer(MI, OpenRanges, OutLocs, VarLocIDs);
+ transfer(MI, OpenRanges, OutLocs, VarLocIDs, Spills,
+ /*transferSpills=*/false);
DEBUG(printVarLocInMBB(MF, OutLocs, VarLocIDs, "OutLocs after initialization",
dbgs()));
@@ -528,8 +649,18 @@ bool LiveDebugValues::ExtendRanges(Machi
if (MBBJoined) {
MBBJoined = false;
Changed = true;
+ // Now that we have started to extend ranges across BBs we need to
+ // examine spill instructions to see whether they spill registers that
+ // correspond to user variables.
for (auto &MI : *MBB)
- OLChanged |= transfer(MI, OpenRanges, OutLocs, VarLocIDs);
+ OLChanged |= transfer(MI, OpenRanges, OutLocs, VarLocIDs, Spills,
+ /*transferSpills=*/true);
+
+ // Add any DBG_VALUE instructions necessitated by spills.
+ for (auto &SP : Spills)
+ MBB->insertAfter(MachineBasicBlock::iterator(*SP.SpillInst),
+ SP.DebugInst);
+ Spills.clear();
DEBUG(printVarLocInMBB(MF, OutLocs, VarLocIDs,
"OutLocs after propagating", dbgs()));
@@ -563,6 +694,7 @@ bool LiveDebugValues::runOnMachineFuncti
TRI = MF.getSubtarget().getRegisterInfo();
TII = MF.getSubtarget().getInstrInfo();
+ TFI = MF.getSubtarget().getFrameLowering();
LS.initialize(MF);
bool Changed = ExtendRanges(MF);
Added: llvm/trunk/test/DebugInfo/MIR/X86/live-debug-values-spill.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/MIR/X86/live-debug-values-spill.mir?rev=294532&view=auto
==============================================================================
--- llvm/trunk/test/DebugInfo/MIR/X86/live-debug-values-spill.mir (added)
+++ llvm/trunk/test/DebugInfo/MIR/X86/live-debug-values-spill.mir Wed Feb 8 17:46:59 2017
@@ -0,0 +1,468 @@
+# RUN: llc -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck -check-prefix=GENERATE %s
+# RUN: llc -run-pass=livedebugvalues -march=x86-64 -o - %s | FileCheck -check-prefix=TERMINATE %s
+#
+# Check that spills are recognized in the Live Debug Values pass and that
+# DBG_VALUE instructions are generated to keep track of spilled user
+# variables.
+# In addition we check that the ranges of spilled debug values are properly
+# extended.
+#
+# Test case generated from:
+#
+# extern void use (int);
+# extern void set (int *, int *, int *);
+#
+# int glob0, glob1, glob2, glob3, glob4, glob5;
+#
+# void foo(int b0, int b1, int int0, int int1, int int2,
+# int int3, int int4)
+# {
+# int inta = glob0;
+# int intb = glob1;
+# int intc = glob2;
+# int intd = glob3;
+# int inte = glob4;
+# int intf = glob5;
+# int intg;
+#
+# if (b0)
+# return;
+#
+# int0 += (int1 + int2 + int3) * int4;
+# use(intf);
+# use(inte);
+#
+# if (b1) {
+# set(&inte, &intf, &intg);
+# int0 = (int1 + int2 + int3) * int4;
+# inta = (intb*inte + intc*inte + intd) * inte;
+# }
+# int0 += int4 * inta;
+# use(int0);
+# }
+#
+#
+# Generated with
+# clang -g -O2 -S -emit-llvm -fno-omit-frame-pointer spill1.c
+# llc -stop-after=funclet-layout < spill1.ll > spill1.mir
+#
+# Make sure that we generated DBG_VALUE instructions for the spills
+# GENERATE: bb.1.if.end:
+# GENERATE: MOV32mr %rbp, 1, _, -48, _, killed %edx :: (store 4 into %stack.5)
+# GENERATE-NEXT: DBG_VALUE debug-use %rbp, -48, !26, !38
+# GENERATE: MOV32mr %rbp, 1, _, -52, _, killed %r8d :: (store 4 into %stack.4)
+# GENERATE-NEXT: DBG_VALUE debug-use %rbp, -52, !32, !38
+# GENERATE: MOV32mr %rbp, 1, _, -56, _, killed %esi :: (store 4 into %stack.3)
+# GENERATE-NEXT: DBG_VALUE debug-use %rbp, -56, !34, !38
+#
+# Check that the spill locations that are valid at the end of bb.1.if.end are
+# propagated to subsequent BBs.
+#
+# GENERATE: bb.2.if.then4:
+# GENERATE-NOT: bb.3:
+# GENERATE-DAG: DBG_VALUE debug-use %rbp, -56, !34, !38
+# GENERATE-DAG: DBG_VALUE debug-use %rbp, -52, !32, !38
+#
+# GENERATE: bb.3:
+# GENERATE-NOT: bb.4.if.end13:
+# GENERATE-DAG: DBG_VALUE debug-use %rbp, -56, !34, !38
+# GENERATE-DAG: DBG_VALUE debug-use %rbp, -52, !32, !38
+#
+# GENERATE: bb.4.if.end13:
+# GENERATE-NOT: bb.5.cleanup:
+# GENERATE-DAG: DBG_VALUE debug-use %rbp, -56, !34, !38
+# GENERATE-DAG: DBG_VALUE debug-use %rbp, -52, !32, !38
+#
+# Check that the spill location rbp-48 (the variable int0) is not propagated
+# because int0 is redefined within the same basic block.
+#
+# TERMINATE: bb.2.if.then4:
+# TERMINATE-NOT: DBG_VALUE debug-use %rbp, -48, !26, !38
+--- |
+ ; ModuleID = '<stdin>'
+ source_filename = "spill1.c"
+ target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+ target triple = "x86_64-unknown-linux-gnu"
+
+ @glob0 = common local_unnamed_addr global i32 0, align 4, !dbg !0
+ @glob1 = common local_unnamed_addr global i32 0, align 4, !dbg !6
+ @glob2 = common local_unnamed_addr global i32 0, align 4, !dbg !9
+ @glob3 = common local_unnamed_addr global i32 0, align 4, !dbg !11
+ @glob4 = common local_unnamed_addr global i32 0, align 4, !dbg !13
+ @glob5 = common local_unnamed_addr global i32 0, align 4, !dbg !15
+
+ ; Function Attrs: nounwind uwtable
+ define void @foo(i32 %b0, i32 %b1, i32 %int0, i32 %int1, i32 %int2, i32 %int3, i32 %int4) local_unnamed_addr #0 !dbg !20 {
+ entry:
+ %inte = alloca i32, align 4
+ %intf = alloca i32, align 4
+ %intg = alloca i32, align 4
+ tail call void @llvm.dbg.value(metadata i32 %b0, i64 0, metadata !24, metadata !38), !dbg !39
+ tail call void @llvm.dbg.value(metadata i32 %b1, i64 0, metadata !25, metadata !38), !dbg !40
+ tail call void @llvm.dbg.value(metadata i32 %int0, i64 0, metadata !26, metadata !38), !dbg !41
+ tail call void @llvm.dbg.value(metadata i32 %int1, i64 0, metadata !27, metadata !38), !dbg !42
+ tail call void @llvm.dbg.value(metadata i32 %int2, i64 0, metadata !28, metadata !38), !dbg !43
+ tail call void @llvm.dbg.value(metadata i32 %int3, i64 0, metadata !29, metadata !38), !dbg !44
+ tail call void @llvm.dbg.value(metadata i32 %int4, i64 0, metadata !30, metadata !38), !dbg !45
+ %0 = load i32, i32* @glob0, align 4, !dbg !46, !tbaa !47
+ tail call void @llvm.dbg.value(metadata i32 %0, i64 0, metadata !31, metadata !38), !dbg !51
+ %1 = load i32, i32* @glob1, align 4, !dbg !52, !tbaa !47
+ tail call void @llvm.dbg.value(metadata i32 %1, i64 0, metadata !32, metadata !38), !dbg !53
+ %2 = load i32, i32* @glob2, align 4, !dbg !54, !tbaa !47
+ tail call void @llvm.dbg.value(metadata i32 %2, i64 0, metadata !33, metadata !38), !dbg !55
+ %3 = load i32, i32* @glob3, align 4, !dbg !56, !tbaa !47
+ tail call void @llvm.dbg.value(metadata i32 %3, i64 0, metadata !34, metadata !38), !dbg !57
+ %4 = bitcast i32* %inte to i8*, !dbg !58
+ call void @llvm.lifetime.start(i64 4, i8* nonnull %4) #4, !dbg !58
+ %5 = load i32, i32* @glob4, align 4, !dbg !59, !tbaa !47
+ tail call void @llvm.dbg.value(metadata i32 %5, i64 0, metadata !35, metadata !38), !dbg !60
+ tail call void @llvm.dbg.value(metadata i32 %5, i64 0, metadata !35, metadata !38), !dbg !60
+ store i32 %5, i32* %inte, align 4, !dbg !60, !tbaa !47
+ %6 = bitcast i32* %intf to i8*, !dbg !61
+ call void @llvm.lifetime.start(i64 4, i8* nonnull %6) #4, !dbg !61
+ %7 = load i32, i32* @glob5, align 4, !dbg !62, !tbaa !47
+ tail call void @llvm.dbg.value(metadata i32 %7, i64 0, metadata !36, metadata !38), !dbg !63
+ tail call void @llvm.dbg.value(metadata i32 %7, i64 0, metadata !36, metadata !38), !dbg !63
+ store i32 %7, i32* %intf, align 4, !dbg !63, !tbaa !47
+ %8 = bitcast i32* %intg to i8*, !dbg !64
+ call void @llvm.lifetime.start(i64 4, i8* nonnull %8) #4, !dbg !64
+ %tobool = icmp eq i32 %b0, 0, !dbg !65
+ br i1 %tobool, label %if.end, label %cleanup, !dbg !67
+
+ if.end: ; preds = %entry
+ %add = add nsw i32 %int2, %int1, !dbg !68
+ %add1 = add nsw i32 %add, %int3, !dbg !69
+ %mul = mul nsw i32 %add1, %int4, !dbg !70
+ call void @llvm.dbg.value(metadata i32 %mul, i64 0, metadata !26, metadata !38), !dbg !41
+ %add2 = add nsw i32 %mul, %int0, !dbg !71
+ tail call void @llvm.dbg.value(metadata i32 %add2, i64 0, metadata !26, metadata !38), !dbg !41
+ tail call void @use(i32 %7) #4, !dbg !72
+ tail call void @use(i32 %5) #4, !dbg !73
+ %tobool3 = icmp eq i32 %b1, 0, !dbg !74
+ br i1 %tobool3, label %if.end13, label %if.then4, !dbg !76
+
+ if.then4: ; preds = %if.end
+ tail call void @llvm.dbg.value(metadata i32* %inte, i64 0, metadata !35, metadata !77), !dbg !60
+ tail call void @llvm.dbg.value(metadata i32* %intf, i64 0, metadata !36, metadata !77), !dbg !63
+ tail call void @llvm.dbg.value(metadata i32* %intg, i64 0, metadata !37, metadata !77), !dbg !78
+ call void @set(i32* nonnull %inte, i32* nonnull %intf, i32* nonnull %intg) #4, !dbg !79
+ %9 = load i32, i32* %inte, align 4, !dbg !81, !tbaa !47
+ call void @llvm.dbg.value(metadata i32 %9, i64 0, metadata !35, metadata !38), !dbg !60
+ %mul833 = add i32 %2, %1, !dbg !82
+ %add10 = mul i32 %9, %mul833, !dbg !82
+ %add11 = add nsw i32 %add10, %3, !dbg !83
+ %mul12 = mul nsw i32 %add11, %9, !dbg !84
+ call void @llvm.dbg.value(metadata i32 %mul12, i64 0, metadata !31, metadata !38), !dbg !51
+ br label %if.end13, !dbg !85
+
+ if.end13: ; preds = %if.then4, %if.end
+ %inta.0 = phi i32 [ %mul12, %if.then4 ], [ %0, %if.end ]
+ %int0.addr.0 = phi i32 [ %mul, %if.then4 ], [ %add2, %if.end ]
+ call void @llvm.dbg.value(metadata i32 %inta.0, i64 0, metadata !31, metadata !38), !dbg !51
+ call void @llvm.dbg.value(metadata i32 %int0.addr.0, i64 0, metadata !26, metadata !38), !dbg !41
+ %mul14 = mul nsw i32 %inta.0, %int4, !dbg !86
+ %add15 = add nsw i32 %int0.addr.0, %mul14, !dbg !87
+ call void @llvm.dbg.value(metadata i32 %add15, i64 0, metadata !26, metadata !38), !dbg !41
+ call void @use(i32 %add15) #4, !dbg !88
+ br label %cleanup, !dbg !89
+
+ cleanup: ; preds = %if.end13, %entry
+ %10 = bitcast i32* %intg to i8*
+ %11 = bitcast i32* %intf to i8*
+ %12 = bitcast i32* %inte to i8*
+ call void @llvm.lifetime.end(i64 4, i8* nonnull %10) #4, !dbg !89
+ call void @llvm.lifetime.end(i64 4, i8* nonnull %11) #4, !dbg !89
+ call void @llvm.lifetime.end(i64 4, i8* nonnull %12) #4, !dbg !89
+ ret void, !dbg !90
+ }
+
+ ; Function Attrs: argmemonly nounwind
+ declare void @llvm.lifetime.start(i64, i8* nocapture) #1
+
+ declare void @use(i32) local_unnamed_addr #2
+
+ declare void @set(i32*, i32*, i32*) local_unnamed_addr #2
+
+ ; Function Attrs: argmemonly nounwind
+ declare void @llvm.lifetime.end(i64, i8* nocapture) #1
+
+ ; Function Attrs: nounwind readnone
+ declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #3
+
+ ; Function Attrs: nounwind
+ declare void @llvm.stackprotector(i8*, i8**) #4
+
+ attributes #0 = { nounwind uwtable "no-frame-pointer-elim-non-leaf" }
+ attributes #1 = { argmemonly nounwind }
+ attributes #2 = { "no-frame-pointer-elim-non-leaf" }
+ attributes #3 = { nounwind readnone }
+ attributes #4 = { nounwind }
+
+ !llvm.dbg.cu = !{!2}
+ !llvm.module.flags = !{!17, !18}
+ !llvm.ident = !{!19}
+
+ !0 = !DIGlobalVariableExpression(var: !1)
+ !1 = distinct !DIGlobalVariable(name: "glob0", scope: !2, file: !3, line: 4, type: !8, isLocal: false, isDefinition: true)
+ !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 5.0.0 (trunk 292962)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
+ !3 = !DIFile(filename: "spill1.c", directory: "/home/test")
+ !4 = !{}
+ !5 = !{!0, !6, !9, !11, !13, !15}
+ !6 = !DIGlobalVariableExpression(var: !7)
+ !7 = distinct !DIGlobalVariable(name: "glob1", scope: !2, file: !3, line: 4, type: !8, isLocal: false, isDefinition: true)
+ !8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
+ !9 = !DIGlobalVariableExpression(var: !10)
+ !10 = distinct !DIGlobalVariable(name: "glob2", scope: !2, file: !3, line: 4, type: !8, isLocal: false, isDefinition: true)
+ !11 = !DIGlobalVariableExpression(var: !12)
+ !12 = distinct !DIGlobalVariable(name: "glob3", scope: !2, file: !3, line: 4, type: !8, isLocal: false, isDefinition: true)
+ !13 = !DIGlobalVariableExpression(var: !14)
+ !14 = distinct !DIGlobalVariable(name: "glob4", scope: !2, file: !3, line: 4, type: !8, isLocal: false, isDefinition: true)
+ !15 = !DIGlobalVariableExpression(var: !16)
+ !16 = distinct !DIGlobalVariable(name: "glob5", scope: !2, file: !3, line: 4, type: !8, isLocal: false, isDefinition: true)
+ !17 = !{i32 2, !"Dwarf Version", i32 4}
+ !18 = !{i32 2, !"Debug Info Version", i32 3}
+ !19 = !{!"clang version 5.0.0 (trunk 292962)"}
+ !20 = distinct !DISubprogram(name: "foo", scope: !3, file: !3, line: 6, type: !21, isLocal: false, isDefinition: true, scopeLine: 8, flags: DIFlagPrototyped, isOptimized: true, unit: !2, variables: !23)
+ !21 = !DISubroutineType(types: !22)
+ !22 = !{null, !8, !8, !8, !8, !8, !8, !8}
+ !23 = !{!24, !25, !26, !27, !28, !29, !30, !31, !32, !33, !34, !35, !36, !37}
+ !24 = !DILocalVariable(name: "b0", arg: 1, scope: !20, file: !3, line: 6, type: !8)
+ !25 = !DILocalVariable(name: "b1", arg: 2, scope: !20, file: !3, line: 6, type: !8)
+ !26 = !DILocalVariable(name: "int0", arg: 3, scope: !20, file: !3, line: 6, type: !8)
+ !27 = !DILocalVariable(name: "int1", arg: 4, scope: !20, file: !3, line: 6, type: !8)
+ !28 = !DILocalVariable(name: "int2", arg: 5, scope: !20, file: !3, line: 6, type: !8)
+ !29 = !DILocalVariable(name: "int3", arg: 6, scope: !20, file: !3, line: 7, type: !8)
+ !30 = !DILocalVariable(name: "int4", arg: 7, scope: !20, file: !3, line: 7, type: !8)
+ !31 = !DILocalVariable(name: "inta", scope: !20, file: !3, line: 9, type: !8)
+ !32 = !DILocalVariable(name: "intb", scope: !20, file: !3, line: 10, type: !8)
+ !33 = !DILocalVariable(name: "intc", scope: !20, file: !3, line: 11, type: !8)
+ !34 = !DILocalVariable(name: "intd", scope: !20, file: !3, line: 12, type: !8)
+ !35 = !DILocalVariable(name: "inte", scope: !20, file: !3, line: 13, type: !8)
+ !36 = !DILocalVariable(name: "intf", scope: !20, file: !3, line: 14, type: !8)
+ !37 = !DILocalVariable(name: "intg", scope: !20, file: !3, line: 15, type: !8)
+ !38 = !DIExpression()
+ !39 = !DILocation(line: 6, column: 14, scope: !20)
+ !40 = !DILocation(line: 6, column: 22, scope: !20)
+ !41 = !DILocation(line: 6, column: 30, scope: !20)
+ !42 = !DILocation(line: 6, column: 40, scope: !20)
+ !43 = !DILocation(line: 6, column: 50, scope: !20)
+ !44 = !DILocation(line: 7, column: 14, scope: !20)
+ !45 = !DILocation(line: 7, column: 24, scope: !20)
+ !46 = !DILocation(line: 9, column: 14, scope: !20)
+ !47 = !{!48, !48, i64 0}
+ !48 = !{!"int", !49, i64 0}
+ !49 = !{!"omnipotent char", !50, i64 0}
+ !50 = !{!"Simple C/C++ TBAA"}
+ !51 = !DILocation(line: 9, column: 7, scope: !20)
+ !52 = !DILocation(line: 10, column: 14, scope: !20)
+ !53 = !DILocation(line: 10, column: 7, scope: !20)
+ !54 = !DILocation(line: 11, column: 14, scope: !20)
+ !55 = !DILocation(line: 11, column: 7, scope: !20)
+ !56 = !DILocation(line: 12, column: 14, scope: !20)
+ !57 = !DILocation(line: 12, column: 7, scope: !20)
+ !58 = !DILocation(line: 13, column: 3, scope: !20)
+ !59 = !DILocation(line: 13, column: 14, scope: !20)
+ !60 = !DILocation(line: 13, column: 7, scope: !20)
+ !61 = !DILocation(line: 14, column: 3, scope: !20)
+ !62 = !DILocation(line: 14, column: 14, scope: !20)
+ !63 = !DILocation(line: 14, column: 7, scope: !20)
+ !64 = !DILocation(line: 15, column: 3, scope: !20)
+ !65 = !DILocation(line: 17, column: 7, scope: !66)
+ !66 = distinct !DILexicalBlock(scope: !20, file: !3, line: 17, column: 7)
+ !67 = !DILocation(line: 17, column: 7, scope: !20)
+ !68 = !DILocation(line: 20, column: 17, scope: !20)
+ !69 = !DILocation(line: 20, column: 24, scope: !20)
+ !70 = !DILocation(line: 20, column: 32, scope: !20)
+ !71 = !DILocation(line: 20, column: 8, scope: !20)
+ !72 = !DILocation(line: 21, column: 3, scope: !20)
+ !73 = !DILocation(line: 22, column: 3, scope: !20)
+ !74 = !DILocation(line: 24, column: 7, scope: !75)
+ !75 = distinct !DILexicalBlock(scope: !20, file: !3, line: 24, column: 7)
+ !76 = !DILocation(line: 24, column: 7, scope: !20)
+ !77 = !DIExpression(DW_OP_deref)
+ !78 = !DILocation(line: 15, column: 7, scope: !20)
+ !79 = !DILocation(line: 25, column: 5, scope: !80)
+ !80 = distinct !DILexicalBlock(scope: !75, file: !3, line: 24, column: 11)
+ !81 = !DILocation(line: 27, column: 18, scope: !80)
+ !82 = !DILocation(line: 27, column: 23, scope: !80)
+ !83 = !DILocation(line: 27, column: 35, scope: !80)
+ !84 = !DILocation(line: 27, column: 43, scope: !80)
+ !85 = !DILocation(line: 28, column: 3, scope: !80)
+ !86 = !DILocation(line: 29, column: 16, scope: !20)
+ !87 = !DILocation(line: 29, column: 8, scope: !20)
+ !88 = !DILocation(line: 30, column: 3, scope: !20)
+ !89 = !DILocation(line: 31, column: 1, scope: !20)
+ !90 = !DILocation(line: 31, column: 1, scope: !91)
+ !91 = !DILexicalBlockFile(scope: !20, file: !3, discriminator: 2)
+
+...
+---
+name: foo
+alignment: 4
+exposesReturnsTwice: false
+legalized: false
+regBankSelected: false
+selected: false
+tracksRegLiveness: true
+liveins:
+ - { reg: '%edi' }
+ - { reg: '%esi' }
+ - { reg: '%edx' }
+ - { reg: '%ecx' }
+ - { reg: '%r8d' }
+ - { reg: '%r9d' }
+calleeSavedRegisters: [ '%bh', '%bl', '%bp', '%bpl', '%bx', '%ebp', '%ebx',
+ '%rbp', '%rbx', '%r12', '%r13', '%r14', '%r15',
+ '%r12b', '%r13b', '%r14b', '%r15b', '%r12d', '%r13d',
+ '%r14d', '%r15d', '%r12w', '%r13w', '%r14w', '%r15w' ]
+frameInfo:
+ isFrameAddressTaken: false
+ isReturnAddressTaken: false
+ hasStackMap: false
+ hasPatchPoint: false
+ stackSize: 72
+ offsetAdjustment: -24
+ maxAlignment: 8
+ adjustsStack: true
+ hasCalls: true
+ maxCallFrameSize: 0
+ hasOpaqueSPAdjustment: false
+ hasVAStart: false
+ hasMustTailInVarArgFunc: false
+fixedStack:
+ - { id: 0, type: spill-slot, offset: -56, size: 8, alignment: 8, callee-saved-register: '%rbx' }
+ - { id: 1, type: spill-slot, offset: -48, size: 8, alignment: 16, callee-saved-register: '%r12' }
+ - { id: 2, type: spill-slot, offset: -40, size: 8, alignment: 8, callee-saved-register: '%r13' }
+ - { id: 3, type: spill-slot, offset: -32, size: 8, alignment: 16, callee-saved-register: '%r14' }
+ - { id: 4, type: spill-slot, offset: -24, size: 8, alignment: 8, callee-saved-register: '%r15' }
+ - { id: 5, type: spill-slot, offset: -16, size: 8, alignment: 16 }
+ - { id: 6, offset: 0, size: 4, alignment: 16, isImmutable: true, isAliased: false }
+stack:
+ - { id: 0, name: inte, offset: -60, size: 4, alignment: 4 }
+ - { id: 1, name: intf, offset: -76, size: 4, alignment: 4 }
+ - { id: 2, name: intg, offset: -80, size: 4, alignment: 4 }
+ - { id: 3, type: spill-slot, offset: -72, size: 4, alignment: 4 }
+ - { id: 4, type: spill-slot, offset: -68, size: 4, alignment: 4 }
+ - { id: 5, type: spill-slot, offset: -64, size: 4, alignment: 4 }
+body: |
+ bb.0.entry:
+ successors: %bb.1.if.end(0x30000000), %bb.5.cleanup(0x50000000)
+ liveins: %ecx, %edi, %edx, %esi, %r8d, %r9d, %r15, %r14, %r13, %r12, %rbx, %rbp
+
+ frame-setup PUSH64r killed %rbp, implicit-def %rsp, implicit %rsp
+ CFI_INSTRUCTION def_cfa_offset 16
+ CFI_INSTRUCTION offset %rbp, -16
+ %rbp = frame-setup MOV64rr %rsp
+ CFI_INSTRUCTION def_cfa_register %rbp
+ frame-setup PUSH64r killed %r15, implicit-def %rsp, implicit %rsp
+ frame-setup PUSH64r killed %r14, implicit-def %rsp, implicit %rsp
+ frame-setup PUSH64r killed %r13, implicit-def %rsp, implicit %rsp
+ frame-setup PUSH64r killed %r12, implicit-def %rsp, implicit %rsp
+ frame-setup PUSH64r killed %rbx, implicit-def %rsp, implicit %rsp
+ %rsp = frame-setup SUB64ri8 %rsp, 24, implicit-def dead %eflags
+ CFI_INSTRUCTION offset %rbx, -56
+ CFI_INSTRUCTION offset %r12, -48
+ CFI_INSTRUCTION offset %r13, -40
+ CFI_INSTRUCTION offset %r14, -32
+ CFI_INSTRUCTION offset %r15, -24
+ DBG_VALUE debug-use %edi, debug-use _, !24, !38, debug-location !39
+ DBG_VALUE debug-use %esi, debug-use _, !25, !38, debug-location !40
+ DBG_VALUE debug-use %edx, debug-use _, !26, !38, debug-location !41
+ DBG_VALUE debug-use %ecx, debug-use _, !27, !38, debug-location !42
+ DBG_VALUE debug-use %r8d, debug-use _, !28, !38, debug-location !43
+ DBG_VALUE debug-use %r9d, debug-use _, !29, !38, debug-location !44
+ %r14d = MOV32rr %r8d
+ DBG_VALUE debug-use %r14d, debug-use _, !28, !38, debug-location !43
+ %r12d = MOV32rr %esi
+ DBG_VALUE debug-use %r12d, debug-use _, !25, !38, debug-location !40
+ %eax = MOV32rr %edi
+ DBG_VALUE debug-use %eax, debug-use _, !24, !38, debug-location !39
+ %r13d = MOV32rm %rip, 1, _, @glob0, _, debug-location !46 :: (dereferenceable load 4 from @glob0, !tbaa !47)
+ DBG_VALUE debug-use %r13d, debug-use _, !31, !38, debug-location !51
+ %r8d = MOV32rm %rip, 1, _, @glob1, _, debug-location !52 :: (dereferenceable load 4 from @glob1, !tbaa !47)
+ DBG_VALUE debug-use %r8d, debug-use _, !32, !38, debug-location !53
+ %r15d = MOV32rm %rip, 1, _, @glob2, _, debug-location !54 :: (dereferenceable load 4 from @glob2, !tbaa !47)
+ DBG_VALUE debug-use %r15d, debug-use _, !33, !38, debug-location !55
+ %esi = MOV32rm %rip, 1, _, @glob3, _, debug-location !56 :: (dereferenceable load 4 from @glob3, !tbaa !47)
+ DBG_VALUE debug-use %esi, debug-use _, !34, !38, debug-location !57
+ %ebx = MOV32rm %rip, 1, _, @glob4, _, debug-location !59 :: (dereferenceable load 4 from @glob4, !tbaa !47)
+ DBG_VALUE debug-use %ebx, debug-use _, !35, !38, debug-location !60
+ MOV32mr %rbp, 1, _, -44, _, %ebx, debug-location !60 :: (store 4 into %ir.inte, !tbaa !47)
+ %edi = MOV32rm %rip, 1, _, @glob5, _, debug-location !62 :: (dereferenceable load 4 from @glob5, !tbaa !47)
+ DBG_VALUE debug-use %edi, debug-use _, !36, !38, debug-location !63
+ MOV32mr %rbp, 1, _, -60, _, %edi, debug-location !63 :: (store 4 into %ir.intf, !tbaa !47)
+ TEST32rr killed %eax, %eax, implicit-def %eflags, debug-location !67
+ JNE_1 %bb.5.cleanup, implicit %eflags
+
+ bb.1.if.end:
+ successors: %bb.2(0x30000000), %bb.3.if.then4(0x50000000)
+ liveins: %ebx, %ecx, %edi, %edx, %esi, %r8d, %r9d, %r12d, %r13d, %r14d, %r15d, %rbp
+
+ MOV32mr %rbp, 1, _, -48, _, killed %edx :: (store 4 into %stack.5)
+ MOV32mr %rbp, 1, _, -52, _, killed %r8d :: (store 4 into %stack.4)
+ MOV32mr %rbp, 1, _, -56, _, killed %esi :: (store 4 into %stack.3)
+ DBG_VALUE debug-use _, debug-use _, !30, !38, debug-location !45
+ %r14d = ADD32rr killed %r14d, killed %ecx, implicit-def dead %eflags, debug-location !68
+ %r14d = ADD32rr killed %r14d, killed %r9d, implicit-def dead %eflags, debug-location !69
+ %r14d = IMUL32rm killed %r14d, %rbp, 1, _, 16, _, implicit-def dead %eflags, debug-location !70 :: (load 4 from %fixed-stack.6, align 16)
+ DBG_VALUE debug-use %r14d, debug-use _, !26, !38, debug-location !41
+ CALL64pcrel32 @use, csr_64, implicit %rsp, implicit %edi, implicit-def %rsp, debug-location !72
+ %edi = MOV32rr killed %ebx, debug-location !73
+ CALL64pcrel32 @use, csr_64, implicit %rsp, implicit %edi, implicit-def %rsp, debug-location !73
+ TEST32rr killed %r12d, %r12d, implicit-def %eflags, debug-location !74
+ JE_1 %bb.2, implicit %eflags
+
+ bb.3.if.then4:
+ successors: %bb.4.if.end13(0x80000000)
+ liveins: %r14d, %r15d, %rbp
+
+ %rdi = LEA64r %rbp, 1, _, -44, _
+ DBG_VALUE %rbp, -44, !35, !38, debug-location !60
+ %rsi = LEA64r %rbp, 1, _, -60, _
+ DBG_VALUE %rbp, -60, !36, !38, debug-location !63
+ %rdx = LEA64r %rbp, 1, _, -64, _
+ DBG_VALUE %rbp, -64, !37, !38, debug-location !78
+ CALL64pcrel32 @set, csr_64, implicit %rsp, implicit %rdi, implicit %rsi, implicit %rdx, implicit-def %rsp, debug-location !79
+ %eax = MOV32rm %rbp, 1, _, -44, _, debug-location !81 :: (dereferenceable load 4 from %ir.inte, !tbaa !47)
+ DBG_VALUE debug-use %eax, debug-use _, !35, !38, debug-location !60
+ %r15d = ADD32rm killed %r15d, %rbp, 1, _, -52, _, implicit-def dead %eflags, debug-location !82 :: (load 4 from %stack.4)
+ %r15d = IMUL32rr killed %r15d, %eax, implicit-def dead %eflags, debug-location !82
+ %r15d = ADD32rm killed %r15d, %rbp, 1, _, -56, _, implicit-def dead %eflags, debug-location !83 :: (load 4 from %stack.3)
+ %r15d = IMUL32rr killed %r15d, killed %eax, implicit-def dead %eflags, debug-location !84
+ DBG_VALUE debug-use %r15d, debug-use _, !31, !38, debug-location !51
+ %r13d = MOV32rr killed %r15d
+ DBG_VALUE debug-use %r13d, debug-use _, !31, !38, debug-location !51
+ JMP_1 %bb.4.if.end13
+
+ bb.2:
+ successors: %bb.4.if.end13(0x80000000)
+ liveins: %r13d, %r14d, %rbp
+
+ %r14d = ADD32rm killed %r14d, %rbp, 1, _, -48, _, implicit-def dead %eflags, debug-location !71 :: (load 4 from %stack.5)
+ DBG_VALUE debug-use %r14d, debug-use _, !26, !38, debug-location !41
+
+ bb.4.if.end13:
+ successors: %bb.5.cleanup(0x80000000)
+ liveins: %r13d, %r14d, %rbp
+
+ DBG_VALUE debug-use %r14d, debug-use _, !26, !38, debug-location !41
+ DBG_VALUE debug-use %r13d, debug-use _, !31, !38, debug-location !51
+ %r13d = IMUL32rm killed %r13d, %rbp, 1, _, 16, _, implicit-def dead %eflags, debug-location !86 :: (load 4 from %fixed-stack.6, align 16)
+ %r13d = ADD32rr killed %r13d, killed %r14d, implicit-def dead %eflags, debug-location !87
+ DBG_VALUE debug-use %r13d, debug-use _, !26, !38, debug-location !41
+ %edi = MOV32rr killed %r13d, debug-location !88
+ CALL64pcrel32 @use, csr_64, implicit %rsp, implicit %edi, implicit-def %rsp, debug-location !88
+
+ bb.5.cleanup:
+ liveins: %rbp
+
+ %rsp = ADD64ri8 %rsp, 24, implicit-def dead %eflags, debug-location !90
+ %rbx = POP64r implicit-def %rsp, implicit %rsp, debug-location !90
+ %r12 = POP64r implicit-def %rsp, implicit %rsp, debug-location !90
+ %r13 = POP64r implicit-def %rsp, implicit %rsp, debug-location !90
+ %r14 = POP64r implicit-def %rsp, implicit %rsp, debug-location !90
+ %r15 = POP64r implicit-def %rsp, implicit %rsp, debug-location !90
+ %rbp = POP64r implicit-def %rsp, implicit %rsp, debug-location !90
+ RETQ debug-location !90
+
+...
More information about the llvm-commits
mailing list