blob: 6b38f04673deaeece447e85d9bef5568441ebc03 [file] [log] [blame]
Dan Gohmanfce288f2009-09-09 00:09:15 +00001; RUN: llc < %s
Tanya Lattner2393a242004-11-06 23:08:26 +00002
Vikram S. Advea7a1c7e2002-07-10 21:54:05 +00003;;
4;; Test the sequence:
5;; cast -> setle 0, %cast -> br %cond
6;; This sequence should cause the cast value to be forwarded twice,
Dan Gohmanea81d092007-09-24 15:50:11 +00007;; i.e., cast is forwarded to the setle and the setle is forwarded
Vikram S. Advea7a1c7e2002-07-10 21:54:05 +00008;; to the branch.
9;; register argument of the "branch-on-register" instruction, i.e.,
10;;
11;; This produces the bogus output instruction:
12;; brlez <NULL VALUE>, .L_SumArray_bb3.
13;; This came from %bb1 of sumarrray.ll generated from sumarray.c.
14
Tanya Lattner53a66d12008-02-19 01:41:04 +000015define i32 @SumArray(i32 %Num) {
16 %Num.upgrd.1 = alloca i32 ; <i32*> [#uses=2]
Vikram S. Advea7a1c7e2002-07-10 21:54:05 +000017 br label %Top
Vikram S. Advea7a1c7e2002-07-10 21:54:05 +000018
Tanya Lattner53a66d12008-02-19 01:41:04 +000019Top: ; preds = %Top, %0
20 store i32 %Num, i32* %Num.upgrd.1
21 %reg108 = load i32* %Num.upgrd.1 ; <i32> [#uses=1]
22 %cast1006 = bitcast i32 %reg108 to i32 ; <i32> [#uses=1]
23 %cond1001 = icmp ule i32 %cast1006, 0 ; <i1> [#uses=1]
24 br i1 %cond1001, label %bb6, label %Top
25
26bb6: ; preds = %Top
27 ret i32 42
Chris Lattner3b5d6312005-01-07 21:15:58 +000028}
Tanya Lattner53a66d12008-02-19 01:41:04 +000029