blob: 0c0bfad7d4c7da7ea01da805633de75551d2f08f [file] [log] [blame]
Dan Gohmanc8054d92009-09-09 00:09:15 +00001; RUN: llc < %s
Tanya Lattner16b222c2004-11-06 23:08:26 +00002
Vikram S. Adve253d9e42002-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 Gohmanf818ccd2007-09-24 15:50:11 +00007;; i.e., cast is forwarded to the setle and the setle is forwarded
Vikram S. Adve253d9e42002-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 Lattner3f047732008-02-19 01:41:04 +000015define i32 @SumArray(i32 %Num) {
16 %Num.upgrd.1 = alloca i32 ; <i32*> [#uses=2]
Vikram S. Adve253d9e42002-07-10 21:54:05 +000017 br label %Top
Vikram S. Adve253d9e42002-07-10 21:54:05 +000018
Tanya Lattner3f047732008-02-19 01:41:04 +000019Top: ; preds = %Top, %0
20 store i32 %Num, i32* %Num.upgrd.1
David Blaikiea79ac142015-02-27 21:17:42 +000021 %reg108 = load i32, i32* %Num.upgrd.1 ; <i32> [#uses=1]
Tanya Lattner3f047732008-02-19 01:41:04 +000022 %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 Lattner44b30c92005-01-07 21:15:58 +000028}
Tanya Lattner3f047732008-02-19 01:41:04 +000029