[LLVMbugs] [Bug 3412] New: Assertion `isa<PointerType>(V->getType()) && " Unexpected operand type!"' failed.

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=3412

           Summary: Assertion `isa<PointerType>(V->getType()) && "Unexpected
                    operand type!"' failed.
           Product: libraries
           Version: trunk
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: sliedes at cc.hut.fi
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=2448)
 --> (http://llvm.org/bugs/attachment.cgi?id=2448)
test case

On running

  opt -licm -loop-reduce

on the attached bitcode, the following assertion failure happens:

------------------------------------------------------------
opt: Value.cpp:370: llvm::Value* llvm::Value::getUnderlyingObject(): Assertion
`isa<PointerType>(V->getType()) && "Unexpected operand type!"' failed.
0   opt       0x000000000078440f
1   libc.so.6 0x00007f08bf276f60
2   libc.so.6 0x00007f08bf276ed5 gsignal + 53
3   libc.so.6 0x00007f08bf2783f3 abort + 387
4   libc.so.6 0x00007f08bf26fdc9 __assert_fail + 233
5   opt       0x0000000000735e94 llvm::Value::getUnderlyingObject() + 484
6   opt       0x000000000063da18
7   opt       0x00000000006389de
llvm::AliasSet::aliasesCallSite(llvm::CallSite, llvm::AliasAnalysis&) const +
414
8   opt       0x0000000000639806
llvm::AliasSetTracker::findAliasSetForCallSite(llvm::CallSite) + 150
9   opt       0x0000000000639ba6 llvm::AliasSetTracker::add(llvm::CallSite) +
118
10  opt       0x000000000063a763 llvm::AliasSetTracker::add(llvm::Instruction*)
+ 211
11  opt       0x000000000063a84a llvm::AliasSetTracker::add(llvm::BasicBlock&)
+ 58
12  opt       0x0000000000565b25
13  opt       0x000000000065dcbb
llvm::LPPassManager::runOnFunction(llvm::Function&) + 955
14  opt       0x000000000072199b
llvm::FPPassManager::runOnFunction(llvm::Function&) + 347
15  opt       0x0000000000721bd6
llvm::FPPassManager::runOnModule(llvm::Module&) + 166
16  opt       0x0000000000721577
llvm::MPPassManager::runOnModule(llvm::Module&) + 199
17  opt       0x0000000000721776 llvm::PassManagerImpl::run(llvm::Module&) +
134
18  opt       0x0000000000497166 main + 3046
19  libc.so.6 0x00007f08bf2631a6 __libc_start_main + 230
20  opt       0x000000000048be39 sinh + 65
Aborted
------------------------------------------------------------

Here's the bitcode disassembled:

------------------------------------------------------------
; ModuleID = 'bugpoint-reduced-simplified.bc'
target datalayout =
"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
target triple = "x86_64-unknown-linux-gnu"

declare i64 @strlen(i8* nocapture) nounwind readonly

define void @relem515(double %val) nounwind {
entry:
        br i1 false, label %bb1.i3.i, label %bb8.i11

bb1.i3.i:               ; preds = %bb4.i6.i.i, %entry
        %tmp4.i = tail call i64 @strlen(i8* null) nounwind readonly            
; <i64> [#uses=0]
        br label %bb4.i6.i.i

bb3.i5.i.i:             ; preds = %bb4.i6.i.i
        store i8 0, i8* %tmp5.i.i9, align 1
        %indvar.next76 = add i64 %indvar75, 1           ; <i64> [#uses=1]
        br label %bb4.i6.i.i

bb4.i6.i.i:             ; preds = %bb3.i5.i.i, %bb1.i3.i
        %indvar75 = phi i64 [ 0, %bb1.i3.i ], [ %indvar.next76, %bb3.i5.i.i ]  
        ; <i64> [#uses=2]
        %p.i.0.i.i.rec = mul i64 %indvar75, -1          ; <i64> [#uses=1]
        %tmp5.i.i9.rec = add i64 %p.i.0.i.i.rec, -1             ; <i64>
[#uses=1]
        %tmp5.i.i9 = getelementptr i8* null, i64 %tmp5.i.i9.rec         ; <i8*>
[#uses=1]
        br i1 false, label %bb3.i5.i.i, label %bb1.i3.i

bb8.i11:                ; preds = %entry
        ret void
}
------------------------------------------------------------


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.