[llvm-commits] [llvm] r64207 - in /llvm/trunk: include/llvm/Transforms/Utils/Local.h lib/Transforms/Scalar/ScalarReplAggregates.cpp lib/Transforms/Utils/Local.cpp test/Transforms/ScalarRepl/debuginfo.ll

Devang Patel dpatel at apple.com
Tue Feb 10 11:09:35 PST 2009


On Feb 10, 2009, at 11:03 AM, Evan Cheng wrote:

>
> On Feb 9, 2009, at 11:00 PM, Devang Patel wrote:
>
>>
>> +/// CleanupGEP - GEP is used by an Alloca, which can be prompted
>> after the GEP
>> +/// is canonicalized here.
>> +void SROA::CleanupGEP(GetElementPtrInst *GEPI) {
>> +  gep_type_iterator I = gep_type_begin(GEPI);
>> +  ++I;
>> +
>> +  if (const ArrayType *AT = dyn_cast<ArrayType>(*I)) {
>> +    uint64_t NumElements = AT->getNumElements();
>> +
>> +    if (!isa<ConstantInt>(I.getOperand())) {
>
> Just a nitpick. You should use early exit to eliminate nesting here.

yup. I just moved this code in a separate function without doing any  
cosmetic surgeries :)
-
Devang

>
>
> Evan
>
>>
>> +      if (NumElements == 1) {
>> +        GEPI->setOperand(2, Constant::getNullValue(Type::Int32Ty));
>> +      } else {
>> +        assert(NumElements == 2 && "Unhandled case!");
>> +        // All users of the GEP must be loads.  At each use of the
>> GEP, insert
>> +        // two loads of the appropriate indexed GEP and select
>> between them.
>> +        Value *IsOne = new ICmpInst(ICmpInst::ICMP_NE,
>> I.getOperand(),
>> +
>> Constant::getNullValue(I.getOperand()->getType()),
>> +                                    "isone", GEPI);
>> +        // Insert the new GEP instructions, which are properly
>> indexed.
>> +        SmallVector<Value*, 8> Indices(GEPI->op_begin()+1, GEPI-
>>> op_end());
>> +        Indices[1] = Constant::getNullValue(Type::Int32Ty);
>> +        Value *ZeroIdx = GetElementPtrInst::Create(GEPI-
>>> getOperand(0),
>> +                                                   Indices.begin(),
>> +                                                   Indices.end(),
>> +                                                   GEPI->getName()
>> +".0", GEPI);
>> +        Indices[1] = ConstantInt::get(Type::Int32Ty, 1);
>> +        Value *OneIdx = GetElementPtrInst::Create(GEPI-
>>> getOperand(0),
>> +                                                  Indices.begin(),
>> +                                                  Indices.end(),
>> +                                                  GEPI->getName()+".
>> 1", GEPI);
>> +        // Replace all loads of the variable index GEP with loads
>> from both
>> +        // indexes and a select.
>> +        while (!GEPI->use_empty()) {
>> +          LoadInst *LI = cast<LoadInst>(GEPI->use_back());
>> +          Value *Zero = new LoadInst(ZeroIdx, LI->getName()+".0",
>> LI);
>> +          Value *One  = new LoadInst(OneIdx , LI->getName()+".1",
>> LI);
>> +          Value *R = SelectInst::Create(IsOne, One, Zero, LI-
>>> getName(), LI);
>> +          LI->replaceAllUsesWith(R);
>> +          LI->eraseFromParent();
>> +        }
>> +        GEPI->eraseFromParent();
>> +      }
>> +    }
>> +  }
>> }
>>
>> -/// CanonicalizeAllocaUsers - If SROA reported that it can promote
>> the specified
>> +/// CleanupAllocaUsers - If SROA reported that it can promote the
>> specified
>> /// allocation, but only if cleaned up, perform the cleanups  
>> required.
>> -void SROA::CanonicalizeAllocaUsers(AllocationInst *AI) {
>> +void SROA::CleanupAllocaUsers(AllocationInst *AI) {
>>  // At this point, we know that the end result will be SROA'd and
>> promoted, so
>>  // we can insert ugly code if required so long as sroa+mem2reg
>> will clean it
>>  // up.
>>  for (Value::use_iterator UI = AI->use_begin(), E = AI->use_end();
>>       UI != E; ) {
>> -    GetElementPtrInst *GEPI = dyn_cast<GetElementPtrInst>(*UI++);
>> -    if (!GEPI) continue;
>> -    gep_type_iterator I = gep_type_begin(GEPI);
>> -    ++I;
>> -
>> -    if (const ArrayType *AT = dyn_cast<ArrayType>(*I)) {
>> -      uint64_t NumElements = AT->getNumElements();
>> -
>> -      if (!isa<ConstantInt>(I.getOperand())) {
>> -        if (NumElements == 1) {
>> -          GEPI->setOperand(2,  
>> Constant::getNullValue(Type::Int32Ty));
>> -        } else {
>> -          assert(NumElements == 2 && "Unhandled case!");
>> -          // All users of the GEP must be loads.  At each use of
>> the GEP, insert
>> -          // two loads of the appropriate indexed GEP and select
>> between them.
>> -          Value *IsOne = new ICmpInst(ICmpInst::ICMP_NE,
>> I.getOperand(),
>> -                              Constant::getNullValue(I.getOperand()-
>>> getType()),
>> -             "isone", GEPI);
>> -          // Insert the new GEP instructions, which are properly
>> indexed.
>> -          SmallVector<Value*, 8> Indices(GEPI->op_begin()+1, GEPI-
>>> op_end());
>> -          Indices[1] = Constant::getNullValue(Type::Int32Ty);
>> -          Value *ZeroIdx = GetElementPtrInst::Create(GEPI-
>>> getOperand(0),
>> -                                                      
>> Indices.begin(),
>> -                                                     Indices.end(),
>> -                                                     GEPI->getName()
>> +".0", GEPI);
>> -          Indices[1] = ConstantInt::get(Type::Int32Ty, 1);
>> -          Value *OneIdx = GetElementPtrInst::Create(GEPI-
>>> getOperand(0),
>> -                                                    Indices.begin(),
>> -                                                    Indices.end(),
>> -                                                    GEPI->getName()
>> +".1", GEPI);
>> -          // Replace all loads of the variable index GEP with loads
>> from both
>> -          // indexes and a select.
>> -          while (!GEPI->use_empty()) {
>> -            LoadInst *LI = cast<LoadInst>(GEPI->use_back());
>> -            Value *Zero = new LoadInst(ZeroIdx, LI->getName()+".0",
>> LI);
>> -            Value *One  = new LoadInst(OneIdx , LI->getName()+".1",
>> LI);
>> -            Value *R = SelectInst::Create(IsOne, One, Zero, LI-
>>> getName(), LI);
>> -            LI->replaceAllUsesWith(R);
>> -            LI->eraseFromParent();
>> -          }
>> -          GEPI->eraseFromParent();
>> +    User *U = *UI++;
>> +    if (GetElementPtrInst *GEPI = dyn_cast<GetElementPtrInst>(U))
>> +      CleanupGEP(GEPI);
>> +    else if (Instruction *I = dyn_cast<Instruction>(U)) {
>> +      SmallVector<DbgInfoIntrinsic *, 2> DbgInUses;
>> +      if (OnlyUsedByDbgInfoIntrinsics(I, &DbgInUses)) {
>> +        // Safe to remove debug info uses.
>> +        while (!DbgInUses.empty()) {
>> +          DbgInfoIntrinsic *DI = DbgInUses.back();
>> DbgInUses.pop_back();
>> +          DI->eraseFromParent();
>>        }
>> +        I->eraseFromParent();
>>      }
>>    }
>>  }
>>
>> Modified: llvm/trunk/lib/Transforms/Utils/Local.cpp
>> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/Local.cpp?rev=64207&r1=64206&r2=64207&view=diff
>>
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> = 
>> =====================================================================
>> --- llvm/trunk/lib/Transforms/Utils/Local.cpp (original)
>> +++ llvm/trunk/lib/Transforms/Utils/Local.cpp Tue Feb 10 01:00:59  
>> 2009
>> @@ -248,3 +248,25 @@
>>  // Nuke BB.
>>  PredBB->eraseFromParent();
>> }
>> +
>> +/// OnlyUsedByDbgIntrinsics - Return true if the instruction I is
>> only used
>> +/// by DbgIntrinsics. If DbgInUses is specified then the vector is
>> filled
>> +/// with the DbgInfoIntrinsic that use the instruction I.
>> +bool llvm::OnlyUsedByDbgInfoIntrinsics(Instruction *I,
>> +                               SmallVectorImpl<DbgInfoIntrinsic *>
>> *DbgInUses) {
>> +  if (DbgInUses)
>> +    DbgInUses->clear();
>> +
>> +  for (Value::use_iterator UI = I->use_begin(), UE = I->use_end();
>> UI != UE;
>> +       ++UI) {
>> +    if (DbgInfoIntrinsic *DI = dyn_cast<DbgInfoIntrinsic>(*UI)) {
>> +      if (DbgInUses)
>> +        DbgInUses->push_back(DI);
>> +    } else {
>> +      if (DbgInUses)
>> +        DbgInUses->clear();
>> +      return false;
>> +    }
>> +  }
>> +  return true;
>> +}
>>
>> Added: llvm/trunk/test/Transforms/ScalarRepl/debuginfo.ll
>> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/ScalarRepl/debuginfo.ll?rev=64207&view=auto
>>
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> =
>> = 
>> =====================================================================
>> --- llvm/trunk/test/Transforms/ScalarRepl/debuginfo.ll (added)
>> +++ llvm/trunk/test/Transforms/ScalarRepl/debuginfo.ll Tue Feb 10
>> 01:00:59 2009
>> @@ -0,0 +1,105 @@
>> +; RUN: llvm-as < %s | opt -scalarrepl | llvm-dis | not grep alloca
>> +	%llvm.dbg.anchor.type = type { i32, i32 }
>> +	%llvm.dbg.basictype.type = type { i32, { }*, i8*, { }*, i32, i64,
>> i64, i64, i32, i32 }
>> +	%llvm.dbg.compile_unit.type = type { i32, { }*, i32, i8*, i8*,
>> i8*, i1, i1, i8* }
>> +	%llvm.dbg.composite.type = type { i32, { }*, i8*, { }*, i32, i64,
>> i64, i64, i32, { }*, { }* }
>> +	%llvm.dbg.derivedtype.type = type { i32, { }*, i8*, { }*, i32,
>> i64, i64, i64, i32, { }* }
>> +	%llvm.dbg.subprogram.type = type { i32, { }*, { }*, i8*, i8*, i8*,
>> { }*, i32, { }*, i1, i1 }
>> +	%llvm.dbg.variable.type = type { i32, { }*, i8*, { }*, i32, { }* }
>> +	%struct.Sphere = type { %struct.Vec }
>> +	%struct.Vec = type { i32, i32, i32 }
>> + at llvm.dbg.compile_units = linkonce constant %llvm.dbg.anchor.type
>> { i32 458752, i32 17 }, section "llvm.metadata"		; <
>> %llvm.dbg.anchor.type*> [#uses=1]
>> + at .str = internal constant [6 x i8] c"r.cpp\00", section
>> "llvm.metadata"		; <[6 x i8]*> [#uses=1]
>> + at .str1 = internal constant [5 x i8] c"/tmp\00", section
>> "llvm.metadata"		; <[5 x i8]*> [#uses=1]
>> + at .str2 = internal constant [55 x i8] c"4.2.1 (Based on Apple Inc.
>> build 5636) (LLVM build 00)\00", section "llvm.metadata"		; <[55 x
>> i8]*> [#uses=1]
>> + at llvm.dbg.compile_unit = internal constant
>> %llvm.dbg.compile_unit.type { i32 458769, { }* bitcast
>> (%llvm.dbg.anchor.type* @llvm.dbg.compile_units to { }*), i32 4, i8*
>> getelementptr ([6 x i8]* @.str, i32 0, i32 0), i8* getelementptr ([5
>> x i8]* @.str1, i32 0, i32 0), i8* getelementptr ([55 x i8]* @.str2,
>> i32 0, i32 0), i1 true, i1 false, i8* null }, section
>> "llvm.metadata"		; <%llvm.dbg.compile_unit.type*> [#uses=1]
>> + at .str3 = internal constant [4 x i8] c"Vec\00", section
>> "llvm.metadata"		; <[4 x i8]*> [#uses=1]
>> + at .str4 = internal constant [4 x i8] c"int\00", section
>> "llvm.metadata"		; <[4 x i8]*> [#uses=1]
>> + at llvm.dbg.basictype = internal constant %llvm.dbg.basictype.type
>> { i32 458788, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* getelementptr ([4 x i8]*
>> @.str4, i32 0, i32 0), { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 0, i64 32, i64 32, i64 0, i32
>> 0, i32 5 }, section "llvm.metadata"		; <%llvm.dbg.basictype.type*>
>> [#uses=1]
>> + at .str5 = internal constant [2 x i8] c"x\00", section
>> "llvm.metadata"		; <[2 x i8]*> [#uses=1]
>> + at llvm.dbg.derivedtype = internal constant
>> %llvm.dbg.derivedtype.type { i32 458765, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([2 x i8]* @.str5, i32 0, i32 0), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 4, i64 32, i64 32, i64 0, i32 0, { }* bitcast
>> (%llvm.dbg.basictype.type* @llvm.dbg.basictype to { }*) }, section
>> "llvm.metadata"		; <%llvm.dbg.derivedtype.type*> [#uses=1]
>> + at .str6 = internal constant [2 x i8] c"y\00", section
>> "llvm.metadata"		; <[2 x i8]*> [#uses=1]
>> + at llvm.dbg.derivedtype7 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458765, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([2 x i8]* @.str6, i32 0, i32 0), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 4, i64 32, i64 32, i64 32, i32 0, { }* bitcast
>> (%llvm.dbg.basictype.type* @llvm.dbg.basictype to { }*) }, section
>> "llvm.metadata"		; <%llvm.dbg.derivedtype.type*> [#uses=1]
>> + at .str8 = internal constant [2 x i8] c"z\00", section
>> "llvm.metadata"		; <[2 x i8]*> [#uses=1]
>> + at llvm.dbg.derivedtype9 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458765, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([2 x i8]* @.str8, i32 0, i32 0), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 4, i64 32, i64 32, i64 64, i32 0, { }* bitcast
>> (%llvm.dbg.basictype.type* @llvm.dbg.basictype to { }*) }, section
>> "llvm.metadata"		; <%llvm.dbg.derivedtype.type*> [#uses=1]
>> + at llvm.dbg.derivedtype10 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458767, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> null, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 0, i64 32, i64 32, i64 0, i32
>> 0, { }* bitcast (%llvm.dbg.composite.type* @llvm.dbg.composite18 to
>> { }*) }, section "llvm.metadata"		; <%llvm.dbg.derivedtype.type*>
>> [#uses=1]
>> + at llvm.dbg.derivedtype11 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458790, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> null, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 0, i64 96, i64 32, i64 0, i32
>> 0, { }* bitcast (%llvm.dbg.composite.type* @llvm.dbg.composite18 to
>> { }*) }, section "llvm.metadata"		; <%llvm.dbg.derivedtype.type*>
>> [#uses=1]
>> + at llvm.dbg.derivedtype12 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458768, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> null, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 0, i64 32, i64 32, i64 0, i32
>> 0, { }* bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype11
>> to { }*) }, section "llvm.metadata"		; <%llvm.dbg.derivedtype.type*>
>> [#uses=1]
>> + at llvm.dbg.array = internal constant [3 x { }*] [ { }* null, { }*
>> bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype10 to
>> { }*), { }* bitcast (%llvm.dbg.derivedtype.type*
>> @llvm.dbg.derivedtype12 to { }*) ], section "llvm.metadata"		; <[3 x
>> { }*]*> [#uses=1]
>> + at llvm.dbg.composite13 = internal constant %llvm.dbg.composite.type
>> { i32 458773, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 0, i64 0, i64 0, i64 0, i32 0, { }* null, { }* bitcast ([3 x { }*]*
>> @llvm.dbg.array to { }*) }, section "llvm.metadata"		; <
>> %llvm.dbg.composite.type*> [#uses=1]
>> + at llvm.dbg.subprograms = linkonce constant %llvm.dbg.anchor.type
>> { i32 458752, i32 46 }, section "llvm.metadata"		; <
>> %llvm.dbg.anchor.type*> [#uses=1]
>> + at llvm.dbg.subprogram = internal constant %llvm.dbg.subprogram.type
>> { i32 458798, { }* bitcast (%llvm.dbg.anchor.type*
>> @llvm.dbg.subprograms to { }*), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([4 x i8]* @.str3, i32 0, i32 0), i8* getelementptr
>> ([4 x i8]* @.str3, i32 0, i32 0), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 2, { }* bitcast (%llvm.dbg.composite.type* @llvm.dbg.composite13 to
>> { }*), i1 false, i1 false }, section "llvm.metadata"		; <
>> %llvm.dbg.subprogram.type*> [#uses=1]
>> + at llvm.dbg.array14 = internal constant [5 x { }*] [ { }* null, { }*
>> bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype10 to
>> { }*), { }* bitcast (%llvm.dbg.basictype.type* @llvm.dbg.basictype
>> to { }*), { }* bitcast (%llvm.dbg.basictype.type*
>> @llvm.dbg.basictype to { }*), { }* bitcast
>> (%llvm.dbg.basictype.type* @llvm.dbg.basictype to { }*) ], section
>> "llvm.metadata"		; <[5 x { }*]*> [#uses=1]
>> + at llvm.dbg.composite15 = internal constant %llvm.dbg.composite.type
>> { i32 458773, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 0, i64 0, i64 0, i64 0, i32 0, { }* null, { }* bitcast ([5 x { }*]*
>> @llvm.dbg.array14 to { }*) }, section "llvm.metadata"		; <
>> %llvm.dbg.composite.type*> [#uses=1]
>> + at llvm.dbg.subprogram16 = internal constant
>> %llvm.dbg.subprogram.type { i32 458798, { }* bitcast
>> (%llvm.dbg.anchor.type* @llvm.dbg.subprograms to { }*), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([4 x i8]* @.str3, i32 0, i32 0), i8* getelementptr
>> ([4 x i8]* @.str3, i32 0, i32 0), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 5, { }* bitcast (%llvm.dbg.composite.type* @llvm.dbg.composite15 to
>> { }*), i1 false, i1 false }, section "llvm.metadata"		; <
>> %llvm.dbg.subprogram.type*> [#uses=1]
>> + at llvm.dbg.array17 = internal constant [5 x { }*] [ { }* bitcast
>> (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype to { }*), { }*
>> bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype7 to
>> { }*), { }* bitcast (%llvm.dbg.derivedtype.type*
>> @llvm.dbg.derivedtype9 to { }*), { }* bitcast
>> (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram to { }*), { }*
>> bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram16 to
>> { }*) ], section "llvm.metadata"		; <[5 x { }*]*> [#uses=1]
>> + at llvm.dbg.composite18 = internal constant %llvm.dbg.composite.type
>> { i32 458771, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* getelementptr ([4 x i8]*
>> @.str3, i32 0, i32 0), { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 2, i64 96, i64 32, i64 0, i32
>> 0, { }* null, { }* bitcast ([5 x { }*]* @llvm.dbg.array17 to
>> { }*) }, section "llvm.metadata"		; <%llvm.dbg.composite.type*>
>> [#uses=1]
>> + at llvm.dbg.derivedtype19 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458767, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> null, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 0, i64 32, i64 32, i64 0, i32
>> 0, { }* bitcast (%llvm.dbg.composite.type* @llvm.dbg.composite18 to
>> { }*) }, section "llvm.metadata"		; <%llvm.dbg.derivedtype.type*>
>> [#uses=1]
>> + at llvm.dbg.array20 = internal constant [5 x { }*] [ { }* null, { }*
>> bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype19 to
>> { }*), { }* bitcast (%llvm.dbg.basictype.type* @llvm.dbg.basictype
>> to { }*), { }* bitcast (%llvm.dbg.basictype.type*
>> @llvm.dbg.basictype to { }*), { }* bitcast
>> (%llvm.dbg.basictype.type* @llvm.dbg.basictype to { }*) ], section
>> "llvm.metadata"		; <[5 x { }*]*> [#uses=1]
>> + at llvm.dbg.composite = internal constant %llvm.dbg.composite.type
>> { i32 458773, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 0, i64 0, i64 0, i64 0, i32 0, { }* null, { }* bitcast ([5 x { }*]*
>> @llvm.dbg.array20 to { }*) }, section "llvm.metadata"		; <
>> %llvm.dbg.composite.type*> [#uses=1]
>> + at .str21 = internal constant [13 x i8] c"__comp_ctor \00", section
>> "llvm.metadata"		; <[13 x i8]*> [#uses=1]
>> + at .str22 = internal constant [14 x i8] c"_ZN3VecC1Eiii\00", section
>> "llvm.metadata"		; <[14 x i8]*> [#uses=1]
>> + at llvm.dbg.array32 = internal constant [3 x { }*] [ { }* bitcast
>> (%llvm.dbg.composite.type* @llvm.dbg.composite18 to { }*), { }*
>> bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype12 to
>> { }*), { }* bitcast (%llvm.dbg.derivedtype.type*
>> @llvm.dbg.derivedtype12 to { }*) ], section "llvm.metadata"		; <[3 x
>> { }*]*> [#uses=1]
>> + at llvm.dbg.composite33 = internal constant %llvm.dbg.composite.type
>> { i32 458773, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 0, i64 0, i64 0, i64 0, i32 0, { }* null, { }* bitcast ([3 x { }*]*
>> @llvm.dbg.array32 to { }*) }, section "llvm.metadata"		; <
>> %llvm.dbg.composite.type*> [#uses=1]
>> + at .str34 = internal constant [10 x i8] c"operator-\00", section
>> "llvm.metadata"		; <[10 x i8]*> [#uses=1]
>> + at .str35 = internal constant [14 x i8] c"_ZmiRK3VecS1_\00", section
>> "llvm.metadata"		; <[14 x i8]*> [#uses=1]
>> + at .str41 = internal constant [7 x i8] c"Sphere\00", section
>> "llvm.metadata"		; <[7 x i8]*> [#uses=1]
>> + at .str43 = internal constant [7 x i8] c"center\00", section
>> "llvm.metadata"		; <[7 x i8]*> [#uses=1]
>> + at llvm.dbg.derivedtype44 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458765, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([7 x i8]* @.str43, i32 0, i32 0), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 14, i64 96, i64 32, i64 0, i32 1, { }* bitcast
>> (%llvm.dbg.composite.type* @llvm.dbg.composite18 to { }*) }, section
>> "llvm.metadata"		; <%llvm.dbg.derivedtype.type*> [#uses=1]
>> + at llvm.dbg.derivedtype45 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458767, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> null, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 0, i64 32, i64 32, i64 0, i32
>> 0, { }* bitcast (%llvm.dbg.composite.type* @llvm.dbg.composite52 to
>> { }*) }, section "llvm.metadata"		; <%llvm.dbg.derivedtype.type*>
>> [#uses=1]
>> + at llvm.dbg.array46 = internal constant [3 x { }*] [ { }* bitcast
>> (%llvm.dbg.basictype.type* @llvm.dbg.basictype to { }*), { }*
>> bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype45 to
>> { }*), { }* bitcast (%llvm.dbg.derivedtype.type*
>> @llvm.dbg.derivedtype12 to { }*) ], section "llvm.metadata"		; <[3 x
>> { }*]*> [#uses=1]
>> + at llvm.dbg.composite47 = internal constant %llvm.dbg.composite.type
>> { i32 458773, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 0, i64 0, i64 0, i64 0, i32 0, { }* null, { }* bitcast ([3 x { }*]*
>> @llvm.dbg.array46 to { }*) }, section "llvm.metadata"		; <
>> %llvm.dbg.composite.type*> [#uses=1]
>> + at .str48 = internal constant [11 x i8] c"ray_sphere\00", section
>> "llvm.metadata"		; <[11 x i8]*> [#uses=1]
>> + at .str49 = internal constant [30 x i8]
>> c"_ZN6Sphere10ray_sphereERK3Vec\00", section "llvm.metadata"		; <[30
>> x i8]*> [#uses=1]
>> + at llvm.dbg.subprogram50 = internal constant
>> %llvm.dbg.subprogram.type { i32 458798, { }* bitcast
>> (%llvm.dbg.anchor.type* @llvm.dbg.subprograms to { }*), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([11 x i8]* @.str48, i32 0, i32 0), i8* getelementptr
>> ([11 x i8]* @.str48, i32 0, i32 0), i8* getelementptr ([30 x i8]*
>> @.str49, i32 0, i32 0), { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 16, { }* bitcast
>> (%llvm.dbg.composite.type* @llvm.dbg.composite47 to { }*), i1 false,
>> i1 false }, section "llvm.metadata"		; <%llvm.dbg.subprogram.type*>
>> [#uses=1]
>> + at llvm.dbg.array51 = internal constant [2 x { }*] [ { }* bitcast
>> (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype44 to { }*), { }*
>> bitcast (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram50 to
>> { }*) ], section "llvm.metadata"		; <[2 x { }*]*> [#uses=1]
>> + at llvm.dbg.composite52 = internal constant %llvm.dbg.composite.type
>> { i32 458771, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* getelementptr ([7 x i8]*
>> @.str41, i32 0, i32 0), { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 12, i64 96, i64 32, i64 0, i32
>> 0, { }* null, { }* bitcast ([2 x { }*]* @llvm.dbg.array51 to
>> { }*) }, section "llvm.metadata"		; <%llvm.dbg.composite.type*>
>> [#uses=1]
>> + at llvm.dbg.derivedtype53 = internal constant
>> %llvm.dbg.derivedtype.type { i32 458767, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> null, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 0, i64 32, i64 32, i64 0, i32
>> 0, { }* bitcast (%llvm.dbg.composite.type* @llvm.dbg.composite52 to
>> { }*) }, section "llvm.metadata"		; <%llvm.dbg.derivedtype.type*>
>> [#uses=1]
>> + at llvm.dbg.array54 = internal constant [3 x { }*] [ { }* bitcast
>> (%llvm.dbg.basictype.type* @llvm.dbg.basictype to { }*), { }*
>> bitcast (%llvm.dbg.derivedtype.type* @llvm.dbg.derivedtype53 to
>> { }*), { }* bitcast (%llvm.dbg.derivedtype.type*
>> @llvm.dbg.derivedtype12 to { }*) ], section "llvm.metadata"		; <[3 x
>> { }*]*> [#uses=1]
>> + at llvm.dbg.composite55 = internal constant %llvm.dbg.composite.type
>> { i32 458773, { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i8* null, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i32
>> 0, i64 0, i64 0, i64 0, i32 0, { }* null, { }* bitcast ([3 x { }*]*
>> @llvm.dbg.array54 to { }*) }, section "llvm.metadata"		; <
>> %llvm.dbg.composite.type*> [#uses=1]
>> + at llvm.dbg.subprogram56 = internal constant
>> %llvm.dbg.subprogram.type { i32 458798, { }* bitcast
>> (%llvm.dbg.anchor.type* @llvm.dbg.subprograms to { }*), { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*), i8*
>> getelementptr ([11 x i8]* @.str48, i32 0, i32 0), i8* getelementptr
>> ([11 x i8]* @.str48, i32 0, i32 0), i8* getelementptr ([30 x i8]*
>> @.str49, i32 0, i32 0), { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 16, { }* bitcast
>> (%llvm.dbg.composite.type* @llvm.dbg.composite55 to { }*), i1 false,
>> i1 true }, section "llvm.metadata"		; <%llvm.dbg.subprogram.type*>
>> [#uses=1]
>> + at .str61 = internal constant [2 x i8] c"v\00", section
>> "llvm.metadata"		; <[2 x i8]*> [#uses=1]
>> + at llvm.dbg.variable62 = internal constant %llvm.dbg.variable.type
>> { i32 459008, { }* bitcast (%llvm.dbg.subprogram.type*
>> @llvm.dbg.subprogram56 to { }*), i8* getelementptr ([2 x i8]*
>> @.str61, i32 0, i32 0), { }* bitcast (%llvm.dbg.compile_unit.type*
>> @llvm.dbg.compile_unit to { }*), i32 17, { }* bitcast
>> (%llvm.dbg.composite.type* @llvm.dbg.composite18 to { }*) }, section
>> "llvm.metadata"		; <%llvm.dbg.variable.type*> [#uses=1]
>> +
>> +declare void @llvm.dbg.func.start({ }*) nounwind
>> +
>> +declare void @llvm.dbg.declare({ }*, { }*) nounwind
>> +
>> +declare void @llvm.dbg.stoppoint(i32, i32, { }*) nounwind
>> +
>> +declare void @llvm.dbg.region.end({ }*) nounwind
>> +
>> +define i32 @_ZN6Sphere10ray_sphereERK3Vec(%struct.Sphere* %this,
>> %struct.Vec* %Orig) nounwind {
>> +entry:
>> +	%v = alloca %struct.Vec, align 8		; <%struct.Vec*> [#uses=4]
>> +	call void @llvm.dbg.func.start({ }* bitcast
>> (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram56 to { }*))
>> +	%0 = bitcast %struct.Vec* %v to { }*		; <{ }*> [#uses=1]
>> +	call void @llvm.dbg.declare({ }* %0, { }* bitcast
>> (%llvm.dbg.variable.type* @llvm.dbg.variable62 to { }*))
>> +	%1 = getelementptr %struct.Sphere* %this, i32 0, i32 0, i32 2		;
>> <i32*> [#uses=1]
>> +	%2 = load i32* %1, align 4		; <i32> [#uses=1]
>> +	%3 = getelementptr %struct.Vec* %Orig, i32 0, i32 2		; <i32*>
>> [#uses=1]
>> +	%4 = load i32* %3, align 4		; <i32> [#uses=1]
>> +	%5 = sub i32 %2, %4		; <i32> [#uses=1]
>> +	%6 = getelementptr %struct.Sphere* %this, i32 0, i32 0, i32 1		;
>> <i32*> [#uses=1]
>> +	%7 = load i32* %6, align 4		; <i32> [#uses=1]
>> +	%8 = getelementptr %struct.Vec* %Orig, i32 0, i32 1		; <i32*>
>> [#uses=1]
>> +	%9 = load i32* %8, align 4		; <i32> [#uses=1]
>> +	%10 = sub i32 %7, %9		; <i32> [#uses=1]
>> +	%11 = getelementptr %struct.Sphere* %this, i32 0, i32 0, i32 0		;
>> <i32*> [#uses=1]
>> +	%12 = load i32* %11, align 4		; <i32> [#uses=1]
>> +	%13 = getelementptr %struct.Vec* %Orig, i32 0, i32 0		; <i32*>
>> [#uses=1]
>> +	%14 = load i32* %13, align 4		; <i32> [#uses=1]
>> +	%15 = sub i32 %12, %14		; <i32> [#uses=1]
>> +	%16 = getelementptr %struct.Vec* %v, i32 0, i32 0		; <i32*>
>> [#uses=2]
>> +	store i32 %15, i32* %16, align 8
>> +	%17 = getelementptr %struct.Vec* %v, i32 0, i32 1		; <i32*>
>> [#uses=1]
>> +	store i32 %10, i32* %17, align 4
>> +	%18 = getelementptr %struct.Vec* %v, i32 0, i32 2		; <i32*>
>> [#uses=1]
>> +	store i32 %5, i32* %18, align 8
>> +	call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
>> nounwind
>> +	call void @llvm.dbg.stoppoint(i32 9, i32 0, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
>> nounwind
>> +	%19 = load i32* %16, align 8		; <i32> [#uses=1]
>> +	call void @llvm.dbg.stoppoint(i32 18, i32 0, { }* bitcast
>> (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
>> +	call void @llvm.dbg.region.end({ }* bitcast
>> (%llvm.dbg.subprogram.type* @llvm.dbg.subprogram56 to { }*))
>> +	ret i32 %19
>> +}
>>
>>
>> _______________________________________________
>> llvm-commits mailing list
>> llvm-commits at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

-
Devang






More information about the llvm-commits mailing list