[llvm] r324039 - SplitKit: Fix liveness recomputation in some remat cases.
Hans Wennborg via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 5 01:57:38 PST 2018
Merged to 6.0 in r324218.
On Fri, Feb 2, 2018 at 1:08 AM, Matthias Braun via llvm-commits
<llvm-commits at lists.llvm.org> wrote:
> Author: matze
> Date: Thu Feb 1 16:08:19 2018
> New Revision: 324039
>
> URL: http://llvm.org/viewvc/llvm-project?rev=324039&view=rev
> Log:
> SplitKit: Fix liveness recomputation in some remat cases.
>
> Example situation:
> ```
> BB0:
> %0 = ...
> use %0
> ; ...
> condjump BB1
> jmp BB2
>
> BB1:
> %0 = ... ; rematerialized def from above (from earlier split step)
> jmp BB2
>
> BB2:
> ; ...
> use %0
> ```
>
> %0 will have a live interval with 3 value numbers (for the BB0, BB1 and
> BB2 parts). Now SplitKit tries and succeeds in rematerializing the value
> number in BB2 (This only works because it is a secondary split so
> SplitKit is can trace this back to a single original def).
>
> We need to recompute all live ranges affected by a value number that we
> rematerialize. The case that we missed before is that when the value
> that is rematerialized is at a join (Phi VNI) then we also have to
> recompute liveness for the predecessor VNIs.
>
> rdar://35699130
>
> Differential Revision: https://reviews.llvm.org/D42667
>
> Added:
> llvm/trunk/test/CodeGen/ARM/splitkit.ll
> Modified:
> llvm/trunk/lib/CodeGen/SplitKit.cpp
> llvm/trunk/lib/CodeGen/SplitKit.h
>
> Modified: llvm/trunk/lib/CodeGen/SplitKit.cpp
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/SplitKit.cpp?rev=324039&r1=324038&r2=324039&view=diff
> ==============================================================================
> --- llvm/trunk/lib/CodeGen/SplitKit.cpp (original)
> +++ llvm/trunk/lib/CodeGen/SplitKit.cpp Thu Feb 1 16:08:19 2018
> @@ -491,9 +491,8 @@ VNInfo *SplitEditor::defValue(unsigned R
> return VNI;
> }
>
> -void SplitEditor::forceRecompute(unsigned RegIdx, const VNInfo *ParentVNI) {
> - assert(ParentVNI && "Mapping NULL value");
> - ValueForcePair &VFP = Values[std::make_pair(RegIdx, ParentVNI->id)];
> +void SplitEditor::forceRecompute(unsigned RegIdx, const VNInfo &ParentVNI) {
> + ValueForcePair &VFP = Values[std::make_pair(RegIdx, ParentVNI.id)];
> VNInfo *VNI = VFP.getPointer();
>
> // ParentVNI was either unmapped or already complex mapped. Either way, just
> @@ -777,7 +776,7 @@ SlotIndex SplitEditor::leaveIntvAfter(Sl
> // the source live range. The spiller also won't try to hoist this copy.
> if (SpillMode && !SlotIndex::isSameInstr(ParentVNI->def, Idx) &&
> MI->readsVirtualRegister(Edit->getReg())) {
> - forceRecompute(0, ParentVNI);
> + forceRecompute(0, *ParentVNI);
> defFromParent(0, ParentVNI, Idx, *MI->getParent(), MI);
> return Idx;
> }
> @@ -835,7 +834,7 @@ void SplitEditor::overlapIntv(SlotIndex
>
> // The complement interval will be extended as needed by LRCalc.extend().
> if (ParentVNI)
> - forceRecompute(0, ParentVNI);
> + forceRecompute(0, *ParentVNI);
> DEBUG(dbgs() << " overlapIntv [" << Start << ';' << End << "):");
> RegAssign.insert(Start, End, OpenIdx);
> DEBUG(dump());
> @@ -878,7 +877,7 @@ void SplitEditor::removeBackCopies(Small
> unsigned RegIdx = AssignI.value();
> if (AtBegin || !MBBI->readsVirtualRegister(Edit->getReg())) {
> DEBUG(dbgs() << " cannot find simple kill of RegIdx " << RegIdx << '\n');
> - forceRecompute(RegIdx, Edit->getParent().getVNInfoAt(Def));
> + forceRecompute(RegIdx, *Edit->getParent().getVNInfoAt(Def));
> } else {
> SlotIndex Kill = LIS.getInstructionIndex(*MBBI).getRegSlot();
> DEBUG(dbgs() << " move kill to " << Kill << '\t' << *MBBI);
> @@ -982,7 +981,7 @@ void SplitEditor::computeRedundantBackCo
> }
> }
> if (!DominatedVNIs.empty()) {
> - forceRecompute(0, ParentVNI);
> + forceRecompute(0, *ParentVNI);
> for (auto VNI : DominatedVNIs) {
> BackCopies.push_back(VNI);
> }
> @@ -1102,7 +1101,7 @@ void SplitEditor::hoistCopies() {
> NotToHoistSet.count(ParentVNI->id))
> continue;
> BackCopies.push_back(VNI);
> - forceRecompute(0, ParentVNI);
> + forceRecompute(0, *ParentVNI);
> }
>
> // If it is not beneficial to hoist all the BackCopies, simply remove
> @@ -1428,6 +1427,41 @@ void SplitEditor::deleteRematVictims() {
> Edit->eliminateDeadDefs(Dead, None, &AA);
> }
>
> +void SplitEditor::forceRecomputeVNI(const VNInfo &ParentVNI) {
> + // Fast-path for common case.
> + if (!ParentVNI.isPHIDef()) {
> + for (unsigned I = 0, E = Edit->size(); I != E; ++I)
> + forceRecompute(I, ParentVNI);
> + return;
> + }
> +
> + // Trace value through phis.
> + SmallPtrSet<const VNInfo *, 8> Visited; ///< whether VNI was/is in worklist.
> + SmallVector<const VNInfo *, 4> WorkList;
> + Visited.insert(&ParentVNI);
> + WorkList.push_back(&ParentVNI);
> +
> + const LiveInterval &ParentLI = Edit->getParent();
> + const SlotIndexes &Indexes = *LIS.getSlotIndexes();
> + do {
> + const VNInfo &VNI = *WorkList.back();
> + WorkList.pop_back();
> + for (unsigned I = 0, E = Edit->size(); I != E; ++I)
> + forceRecompute(I, VNI);
> + if (!VNI.isPHIDef())
> + continue;
> +
> + MachineBasicBlock &MBB = *Indexes.getMBBFromIndex(VNI.def);
> + for (const MachineBasicBlock *Pred : MBB.predecessors()) {
> + SlotIndex PredEnd = Indexes.getMBBEndIdx(Pred);
> + VNInfo *PredVNI = ParentLI.getVNInfoBefore(PredEnd);
> + assert(PredVNI && "Value available in PhiVNI predecessor");
> + if (Visited.insert(PredVNI).second)
> + WorkList.push_back(PredVNI);
> + }
> + } while(!WorkList.empty());
> +}
> +
> void SplitEditor::finish(SmallVectorImpl<unsigned> *LRMap) {
> ++NumFinished;
>
> @@ -1444,8 +1478,7 @@ void SplitEditor::finish(SmallVectorImpl
> // Force rematted values to be recomputed everywhere.
> // The new live ranges may be truncated.
> if (Edit->didRematerialize(ParentVNI))
> - for (unsigned i = 0, e = Edit->size(); i != e; ++i)
> - forceRecompute(i, ParentVNI);
> + forceRecomputeVNI(*ParentVNI);
> }
>
> // Hoist back-copies to the complement interval when in spill mode.
>
> Modified: llvm/trunk/lib/CodeGen/SplitKit.h
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/SplitKit.h?rev=324039&r1=324038&r2=324039&view=diff
> ==============================================================================
> --- llvm/trunk/lib/CodeGen/SplitKit.h (original)
> +++ llvm/trunk/lib/CodeGen/SplitKit.h Thu Feb 1 16:08:19 2018
> @@ -357,7 +357,11 @@ private:
> /// recomputed by LiveRangeCalc::extend regardless of the number of defs.
> /// This is used for values whose live range doesn't match RegAssign exactly.
> /// They could have rematerialized, or back-copies may have been moved.
> - void forceRecompute(unsigned RegIdx, const VNInfo *ParentVNI);
> + void forceRecompute(unsigned RegIdx, const VNInfo &ParentVNI);
> +
> + /// Calls forceRecompute() on any affected regidx and on ParentVNI
> + /// predecessors in case of a phi definition.
> + void forceRecomputeVNI(const VNInfo &ParentVNI);
>
> /// defFromParent - Define Reg from ParentVNI at UseIdx using either
> /// rematerialization or a COPY from parent. Return the new value.
>
> Added: llvm/trunk/test/CodeGen/ARM/splitkit.ll
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/ARM/splitkit.ll?rev=324039&view=auto
> ==============================================================================
> --- llvm/trunk/test/CodeGen/ARM/splitkit.ll (added)
> +++ llvm/trunk/test/CodeGen/ARM/splitkit.ll Thu Feb 1 16:08:19 2018
> @@ -0,0 +1,245 @@
> +; RUN: llc -o - %s | FileCheck %s
> +; Make sure RegAllocGreedy/SplitKit do not produce invalid liveness information
> +; and crash when splitting a liverange twice and rematerializing each time.
> +; (Sorry for the testcase; this was ran through bugpoint and then manually
> +; reduced for several hours but is still big...)
> +target triple = "thumbv7-apple-ios"
> +
> +%struct.ham = type { %struct.wombat.0 }
> +%struct.wombat.0 = type { %struct.barney }
> +%struct.barney = type { %struct.snork.1 }
> +%struct.snork.1 = type { %struct.wobble.2 }
> +%struct.wobble.2 = type { %struct.blam }
> +%struct.blam = type { i32, i32, i8* }
> +%struct.ham.3 = type { %struct.pluto }
> +%struct.pluto = type { %struct.zot*, %struct.snork.5, %struct.wibble }
> +%struct.zot = type { %struct.blam.4* }
> +%struct.blam.4 = type <{ %struct.zot, %struct.blam.4*, %struct.zot*, i8, [3 x i8] }>
> +%struct.snork.5 = type { %struct.quux }
> +%struct.quux = type { %struct.zot }
> +%struct.wibble = type { %struct.widget }
> +%struct.widget = type { i32 }
> +%struct.bar = type { %struct.spam }
> +%struct.spam = type { %struct.zot*, %struct.wobble, %struct.zot.7 }
> +%struct.wobble = type { %struct.wibble.6 }
> +%struct.wibble.6 = type { %struct.zot }
> +%struct.zot.7 = type { %struct.ham.8 }
> +%struct.ham.8 = type { i32 }
> +%struct.hoge = type { %struct.ham, %struct.foo }
> +%struct.foo = type { float, float }
> +%struct.wombat = type { %struct.ham, float }
> +%struct.snork = type { %struct.ham.9, [11 x i8] }
> +%struct.ham.9 = type { i8 }
> +
> + at global = external global i8
> + at global.1 = private constant [20 x i8] c"aaaaaaaaaaaaaaaaaa0\00"
> + at global.2 = external constant [27 x i8]
> + at global.3 = external global %struct.ham
> + at global.4 = external constant [47 x i8]
> + at global.5 = external constant [61 x i8]
> + at global.6 = external constant [40 x i8]
> + at global.7 = external constant [24 x i8]
> + at global.8 = external constant [20 x i8]
> + at global.9 = external global %struct.ham
> + at global.10 = external global %struct.ham
> + at global.11 = external global %struct.ham
> + at global.12 = external global %struct.ham
> + at global.13 = external global %struct.ham
> + at global.14 = external global %struct.ham
> + at global.15 = external global %struct.ham
> + at global.16 = external global %struct.ham
> + at global.17 = external global %struct.ham
> + at global.18 = external constant [35 x i8]
> + at global.19 = external global %struct.ham
> + at global.20 = external constant [53 x i8]
> + at global.21 = external global %struct.ham
> + at global.22 = external global %struct.ham
> + at global.23 = external global %struct.ham
> + at global.24 = external constant [32 x i8]
> + at global.25 = external global %struct.ham
> + at global.26 = external constant [47 x i8]
> + at global.27 = external global %struct.ham
> + at global.28 = external constant [45 x i8]
> + at global.29 = external global %struct.ham
> + at global.30 = external global %struct.ham
> + at global.31 = external constant [24 x i8]
> + at global.32 = external global %struct.ham
> + at global.33 = external global %struct.ham
> + at global.34 = external global %struct.ham
> + at global.35 = external global %struct.ham
> + at global.36 = external constant [27 x i8]
> + at global.37 = external global %struct.ham
> + at global.38 = external constant [10 x i8]
> + at global.39 = external global %struct.ham
> + at global.40 = external global %struct.ham
> + at global.41 = external global %struct.ham
> + at global.42 = external global %struct.ham
> + at global.43 = external global %struct.ham
> + at global.44 = external constant [41 x i8]
> + at global.45 = external global %struct.ham
> + at global.46 = external global %struct.ham
> + at global.47 = external global %struct.ham
> + at global.48 = external global %struct.ham
> + at global.49 = external constant [52 x i8]
> + at global.50 = external constant [47 x i8]
> + at global.51 = external global %struct.ham
> + at global.52 = external global %struct.ham
> + at global.53 = external global %struct.ham
> + at global.54 = external global %struct.ham
> + at global.55 = external global %struct.ham.3
> + at global.56 = external global %struct.bar
> + at global.57 = external global i8
> +
> +declare %struct.ham* @bar(%struct.ham* returned)
> +
> +declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*)
> +
> +declare %struct.ham* @wobble(%struct.ham* returned, %struct.ham* )
> +
> +declare i32 @quux(...)
> +
> +declare i8* @_Znwm(i32)
> +
> +declare i32 @wobble.58(%struct.pluto*, [1 x i32], %struct.ham* , %struct.hoge* )
> +
> +declare i32 @widget(%struct.spam*, [1 x i32], %struct.ham* , %struct.wombat* )
> +
> +; Just check we didn't crash and did output something...
> +; CHECK-LABEL: func:
> +; CHECK: trap
> +define internal void @func() section "__TEXT,__StaticInit,regular,pure_instructions" personality i32 (...)* @quux {
> + %tmp = tail call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.3 to i8*), i8* @global) #0
> + %tmp2 = invoke %struct.ham* @wobble(%struct.ham* undef, %struct.ham* @global.9)
> + to label %bb14 unwind label %bbunwind
> +
> +bb14:
> + %tmp15 = getelementptr i8, i8* undef, i32 12
> + store i8 0, i8* %tmp15
> + %tmp16 = icmp eq i8 undef, 0
> + br i1 %tmp16, label %bb28, label %bb18
> +
> +bb18:
> + br i1 undef, label %bb21, label %bb29
> +
> +bb21:
> + %tmp22 = call i8* @_Znwm(i32 16)
> + store i32 17, i32* getelementptr (%struct.ham, %struct.ham* @global.10, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + %tmp23 = call i8* @_Znwm(i32 32)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([27 x i8], [27 x i8]* @global.2, i32 0, i32 0), i32 26, i1 false)
> + store i32 33, i32* getelementptr (%struct.ham, %struct.ham* @global.11, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + store i32 23, i32* getelementptr (%struct.ham, %struct.ham* @global.11, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([24 x i8], [24 x i8]* @global.7, i32 0, i32 0), i32 23, i1 false)
> + %tmp24 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.11 to i8*), i8* @global) #0
> + store i32 49, i32* getelementptr (%struct.ham, %struct.ham* @global.12, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + store i32 37, i32* getelementptr (%struct.ham, %struct.ham* @global.13, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + call void @llvm.memset.p0i8.i32(i8* align 4 bitcast (%struct.ham* @global.14 to i8*), i8 0, i32 12, i1 false)
> + %tmp25 = call i8* @_Znwm(i32 48)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %tmp25, i8* align 1 getelementptr ([40 x i8], [40 x i8]* @global.6, i32 0, i32 0), i32 39, i1 false)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([47 x i8], [47 x i8]* @global.4, i32 0, i32 0), i32 46, i1 false)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([61 x i8], [61 x i8]* @global.5, i32 0, i32 0), i32 60, i1 false)
> + %tmp26 = call i8* @_Znwm(i32 48)
> + store i32 65, i32* getelementptr (%struct.ham, %struct.ham* @global.15, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + %tmp27 = icmp eq i8 undef, 0
> + br i1 %tmp27, label %bb30, label %bb33
> +
> +bb28:
> + call void @llvm.trap()
> + unreachable
> +
> +bb29:
> + call void @llvm.trap()
> + unreachable
> +
> +bb30:
> + %tmp31 = icmp eq i32 undef, 37
> + br i1 %tmp31, label %bb32, label %bb30
> +
> +bb32:
> + store i8 1, i8* @global.57
> + br label %bb33
> +
> +bb33:
> + %tmp34 = call i8* @_Znwm(i32 32)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([20 x i8], [20 x i8]* @global.1, i32 0, i32 0), i32 19, i1 false)
> + store i32 17, i32* getelementptr (%struct.ham, %struct.ham* @global.16, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + store i32 65, i32* getelementptr (%struct.ham, %struct.ham* @global.17, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([35 x i8], [35 x i8]* @global.18, i32 0, i32 0), i32 34, i1 false)
> + store i32 65, i32* getelementptr (%struct.ham, %struct.ham* @global.19, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([53 x i8], [53 x i8]* @global.20, i32 0, i32 0), i32 52, i1 false)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([20 x i8], [20 x i8]* @global.8, i32 0, i32 0), i32 19, i1 false)
> + store i32 37, i32* getelementptr (%struct.ham, %struct.ham* @global.21, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + %tmp35 = call i8* @_Znwm(i32 32)
> + store i8 16, i8* bitcast (%struct.ham* @global.22 to i8*)
> + %tmp36 = call i8* @_Znwm(i32 32)
> + store i32 31, i32* getelementptr (%struct.ham, %struct.ham* @global.23, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %tmp36, i8* align 1 getelementptr ([32 x i8], [32 x i8]* @global.24, i32 0, i32 0), i32 31, i1 false)
> + %tmp37 = getelementptr i8, i8* %tmp36, i32 31
> + store i8 0, i8* %tmp37
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([47 x i8], [47 x i8]* @global.26, i32 0, i32 0), i32 46, i1 false)
> + %tmp38 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.25 to i8*), i8* @global) #0
> + %tmp39 = call i8* @_Znwm(i32 48)
> + store i32 44, i32* getelementptr (%struct.ham, %struct.ham* @global.27, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %tmp39, i8* align 1 getelementptr ([45 x i8], [45 x i8]* @global.28, i32 0, i32 0), i32 44, i1 false)
> + %tmp40 = getelementptr i8, i8* %tmp39, i32 44
> + store i8 0, i8* %tmp40
> + call void @llvm.memset.p0i8.i32(i8* align 4 bitcast (%struct.ham* @global.29 to i8*), i8 0, i32 12, i1 false)
> + %tmp41 = call i8* @_Znwm(i32 32)
> + store i32 23, i32* getelementptr (%struct.ham, %struct.ham* @global.30, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %tmp41, i8* align 1 getelementptr ([24 x i8], [24 x i8]* @global.31, i32 0, i32 0), i32 23, i1 false)
> + %tmp42 = getelementptr i8, i8* %tmp41, i32 23
> + store i8 0, i8* %tmp42
> + call void @llvm.memset.p0i8.i32(i8* align 4 bitcast (%struct.ham* @global.32 to i8*), i8 0, i32 12, i1 false)
> + store i8 16, i8* bitcast (%struct.ham* @global.32 to i8*)
> + %tmp43 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.33 to i8*), i8* @global) #0
> + %tmp44 = call i8* @_Znwm(i32 16)
> + call void @llvm.memset.p0i8.i32(i8* align 4 bitcast (%struct.ham* @global.34 to i8*), i8 0, i32 12, i1 false)
> + call void @llvm.memset.p0i8.i32(i8* align 4 bitcast (%struct.ham* @global.9 to i8*), i8 0, i32 12, i1 false)
> + %tmp45 = call i8* @_Znwm(i32 32)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %tmp45, i8* align 1 getelementptr ([27 x i8], [27 x i8]* @global.36, i32 0, i32 0), i32 26, i1 false)
> + call void @llvm.memset.p0i8.i32(i8* align 4 bitcast (%struct.ham* @global.37 to i8*), i8 0, i32 12, i1 false)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 getelementptr (%struct.snork, %struct.snork* bitcast (%struct.ham* @global.37 to %struct.snork*), i32 0, i32 1, i32 0), i8* align 1 getelementptr ([10 x i8], [10 x i8]* @global.38, i32 0, i32 0), i32 9, i1 false)
> + store i32 17, i32* getelementptr (%struct.ham, %struct.ham* @global.39, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + %tmp46 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.40 to i8*), i8* @global) #0
> + %tmp47 = call i8* @_Znwm(i32 32)
> + %tmp48 = getelementptr i8, i8* %tmp47, i32 21
> + store i8 0, i8* %tmp48
> + store i32 33, i32* getelementptr (%struct.ham, %struct.ham* @global.41, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + store i32 15, i32* getelementptr (%struct.ham, %struct.ham* @global.42, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + %tmp49 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.43 to i8*), i8* @global) #0
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([41 x i8], [41 x i8]* @global.44, i32 0, i32 0), i32 40, i1 false)
> + %tmp50 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.45 to i8*), i8* @global) #0
> + %tmp51 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.46 to i8*), i8* @global) #0
> + %tmp52 = call i8* @_Znwm(i32 32)
> + store i8* %tmp52, i8** getelementptr (%struct.ham, %struct.ham* @global.47, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 2)
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([52 x i8], [52 x i8]* @global.49, i32 0, i32 0), i32 51, i1 false)
> + %tmp53 = call i32 @__cxa_atexit(void (i8*)* bitcast (%struct.ham* (%struct.ham*)* @bar to void (i8*)*), i8* bitcast (%struct.ham* @global.48 to i8*), i8* @global) #0
> + call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 undef, i8* align 1 getelementptr ([47 x i8], [47 x i8]* @global.50, i32 0, i32 0), i32 46, i1 false)
> + store i32 33, i32* getelementptr (%struct.ham, %struct.ham* @global.51, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
> + store i32 37, i32* getelementptr (%struct.ham, %struct.ham* @global.52, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 1)
> + %tmp54 = invoke %struct.ham* @wobble(%struct.ham* undef, %struct.ham* @global.54)
> + to label %bb58 unwind label %bbunwind
> +
> +bb58:
> + %tmp59 = invoke i32 @wobble.58(%struct.pluto* getelementptr (%struct.ham.3, %struct.ham.3* @global.55, i32 0, i32 0), [1 x i32] [i32 ptrtoint (%struct.zot* getelementptr (%struct.ham.3, %struct.ham.3* @global.55, i32 0, i32 0, i32 1, i32 0, i32 0) to i32)], %struct.ham* undef, %struct.hoge* undef)
> + to label %bb71 unwind label %bbunwind
> +
> +bb71:
> + %tmp72 = invoke i32 @widget(%struct.spam* getelementptr (%struct.bar, %struct.bar* @global.56, i32 0, i32 0), [1 x i32] [i32 ptrtoint (%struct.zot* getelementptr (%struct.bar, %struct.bar* @global.56, i32 0, i32 0, i32 1, i32 0, i32 0) to i32)], %struct.ham* undef, %struct.wombat* undef)
> + to label %bb73 unwind label %bbunwind
> +
> +bb73:
> + ret void
> +
> +bbunwind:
> + %tmp75 = landingpad { i8*, i32 }
> + cleanup
> + resume { i8*, i32 } undef
> +}
> +
> +declare void @llvm.trap()
> +
> +declare void @llvm.memcpy.p0i8.p0i8.i32(i8* , i8* , i32, i1)
> +
> +declare void @llvm.memset.p0i8.i32(i8* , i8, i32, i1)
> +
> +attributes #0 = { nounwind }
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
More information about the llvm-commits
mailing list