From 34fc767c105e61c8e6a93541634e015f964b14b4 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Thu, 14 Mar 2002 16:35:50 +0000 Subject: [PATCH] New testcase for bugfx git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1868 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../2002-03-14-ConvertableToGEPHang.ll | 22 +++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 test/Transforms/LevelRaise/2002-03-14-ConvertableToGEPHang.ll diff --git a/test/Transforms/LevelRaise/2002-03-14-ConvertableToGEPHang.ll b/test/Transforms/LevelRaise/2002-03-14-ConvertableToGEPHang.ll new file mode 100644 index 00000000000..43ea8885ecd --- /dev/null +++ b/test/Transforms/LevelRaise/2002-03-14-ConvertableToGEPHang.ll @@ -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 * * ; [#uses=1] + %reg110 = load sbyte * * %cast1007 ; [#uses=1] + %cast1008 = cast ulong 4 to sbyte * ; [#uses=1] + %reg1001 = add sbyte * %reg110, %cast1008 ; [#uses=0] + ret void +end -- 2.34.1