blob: 05e831af6be2c22b632781b9e90bfeb3bf982ae8 [file] [log] [blame]
Tanya Lattnerf28e0ce2008-02-19 01:41:04 +00001; RUN: llvm-as < %s | llc
Dan Gohmanf17a25c2007-07-18 16:29:46 +00002
3;;
4;; Test the sequence:
5;; cast -> setle 0, %cast -> br %cond
6;; This sequence should cause the cast value to be forwarded twice,
Dan Gohmanef16fc62007-09-24 15:50:11 +00007;; i.e., cast is forwarded to the setle and the setle is forwarded
Dan Gohmanf17a25c2007-07-18 16:29:46 +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 Lattnerf28e0ce2008-02-19 01:41:04 +000015define i32 @SumArray(i32 %Num) {
16 %Num.upgrd.1 = alloca i32 ; <i32*> [#uses=2]
Dan Gohmanf17a25c2007-07-18 16:29:46 +000017 br label %Top
Dan Gohmanf17a25c2007-07-18 16:29:46 +000018
Tanya Lattnerf28e0ce2008-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +000028}
Tanya Lattnerf28e0ce2008-02-19 01:41:04 +000029