[LLVMbugs] [Bug 55] New: [loopsimplify] Loop simplify crashes

[bugzilla-daemon at zion.cs.uiuc.edu]

http://zion.cs.uiuc.edu/bugs/show_bug.cgi?id=55

           Summary: [loopsimplify] Loop simplify crashes
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: sabre at nondot.org
        ReportedBy: sabre at nondot.org


This testcase causes an assertion failure in loop simplify.  This was produced
by the sparc preselection pass.


int %main() {           ; No predecessors!
        br bool false, label %1, label %2

; <label>:1             ; preds = %0
        br bool false, label %3, label %4

; <label>:2             ; preds = %0
        br bool false, label %3, label %4

; <label>:3             ; preds = %1, %2
        br label %4

; <label>:4             ; preds = %1, %2, %3
        br label %.preheader

.preheader:             ; preds = %4, %21
        br label %5

; <label>:5             ; preds = %.preheader, %8, %11, %15, %20
        br bool false, label %6, label %22

; <label>:6             ; preds = %5
        br bool false, label %7, label %9

; <label>:7             ; preds = %6
        br label %8

; <label>:8             ; preds = %7
        br label %5

; <label>:9             ; preds = %6
        br bool false, label %10, label %12

; <label>:10            ; preds = %9
        br label %11

; <label>:11            ; preds = %10
        br label %5

; <label>:12            ; preds = %9
        br label %13

; <label>:13            ; preds = %12
        br bool false, label %15, label %14

; <label>:14            ; preds = %13
        br bool false, label %15, label %16

; <label>:15            ; preds = %13, %14
        br label %5

; <label>:16            ; preds = %14
        br label %17

; <label>:17            ; preds = %16
        br label %19

; <label>:18            ; preds = %25
        br bool false, label %19, label %.loopexit

; <label>:19            ; preds = %17, %18
        br label %20

; <label>:20            ; preds = %19
        br label %5

.loopexit:              ; preds = %18
        br label %21

; <label>:21            ; preds = %.loopexit
        br label %.preheader

; <label>:22            ; preds = %5
        ret int 0

; <label>:23            ; preds = %24, %25
        ret int 0
                ; No predecessors!
        br bool false, label %25, label %23

; <label>:25            ; preds = %24
        br bool false, label %18, label %23
}



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.