mirror of
https://github.com/RPCSX/llvm.git
synced 2024-11-23 19:59:57 +00:00
Reapply r294356 ("Keep track of spilled variables in LiveDebugValues").
Was reverted with r294447 due to undefined behavior with negative offsets in DBG_VALUE instructions. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@294532 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Wolfgang Pieb
parent
03324d2ec1
commit
2012b38a6b
@ -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 MachineFunctionPass {
|
||||
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(const MachineFunction &MF,
|
||||
}
|
||||
#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::transferRegisterDef(MachineInstr &MI,
|
||||
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::transferTerminatorInst(MachineInstr &MI,
|
||||
|
||||
/// 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(MachineFunction &MF) {
|
||||
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(MachineFunction &MF) {
|
||||
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(MachineFunction &MF) {
|
||||
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::runOnMachineFunction(MachineFunction &MF) {
|
||||
|
||||
TRI = MF.getSubtarget().getRegisterInfo();
|
||||
TII = MF.getSubtarget().getInstrInfo();
|
||||
TFI = MF.getSubtarget().getFrameLowering();
|
||||
LS.initialize(MF);
|
||||
|
||||
bool Changed = ExtendRanges(MF);
|
||||
|
||||
468
test/DebugInfo/MIR/X86/live-debug-values-spill.mir
Normal file
468
test/DebugInfo/MIR/X86/live-debug-values-spill.mir
Normal file
@ -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
|
||||
|
||||
...
|
||||
Loading…
Reference in New Issue
Block a user