1 files changed, 0 insertions, 48 deletions
diff --git a/test/Concrete/GlobalInitializers.leq36.ll b/test/Concrete/GlobalInitializers.leq36.ll
deleted file mode 100755
index ba7e53eb..00000000
--- a/test/Concrete/GlobalInitializers.leq36.ll
+++ /dev/null
@@ -1,48 +0,0 @@
-; REQUIRES: lt-llvm-3.7
-; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
-
-declare void @print_i32(i32)
-
-%simple = type { i8, i16, i32, i64 }
-@gInt = global i32 2
-@gInts = global [2 x i32] [ i32 3, i32 5 ]
-@gStruct = global %simple { i8 7, i16 11, i32 13, i64 17 }
-@gZero = global %simple zeroinitializer
-
-define i32 @main() {
-entry:
-	%addr0 = getelementptr i32* @gInt, i32 0
-	%addr1 = getelementptr [2 x i32]* @gInts, i32 0, i32 0
-	%addr2 = getelementptr [2 x i32]* @gInts, i32 0, i32 1
-	%addr3 = getelementptr %simple* @gStruct, i32 0, i32 0
-	%addr4 = getelementptr %simple* @gStruct, i32 0, i32 1
-	%addr5 = getelementptr %simple* @gStruct, i32 0, i32 2
-	%addr6 = getelementptr %simple* @gStruct, i32 0, i32 3
-	%addr7 = getelementptr %simple* @gZero, i32 0, i32 2
-	%contents0 = load i32* %addr0
-	%contents1 = load i32* %addr1
-	%contents2 = load i32* %addr2
-	%contents3tmp = load i8* %addr3
-	%contents3 = zext i8 %contents3tmp to i32
-	%contents4tmp = load i16* %addr4
-	%contents4 = zext i16 %contents4tmp to i32
-	%contents5 = load i32* %addr5
-	%contents6tmp = load i64* %addr6
-	%contents6 = trunc i64 %contents6tmp to i32
-	%contents7 = load i32* %addr7
-	%tmp0 = mul i32 %contents0, %contents1
-	%tmp1 = mul i32 %tmp0, %contents2
-	%tmp2 = mul i32 %tmp1, %contents3
-	%tmp3 = mul i32 %tmp2, %contents4
-	%tmp4 = mul i32 %tmp3, %contents5
-	%tmp5 = mul i32 %tmp4, %contents6
-	%tmp6 = add i32 %tmp5, %contents7
-	%p = icmp eq i32 %tmp5, 510510
-	br i1 %p, label %exitTrue, label %exitFalse
-exitTrue:
-	call void @print_i32(i32 1)
-	ret i32 0
-exitFalse:
-	call void @print_i32(i32 0)
-	ret i32 0
-}