Fix handling of relative paths in thin archives.
[oota-llvm.git] / test / Bitcode / binaryIntInstructions.3.2.ll
index b08501ca932ace012b243bd3988251d2c1f54933..e484ff129a73d6462437ce35b68ce43e9d66b8f9 100644 (file)
-; RUN:  llvm-dis < %s.bc| FileCheck %s\r
-\r
-; BinaryIntOperation.3.2.ll.bc was generated by passing this file to llvm-as-3.2.\r
-; The test checks that LLVM does not misread binary integer instructions from\r
-; older bitcode files.\r
-\r
-define void @add(i1 %x1, i8 %x2 ,i16 %x3, i32 %x4, i64 %x5){\r
-entry:\r
-; CHECK: %res1 = add i1 %x1, %x1\r
-  %res1 = add i1 %x1, %x1\r
-\r
-; CHECK-NEXT: %res2 = add i8 %x2, %x2\r
-  %res2 = add i8 %x2, %x2\r
-\r
-; CHECK-NEXT: %res3 = add i16 %x3, %x3\r
-  %res3 = add i16 %x3, %x3\r
-\r
-; CHECK-NEXT: %res4 = add i32 %x4, %x4\r
-  %res4 = add i32 %x4, %x4\r
-\r
-; CHECK-NEXT: %res5 = add i64 %x5, %x5\r
-  %res5 = add i64 %x5, %x5\r
-  \r
-; CHECK: %res6 = add nuw i1 %x1, %x1\r
-  %res6 = add nuw i1 %x1, %x1\r
-  \r
-; CHECK: %res7 = add nsw i1 %x1, %x1\r
-  %res7 = add nsw i1 %x1, %x1\r
-  \r
-; CHECK: %res8 = add nuw nsw i1 %x1, %x1\r
-  %res8 = add nuw nsw i1 %x1, %x1\r
-  \r
-  ret void\r
-}\r
-\r
-define void @addvec8NuwNsw(<2 x i8> %x1, <3 x i8> %x2 ,<4 x i8> %x3, <8 x i8> %x4, <16 x i8> %x5){\r
-entry:\r
-; CHECK: %res1 = add nuw nsw <2 x i8> %x1, %x1\r
-  %res1 = add nuw nsw <2 x i8> %x1, %x1\r
-\r
-; CHECK-NEXT: %res2 = add nuw nsw <3 x i8> %x2, %x2\r
-  %res2 = add nuw nsw <3 x i8> %x2, %x2\r
-\r
-; CHECK-NEXT: %res3 = add nuw nsw <4 x i8> %x3, %x3\r
-  %res3 = add nuw nsw <4 x i8> %x3, %x3\r
-\r
-; CHECK-NEXT: %res4 = add nuw nsw <8 x i8> %x4, %x4\r
-  %res4 = add nuw nsw <8 x i8> %x4, %x4\r
-  \r
-; CHECK-NEXT: %res5 = add nuw nsw <16 x i8> %x5, %x5\r
-  %res5 = add nuw nsw <16 x i8> %x5, %x5\r
-  \r
-  ret void\r
-}\r
-\r
-define void @addvec16NuwNsw(<2 x i16> %x1, <3 x i16> %x2 ,<4 x i16> %x3, <8 x i16> %x4, <16 x i16> %x5){\r
-entry:\r
-; CHECK: %res1 = add nuw nsw <2 x i16> %x1, %x1\r
-  %res1 = add nuw nsw <2 x i16> %x1, %x1\r
-\r
-; CHECK-NEXT: %res2 = add nuw nsw <3 x i16> %x2, %x2\r
-  %res2 = add nuw nsw <3 x i16> %x2, %x2\r
-\r
-; CHECK-NEXT: %res3 = add nuw nsw <4 x i16> %x3, %x3\r
-  %res3 = add nuw nsw <4 x i16> %x3, %x3\r
-\r
-; CHECK-NEXT: %res4 = add nuw nsw <8 x i16> %x4, %x4\r
-  %res4 = add nuw nsw <8 x i16> %x4, %x4\r
-  \r
-; CHECK-NEXT: %res5 = add nuw nsw <16 x i16> %x5, %x5\r
-  %res5 = add nuw nsw <16 x i16> %x5, %x5\r
-  \r
-  ret void\r
-}\r
-\r
-define void @addvec32NuwNsw(<2 x i32> %x1, <3 x i32> %x2 ,<4 x i32> %x3, <8 x i32> %x4, <16 x i32> %x5){\r
-entry:\r
-; CHECK: %res1 = add nuw nsw <2 x i32> %x1, %x1\r
-  %res1 = add nuw nsw <2 x i32> %x1, %x1\r
-\r
-; CHECK-NEXT: %res2 = add nuw nsw <3 x i32> %x2, %x2\r
-  %res2 = add nuw nsw <3 x i32> %x2, %x2\r
-\r
-; CHECK-NEXT: %res3 = add nuw nsw <4 x i32> %x3, %x3\r
-  %res3 = add nuw nsw <4 x i32> %x3, %x3\r
-\r
-; CHECK-NEXT: %res4 = add nuw nsw <8 x i32> %x4, %x4\r
-  %res4 = add nuw nsw <8 x i32> %x4, %x4\r
-  \r
-; CHECK-NEXT: %res5 = add nuw nsw <16 x i32> %x5, %x5\r
-  %res5 = add nuw nsw <16 x i32> %x5, %x5\r
-  \r
-  ret void\r
-}\r
-\r
-define void @addvec64NuwNsw(<2 x i64> %x1, <3 x i64> %x2 ,<4 x i64> %x3, <8 x i64> %x4, <16 x i64> %x5){\r
-entry:\r
-; CHECK: %res1 = add nuw nsw <2 x i64> %x1, %x1\r
-  %res1 = add nuw nsw <2 x i64> %x1, %x1\r
-\r
-; CHECK-NEXT: %res2 = add nuw nsw <3 x i64> %x2, %x2\r
-  %res2 = add nuw nsw <3 x i64> %x2, %x2\r
-\r
-; CHECK-NEXT: %res3 = add nuw nsw <4 x i64> %x3, %x3\r
-  %res3 = add nuw nsw <4 x i64> %x3, %x3\r
-\r
-; CHECK-NEXT: %res4 = add nuw nsw <8 x i64> %x4, %x4\r
-  %res4 = add nuw nsw <8 x i64> %x4, %x4\r
-  \r
-; CHECK-NEXT: %res5 = add nuw nsw <16 x i64> %x5, %x5\r
-  %res5 = add nuw nsw <16 x i64> %x5, %x5\r
-  \r
-  ret void\r
-}\r
-\r
-define void @sub(i8 %x1){\r
-entry:\r
-; CHECK: %res1 = sub i8 %x1, %x1\r
-  %res1 = sub i8 %x1, %x1\r
-  \r
-; CHECK: %res2 = sub nuw i8 %x1, %x1\r
-  %res2 = sub nuw i8 %x1, %x1\r
-  \r
-; CHECK: %res3 = sub nsw i8 %x1, %x1\r
-  %res3 = sub nsw i8 %x1, %x1\r
-  \r
-; CHECK: %res4 = sub nuw nsw i8 %x1, %x1\r
-  %res4 = sub nuw nsw i8 %x1, %x1\r
-  \r
-  ret void\r
-}\r
-\r
-define void @mul(i8 %x1){\r
-entry:\r
-; CHECK: %res1 = mul i8 %x1, %x1\r
-  %res1 = mul i8 %x1, %x1\r
-  \r
-  ret void\r
-}\r
-\r
-define void @udiv(i8 %x1){\r
-entry:\r
-; CHECK: %res1 = udiv i8 %x1, %x1\r
-  %res1 = udiv i8 %x1, %x1\r
-  \r
-; CHECK-NEXT: %res2 = udiv exact i8 %x1, %x1\r
-  %res2 = udiv exact i8 %x1, %x1\r
-\r
-  ret void\r
-}\r
-\r
-define void @sdiv(i8 %x1){\r
-entry:\r
-; CHECK: %res1 = sdiv i8 %x1, %x1\r
-  %res1 = sdiv i8 %x1, %x1\r
-  \r
-; CHECK-NEXT: %res2 = sdiv exact i8 %x1, %x1\r
-  %res2 = sdiv exact i8 %x1, %x1\r
-\r
-  ret void\r
-}\r
-\r
-define void @urem(i32 %x1){\r
-entry:\r
-; CHECK: %res1 = urem i32 %x1, %x1\r
-  %res1 = urem i32 %x1, %x1\r
-  \r
-  ret void\r
-}\r
-\r
-define void @srem(i32 %x1){\r
-entry:\r
-; CHECK: %res1 = srem i32 %x1, %x1\r
-  %res1 = srem i32 %x1, %x1\r
-  \r
-  ret void\r
-}\r
+; RUN: llvm-dis < %s.bc| FileCheck %s
+; RUN: verify-uselistorder < %s.bc
+
+; BinaryIntOperation.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
+; The test checks that LLVM does not misread binary integer instructions from
+; older bitcode files.
+
+define void @add(i1 %x1, i8 %x2 ,i16 %x3, i32 %x4, i64 %x5){
+entry:
+; CHECK: %res1 = add i1 %x1, %x1
+  %res1 = add i1 %x1, %x1
+
+; CHECK-NEXT: %res2 = add i8 %x2, %x2
+  %res2 = add i8 %x2, %x2
+
+; CHECK-NEXT: %res3 = add i16 %x3, %x3
+  %res3 = add i16 %x3, %x3
+
+; CHECK-NEXT: %res4 = add i32 %x4, %x4
+  %res4 = add i32 %x4, %x4
+
+; CHECK-NEXT: %res5 = add i64 %x5, %x5
+  %res5 = add i64 %x5, %x5
+
+; CHECK: %res6 = add nuw i1 %x1, %x1
+  %res6 = add nuw i1 %x1, %x1
+
+; CHECK: %res7 = add nsw i1 %x1, %x1
+  %res7 = add nsw i1 %x1, %x1
+
+; CHECK: %res8 = add nuw nsw i1 %x1, %x1
+  %res8 = add nuw nsw i1 %x1, %x1
+
+  ret void
+}
+
+define void @addvec8NuwNsw(<2 x i8> %x1, <3 x i8> %x2 ,<4 x i8> %x3, <8 x i8> %x4, <16 x i8> %x5){
+entry:
+; CHECK: %res1 = add nuw nsw <2 x i8> %x1, %x1
+  %res1 = add nuw nsw <2 x i8> %x1, %x1
+
+; CHECK-NEXT: %res2 = add nuw nsw <3 x i8> %x2, %x2
+  %res2 = add nuw nsw <3 x i8> %x2, %x2
+
+; CHECK-NEXT: %res3 = add nuw nsw <4 x i8> %x3, %x3
+  %res3 = add nuw nsw <4 x i8> %x3, %x3
+
+; CHECK-NEXT: %res4 = add nuw nsw <8 x i8> %x4, %x4
+  %res4 = add nuw nsw <8 x i8> %x4, %x4
+
+; CHECK-NEXT: %res5 = add nuw nsw <16 x i8> %x5, %x5
+  %res5 = add nuw nsw <16 x i8> %x5, %x5
+
+  ret void
+}
+
+define void @addvec16NuwNsw(<2 x i16> %x1, <3 x i16> %x2 ,<4 x i16> %x3, <8 x i16> %x4, <16 x i16> %x5){
+entry:
+; CHECK: %res1 = add nuw nsw <2 x i16> %x1, %x1
+  %res1 = add nuw nsw <2 x i16> %x1, %x1
+
+; CHECK-NEXT: %res2 = add nuw nsw <3 x i16> %x2, %x2
+  %res2 = add nuw nsw <3 x i16> %x2, %x2
+
+; CHECK-NEXT: %res3 = add nuw nsw <4 x i16> %x3, %x3
+  %res3 = add nuw nsw <4 x i16> %x3, %x3
+
+; CHECK-NEXT: %res4 = add nuw nsw <8 x i16> %x4, %x4
+  %res4 = add nuw nsw <8 x i16> %x4, %x4
+
+; CHECK-NEXT: %res5 = add nuw nsw <16 x i16> %x5, %x5
+  %res5 = add nuw nsw <16 x i16> %x5, %x5
+
+  ret void
+}
+
+define void @addvec32NuwNsw(<2 x i32> %x1, <3 x i32> %x2 ,<4 x i32> %x3, <8 x i32> %x4, <16 x i32> %x5){
+entry:
+; CHECK: %res1 = add nuw nsw <2 x i32> %x1, %x1
+  %res1 = add nuw nsw <2 x i32> %x1, %x1
+
+; CHECK-NEXT: %res2 = add nuw nsw <3 x i32> %x2, %x2
+  %res2 = add nuw nsw <3 x i32> %x2, %x2
+
+; CHECK-NEXT: %res3 = add nuw nsw <4 x i32> %x3, %x3
+  %res3 = add nuw nsw <4 x i32> %x3, %x3
+
+; CHECK-NEXT: %res4 = add nuw nsw <8 x i32> %x4, %x4
+  %res4 = add nuw nsw <8 x i32> %x4, %x4
+
+; CHECK-NEXT: %res5 = add nuw nsw <16 x i32> %x5, %x5
+  %res5 = add nuw nsw <16 x i32> %x5, %x5
+
+  ret void
+}
+
+define void @addvec64NuwNsw(<2 x i64> %x1, <3 x i64> %x2 ,<4 x i64> %x3, <8 x i64> %x4, <16 x i64> %x5){
+entry:
+; CHECK: %res1 = add nuw nsw <2 x i64> %x1, %x1
+  %res1 = add nuw nsw <2 x i64> %x1, %x1
+
+; CHECK-NEXT: %res2 = add nuw nsw <3 x i64> %x2, %x2
+  %res2 = add nuw nsw <3 x i64> %x2, %x2
+
+; CHECK-NEXT: %res3 = add nuw nsw <4 x i64> %x3, %x3
+  %res3 = add nuw nsw <4 x i64> %x3, %x3
+
+; CHECK-NEXT: %res4 = add nuw nsw <8 x i64> %x4, %x4
+  %res4 = add nuw nsw <8 x i64> %x4, %x4
+
+; CHECK-NEXT: %res5 = add nuw nsw <16 x i64> %x5, %x5
+  %res5 = add nuw nsw <16 x i64> %x5, %x5
+
+  ret void
+}
+
+define void @sub(i8 %x1){
+entry:
+; CHECK: %res1 = sub i8 %x1, %x1
+  %res1 = sub i8 %x1, %x1
+
+; CHECK: %res2 = sub nuw i8 %x1, %x1
+  %res2 = sub nuw i8 %x1, %x1
+
+; CHECK: %res3 = sub nsw i8 %x1, %x1
+  %res3 = sub nsw i8 %x1, %x1
+
+; CHECK: %res4 = sub nuw nsw i8 %x1, %x1
+  %res4 = sub nuw nsw i8 %x1, %x1
+
+  ret void
+}
+
+define void @mul(i8 %x1){
+entry:
+; CHECK: %res1 = mul i8 %x1, %x1
+  %res1 = mul i8 %x1, %x1
+
+  ret void
+}
+
+define void @udiv(i8 %x1){
+entry:
+; CHECK: %res1 = udiv i8 %x1, %x1
+  %res1 = udiv i8 %x1, %x1
+
+; CHECK-NEXT: %res2 = udiv exact i8 %x1, %x1
+  %res2 = udiv exact i8 %x1, %x1
+
+  ret void
+}
+
+define void @sdiv(i8 %x1){
+entry:
+; CHECK: %res1 = sdiv i8 %x1, %x1
+  %res1 = sdiv i8 %x1, %x1
+
+; CHECK-NEXT: %res2 = sdiv exact i8 %x1, %x1
+  %res2 = sdiv exact i8 %x1, %x1
+
+  ret void
+}
+
+define void @urem(i32 %x1){
+entry:
+; CHECK: %res1 = urem i32 %x1, %x1
+  %res1 = urem i32 %x1, %x1
+
+  ret void
+}
+
+define void @srem(i32 %x1){
+entry:
+; CHECK: %res1 = srem i32 %x1, %x1
+  %res1 = srem i32 %x1, %x1
+
+  ret void
+}