blob: 44c72587b25118f9732a4d418a7783bab4219093 [file] [log] [blame]
;;
;; Test the sequence:
;; cast -> setle 0, %cast -> br %cond
;; This sequence should cause the cast value to be forwarded twice,
;; i.e., cast is forwarded to the setle and teh setle is forwarded
;; to the branch.
;; register argument of the "branch-on-register" instruction, i.e.,
;;
;; This produces the bogus output instruction:
;; brlez <NULL VALUE>, .L_SumArray_bb3.
;; This came from %bb1 of sumarrray.ll generated from sumarray.c.
;;;; ******************************************************
implementation
;;;; ******************************************************
int "SumArray"(int %Num)
begin
bb0: ;[#uses=3]
br label %Top
Top:
%Num = alloca int ; <int *> [#uses=2]
store int %Num, int * %Num
%reg108 = load int * %Num ; <int> [#uses=2]
%cast1006 = cast int %reg108 to uint ; <uint> [#uses=1]
%cond1001 = setle uint %cast1006, 0 ; <bool> [#uses=1]
br bool %cond1001, label %bb6, label %Top
bb6:
ret int 42
end