[LLVMbugs] [Bug 1828] New: loop-index-split produce bogus code

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: loop-index-split produce bogus code
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: asl at math.spbu.ru
                CC: dpatel at apple.com, llvmbugs at cs.uiuc.edu


Created an attachment (id=1272)
 --> (http://llvm.org/bugs/attachment.cgi?id=1272)
Bytecode in question

Consider the attached bytecode (reduced from 90M pypy-generated .ll).

Running opt -loop-index.split resulted:

Instruction does not dominate all uses!
        %v63822.clone = add i32 %j_167.reg2mem.0.clone, -1              ; <i32>
[#uses=4]
        %lsplit.ev.clone = icmp slt i32 0, %v63822.clone                ; <i1>
[#uses=1]
Instruction does not dominate all uses!
        %lsplit.ev.clone = icmp slt i32 0, %v63822.clone                ; <i1>
[#uses=1]
        %lsplit.ev1.clone = select i1 %lsplit.ev.clone, i32 0, i32
%v63822.clone                ; <i32> [#uses=0]
Instruction does not dominate all uses!
        %v63822 = add i32 %j_167.reg2mem.0, -1          ; <i32> [#uses=3]
        %lsplit.ev = icmp slt i32 0, %v63822            ; <i1> [#uses=1]
Instruction does not dominate all uses!
        %lsplit.ev = icmp slt i32 0, %v63822            ; <i1> [#uses=1]
        %lsplit.ev1 = select i1 %lsplit.ev, i32 0, i32 %v63822          ; <i32>
[#uses=1]
Instruction does not dominate all uses!
        %lsplit.ev1 = select i1 %lsplit.ev, i32 0, i32 %v63822          ; <i32>
[#uses=1]
        %v6377959 = icmp slt i32 %j_167.reg2mem.0, %lsplit.ev1          ; <i1>
[#uses=1]
Instruction does not dominate all uses!
        %v6377959 = icmp slt i32 %j_167.reg2mem.0, %lsplit.ev1          ; <i1>
[#uses=1]
        br i1 %v6377959, label %block46, label %block44.block42.clone_crit_edge
Broken module found, compilation aborted!


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