blob: 0a774c64f82e6cde089d86d293b692b239cd9810 [file] [log] [blame]
; RUN: llc < %s
; July 6, 2002 -- LLC Regression test
; This test case checks if the integer CC register %xcc (or %ccr)
; is correctly spilled. The code fragment came from function
; MakeGraph in Olden-mst.
; The original code made all comparisons with 0, so that the %xcc
; register is not needed for the branch in the first basic block.
; Replace 0 with 1 in the first comparson so that the
; branch-on-register instruction cannot be used directly, i.e.,
; the %xcc register is needed for the first branch.
;
%Graph = type %struct.graph_st*
%Hash = type %struct.hash*
%HashEntry = type %struct.hash_entry*
%Vertex = type %struct.vert_st*
%struct.graph_st = type { [1 x %Vertex] }
%struct.hash = type { %HashEntry*, i32 (i32)*, i32 }
%struct.hash_entry = type { i32, i8*, %HashEntry }
%struct.vert_st = type { i32, %Vertex, %Hash }
@HashRange = external global i32 ; <i32*> [#uses=0]
@.LC0 = internal global [13 x i8] c"Make phase 2\00" ; <[13 x i8]*> [#uses=0]
@.LC1 = internal global [13 x i8] c"Make phase 3\00" ; <[13 x i8]*> [#uses=0]
@.LC2 = internal global [13 x i8] c"Make phase 4\00" ; <[13 x i8]*> [#uses=0]
@.LC3 = internal global [15 x i8] c"Make returning\00" ; <[15 x i8]*> [#uses=0]
define %Graph @MakeGraph(i32 %numvert, i32 %numproc) {
bb1:
%reg111 = add i32 %numproc, -1 ; <i32> [#uses=2]
%cond275 = icmp slt i32 %reg111, 1 ; <i1> [#uses=1]
%cond276 = icmp sle i32 %reg111, 0 ; <i1> [#uses=1]
%cond277 = icmp sge i32 %numvert, 0 ; <i1> [#uses=1]
%reg162 = add i32 %numvert, 3 ; <i32> [#uses=0]
br i1 %cond275, label %bb7, label %bb4
bb4: ; preds = %bb1
br i1 %cond276, label %bb7, label %bb5
bb5: ; preds = %bb4
br i1 %cond277, label %bb7, label %bb6
bb6: ; preds = %bb5
ret %Graph null
bb7: ; preds = %bb5, %bb4, %bb1
ret %Graph null
}