diff options
Diffstat (limited to 'test/Integer')
58 files changed, 1611 insertions, 0 deletions
diff --git a/test/Integer/2007-01-19-TruncSext.ll b/test/Integer/2007-01-19-TruncSext.ll new file mode 100644 index 0000000000000..3fee6bc8b6e38 --- /dev/null +++ b/test/Integer/2007-01-19-TruncSext.ll @@ -0,0 +1,29 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll +; RUN: llvm-as < %s | lli --force-interpreter=true | grep -- -255 + +@ARRAY = global [ 20 x i17 ] zeroinitializer +@FORMAT = constant [ 4 x i8 ] c"%d\0A\00" + +declare i32 @printf(i8* %format, ...) + +define void @multiply(i32 %index, i32 %X, i32 %Y) { + %Z = mul i32 %X, %Y + %P = getelementptr [20 x i17]* @ARRAY, i32 0, i32 %index + %Result = trunc i32 %Z to i17 + store i17 %Result, i17* %P + ret void +} + +define i32 @main(i32 %argc, i8** %argv) { + %i = bitcast i32 0 to i32 + call void @multiply(i32 %i, i32 -1, i32 255) + %P = getelementptr [20 x i17]* @ARRAY, i32 0, i32 0 + %X = load i17* %P + %result = sext i17 %X to i32 + %fmt = getelementptr [4 x i8]* @FORMAT, i32 0, i32 0 + call i32 (i8*,...)* @printf(i8* %fmt, i32 %result) + ret i32 0 +} + diff --git a/test/Integer/BitArith.ll b/test/Integer/BitArith.ll new file mode 100644 index 0000000000000..350a984994778 --- /dev/null +++ b/test/Integer/BitArith.ll @@ -0,0 +1,25 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +declare void @"foo"(i31 %i, i63 %j, i10 %k) + + +; foo test basic arith operations +define void @"foo"(i31 %i, i63 %j, i10 %k) +begin + %t1 = trunc i63 %j to i31 + %t2 = add i31 %t1, %i + %t20 = add i31 3, %t1 + %t3 = zext i31 %i to i63 + %t4 = sub i63 %t3, %j + %t40 = sub i63 %j, -100 + %t5 = mul i10 %k, 7 + %t6 = sdiv i63 %j, -2 + %t7 = udiv i63 %j, %t3 + %t8 = urem i10 %k, 10 + %t9 = srem i10 %k, -10 + ret void +end + diff --git a/test/Integer/BitBit.ll b/test/Integer/BitBit.ll new file mode 100644 index 0000000000000..420bbe5a5fca4 --- /dev/null +++ b/test/Integer/BitBit.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +declare void @"foo"(i31 %i, i33 %j) + + +; foo test basic bitwise operations +define void @"foo"(i31 %i, i33 %j) +begin + %t1 = trunc i33 %j to i31 + %t2 = and i31 %t1, %i + %t3 = sext i31 %i to i33 + %t4 = or i33 %t3, %j + %t5 = xor i31 %t2, 7 + %t6 = shl i31 %i, 2 + %t7 = trunc i31 %i to i8 + %t8 = shl i8 %t7, 3 + %t9 = lshr i33 %j, 31 + %t7z = zext i8 %t7 to i33 + %t10 = ashr i33 %j, %t7z + ret void +end + diff --git a/test/Integer/BitCast.ll b/test/Integer/BitCast.ll new file mode 100644 index 0000000000000..0bef0230e95a2 --- /dev/null +++ b/test/Integer/BitCast.ll @@ -0,0 +1,26 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +declare void @"foo"(i31 %i, i1280 %j, i1 %k, float %f) + + +; foo test basic arith operations +define void @"foo"(i31 %i, i1280 %j, i1 %k, float %f) +begin + %t1 = trunc i1280 %j to i31 + %t2 = trunc i31 %t1 to i1 + + %t3 = zext i31 %i to i1280 + %t4 = sext i31 %i to i1280 + + %t5 = fptoui float 0x400921FA00000000 to i31 + %t6 = uitofp i31 %t5 to double + + %t7 = fptosi double 0xC0934A456D5CFAAD to i28 + %t8 = sitofp i8 -1 to double + %t9 = uitofp i8 255 to double + + ret void +end + diff --git a/test/Integer/BitIcmp.ll b/test/Integer/BitIcmp.ll new file mode 100644 index 0000000000000..c22461224d026 --- /dev/null +++ b/test/Integer/BitIcmp.ll @@ -0,0 +1,43 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +define i55 @"simpleIcmp"(i55 %i0, i55 %j0) +begin + %t1 = icmp eq i55 %i0, %j0 + %t2 = icmp ne i55 %i0, %j0 + %t3 = icmp ult i55 %i0, %j0 + %t4 = icmp sgt i55 %i0, %j0 + %t5 = icmp ule i55 %i0, %j0 + %t6 = icmp sge i55 %i0, %j0 + + %t7 = icmp eq i55 %i0, 1098765432 + %t8 = icmp ne i55 %i0, -31415926 + + %t9 = icmp ult i55 10000, %j0 + %t10 = icmp sgt i55 -10000, %j0 + + ret i55 %i0 +end + +define i31 @"phitest"(i12 %i) +begin + +HasArg: + %n1 = add i12 1, %i + br label %Continue + +Continue: + %n = phi i12 [%n1, %HasArg], [%next, %Continue] + %next = add i12 1, %n + br label %Continue +end + +define i18 @"select"(i18 %i) +begin + %t = icmp sgt i18 %i, 100 + %k = select i1 %t, i18 %i, i18 999 + ret i18 %k +end + diff --git a/test/Integer/BitMem.ll b/test/Integer/BitMem.ll new file mode 100644 index 0000000000000..2c093bc9902ff --- /dev/null +++ b/test/Integer/BitMem.ll @@ -0,0 +1,29 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +declare void @"foo"() + + +; foo test basic arith operations +define void @"foo"() { + %t1 = malloc i31, i32 4 + %t2 = malloc i31, i32 7, align 1024 + %t3 = malloc [4 x i15] + + %idx = getelementptr [4 x i15]* %t3, i64 0, i64 2 + store i15 -123, i15* %idx + + free [4 x i15]* %t3 + free i31* %t2 + free i31* %t1 + + %t4 = alloca i12, i32 100 + free i12* %t4 + + %t5 = alloca i31 + store i31 -123, i31* %t5 + + free i31* %t5 + ret void +} diff --git a/test/Integer/BitMisc.ll b/test/Integer/BitMisc.ll new file mode 100644 index 0000000000000..8ce4d4add7dcb --- /dev/null +++ b/test/Integer/BitMisc.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +@MyVar = external global i19 +@MyIntList = external global { i39 *, i19 } + external global i19 ; i19*:0 + +@AConst = constant i19 -123 + +@AString = constant [4 x i8] c"test" + +@ZeroInit = global { [100 x i19 ], [40 x float ] } { [100 x i19] zeroinitializer, + [40 x float] zeroinitializer } + + +define i19 @"foo"(i19 %blah) +begin + store i19 5, i19* @MyVar + %idx = getelementptr { i39 *, i19 } * @MyIntList, i64 0, i32 1 + store i19 12, i19* %idx + ret i19 %blah +end diff --git a/test/Integer/BitPacked.ll b/test/Integer/BitPacked.ll new file mode 100644 index 0000000000000..d363a81e7344e --- /dev/null +++ b/test/Integer/BitPacked.ll @@ -0,0 +1,21 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +@foo1 = external global <4 x float>; +@foo2 = external global <2 x i10>; + + +define void @main() +{ + store <4 x float> <float 1.0, float 2.0, float 3.0, float 4.0>, <4 x float>* @foo1 + store <2 x i10> <i10 4, i10 4>, <2 x i10>* @foo2 + %l1 = load <4 x float>* @foo1 + %l2 = load <2 x i10>* @foo2 + %r1 = extractelement <2 x i10> %l2, i32 1 + %r2 = extractelement <2 x i10> %l2, i32 0 + %t = mul i10 %r1, %r2 + %r3 = insertelement <2 x i10> %l2, i10 %t, i32 0 + store <2 x i10> %r3, <2 x i10>* @foo2 + ret void +} diff --git a/test/Integer/a15.ll b/test/Integer/a15.ll new file mode 100644 index 0000000000000..5c9dc3b1be0d9 --- /dev/null +++ b/test/Integer/a15.ll @@ -0,0 +1,27 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t.ll +; RUN: diff %t.ll %s.out + +; test 15 bits +; +@b = constant i15 add(i15 32767, i15 1) +@c = constant i15 add(i15 32767, i15 32767) +@d = constant i15 add(i15 32760, i15 8) +@e = constant i15 sub(i15 0 , i15 1) +@f = constant i15 sub(i15 0 , i15 32767) +@g = constant i15 sub(i15 2 , i15 32767) + +@h = constant i15 shl(i15 1 , i15 15) +@i = constant i15 shl(i15 1 , i15 14) +@j = constant i15 lshr(i15 32767 , i15 14) +@l = constant i15 ashr(i15 32767 , i15 14) + +@n = constant i15 mul(i15 32767, i15 2) +@q = constant i15 mul(i15 -16383,i15 -3) +@r = constant i15 sdiv(i15 -1, i15 16383) +@s = constant i15 udiv(i15 -1, i15 16383) +@t = constant i15 srem(i15 1, i15 32766) +@u = constant i15 urem(i15 32767,i15 -1) +@o = constant i15 trunc( i16 32768 to i15 ) +@p = constant i15 trunc( i16 32767 to i15 ) +@v = constant i15 srem(i15 -1, i15 768) + diff --git a/test/Integer/a15.ll.out b/test/Integer/a15.ll.out new file mode 100644 index 0000000000000..e9eb800b0bdff --- /dev/null +++ b/test/Integer/a15.ll.out @@ -0,0 +1,20 @@ +; ModuleID = '<stdin>' +@b = constant i15 0 ; <i15*> [#uses=0] +@c = constant i15 -2 ; <i15*> [#uses=0] +@d = constant i15 0 ; <i15*> [#uses=0] +@e = constant i15 -1 ; <i15*> [#uses=0] +@f = constant i15 1 ; <i15*> [#uses=0] +@g = constant i15 3 ; <i15*> [#uses=0] +@h = constant i15 undef ; <i15*> [#uses=0] +@i = constant i15 -16384 ; <i15*> [#uses=0] +@j = constant i15 1 ; <i15*> [#uses=0] +@l = constant i15 -1 ; <i15*> [#uses=0] +@n = constant i15 -2 ; <i15*> [#uses=0] +@q = constant i15 16381 ; <i15*> [#uses=0] +@r = constant i15 0 ; <i15*> [#uses=0] +@s = constant i15 2 ; <i15*> [#uses=0] +@t = constant i15 1 ; <i15*> [#uses=0] +@u = constant i15 0 ; <i15*> [#uses=0] +@o = constant i15 0 ; <i15*> [#uses=0] +@p = constant i15 -1 ; <i15*> [#uses=0] +@v = constant i15 -1 ; <i15*> [#uses=0] diff --git a/test/Integer/a17.ll b/test/Integer/a17.ll new file mode 100644 index 0000000000000..db03e7c6be0d3 --- /dev/null +++ b/test/Integer/a17.ll @@ -0,0 +1,25 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t.ll +; RUN: diff %t.ll %s.out + +; test 17 bits +; +@b = constant i17 add(i17 131071, i17 1) +@c = constant i17 add(i17 131071, i17 131071) +@d = constant i17 add(i17 131064, i17 8) +@e = constant i17 sub(i17 0 , i17 1) +@f = constant i17 sub(i17 0 , i17 131071) +@g = constant i17 sub(i17 2 , i17 131071) + +@h = constant i17 shl(i17 1 , i17 17) +@i = constant i17 shl(i17 1 , i17 16) +@j = constant i17 lshr(i17 131071 , i17 16) +@l = constant i17 ashr(i17 131071 , i17 16) + +@n = constant i17 mul(i17 131071, i17 2) +@q = constant i17 sdiv(i17 -1, i17 65535) +@r = constant i17 udiv(i17 -1, i17 65535) +@s = constant i17 srem(i17 1, i17 131070) +@t = constant i17 urem(i17 131071,i17 -1) +@o = constant i17 trunc( i18 131072 to i17 ) +@p = constant i17 trunc( i18 131071 to i17 ) +@v = constant i17 srem(i17 -1, i17 15) diff --git a/test/Integer/a17.ll.out b/test/Integer/a17.ll.out new file mode 100644 index 0000000000000..d24f62b63c31d --- /dev/null +++ b/test/Integer/a17.ll.out @@ -0,0 +1,19 @@ +; ModuleID = '<stdin>' +@b = constant i17 0 ; <i17*> [#uses=0] +@c = constant i17 -2 ; <i17*> [#uses=0] +@d = constant i17 0 ; <i17*> [#uses=0] +@e = constant i17 -1 ; <i17*> [#uses=0] +@f = constant i17 1 ; <i17*> [#uses=0] +@g = constant i17 3 ; <i17*> [#uses=0] +@h = constant i17 undef ; <i17*> [#uses=0] +@i = constant i17 -65536 ; <i17*> [#uses=0] +@j = constant i17 1 ; <i17*> [#uses=0] +@l = constant i17 -1 ; <i17*> [#uses=0] +@n = constant i17 -2 ; <i17*> [#uses=0] +@q = constant i17 0 ; <i17*> [#uses=0] +@r = constant i17 2 ; <i17*> [#uses=0] +@s = constant i17 1 ; <i17*> [#uses=0] +@t = constant i17 0 ; <i17*> [#uses=0] +@o = constant i17 0 ; <i17*> [#uses=0] +@p = constant i17 -1 ; <i17*> [#uses=0] +@v = constant i17 -1 ; <i17*> [#uses=0] diff --git a/test/Integer/a31.ll b/test/Integer/a31.ll new file mode 100644 index 0000000000000..c0c571f630680 --- /dev/null +++ b/test/Integer/a31.ll @@ -0,0 +1,25 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t.ll +; RUN: diff %t.ll %s.out + +; test 31 bits +; +@b = constant i31 add(i31 2147483647, i31 1) +@c = constant i31 add(i31 2147483647, i31 2147483647) +@d = constant i31 add(i31 2147483640, i31 8) +@e = constant i31 sub(i31 0 , i31 1) +@f = constant i31 sub(i31 0 , i31 2147483647) +@g = constant i31 sub(i31 2 , i31 2147483647) + +@h = constant i31 shl(i31 1 , i31 31) +@i = constant i31 shl(i31 1 , i31 30) +@j = constant i31 lshr(i31 2147483647 , i31 30) +@l = constant i31 ashr(i31 2147483647 , i31 30) + +@n = constant i31 mul(i31 2147483647, i31 2) +@q = constant i31 sdiv(i31 -1, i31 1073741823) +@r = constant i31 udiv(i31 -1, i31 1073741823) +@s = constant i31 srem(i31 1, i31 2147483646) +@t = constant i31 urem(i31 2147483647,i31 -1) +@o = constant i31 trunc( i32 2147483648 to i31 ) +@p = constant i31 trunc( i32 2147483647 to i31 ) +@u = constant i31 srem(i31 -3, i31 17) diff --git a/test/Integer/a31.ll.out b/test/Integer/a31.ll.out new file mode 100644 index 0000000000000..fb8d250b4369f --- /dev/null +++ b/test/Integer/a31.ll.out @@ -0,0 +1,19 @@ +; ModuleID = '<stdin>' +@b = constant i31 0 ; <i31*> [#uses=0] +@c = constant i31 -2 ; <i31*> [#uses=0] +@d = constant i31 0 ; <i31*> [#uses=0] +@e = constant i31 -1 ; <i31*> [#uses=0] +@f = constant i31 1 ; <i31*> [#uses=0] +@g = constant i31 3 ; <i31*> [#uses=0] +@h = constant i31 undef ; <i31*> [#uses=0] +@i = constant i31 -1073741824 ; <i31*> [#uses=0] +@j = constant i31 1 ; <i31*> [#uses=0] +@l = constant i31 -1 ; <i31*> [#uses=0] +@n = constant i31 -2 ; <i31*> [#uses=0] +@q = constant i31 0 ; <i31*> [#uses=0] +@r = constant i31 2 ; <i31*> [#uses=0] +@s = constant i31 1 ; <i31*> [#uses=0] +@t = constant i31 0 ; <i31*> [#uses=0] +@o = constant i31 0 ; <i31*> [#uses=0] +@p = constant i31 -1 ; <i31*> [#uses=0] +@u = constant i31 -3 ; <i31*> [#uses=0] diff --git a/test/Integer/a33.ll b/test/Integer/a33.ll new file mode 100644 index 0000000000000..f328907b46087 --- /dev/null +++ b/test/Integer/a33.ll @@ -0,0 +1,26 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t.ll +; RUN: diff %t.ll %s.out + +; test 33 bits +; +@b = constant i33 add(i33 8589934591, i33 1) +@c = constant i33 add(i33 8589934591, i33 8589934591) +@d = constant i33 add(i33 8589934584, i33 8) +@e = constant i33 sub(i33 0 , i33 1) +@f = constant i33 sub(i33 0 , i33 8589934591) +@g = constant i33 sub(i33 2 , i33 8589934591) + +@h = constant i33 shl(i33 1 , i33 33) +@i = constant i33 shl(i33 1 , i33 32) +@j = constant i33 lshr(i33 8589934591 , i33 32) +@l = constant i33 ashr(i33 8589934591 , i33 32) + +@n = constant i33 mul(i33 8589934591, i33 2) +@q = constant i33 sdiv(i33 -1, i33 4294967295) +@r = constant i33 udiv(i33 -1, i33 4294967295) +@s = constant i33 srem(i33 1, i33 8589934590) +@t = constant i33 urem(i33 8589934591,i33 -1) +@o = constant i33 trunc( i34 8589934592 to i33 ) +@p = constant i33 trunc( i34 8589934591 to i33 ) +@u = constant i33 srem(i33 -1, i33 17) + diff --git a/test/Integer/a33.ll.out b/test/Integer/a33.ll.out new file mode 100644 index 0000000000000..f495d0dc9761c --- /dev/null +++ b/test/Integer/a33.ll.out @@ -0,0 +1,19 @@ +; ModuleID = '<stdin>' +@b = constant i33 0 ; <i33*> [#uses=0] +@c = constant i33 -2 ; <i33*> [#uses=0] +@d = constant i33 0 ; <i33*> [#uses=0] +@e = constant i33 -1 ; <i33*> [#uses=0] +@f = constant i33 1 ; <i33*> [#uses=0] +@g = constant i33 3 ; <i33*> [#uses=0] +@h = constant i33 undef ; <i33*> [#uses=0] +@i = constant i33 -4294967296 ; <i33*> [#uses=0] +@j = constant i33 1 ; <i33*> [#uses=0] +@l = constant i33 -1 ; <i33*> [#uses=0] +@n = constant i33 -2 ; <i33*> [#uses=0] +@q = constant i33 0 ; <i33*> [#uses=0] +@r = constant i33 2 ; <i33*> [#uses=0] +@s = constant i33 1 ; <i33*> [#uses=0] +@t = constant i33 0 ; <i33*> [#uses=0] +@o = constant i33 0 ; <i33*> [#uses=0] +@p = constant i33 -1 ; <i33*> [#uses=0] +@u = constant i33 -1 ; <i33*> [#uses=0] diff --git a/test/Integer/a63.ll b/test/Integer/a63.ll new file mode 100644 index 0000000000000..052ecd585002d --- /dev/null +++ b/test/Integer/a63.ll @@ -0,0 +1,25 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t.ll +; RUN: diff %t.ll %s.out + +; test 63 bits +; +@b = constant i63 add(i63 9223372036854775807, i63 1) +@c = constant i63 add(i63 9223372036854775807, i63 9223372036854775807) +@d = constant i63 add(i63 9223372036854775800, i63 8) +@e = constant i63 sub(i63 0 , i63 1) +@f = constant i63 sub(i63 0 , i63 9223372036854775807) +@g = constant i63 sub(i63 2 , i63 9223372036854775807) + +@h = constant i63 shl(i63 1 , i63 63) +@i = constant i63 shl(i63 1 , i63 62) +@j = constant i63 lshr(i63 9223372036854775807 , i63 62) +@l = constant i63 ashr(i63 9223372036854775807 , i63 62) + +@n = constant i63 mul(i63 9223372036854775807, i63 2) +@q = constant i63 sdiv(i63 -1, i63 4611686018427387903) +@u = constant i63 sdiv(i63 -1, i63 1) +@r = constant i63 udiv(i63 -1, i63 4611686018427387903) +@s = constant i63 srem(i63 3, i63 9223372036854775806) +@t = constant i63 urem(i63 9223372036854775807,i63 -1) +@o = constant i63 trunc( i64 9223372036854775808 to i63 ) +@p = constant i63 trunc( i64 9223372036854775807 to i63 ) diff --git a/test/Integer/a63.ll.out b/test/Integer/a63.ll.out new file mode 100644 index 0000000000000..c770608ed1e26 --- /dev/null +++ b/test/Integer/a63.ll.out @@ -0,0 +1,19 @@ +; ModuleID = '<stdin>' +@b = constant i63 0 ; <i63*> [#uses=0] +@c = constant i63 -2 ; <i63*> [#uses=0] +@d = constant i63 0 ; <i63*> [#uses=0] +@e = constant i63 -1 ; <i63*> [#uses=0] +@f = constant i63 1 ; <i63*> [#uses=0] +@g = constant i63 3 ; <i63*> [#uses=0] +@h = constant i63 undef ; <i63*> [#uses=0] +@i = constant i63 -4611686018427387904 ; <i63*> [#uses=0] +@j = constant i63 1 ; <i63*> [#uses=0] +@l = constant i63 -1 ; <i63*> [#uses=0] +@n = constant i63 -2 ; <i63*> [#uses=0] +@q = constant i63 0 ; <i63*> [#uses=0] +@u = constant i63 -1 ; <i63*> [#uses=0] +@r = constant i63 2 ; <i63*> [#uses=0] +@s = constant i63 1 ; <i63*> [#uses=0] +@t = constant i63 0 ; <i63*> [#uses=0] +@o = constant i63 0 ; <i63*> [#uses=0] +@p = constant i63 -1 ; <i63*> [#uses=0] diff --git a/test/Integer/a7.ll b/test/Integer/a7.ll new file mode 100644 index 0000000000000..1edb35f9104b7 --- /dev/null +++ b/test/Integer/a7.ll @@ -0,0 +1,31 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t.ll +; RUN: diff %t.ll %s.out + +; test 7 bits +; +@b = constant i7 add(i7 127, i7 1) +@q = constant i7 add(i7 -64, i7 -1) +@c = constant i7 add(i7 127, i7 127) +@d = constant i7 add(i7 120, i7 8) +@e = constant i7 sub(i7 0 , i7 1) +@f = constant i7 sub(i7 0 , i7 127) +@g = constant i7 sub(i7 2 , i7 127) +@r = constant i7 sub(i7 -3, i7 120) +@s = constant i7 sub(i7 -3, i7 -8) + +@h = constant i7 shl(i7 1 , i7 7) +@i = constant i7 shl(i7 1 , i7 6) +@j = constant i7 lshr(i7 127 , i7 6) +@l = constant i7 ashr(i7 127 , i7 6) +@m2= constant i7 ashr(i7 -1 , i7 3) + +@n = constant i7 mul(i7 127, i7 2) +@t = constant i7 mul(i7 -63, i7 -2) +@u = constant i7 mul(i7 -32, i7 2) +@v = constant i7 sdiv(i7 -1, i7 63) +@w = constant i7 udiv(i7 -1, i7 63) +@x = constant i7 srem(i7 1 , i7 126) +@y = constant i7 urem(i7 127, i7 -1) +@o = constant i7 trunc( i8 128 to i7 ) +@p = constant i7 trunc( i8 255 to i7 ) + diff --git a/test/Integer/a7.ll.out b/test/Integer/a7.ll.out new file mode 100644 index 0000000000000..a6ed28816fff6 --- /dev/null +++ b/test/Integer/a7.ll.out @@ -0,0 +1,24 @@ +; ModuleID = '<stdin>' +@b = constant i7 0 ; <i7*> [#uses=0] +@q = constant i7 63 ; <i7*> [#uses=0] +@c = constant i7 -2 ; <i7*> [#uses=0] +@d = constant i7 0 ; <i7*> [#uses=0] +@e = constant i7 -1 ; <i7*> [#uses=0] +@f = constant i7 1 ; <i7*> [#uses=0] +@g = constant i7 3 ; <i7*> [#uses=0] +@r = constant i7 5 ; <i7*> [#uses=0] +@s = constant i7 5 ; <i7*> [#uses=0] +@h = constant i7 undef ; <i7*> [#uses=0] +@i = constant i7 -64 ; <i7*> [#uses=0] +@j = constant i7 1 ; <i7*> [#uses=0] +@l = constant i7 -1 ; <i7*> [#uses=0] +@m2 = constant i7 -1 ; <i7*> [#uses=0] +@n = constant i7 -2 ; <i7*> [#uses=0] +@t = constant i7 -2 ; <i7*> [#uses=0] +@u = constant i7 -64 ; <i7*> [#uses=0] +@v = constant i7 0 ; <i7*> [#uses=0] +@w = constant i7 2 ; <i7*> [#uses=0] +@x = constant i7 1 ; <i7*> [#uses=0] +@y = constant i7 0 ; <i7*> [#uses=0] +@o = constant i7 0 ; <i7*> [#uses=0] +@p = constant i7 -1 ; <i7*> [#uses=0] diff --git a/test/Integer/a9.ll b/test/Integer/a9.ll new file mode 100644 index 0000000000000..711ec821c295f --- /dev/null +++ b/test/Integer/a9.ll @@ -0,0 +1,25 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t.ll +; RUN: diff %t.ll %s.out + +; test 9 bits +; +@b = constant i9 add(i9 511, i9 1) +@c = constant i9 add(i9 511, i9 511) +@d = constant i9 add(i9 504, i9 8) +@e = constant i9 sub(i9 0 , i9 1) +@f = constant i9 sub(i9 0 , i9 511) +@g = constant i9 sub(i9 2 , i9 511) + +@h = constant i9 shl(i9 1 , i9 9) +@i = constant i9 shl(i9 1 , i9 8) +@j = constant i9 lshr(i9 511 , i9 8) +@l = constant i9 ashr(i9 511 , i9 8) + +@n = constant i9 mul(i9 511, i9 2) +@q = constant i9 sdiv(i9 511, i9 2) +@r = constant i9 udiv(i9 511, i9 2) +@s = constant i9 urem(i9 511, i9 -1) +@t = constant i9 srem(i9 1, i9 510) +@o = constant i9 trunc( i10 512 to i9 ) +@p = constant i9 trunc( i10 511 to i9 ) + diff --git a/test/Integer/a9.ll.out b/test/Integer/a9.ll.out new file mode 100644 index 0000000000000..6525b9aad5782 --- /dev/null +++ b/test/Integer/a9.ll.out @@ -0,0 +1,18 @@ +; ModuleID = '<stdin>' +@b = constant i9 0 ; <i9*> [#uses=0] +@c = constant i9 -2 ; <i9*> [#uses=0] +@d = constant i9 0 ; <i9*> [#uses=0] +@e = constant i9 -1 ; <i9*> [#uses=0] +@f = constant i9 1 ; <i9*> [#uses=0] +@g = constant i9 3 ; <i9*> [#uses=0] +@h = constant i9 undef ; <i9*> [#uses=0] +@i = constant i9 -256 ; <i9*> [#uses=0] +@j = constant i9 1 ; <i9*> [#uses=0] +@l = constant i9 -1 ; <i9*> [#uses=0] +@n = constant i9 -2 ; <i9*> [#uses=0] +@q = constant i9 0 ; <i9*> [#uses=0] +@r = constant i9 255 ; <i9*> [#uses=0] +@s = constant i9 0 ; <i9*> [#uses=0] +@t = constant i9 1 ; <i9*> [#uses=0] +@o = constant i9 0 ; <i9*> [#uses=0] +@p = constant i9 -1 ; <i9*> [#uses=0] diff --git a/test/Integer/alignment_bt.ll b/test/Integer/alignment_bt.ll new file mode 100644 index 0000000000000..3a9d0511d7f70 --- /dev/null +++ b/test/Integer/alignment_bt.ll @@ -0,0 +1,21 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +@X = global i19 4, align 16 + +define i19 *@test() align 32 { + %X = alloca i19, align 4 + %Y = alloca i51, i32 42, align 16 + %Z = alloca i32, align 1 + ret i19 *%X +} + +define i19 *@test2() { + %X = malloc i19, align 4 + %Y = malloc i51, i32 42, align 16 + %Z = malloc i32, align 1 + ret i19 *%X +} + + diff --git a/test/Integer/basictest_bt.ll b/test/Integer/basictest_bt.ll new file mode 100644 index 0000000000000..5c98856d06b32 --- /dev/null +++ b/test/Integer/basictest_bt.ll @@ -0,0 +1,31 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +; Test "stripped" format where nothing is symbolic... this is how the bytecode +; format looks anyways (except for negative vs positive offsets)... +; +define void @void(i39, i39) { + add i39 0, 0 ; <i39>:3 [#uses=2] + sub i39 0, 4 ; <i39>:4 [#uses=2] + br label %5 + +; <label>:5 ; preds = %5, %2 + add i39 %0, %1 ; <i39>:6 [#uses=2] + sub i39 %6, %4 ; <i39>:7 [#uses=1] + icmp sle i39 %7, %3 ; <i1>:8 [#uses=1] + br i1 %8, label %9, label %5 + +; <label>:9 ; preds = %5 + add i39 %0, %1 ; <i39>:10 [#uses=0] + sub i39 %6, %4 ; <i39>:11 [#uses=1] + icmp sle i39 %11, %3 ; <i1>:12 [#uses=0] + ret void +} + +; This function always returns zero +define i39 @zarro() { +Startup: + ret i39 0 +} diff --git a/test/Integer/cfgstructures_bt.ll b/test/Integer/cfgstructures_bt.ll new file mode 100644 index 0000000000000..09aec1fed2195 --- /dev/null +++ b/test/Integer/cfgstructures_bt.ll @@ -0,0 +1,56 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +;; This is an irreducible flow graph + + +define void @"irreducible"(i1 %cond) +begin + br i1 %cond, label %X, label %Y + +X: + br label %Y +Y: + br label %X +end + +;; This is a pair of loops that share the same header + +define void @"sharedheader"(i1 %cond) +begin + br label %A +A: + br i1 %cond, label %X, label %Y + +X: + br label %A +Y: + br label %A +end + +;; This is a simple nested loop +define void @"nested"(i1 %cond1, i1 %cond2, i1 %cond3) +begin + br label %Loop1 + +Loop1: + br label %Loop2 + +Loop2: + br label %Loop3 + +Loop3: + br i1 %cond3, label %Loop3, label %L3Exit + +L3Exit: + br i1 %cond2, label %Loop2, label %L2Exit + +L2Exit: + br i1 %cond1, label %Loop1, label %L1Exit + +L1Exit: + ret void +end + diff --git a/test/Integer/constexpr_bt.ll b/test/Integer/constexpr_bt.ll new file mode 100644 index 0000000000000..fc8b06d4f4062 --- /dev/null +++ b/test/Integer/constexpr_bt.ll @@ -0,0 +1,84 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +; This testcase is for testing expressions constructed from +; constant values, including constant pointers to globals. +; + +;;------------------------------- +;; Test constant cast expressions +;;------------------------------- + +global i63 u0x00001 ; hexadecimal unsigned integer constants +global i63 s0x012312 ; hexadecimal signed integer constants + +@t2 = global i33* @t1 ;; Forward reference without cast +@t3 = global i33* bitcast (i33* @t1 to i33*) ;; Forward reference with cast +@t1 = global i33 4 ;; i32* @0 +@t4 = global i33** bitcast (i33** @t3 to i33**) ;; Cast of a previous cast +@t5 = global i33** @t3 ;; Reference to a previous cast +@t6 = global i33*** @t4 +@t7 = global float* inttoptr (i32 12345678 to float*) ;; Cast ordinary value to ptr +@t9 = global i33 fptosi (float sitofp (i33 8 to float) to i33) ;; Nested cast expression + + +global i32* bitcast (float* @4 to i32*) ;; Forward numeric reference +global float* @4 ;; Duplicate forward numeric reference +global float 0.0 + + +;;--------------------------------------------------- +;; Test constant getelementpr expressions for arrays +;;--------------------------------------------------- + +@array = constant [2 x i33] [ i33 12, i33 52 ] +@arrayPtr = global i33* getelementptr ([2 x i33]* @array, i64 0, i64 0) ;; i33* &@array[0][0] +@arrayPtr5 = global i33** getelementptr (i33** @arrayPtr, i64 5) ;; i33* &@arrayPtr[5] + +@somestr = constant [11x i8] c"hello world" +@char5 = global i8* getelementptr([11x i8]* @somestr, i64 0, i64 5) + +;; cast of getelementptr +@char8a = global i33* bitcast (i8* getelementptr([11x i8]* @somestr, i64 0, i64 8) to i33*) + +;; getelementptr containing casts +@char8b = global i8* getelementptr([11x i8]* @somestr, i64 sext (i8 0 to i64), i64 sext (i8 8 to i64)) + +;;------------------------------------------------------- +;; TODO: Test constant getelementpr expressions for structures +;;------------------------------------------------------- + +%SType = type { i33 , {float, {i8} }, i64 } ;; struct containing struct +%SAType = type { i33 , {[2x float], i64} } ;; struct containing array + +@S1 = global %SType* null ;; Global initialized to NULL +@S2c = constant %SType { i33 1, {float,{i8}} {float 2.0, {i8} {i8 3}}, i64 4} + +@S3c = constant %SAType { i33 1, {[2x float], i64} {[2x float] [float 2.0, float 3.0], i64 4} } + +@S1ptr = global %SType** @S1 ;; Ref. to global S1 +@S2 = global %SType* @S2c ;; Ref. to constant S2 +@S3 = global %SAType* @S3c ;; Ref. to constant S3 + + ;; Pointer to float (**@S1).1.0 +@S1fld1a = global float* getelementptr (%SType* @S2c, i64 0, i32 1, i32 0) + ;; Another ptr to the same! +@S1fld1b = global float* getelementptr (%SType* @S2c, i64 0, i32 1, i32 0) + +@S1fld1bptr = global float** @S1fld1b ;; Ref. to previous pointer + + ;; Pointer to i8 (**@S2).1.1.0 +@S2fld3 = global i8* getelementptr (%SType* @S2c, i64 0, i32 1, i32 1, i32 0) + + ;; Pointer to float (**@S2).1.0[0] +;@S3fld3 = global float* getelementptr (%SAType** @S3, i64 0, i64 0, i32 1, i32 0, i64 0) + +;;--------------------------------------------------------- +;; TODO: Test constant expressions for unary and binary operators +;;--------------------------------------------------------- + +;;--------------------------------------------------- + + diff --git a/test/Integer/constpointer_bt.ll b/test/Integer/constpointer_bt.ll new file mode 100644 index 0000000000000..6be9ec336a3cc --- /dev/null +++ b/test/Integer/constpointer_bt.ll @@ -0,0 +1,32 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +; This testcase is primarily used for testing that global values can be used as +; constant pointer initializers. This is tricky because they can be forward +; declared and involves an icky bytecode encoding. There is no meaningful +; optimization that can be performed on this file, it is just here to test +; assembly and disassembly. +; + + +@t3 = global i40 * @t1 ;; Forward reference +@t1 = global i40 4 +@t4 = global i40 ** @t3 ;; reference to reference + +@t2 = global i40 * @t1 + +global float * @2 ;; Forward numeric reference +global float * @2 ;; Duplicate forward numeric reference +global float 0.0 +global float * @2 ;; Numeric reference + + +@fptr = global void() * @f ;; Forward ref method defn +declare void @"f"() ;; External method + +@sptr1 = global [11x i8]* @somestr ;; Forward ref to a constant +@somestr = constant [11x i8] c"hello world" +@sptr2 = global [11x i8]* @somestr + + diff --git a/test/Integer/dg.exp b/test/Integer/dg.exp new file mode 100644 index 0000000000000..f2005891a59a8 --- /dev/null +++ b/test/Integer/dg.exp @@ -0,0 +1,3 @@ +load_lib llvm.exp + +RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,c,cpp}]] diff --git a/test/Integer/fold-fpcast_bt.ll b/test/Integer/fold-fpcast_bt.ll new file mode 100644 index 0000000000000..8e5f8386d7753 --- /dev/null +++ b/test/Integer/fold-fpcast_bt.ll @@ -0,0 +1,33 @@ +; RUN: llvm-as < %s | llvm-dis | not grep bitcast + +define i60 @test1() { + ret i60 fptoui(float 0x400D9999A0000000 to i60) +} + +define float @test2() { + ret float uitofp(i60 17 to float) +} + +define i64 @test3() { + ret i64 bitcast (double 0x400921FB4D12D84A to i64) +} + +define double @test4() { + ret double bitcast (i64 42 to double) +} + +define i30 @test5() { + ret i30 fptoui(float 0x400D9999A0000000 to i30) +} + +define float @test6() { + ret float uitofp(i30 17 to float) +} + +define i64 @test7() { + ret i64 bitcast (double 0x400921FB4D12D84A to i64) +} + +define double @test8() { + ret double bitcast (i64 42 to double) +} diff --git a/test/Integer/forwardreftest_bt.ll b/test/Integer/forwardreftest_bt.ll new file mode 100644 index 0000000000000..5d73eff2f5a9e --- /dev/null +++ b/test/Integer/forwardreftest_bt.ll @@ -0,0 +1,33 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + %myty = type i55 + %myfn = type float (i55,double,i55,i16) + type i55(%myfn*) + type i55(i55) + type i55(i55(i55)*) + + %thisfuncty = type i55 (i55) * + +declare void @F(%thisfuncty, %thisfuncty, %thisfuncty) + +; This function always returns zero +define i55 @zarro(i55 %Func) +begin +Startup: + add i55 0, 10 + ret i55 0 +end + +define i55 @test(i55) +begin + call void @F(%thisfuncty @zarro, %thisfuncty @test, %thisfuncty @foozball) + ret i55 0 +end + +define i55 @foozball(i55) +begin + ret i55 0 +end + diff --git a/test/Integer/globalredefinition_bt.ll b/test/Integer/globalredefinition_bt.ll new file mode 100644 index 0000000000000..b369b2a5d800c --- /dev/null +++ b/test/Integer/globalredefinition_bt.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +; Test forward references and redefinitions of globals + +@A = global i17* @B +@B = global i17 7 + +declare void @X() + +declare void @X() + +define void @X() { + ret void +} + +declare void @X() diff --git a/test/Integer/globalvars_bt.ll b/test/Integer/globalvars_bt.ll new file mode 100644 index 0000000000000..5c43185574d6e --- /dev/null +++ b/test/Integer/globalvars_bt.ll @@ -0,0 +1,26 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + + +@MyVar = external global i27 +@MyIntList = external global { \2 *, i27 } + external global i27 ; i27*:0 + +@AConst = constant i27 123 + +@AString = constant [4 x i8] c"test" + +@ZeroInit = global { [100 x i27 ], [40 x float ] } { [100 x i27] zeroinitializer, + [40 x float] zeroinitializer } + + +define i27 @"foo"(i27 %blah) +begin + store i27 5, i27 *@MyVar + %idx = getelementptr { \2 *, i27 } * @MyIntList, i64 0, i32 1 + store i27 12, i27* %idx + ret i27 %blah +end + diff --git a/test/Integer/indirectcall2_bt.ll b/test/Integer/indirectcall2_bt.ll new file mode 100644 index 0000000000000..5b7c68df22c20 --- /dev/null +++ b/test/Integer/indirectcall2_bt.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +define i63 @"test"(i63 %X) +begin + ret i63 %X +end + +define i63 @"fib"(i63 %n) +begin + %T = icmp ult i63 %n, 2 ; {i1}:0 + br i1 %T, label %BaseCase, label %RecurseCase + +RecurseCase: + %result = call i63 @test(i63 %n) + br label %BaseCase + +BaseCase: + %X = phi i63 [1, %0], [2, %RecurseCase] + ret i63 %X +end + diff --git a/test/Integer/indirectcall_bt.ll b/test/Integer/indirectcall_bt.ll new file mode 100644 index 0000000000000..d586fca821f2e --- /dev/null +++ b/test/Integer/indirectcall_bt.ll @@ -0,0 +1,52 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +declare i32 @"atoi"(i8 *) + +define i63 @"fib"(i63 %n) +begin + icmp ult i63 %n, 2 ; {i1}:1 + br i1 %1, label %BaseCase, label %RecurseCase + +BaseCase: + ret i63 1 + +RecurseCase: + %n2 = sub i63 %n, 2 + %n1 = sub i63 %n, 1 + %f2 = call i63(i63) * @fib(i63 %n2) + %f1 = call i63(i63) * @fib(i63 %n1) + %result = add i63 %f2, %f1 + ret i63 %result +end + +define i63 @"realmain"(i32 %argc, i8 ** %argv) +begin + icmp eq i32 %argc, 2 ; {i1}:1 + br i1 %1, label %HasArg, label %Continue +HasArg: + ; %n1 = atoi(argv[1]) + %n1 = add i32 1, 1 + br label %Continue + +Continue: + %n = phi i32 [%n1, %HasArg], [1, %0] + %N = sext i32 %n to i63 + %F = call i63(i63) *@fib(i63 %N) + ret i63 %F +end + +define i63 @"trampoline"(i63 %n, i63(i63)* %fibfunc) +begin + %F = call i63(i63) *%fibfunc(i63 %n) + ret i63 %F +end + +define i32 @"main"() +begin + %Result = call i63 @trampoline(i63 10, i63(i63) *@fib) + %Result2 = trunc i63 %Result to i32 + ret i32 %Result2 +end diff --git a/test/Integer/instructions_bt.ll b/test/Integer/instructions_bt.ll new file mode 100644 index 0000000000000..7ca5890352792 --- /dev/null +++ b/test/Integer/instructions_bt.ll @@ -0,0 +1,26 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +define i39 @test_extractelement(<4 x i39> %V) { + %R = extractelement <4 x i39> %V, i32 1 + ret i39 %R +} + +define <4 x i39> @test_insertelement(<4 x i39> %V) { + %R = insertelement <4 x i39> %V, i39 0, i32 0 + ret <4 x i39> %R +} + +define <4 x i39> @test_shufflevector_u(<4 x i39> %V) { + %R = shufflevector <4 x i39> %V, <4 x i39> %V, + <4 x i32> < i32 1, i32 undef, i32 7, i32 2> + ret <4 x i39> %R +} + +define <4 x float> @test_shufflevector_f(<4 x float> %V) { + %R = shufflevector <4 x float> %V, <4 x float> undef, + <4 x i32> < i32 1, i32 undef, i32 7, i32 2> + ret <4 x float> %R +} diff --git a/test/Integer/newcasts_bt.ll b/test/Integer/newcasts_bt.ll new file mode 100644 index 0000000000000..e2eee4f7f12e5 --- /dev/null +++ b/test/Integer/newcasts_bt.ll @@ -0,0 +1,28 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +define void @"NewCasts" (i17 %x) { + %a = zext i17 %x to i32 + %b = sext i17 %x to i32 + %c = trunc i17 %x to i8 + %d = uitofp i17 %x to float + %e = sitofp i17 %x to double + %f = fptoui float %d to i17 + %g = fptosi double %e to i17 + %i = fpext float %d to double + %j = fptrunc double %i to float + %k = bitcast i32 %a to float + %l = inttoptr i17 %x to i32* + %m = ptrtoint i32* %l to i64 + ret void +} + + +define i17 @"ZExtConst" () { + ret i17 trunc ( i32 zext ( i17 42 to i32) to i17 ) +} + +define i17 @"SExtConst" () { + ret i17 trunc (i32 sext (i17 42 to i32) to i17 ) +} diff --git a/test/Integer/opaquetypes_bt.ll b/test/Integer/opaquetypes_bt.ll new file mode 100644 index 0000000000000..5771342c97a6b --- /dev/null +++ b/test/Integer/opaquetypes_bt.ll @@ -0,0 +1,58 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +; This test case is used to test opaque type processing, forward references, +; and recursive types. Oh my. +; + +%SQ1 = type { i31 } +%SQ2 = type { %ITy } +%ITy = type i31 + + +%CCC = type { \2* } +%BBB = type { \2*, \2 * } +%AAA = type { \2*, {\2*}, [12x{\2*}], {[1x{\2*}]} } + +; Test numbered types +type %CCC +type %BBB +%Composite = type { %0, %1 } + +; Test simple opaque type resolution... +%i31ty = type i31 + +; Perform a simple forward reference... +%ty1 = type { %ty2, i31 } +%ty2 = type float + +; Do a recursive type... +%list = type { %list * } +%listp = type { %listp } * + +; Do two mutually recursive types... +%TyA = type { %ty2, %TyB * } +%TyB = type { double, %TyA * } + +; A complex recursive type... +%Y = type { {%Y*}, %Y* } +%Z = type { { %Z * }, [12x%Z] *, {{{ %Z * }}} } + +; More ridiculous test cases... +%A = type [ 123x %A*] +%M = type %M (%M, %M) * +%P = type %P* + +; Recursive ptrs +%u = type %v* +%v = type %u* + +; Test the parser for unnamed recursive types... +%P1 = type \1 * +%Y1 = type { { \3 * }, \2 * } +%Z1 = type { { \3 * }, [12x\3] *, { { { \5 * } } } } + + + + diff --git a/test/Integer/packed_bt.ll b/test/Integer/packed_bt.ll new file mode 100644 index 0000000000000..5a2045d6a296c --- /dev/null +++ b/test/Integer/packed_bt.ll @@ -0,0 +1,16 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +@foo1 = external global <4 x float>; +@foo2 = external global <2 x i10>; + + +define void @main() +{ + store <4 x float> <float 1.0, float 2.0, float 3.0, float 4.0>, <4 x float>* @foo1 + store <2 x i10> <i10 4, i10 4>, <2 x i10>* @foo2 + %l1 = load <4 x float>* @foo1 + %l2 = load <2 x i10>* @foo2 + ret void +} diff --git a/test/Integer/packed_struct_bt.ll b/test/Integer/packed_struct_bt.ll new file mode 100644 index 0000000000000..a4d01e7d84b5c --- /dev/null +++ b/test/Integer/packed_struct_bt.ll @@ -0,0 +1,33 @@ +; RUN: llvm-as < %s | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll +; RUN: not grep cast %t2.ll +; RUN: grep {\\}>} %t2.ll +; END. + +%struct.anon = type <{ i8, i35, i35, i35 }> +@foos = external global %struct.anon +@bara = external global [2 x <{ i35, i8 }>] + +;initializers should work for packed and non-packed the same way +@E1 = global <{i8, i35, i35}> <{i8 1, i35 2, i35 3}> +@E2 = global {i8, i35, i35} {i8 4, i35 5, i35 6} + + +define i35 @main() +{ + %tmp = load i35* getelementptr (%struct.anon* @foos, i32 0, i32 1) ; <i35> [#uses=1] + %tmp3 = load i35* getelementptr (%struct.anon* @foos, i32 0, i32 2) ; <i35> [#uses=1] + %tmp6 = load i35* getelementptr (%struct.anon* @foos, i32 0, i32 3) ; <i35> [#uses=1] + %tmp4 = add i35 %tmp3, %tmp ; <i35> [#uses=1] + %tmp7 = add i35 %tmp4, %tmp6 ; <i35> [#uses=1] + ret i35 %tmp7 +} + +define i35 @bar() { +entry: + %tmp = load i35* getelementptr([2 x <{ i35, i8 }>]* @bara, i32 0, i32 0, i32 0 ) ; <i35> [#uses=1] + %tmp4 = load i35* getelementptr ([2 x <{ i35, i8 }>]* @bara, i32 0, i32 1, i32 0) ; <i35> [#uses=1] + %tmp5 = add i35 %tmp4, %tmp ; <i35> [#uses=1] + ret i35 %tmp5 +} diff --git a/test/Integer/paramattrs_bt.ll b/test/Integer/paramattrs_bt.ll new file mode 100644 index 0000000000000..47ef7539b3e3e --- /dev/null +++ b/test/Integer/paramattrs_bt.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +%ZFunTy = type i33(i8 zeroext) +%SFunTy = type i33(i8 signext) + +declare i16 @"test"(i16 signext %arg) signext +declare i8 @"test2" (i16 zeroext %a2) zeroext + + +define i33 @main(i33 %argc, i8 **%argv) { + %val = trunc i33 %argc to i16 + %res = call i16 (i16 signext) signext *@test(i16 signext %val) signext + %two = add i16 %res, %res + %res2 = call i8 @test2(i16 %two zeroext) zeroext + %retVal = sext i16 %two to i33 + ret i33 %retVal +} diff --git a/test/Integer/properties_bt.ll b/test/Integer/properties_bt.ll new file mode 100644 index 0000000000000..f24ddc2e80ef2 --- /dev/null +++ b/test/Integer/properties_bt.ll @@ -0,0 +1,9 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +target datalayout = "e-p:32:32" +target triple = "proc-vend-sys" +deplibs = [ "m", "c" ] + diff --git a/test/Integer/prototype_bt.ll b/test/Integer/prototype_bt.ll new file mode 100644 index 0000000000000..2236e8bf38fcc --- /dev/null +++ b/test/Integer/prototype_bt.ll @@ -0,0 +1,13 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +declare i31 @"bar"(i31 %in) + +define i31 @"foo"(i31 %blah) +begin + %xx = call i31 @bar(i31 %blah) + ret i31 %xx +end + diff --git a/test/Integer/recursivetype_bt.ll b/test/Integer/recursivetype_bt.ll new file mode 100644 index 0000000000000..d5ce3f5dd40d5 --- /dev/null +++ b/test/Integer/recursivetype_bt.ll @@ -0,0 +1,108 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +; This file contains the output from the following compiled C code: +; typedef struct list { +; struct list *Next; +; i32 Data; +; } list; +; +; // Iterative insert fn +; void InsertIntoListTail(list **L, i32 Data) { +; while (*L) +; L = &(*L)->Next; +; *L = (list*)malloc(sizeof(list)); +; (*L)->Data = Data; +; (*L)->Next = 0; +; } +; +; // Recursive list search fn +; list *FindData(list *L, i32 Data) { +; if (L == 0) return 0; +; if (L->Data == Data) return L; +; return FindData(L->Next, Data); +; } +; +; void DoListStuff() { +; list *MyList = 0; +; InsertIntoListTail(&MyList, 100); +; InsertIntoListTail(&MyList, 12); +; InsertIntoListTail(&MyList, 42); +; InsertIntoListTail(&MyList, 1123); +; InsertIntoListTail(&MyList, 1213); +; +; if (FindData(MyList, 75)) foundIt(); +; if (FindData(MyList, 42)) foundIt(); +; if (FindData(MyList, 700)) foundIt(); +; } + +%list = type { %list*, i36 } + +declare i8 *@"malloc"(i32) + +;;********************** +;;********************** + +define void @"InsertIntoListTail"(%list** %L, i36 %Data) +begin +bb1: + %reg116 = load %list** %L ;;<%list*> + %cast1004 = inttoptr i64 0 to %list* ;;<%list*> + %cond1000 = icmp eq %list* %reg116, %cast1004 ;;<i1> + br i1 %cond1000, label %bb3, label %bb2 + +bb2: + %reg117 = phi %list** [ %reg118, %bb2 ], [ %L, %bb1 ] ;;<%list**> + %cast1010 = bitcast %list** %reg117 to %list*** ;;<%list***> + %reg118 = load %list*** %cast1010 ;;<%list**> + %reg109 = load %list** %reg118 ;;<%list*> + %cast1005 = inttoptr i64 0 to %list* ;;<%list*> + %cond1001 = icmp ne %list* %reg109, %cast1005 ;;<i1> + br i1 %cond1001, label %bb2, label %bb3 + +bb3: + %reg119 = phi %list** [ %reg118, %bb2 ], [ %L, %bb1 ] ;;<%list**> + %cast1006 = bitcast %list** %reg119 to i8** ;;<i8**> + %reg111 = call i8* @malloc(i32 16) ;;<i8*> + store i8* %reg111, i8** %cast1006 ;;<void> + %reg112 = ptrtoint i8* %reg111 to i64 + %reg1002 = add i64 %reg112, 8 + %reg1005 = inttoptr i64 %reg1002 to i8* ;;<i8*> + %cast1008 = bitcast i8* %reg1005 to i36* ;;<i36*> + store i36 %Data, i36* %cast1008 ;;<void> + %cast1003 = inttoptr i64 0 to i64* ;;<i64*> + %cast1009 = bitcast i8* %reg111 to i64** ;;<i64**> + store i64* %cast1003, i64** %cast1009 ;;<void> + ret void +end + +define %list* @"FindData"(%list* %L, i36 %Data) +begin +bb1: + br label %bb2 + +bb2: + %reg115 = phi %list* [ %reg116, %bb6 ], [ %L, %bb1 ] ;;<%list*> + %cast1014 = inttoptr i64 0 to %list* ;;<%list*> + %cond1011 = icmp ne %list* %reg115, %cast1014 ;;<i1> + br i1 %cond1011, label %bb4, label %bb3 + +bb3: + ret %list* null + +bb4: + %idx = getelementptr %list* %reg115, i64 0, i32 1 ;;<i36> + %reg111 = load i36* %idx + %cond1013 = icmp ne i36 %reg111, %Data ;;<i1> + br i1 %cond1013, label %bb6, label %bb5 + +bb5: + ret %list* %reg115 + +bb6: + %idx2 = getelementptr %list* %reg115, i64 0, i32 0 ;;<%list*> + %reg116 = load %list** %idx2 + br label %bb2 +end diff --git a/test/Integer/simplecalltest_bt.ll b/test/Integer/simplecalltest_bt.ll new file mode 100644 index 0000000000000..45dc0f1aaca29 --- /dev/null +++ b/test/Integer/simplecalltest_bt.ll @@ -0,0 +1,28 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +%FunTy = type i31(i31) + + +define void @"invoke"(%FunTy *%x) +begin + %foo = call %FunTy* %x(i31 123) + ret void +end + +define i31 @"main"(i31 %argc, i8 **%argv, i8 **%envp) +begin + %retval = call i31 (i31) *@test(i31 %argc) + %two = add i31 %retval, %retval + %retval2 = call i31 @test(i31 %argc) + + %two2 = add i31 %two, %retval2 + call void @invoke (%FunTy* @test) + ret i31 %two2 +end + +define i31 @"test"(i31 %i0) +begin + ret i31 %i0 +end diff --git a/test/Integer/small_bt.ll b/test/Integer/small_bt.ll new file mode 100644 index 0000000000000..00fcace0fbe6f --- /dev/null +++ b/test/Integer/small_bt.ll @@ -0,0 +1,13 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +%x = type i19 + + +define i19 @"foo"(i19 %in) +begin +label: + ret i19 2 +end + diff --git a/test/Integer/testalloca_bt.ll b/test/Integer/testalloca_bt.ll new file mode 100644 index 0000000000000..e8e73c50878d2 --- /dev/null +++ b/test/Integer/testalloca_bt.ll @@ -0,0 +1,28 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +%inners = type {float, {i8 } } +%struct = type { i33 , {float, {i8 } } , i64 } + + +define i33 @testfunction(i33 %i0, i33 %j0) +begin + alloca i8, i32 5 + %ptr = alloca i33 ; yields {i33*}:ptr + store i33 3, i33* %ptr ; yields {void} + %val = load i33* %ptr ; yields {i33}:val = i33 %3 + + %sptr = alloca %struct ; yields {%struct*}:sptr + %nsptr = getelementptr %struct * %sptr, i64 0, i32 1 ; yields {inners*}:nsptr + %ubsptr = getelementptr %inners * %nsptr, i64 0, i32 1 ; yields {{i8}*}:ubsptr + %idx = getelementptr {i8} * %ubsptr, i64 0, i32 0 + store i8 4, i8* %idx + + %fptr = getelementptr %struct * %sptr, i64 0, i32 1, i32 0 ; yields {float*}:fptr + store float 4.0, float * %fptr + + ret i33 3 +end + diff --git a/test/Integer/testarith_bt.ll b/test/Integer/testarith_bt.ll new file mode 100644 index 0000000000000..0820399a30929 --- /dev/null +++ b/test/Integer/testarith_bt.ll @@ -0,0 +1,21 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +define i31 @"simpleArith"(i31 %i0, i31 %j0) +begin + %t1 = add i31 %i0, %j0 + %t2 = sub i31 %i0, %j0 + %t3 = mul i31 %t1, %t2 + %t4 = udiv i31 %t1, %t2 + %t5 = sdiv i31 %t1, %t2 + %t6 = urem i31 %t1, %t2 + %t7 = srem i31 %t1, %t2 + %t8 = shl i31 %t1, 9 + %t9 = lshr i31 %t1, 9 + %t10= ashr i31 %t1, 9 + %f1 = sitofp i31 %t1 to float + %f2 = fdiv float 4.0, %f1 + ret i31 %t3 +end diff --git a/test/Integer/testconstants_bt.ll b/test/Integer/testconstants_bt.ll new file mode 100644 index 0000000000000..8ca49cf524267 --- /dev/null +++ b/test/Integer/testconstants_bt.ll @@ -0,0 +1,32 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +@somestr = constant [11x i8] c"hello world" +@array = constant [2 x i55] [ i55 12, i55 52 ] + constant { i55, i55 } { i55 4, i55 3 } + + +define [2 x i55]* @testfunction(i55 %i0, i55 %j0) +begin + ret [2x i55]* @array +end + +define i8* @otherfunc(i55, double) +begin + %somestr = getelementptr [11x i8]* @somestr, i64 0, i64 0 + ret i8* %somestr +end + +define i8* @yetanotherfunc(i55, double) +begin + ret i8* null ; Test null +end + +define i55 @negativeUnsigned() { + ret i55 -1 +} + +define i55 @largeSigned() { + ret i55 3900000000 +} diff --git a/test/Integer/testicmp_bt.ll b/test/Integer/testicmp_bt.ll new file mode 100644 index 0000000000000..40a2465b5a4c3 --- /dev/null +++ b/test/Integer/testicmp_bt.ll @@ -0,0 +1,23 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +define i31 @"simpleIcmp"(i31 %i0, i31 %j0) +begin + %t1 = icmp eq i31 %i0, %j0 + %t2 = icmp ne i31 %i0, %j0 + %t3 = icmp ult i31 %i0, %j0 + %t4 = icmp sgt i31 %i0, %j0 + %t5 = icmp ule i31 %i0, %j0 + %t6 = icmp sge i31 %i0, %j0 + + %t7 = icmp eq i31 %i0, 1098765432 + %t8 = icmp ne i31 %i0, -31415926 + + %t9 = icmp ult i31 10000, %j0 + %t10 = icmp sgt i31 -10000, %j0 + + + ret i31 %i0 +end diff --git a/test/Integer/testlogical_bt.ll b/test/Integer/testlogical_bt.ll new file mode 100644 index 0000000000000..a2c927d5d7f3c --- /dev/null +++ b/test/Integer/testlogical_bt.ll @@ -0,0 +1,13 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +define i31 @"simpleAdd"(i31 %i0, i31 %j0) +begin + %t1 = xor i31 %i0, %j0 + %t2 = or i31 %i0, %j0 + %t3 = and i31 %t1, %t2 + ret i31 %t3 +end + diff --git a/test/Integer/testlogical_new_bt.ll b/test/Integer/testlogical_new_bt.ll new file mode 100644 index 0000000000000..49a26dc07b070 --- /dev/null +++ b/test/Integer/testlogical_new_bt.ll @@ -0,0 +1,15 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +define i31 @"simpleAdd"(i31 %i0, i31 %j0) +begin + %t1 = xor i31 %i0, %j0 + %t2 = or i31 %i0, %j0 + %t3 = and i31 %t1, %t2 + %t4 = shl i31 %i0, 2 + %t5 = ashr i31 %i0, 2 + %t6 = lshr i31 %j0, 22 + ret i31 %t3 +end diff --git a/test/Integer/testmemory_bt.ll b/test/Integer/testmemory_bt.ll new file mode 100644 index 0000000000000..e503c56a33e68 --- /dev/null +++ b/test/Integer/testmemory_bt.ll @@ -0,0 +1,45 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +%struct = type { i31 , {float, {i9 } } , i64 } +%complexty = type {i31, {[4 x i9 *], float}, double} + + +define i31 @"main"() +begin + call i31 @testfunction(i64 0, i64 1) + ret i31 0 +end + +define i31 @"testfunction"(i64 %i0, i64 %j0) +begin + %array0 = malloc [4 x i9] ; yields {[4 x i9]*}:array0 + %size = add i32 2, 2 ; yields {i31}:size = i31 %4 + %array1 = malloc i9, i32 4 ; yields {i9*}:array1 + %array2 = malloc i9, i32 %size ; yields {i9*}:array2 + + %idx = getelementptr [4 x i9]* %array0, i64 0, i64 2 + store i9 123, i9* %idx + free [4x i9]* %array0 + free i9* %array1 + free i9* %array2 + + + %aa = alloca %complexty, i32 5 + %idx2 = getelementptr %complexty* %aa, i64 %i0, i32 1, i32 0, i64 %j0 + store i9 *null, i9** %idx2 + + %ptr = alloca i31 ; yields {i31*}:ptr + store i31 3, i31* %ptr ; yields {void} + %val = load i31* %ptr ; yields {i31}:val = i31 %3 + + %sptr = alloca %struct ; yields {%struct*}:sptr + %ubsptr = getelementptr %struct * %sptr, i64 0, i32 1, i32 1 ; yields {{i9}*}:ubsptr + %idx3 = getelementptr {i9} * %ubsptr, i64 0, i32 0 + store i9 4, i9* %idx3 + + ret i31 3 +end + diff --git a/test/Integer/testswitch_bt.ll b/test/Integer/testswitch_bt.ll new file mode 100644 index 0000000000000..bf7cdc510d61a --- /dev/null +++ b/test/Integer/testswitch_bt.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + %i35 = type i35 + + +define i35 @"squared"(%i35 %i0) +begin + switch i35 %i0, label %Default [ + i35 1, label %Case1 + i35 2, label %Case2 + i35 4, label %Case4 ] + +Default: + ret i35 -1 ; Unrecognized input value + +Case1: + ret i35 1 +Case2: + ret i35 4 +Case4: + ret i35 16 +end diff --git a/test/Integer/testvarargs_bt.ll b/test/Integer/testvarargs_bt.ll new file mode 100644 index 0000000000000..a645c84ef3e46 --- /dev/null +++ b/test/Integer/testvarargs_bt.ll @@ -0,0 +1,14 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +declare i31 @"printf"(i8*, ...) ;; Prototype for: i32 __builtin_printf(const char*, ...) + +define i31 @"testvarar"() +begin + call i31(i8*, ...) *@printf(i8 * null, i31 12, i8 42); + ret i31 %1 +end + + diff --git a/test/Integer/undefined_bt.ll b/test/Integer/undefined_bt.ll new file mode 100644 index 0000000000000..7eba59039b956 --- /dev/null +++ b/test/Integer/undefined_bt.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + +@X = global i31 undef + + +declare i32 @"atoi"(i8 *) + +define i63 @test() { + ret i63 undef +} + +define i31 @test2() { + %X = add i31 undef, 1 + ret i31 %X +} diff --git a/test/Integer/unreachable_bt.ll b/test/Integer/unreachable_bt.ll new file mode 100644 index 0000000000000..cb65d4b9ec8a4 --- /dev/null +++ b/test/Integer/unreachable_bt.ll @@ -0,0 +1,16 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + + + +declare void @bar() + +define i9 @foo() { ;; Calling this function has undefined behavior + unreachable +} + +define double @xyz() { + call void @bar() + unreachable ;; Bar must not return. +} diff --git a/test/Integer/varargs_bt.ll b/test/Integer/varargs_bt.ll new file mode 100644 index 0000000000000..e740fd36b47e1 --- /dev/null +++ b/test/Integer/varargs_bt.ll @@ -0,0 +1,23 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll; +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +; Demonstrate all of the variable argument handling intrinsic functions plus +; the va_arg instruction. + +declare void @llvm.va_start(i8** %ap) +declare void @llvm.va_copy(i8** %aq, i8** %ap) +declare void @llvm.va_end(i8** %ap) + +define i33 @test(i33 %X, ...) { + %ap = alloca i8* + call void @llvm.va_start(i8** %ap) + %tmp = va_arg i8** %ap, i33 + + %aq = alloca i8* + call void @llvm.va_copy(i8** %aq, i8** %ap) + call void @llvm.va_end(i8** %aq) + + call void @llvm.va_end(i8** %ap) + ret i33 %tmp +} diff --git a/test/Integer/varargs_new_bt.ll b/test/Integer/varargs_new_bt.ll new file mode 100644 index 0000000000000..59bb3f2969ef8 --- /dev/null +++ b/test/Integer/varargs_new_bt.ll @@ -0,0 +1,32 @@ +; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + +; Demonstrate all of the variable argument handling intrinsic functions plus +; the va_arg instruction. + +declare void @llvm.va_start(i8**) +declare void @llvm.va_copy(i8**, i8*) +declare void @llvm.va_end(i8**) + +define i31 @test(i31 %X, ...) { + ; Allocate two va_list items. On this target, va_list is of type i8* + %ap = alloca i8* ; <i8**> [#uses=4] + %aq = alloca i8* ; <i8**> [#uses=2] + + ; Initialize variable argument processing + call void @llvm.va_start(i8** %ap) + + ; Read a single integer argument + %tmp = va_arg i8** %ap, i31 ; <i31> [#uses=1] + + ; Demonstrate usage of llvm.va_copy and llvm_va_end + %apv = load i8** %ap ; <i8*> [#uses=1] + call void @llvm.va_copy(i8** %aq, i8* %apv) + call void @llvm.va_end(i8** %aq) + + ; Stop processing of arguments. + call void @llvm.va_end(i8** %ap) + ret i31 %tmp + +} |