[LLVMbugs] [Bug 3471] New: fails to compile tinycc from valgrind tests: truction*): Assertion `S1->getType() == S2->getType() && "

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: fails to compile tinycc from valgrind tests: truction*):
                    Assertion `S1->getType() == S2->getType() && "
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Using SVN r63539:

/home/edwin/llvm-bootstrap/install/bin/llc bugpoint-reduced-simplified.bc
llc: /home/edwin/llvm-bootstrap/llvm/lib/VMCore/Instructions.cpp:1575: static
llvm::BinaryOperator*
llvm::BinaryOperator::Create(llvm::Instruction::BinaryOps, llvm::Value*,
llvm::Value*, const std::string&, llvm::Instruction*): Assertion `S1->getType()
== S2->getType() && "Cannot create binary operator with two operands of
differing type!"' failed.
0   llc       0x0000000000c84fbf
1   libc.so.6 0x00007fa33853df60
2   libc.so.6 0x00007fa33853ded5 gsignal + 53
3   libc.so.6 0x00007fa33853f3f3 abort + 387
4   libc.so.6 0x00007fa338536dc9 __assert_fail + 233
5   llc       0x0000000000c04722
6   llc       0x0000000000ba5c12
llvm::SCEVExpander::InsertBinop(llvm::Instruction::BinaryOps, llvm::Value*,
llvm::Value*, llvm::Instruction*) + 386
7   llc       0x0000000000ba66f0
llvm::SCEVExpander::visitAddExpr(llvm::SCEVAddExpr*) + 176
8   llc       0x0000000000ba6590 llvm::SCEVExpander::expand(llvm::SCEV*) + 176
9   llc       0x0000000000ba74b5
llvm::SCEVExpander::visitMulExpr(llvm::SCEVMulExpr*) + 213
10  llc       0x0000000000ba6590 llvm::SCEVExpander::expand(llvm::SCEV*) + 176
11  llc       0x0000000000b3504a
12  llc       0x0000000000b373db
13  llc       0x0000000000b3caf7
14  llc       0x0000000000b3ee88
15  llc       0x0000000000b889fb
llvm::LPPassManager::runOnFunction(llvm::Function&) + 955
16  llc       0x0000000000c2026b
llvm::FPPassManager::runOnFunction(llvm::Function&) + 347
17  llc       0x0000000000c20666
llvm::FunctionPassManagerImpl::run(llvm::Function&) + 134
18  llc       0x0000000000c207ee
llvm::FunctionPassManager::run(llvm::Function&) + 62
19  llc       0x00000000004fe5d1 main + 4193
20  libc.so.6 0x00007fa33852a1a6 __libc_start_main + 230
21  llc       0x00000000004fcac9
Aborted

Testcase:
; 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"

define void @parse_number(i8* nocapture %p) nounwind {
entry:
        %shift.0 = select i1 false, i32 4, i32 2                ; <i32>
[#uses=1]
        br label %bb47

bb47:           ; preds = %bb47, %entry
        br i1 false, label %bb54, label %bb47

bb54:           ; preds = %bb47
        br i1 false, label %bb56, label %bb66

bb56:           ; preds = %bb62, %bb54
        %p_addr.0.pn.rec = phi i64 [ %p_addr.6.rec, %bb62 ], [ 0, %bb54 ]      
        ; <i64> [#uses=2]
        %ch.6.in.in = phi i8* [ %p_addr.6, %bb62 ], [ null, %bb54 ]            
; <i8*> [#uses=0]
        %indvar202 = trunc i64 %p_addr.0.pn.rec to i32          ; <i32>
[#uses=1]
        %frac_bits.0 = mul i32 %indvar202, %shift.0             ; <i32>
[#uses=1]
        %p_addr.6.rec = add i64 %p_addr.0.pn.rec, 1             ; <i64>
[#uses=2]
        %p_addr.6 = getelementptr i8* null, i64 %p_addr.6.rec           ; <i8*>
[#uses=1]
        br i1 false, label %bb66, label %bb62

bb62:           ; preds = %bb56
        br label %bb56

bb66:           ; preds = %bb56, %bb54
        %frac_bits.1 = phi i32 [ 0, %bb54 ], [ %frac_bits.0, %bb56 ]           
; <i32> [#uses=0]
        unreachable
}


-- 
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.