New testcase for bugfx

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1868 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2002-03-14 16:35:50 +00:00
parent 4b3f94573d
commit 34fc767c10

View File

@ -0,0 +1,22 @@
; This testcase found a bug in ConvertableToGEP that could cause an infinite loop
; Note that this code is actually miscompiled from the input source, but despite
; that, level raise should not hang!
;
; RUN: as < %s | opt -raise
%Disjunct = type { \2 *, short, sbyte, sbyte *, { short, short, sbyte, sbyte, \2, sbyte * } *, { short, short, sbyte, sbyte, \2, sbyte * } * }
%chosen_disjuncts = uninitialized global %Disjunct * * ; <%Disjunct * * *> [#uses=1]
implementation
void "build_image_array"()
begin
bb0: ;[#uses=0]
%reg109 = getelementptr %Disjunct * * * %chosen_disjuncts, uint 7 ; <%Disjunct * * *> [#uses=1]
%reg108 = load %Disjunct * * * %reg109, uint 0 ; <%Disjunct * *> [#uses=1]
%reg1000 = getelementptr %Disjunct * * %reg108, uint 3 ; <%Disjunct * *> [#uses=1]
%cast1007 = cast %Disjunct * * %reg1000 to sbyte * * ; <sbyte * *> [#uses=1]
%reg110 = load sbyte * * %cast1007 ; <sbyte *> [#uses=1]
%cast1008 = cast ulong 4 to sbyte * ; <sbyte *> [#uses=1]
%reg1001 = add sbyte * %reg110, %cast1008 ; <sbyte *> [#uses=0]
ret void
end