diff options
Diffstat (limited to 'test/Bitcode')
74 files changed, 422 insertions, 139 deletions
diff --git a/test/Bitcode/DICompileUnit-no-DWOId.ll b/test/Bitcode/DICompileUnit-no-DWOId.ll new file mode 100644 index 0000000000000..4771c37264f22 --- /dev/null +++ b/test/Bitcode/DICompileUnit-no-DWOId.ll @@ -0,0 +1,9 @@ +; The input uses the older (r236428) form without a dwoId field. This should +; default to 0, which is not displayed at all in the textual representation. +; +; RUN: llvm-dis %s.bc -o - | FileCheck %s +; CHECK: !DICompileUnit +; CHECK-NOT: dwoId: +!named = !{!0} +!0 = !DICompileUnit(language: 12, file: !1) +!1 = !DIFile(filename: "path/to/file", directory: "/path/to/dir") diff --git a/test/Bitcode/DICompileUnit-no-DWOId.ll.bc b/test/Bitcode/DICompileUnit-no-DWOId.ll.bc Binary files differnew file mode 100644 index 0000000000000..1a3c99b5806b9 --- /dev/null +++ b/test/Bitcode/DICompileUnit-no-DWOId.ll.bc diff --git a/test/Bitcode/Inputs/invalid-GCTable-overflow.bc b/test/Bitcode/Inputs/invalid-GCTable-overflow.bc Binary files differnew file mode 100644 index 0000000000000..a9e9c52e1c04d --- /dev/null +++ b/test/Bitcode/Inputs/invalid-GCTable-overflow.bc diff --git a/test/Bitcode/Inputs/invalid-abbrev-fixed-size-too-big.bc b/test/Bitcode/Inputs/invalid-abbrev-fixed-size-too-big.bc Binary files differnew file mode 100644 index 0000000000000..8fa28960d7278 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-abbrev-fixed-size-too-big.bc diff --git a/test/Bitcode/Inputs/invalid-abbrev-no-operands.bc b/test/Bitcode/Inputs/invalid-abbrev-no-operands.bc Binary files differnew file mode 100644 index 0000000000000..29af122e94e2d --- /dev/null +++ b/test/Bitcode/Inputs/invalid-abbrev-no-operands.bc diff --git a/test/Bitcode/Inputs/invalid-abbrev-vbr-size-too-big.bc b/test/Bitcode/Inputs/invalid-abbrev-vbr-size-too-big.bc Binary files differnew file mode 100644 index 0000000000000..35d00ba154b5e --- /dev/null +++ b/test/Bitcode/Inputs/invalid-abbrev-vbr-size-too-big.bc diff --git a/test/Bitcode/Inputs/invalid-abbrev.bc b/test/Bitcode/Inputs/invalid-abbrev.bc Binary files differnew file mode 100644 index 0000000000000..4e8f3944b84b9 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-abbrev.bc diff --git a/test/Bitcode/Inputs/invalid-align.bc b/test/Bitcode/Inputs/invalid-align.bc Binary files differnew file mode 100644 index 0000000000000..e84fa6cdda5fa --- /dev/null +++ b/test/Bitcode/Inputs/invalid-align.bc diff --git a/test/Bitcode/Inputs/invalid-array-element-type.bc b/test/Bitcode/Inputs/invalid-array-element-type.bc Binary files differnew file mode 100644 index 0000000000000..3ce4ba2f77d51 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-array-element-type.bc diff --git a/test/Bitcode/Inputs/invalid-array-op-not-2nd-to-last.bc b/test/Bitcode/Inputs/invalid-array-op-not-2nd-to-last.bc Binary files differnew file mode 100644 index 0000000000000..a4b94f8213df5 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-array-op-not-2nd-to-last.bc diff --git a/test/Bitcode/Inputs/invalid-array-operand-encoding.bc b/test/Bitcode/Inputs/invalid-array-operand-encoding.bc Binary files differnew file mode 100644 index 0000000000000..f7ec2eb700a32 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-array-operand-encoding.bc diff --git a/test/Bitcode/Inputs/invalid-array-type.bc b/test/Bitcode/Inputs/invalid-array-type.bc Binary files differnew file mode 100644 index 0000000000000..3a4b635dd0ee7 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-array-type.bc diff --git a/test/Bitcode/Inputs/invalid-bad-abbrev-number.bc b/test/Bitcode/Inputs/invalid-bad-abbrev-number.bc new file mode 100644 index 0000000000000..e4e1fb3e4b31c --- /dev/null +++ b/test/Bitcode/Inputs/invalid-bad-abbrev-number.bc @@ -0,0 +1 @@ +BCÀÞ!0000000000
\ No newline at end of file diff --git a/test/Bitcode/Inputs/invalid-bitwidth.bc b/test/Bitcode/Inputs/invalid-bitwidth.bc Binary files differnew file mode 100644 index 0000000000000..e9028f71e5fd5 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-bitwidth.bc diff --git a/test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc b/test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc Binary files differnew file mode 100644 index 0000000000000..802d28edbf445 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-call-mismatched-explicit-type.bc diff --git a/test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc b/test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc Binary files differnew file mode 100644 index 0000000000000..d080689e567f6 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-call-non-function-explicit-type.bc diff --git a/test/Bitcode/Inputs/invalid-code-len-width.bc b/test/Bitcode/Inputs/invalid-code-len-width.bc Binary files differnew file mode 100644 index 0000000000000..c8e8c4f665389 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-code-len-width.bc diff --git a/test/Bitcode/Inputs/invalid-extract-0-indices.bc b/test/Bitcode/Inputs/invalid-extract-0-indices.bc Binary files differnew file mode 100644 index 0000000000000..bfde5264502ad --- /dev/null +++ b/test/Bitcode/Inputs/invalid-extract-0-indices.bc diff --git a/test/Bitcode/Inputs/invalid-extractval-array-idx.bc b/test/Bitcode/Inputs/invalid-extractval-array-idx.bc Binary files differnew file mode 100644 index 0000000000000..7465df361c055 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-extractval-array-idx.bc diff --git a/test/Bitcode/Inputs/invalid-extractval-struct-idx.bc b/test/Bitcode/Inputs/invalid-extractval-struct-idx.bc Binary files differnew file mode 100644 index 0000000000000..ccb40f7ebce9b --- /dev/null +++ b/test/Bitcode/Inputs/invalid-extractval-struct-idx.bc diff --git a/test/Bitcode/Inputs/invalid-extractval-too-many-idxs.bc b/test/Bitcode/Inputs/invalid-extractval-too-many-idxs.bc Binary files differnew file mode 100644 index 0000000000000..543a3ba7131f1 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-extractval-too-many-idxs.bc diff --git a/test/Bitcode/Inputs/invalid-fixme-streaming-blob.bc b/test/Bitcode/Inputs/invalid-fixme-streaming-blob.bc Binary files differnew file mode 100644 index 0000000000000..7e32f8b0774f9 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-fixme-streaming-blob.bc diff --git a/test/Bitcode/Inputs/invalid-fp-shift.bc b/test/Bitcode/Inputs/invalid-fp-shift.bc Binary files differnew file mode 100644 index 0000000000000..aeba1bff96878 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-fp-shift.bc diff --git a/test/Bitcode/Inputs/invalid-function-argument-type.bc b/test/Bitcode/Inputs/invalid-function-argument-type.bc Binary files differnew file mode 100644 index 0000000000000..b00fb03cd3138 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-function-argument-type.bc diff --git a/test/Bitcode/Inputs/invalid-function-comdat-id.bc b/test/Bitcode/Inputs/invalid-function-comdat-id.bc Binary files differnew file mode 100644 index 0000000000000..d0ad8234bc869 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-function-comdat-id.bc diff --git a/test/Bitcode/Inputs/invalid-fwdref-type-mismatch-2.bc b/test/Bitcode/Inputs/invalid-fwdref-type-mismatch-2.bc Binary files differnew file mode 100644 index 0000000000000..8e38340eedea2 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-fwdref-type-mismatch-2.bc diff --git a/test/Bitcode/Inputs/invalid-fwdref-type-mismatch.bc b/test/Bitcode/Inputs/invalid-fwdref-type-mismatch.bc Binary files differnew file mode 100644 index 0000000000000..d1c9560257a7e --- /dev/null +++ b/test/Bitcode/Inputs/invalid-fwdref-type-mismatch.bc diff --git a/test/Bitcode/Inputs/invalid-gep-mismatched-explicit-type.bc b/test/Bitcode/Inputs/invalid-gep-mismatched-explicit-type.bc Binary files differnew file mode 100644 index 0000000000000..0d828e8c3296d --- /dev/null +++ b/test/Bitcode/Inputs/invalid-gep-mismatched-explicit-type.bc diff --git a/test/Bitcode/Inputs/invalid-gep-operator-mismatched-explicit-type.bc b/test/Bitcode/Inputs/invalid-gep-operator-mismatched-explicit-type.bc Binary files differnew file mode 100644 index 0000000000000..3af687f056f98 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-gep-operator-mismatched-explicit-type.bc diff --git a/test/Bitcode/Inputs/invalid-global-var-comdat-id.bc b/test/Bitcode/Inputs/invalid-global-var-comdat-id.bc Binary files differnew file mode 100644 index 0000000000000..93d6ba2169b4b --- /dev/null +++ b/test/Bitcode/Inputs/invalid-global-var-comdat-id.bc diff --git a/test/Bitcode/Inputs/invalid-insert-0-indices.bc b/test/Bitcode/Inputs/invalid-insert-0-indices.bc Binary files differnew file mode 100644 index 0000000000000..d7a91e1e44880 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-insert-0-indices.bc diff --git a/test/Bitcode/Inputs/invalid-inserted-value-type-mismatch.bc b/test/Bitcode/Inputs/invalid-inserted-value-type-mismatch.bc Binary files differnew file mode 100644 index 0000000000000..81333cd6be67f --- /dev/null +++ b/test/Bitcode/Inputs/invalid-inserted-value-type-mismatch.bc diff --git a/test/Bitcode/Inputs/invalid-insertval-array-idx.bc b/test/Bitcode/Inputs/invalid-insertval-array-idx.bc Binary files differnew file mode 100644 index 0000000000000..79c3c038a1cd0 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-insertval-array-idx.bc diff --git a/test/Bitcode/Inputs/invalid-insertval-struct-idx.bc b/test/Bitcode/Inputs/invalid-insertval-struct-idx.bc Binary files differnew file mode 100644 index 0000000000000..ec70384909a60 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-insertval-struct-idx.bc diff --git a/test/Bitcode/Inputs/invalid-insertval-too-many-idxs.bc b/test/Bitcode/Inputs/invalid-insertval-too-many-idxs.bc Binary files differnew file mode 100644 index 0000000000000..fd21ac24cf455 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-insertval-too-many-idxs.bc diff --git a/test/Bitcode/Inputs/invalid-invoke-mismatched-explicit-type.bc b/test/Bitcode/Inputs/invalid-invoke-mismatched-explicit-type.bc Binary files differnew file mode 100644 index 0000000000000..bce8852950829 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-invoke-mismatched-explicit-type.bc diff --git a/test/Bitcode/Inputs/invalid-invoke-non-function-explicit-type.bc b/test/Bitcode/Inputs/invalid-invoke-non-function-explicit-type.bc Binary files differnew file mode 100644 index 0000000000000..d7810bb964bef --- /dev/null +++ b/test/Bitcode/Inputs/invalid-invoke-non-function-explicit-type.bc diff --git a/test/Bitcode/Inputs/invalid-load-mismatched-explicit-type.bc b/test/Bitcode/Inputs/invalid-load-mismatched-explicit-type.bc Binary files differnew file mode 100644 index 0000000000000..1b8cbc7513165 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-load-mismatched-explicit-type.bc diff --git a/test/Bitcode/Inputs/invalid-load-pointer-type.bc b/test/Bitcode/Inputs/invalid-load-pointer-type.bc Binary files differnew file mode 100644 index 0000000000000..b6a56c55b3bf6 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-load-pointer-type.bc diff --git a/test/Bitcode/Inputs/invalid-load-ptr-type.bc b/test/Bitcode/Inputs/invalid-load-ptr-type.bc Binary files differnew file mode 100644 index 0000000000000..5207ed9156e72 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-load-ptr-type.bc diff --git a/test/Bitcode/Inputs/invalid-no-proper-module.bc b/test/Bitcode/Inputs/invalid-no-proper-module.bc Binary files differnew file mode 100644 index 0000000000000..6d5a291db6317 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-no-proper-module.bc diff --git a/test/Bitcode/Inputs/invalid-non-vector-extractelement.bc b/test/Bitcode/Inputs/invalid-non-vector-extractelement.bc Binary files differnew file mode 100644 index 0000000000000..6fee7edad8791 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-non-vector-extractelement.bc diff --git a/test/Bitcode/Inputs/invalid-non-vector-insertelement.bc b/test/Bitcode/Inputs/invalid-non-vector-insertelement.bc Binary files differnew file mode 100644 index 0000000000000..3627165779105 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-non-vector-insertelement.bc diff --git a/test/Bitcode/Inputs/invalid-non-vector-shufflevector.bc b/test/Bitcode/Inputs/invalid-non-vector-shufflevector.bc Binary files differnew file mode 100644 index 0000000000000..6c83a4dcb767f --- /dev/null +++ b/test/Bitcode/Inputs/invalid-non-vector-shufflevector.bc diff --git a/test/Bitcode/Inputs/invalid-pointer-element-type.bc b/test/Bitcode/Inputs/invalid-pointer-element-type.bc Binary files differnew file mode 100644 index 0000000000000..f9649e6642944 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-pointer-element-type.bc diff --git a/test/Bitcode/Inputs/invalid-pr20485.bc b/test/Bitcode/Inputs/invalid-pr20485.bc Binary files differnew file mode 100644 index 0000000000000..b6211de88ff95 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-pr20485.bc diff --git a/test/Bitcode/Inputs/invalid-too-big-fwdref.bc b/test/Bitcode/Inputs/invalid-too-big-fwdref.bc Binary files differnew file mode 100644 index 0000000000000..d1d51a634fc28 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-too-big-fwdref.bc diff --git a/test/Bitcode/Inputs/invalid-type-table-forward-ref.bc b/test/Bitcode/Inputs/invalid-type-table-forward-ref.bc Binary files differnew file mode 100644 index 0000000000000..4594efefd6c15 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-type-table-forward-ref.bc diff --git a/test/Bitcode/Inputs/invalid-unexpected-eof.bc b/test/Bitcode/Inputs/invalid-unexpected-eof.bc new file mode 100644 index 0000000000000..a487393d0668a --- /dev/null +++ b/test/Bitcode/Inputs/invalid-unexpected-eof.bc @@ -0,0 +1 @@ +BCÀÞ! 000000 00000000000000
\ No newline at end of file diff --git a/test/Bitcode/Inputs/invalid-vector-element-type.bc b/test/Bitcode/Inputs/invalid-vector-element-type.bc Binary files differnew file mode 100644 index 0000000000000..9c6c625c91814 --- /dev/null +++ b/test/Bitcode/Inputs/invalid-vector-element-type.bc diff --git a/test/Bitcode/arm32_neon_vcnt_upgrade.ll b/test/Bitcode/arm32_neon_vcnt_upgrade.ll index ed3981b465ac8..0032c4a9b7a3c 100644 --- a/test/Bitcode/arm32_neon_vcnt_upgrade.ll +++ b/test/Bitcode/arm32_neon_vcnt_upgrade.ll @@ -4,7 +4,7 @@ define <4 x i16> @vclz16(<4 x i16>* %A) nounwind { ;CHECK: @vclz16 - %tmp1 = load <4 x i16>* %A + %tmp1 = load <4 x i16>, <4 x i16>* %A %tmp2 = call <4 x i16> @llvm.arm.neon.vclz.v4i16(<4 x i16> %tmp1) ;CHECK: {{call.*@llvm.ctlz.v4i16\(<4 x i16>.*, i1 false}} ret <4 x i16> %tmp2 @@ -12,7 +12,7 @@ define <4 x i16> @vclz16(<4 x i16>* %A) nounwind { define <8 x i8> @vcnt8(<8 x i8>* %A) nounwind { ;CHECK: @vcnt8 - %tmp1 = load <8 x i8>* %A + %tmp1 = load <8 x i8>, <8 x i8>* %A %tmp2 = call <8 x i8> @llvm.arm.neon.vcnt.v8i8(<8 x i8> %tmp1) ;CHECK: call <8 x i8> @llvm.ctpop.v8i8(<8 x i8> ret <8 x i8> %tmp2 diff --git a/test/Bitcode/attributes.ll b/test/Bitcode/attributes.ll index c75ee80dc6617..cae6a2e01e6f2 100644 --- a/test/Bitcode/attributes.ll +++ b/test/Bitcode/attributes.ll @@ -204,7 +204,7 @@ define void @f34() ; CHECK: define void @f34() { call void @nobuiltin() nobuiltin -; CHECK: call void @nobuiltin() #25 +; CHECK: call void @nobuiltin() #26 ret void; } @@ -245,6 +245,17 @@ define void @f41(i8* align 32, double* align 64) { ret void } +; CHECK: define dereferenceable_or_null(8) i8* @f42(i8* dereferenceable_or_null(8) %foo) +define dereferenceable_or_null(8) i8* @f42(i8* dereferenceable_or_null(8) %foo) { + entry: + ret i8* %foo +} + +; CHECK: define void @f43() #25 +define void @f43() convergent { + ret void +} + ; CHECK: attributes #0 = { noreturn } ; CHECK: attributes #1 = { nounwind } ; CHECK: attributes #2 = { readnone } @@ -270,4 +281,5 @@ define void @f41(i8* align 32, double* align 64) { ; CHECK: attributes #22 = { minsize } ; CHECK: attributes #23 = { noinline optnone } ; CHECK: attributes #24 = { jumptable } -; CHECK: attributes #25 = { nobuiltin } +; CHECK: attributes #25 = { convergent } +; CHECK: attributes #26 = { nobuiltin } diff --git a/test/Bitcode/case-ranges-3.3.ll b/test/Bitcode/case-ranges-3.3.ll index 020b37f49db78..eb55ef1ad21ec 100644 --- a/test/Bitcode/case-ranges-3.3.ll +++ b/test/Bitcode/case-ranges-3.3.ll @@ -10,7 +10,7 @@ define i32 @foo(i32 %x) nounwind ssp uwtable { %1 = alloca i32, align 4 %2 = alloca i32, align 4 store i32 %x, i32* %2, align 4 - %3 = load i32* %2, align 4 + %3 = load i32, i32* %2, align 4 switch i32 %3, label %9 [ ; CHECK: switch i32 %3, label %9 i32 -3, label %4 @@ -63,6 +63,6 @@ define i32 @foo(i32 %x) nounwind ssp uwtable { br label %11 ; <label>:11 - %12 = load i32* %1 + %12 = load i32, i32* %1 ret i32 %12 } diff --git a/test/Bitcode/cmpxchg.3.6.ll b/test/Bitcode/cmpxchg.3.6.ll new file mode 100644 index 0000000000000..bec51a128c336 --- /dev/null +++ b/test/Bitcode/cmpxchg.3.6.ll @@ -0,0 +1,13 @@ +; RUN: llvm-dis < %s.bc | FileCheck %s + +define void @f2(i32* %x, i32 %y.orig, i32 %z) { +entry: + br label %a +b: + cmpxchg i32* %x, i32 %y, i32 %z acquire acquire +; CHECK: cmpxchg i32* %x, i32 %y, i32 %z acquire acquire + ret void +a: + %y = add i32 %y.orig, 1 + br label %a +} diff --git a/test/Bitcode/cmpxchg.3.6.ll.bc b/test/Bitcode/cmpxchg.3.6.ll.bc Binary files differnew file mode 100644 index 0000000000000..1c66f934324a8 --- /dev/null +++ b/test/Bitcode/cmpxchg.3.6.ll.bc diff --git a/test/Bitcode/constantsTest.3.2.ll b/test/Bitcode/constantsTest.3.2.ll index b4973cf7a8324..3dea935dcf2d0 100644 --- a/test/Bitcode/constantsTest.3.2.ll +++ b/test/Bitcode/constantsTest.3.2.ll @@ -99,10 +99,10 @@ entry: inttoptr i8 1 to i8* ; CHECK-NEXT: bitcast i32 1 to <2 x i16> bitcast i32 1 to <2 x i16> - ; CHECK-NEXT: getelementptr i32* @X, i32 0 - getelementptr i32* @X, i32 0 - ; CHECK-NEXT: getelementptr inbounds i32* @X, i32 0 - getelementptr inbounds i32* @X, i32 0 + ; CHECK-NEXT: getelementptr i32, i32* @X, i32 0 + getelementptr i32, i32* @X, i32 0 + ; CHECK-NEXT: getelementptr inbounds i32, i32* @X, i32 0 + getelementptr inbounds i32, i32* @X, i32 0 ; CHECK: select i1 true, i32 1, i32 0 select i1 true ,i32 1, i32 0 ; CHECK-NEXT: icmp eq i32 1, 0 diff --git a/test/Bitcode/debug-loc-again.ll b/test/Bitcode/debug-loc-again.ll new file mode 100644 index 0000000000000..6dbea16121aaa --- /dev/null +++ b/test/Bitcode/debug-loc-again.ll @@ -0,0 +1,36 @@ +; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s -check-prefix=BC +; PR23436: Actually emit DEBUG_LOC_AGAIN records. + +; BC: <DEBUG_LOC op +; BC: <DEBUG_LOC_AGAIN/> +; BC: <DEBUG_LOC op +; BC: <DEBUG_LOC_AGAIN/> + +; RUN: llvm-as < %s | llvm-dis | FileCheck %s +; RUN: verify-uselistorder %s +; Check that this round-trips correctly. + +define void @foo() { +entry: + %a = add i32 0, 0, !dbg !3 + %b = add i32 0, 1, !dbg !3 + %c = add i32 0, 2, !dbg !4 + ret void, !dbg !4 +} + +; CHECK-LABEL: entry: +; CHECK-NEXT: %a = add i32 0, 0, !dbg ![[LINE1:[0-9]+]] +; CHECK-NEXT: %b = add i32 0, 1, !dbg ![[LINE1]] +; CHECK-NEXT: %c = add i32 0, 2, !dbg ![[LINE2:[0-9]+]] +; CHECK-NEXT: ret void, !dbg ![[LINE2]] +; CHECK: ![[LINE1]] = !DILocation(line: 1, +; CHECK: ![[LINE2]] = !DILocation(line: 2, + +!llvm.module.flags = !{!0} + +!0 = !{i32 2, !"Debug Info Version", i32 3} +!1 = !DICompileUnit(language: DW_LANG_C99, file: !DIFile(filename: "f", directory: "/d"), + subprograms: !{!2}) +!2 = !DISubprogram(name: "foo") +!3 = !DILocation(line: 1, scope: !2) +!4 = !DILocation(line: 2, scope: !2) diff --git a/test/Bitcode/drop-debug-info.3.5.ll b/test/Bitcode/drop-debug-info.3.5.ll new file mode 100644 index 0000000000000..fde136d1c3c84 --- /dev/null +++ b/test/Bitcode/drop-debug-info.3.5.ll @@ -0,0 +1,40 @@ +; RUN: llvm-dis < %s.bc -o %t.ll 2>&1 | FileCheck -check-prefix=WARN %s +; RUN: FileCheck -input-file=%t.ll %s + +; The bitcode paired with this test was generated by passing this file to +; llvm-dis-3.5. This tests that llvm-dis warns correctly when reading old +; bitcode. + +; CHECK-NOT: !llvm.dbg.cu +; CHECK-NOT: !dbg +; WARN: warning: ignoring debug info with an invalid version (1) +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-apple-macosx10.10.0" + +; Function Attrs: nounwind ssp uwtable +define i32 @main() #0 { +entry: + %retval = alloca i32, align 4 + store i32 0, i32* %retval + ret i32 0, !dbg !12 +} + +attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } + +!llvm.dbg.cu = !{!0} +!llvm.module.flags = !{!9, !10} +!llvm.ident = !{!11} + +!0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.5.2 (230356)", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"", i32 1} ; [ DW_TAG_compile_unit ] [/Users/dexonsmith/data/llvm/staging/test/Bitcode/t.c] [DW_LANG_C99] +!1 = metadata !{metadata !"t.c", metadata !"/Users/dexonsmith/data/llvm/staging/test/Bitcode"} +!2 = metadata !{} +!3 = metadata !{metadata !4} +!4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"main", metadata !"main", metadata !"", i32 1, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 0, i1 false, i32 ()* @main, null, null, metadata !2, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [main] +!5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [/Users/dexonsmith/data/llvm/staging/test/Bitcode/t.c] +!6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !7, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] +!7 = metadata !{metadata !8} +!8 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed] +!9 = metadata !{i32 2, metadata !"Dwarf Version", i32 2} +!10 = metadata !{i32 2, metadata !"Debug Info Version", i32 1} +!11 = metadata !{metadata !"clang version 3.5.2 (230356)"} +!12 = metadata !{i32 1, i32 14, metadata !4, null} diff --git a/test/Bitcode/drop-debug-info.3.5.ll.bc b/test/Bitcode/drop-debug-info.3.5.ll.bc Binary files differnew file mode 100644 index 0000000000000..c40198999b274 --- /dev/null +++ b/test/Bitcode/drop-debug-info.3.5.ll.bc diff --git a/test/Bitcode/drop-debug-info.ll b/test/Bitcode/drop-debug-info.ll deleted file mode 100644 index 5109b5e432796..0000000000000 --- a/test/Bitcode/drop-debug-info.ll +++ /dev/null @@ -1,29 +0,0 @@ -; RUN: llvm-as < %s -o %t.bc 2>&1 >/dev/null | FileCheck -check-prefix=WARN %s -; RUN: llvm-dis < %t.bc | FileCheck %s -; RUN: verify-uselistorder < %t.bc - -define i32 @main() { -entry: - %retval = alloca i32, align 4 - store i32 0, i32* %retval - ret i32 0, !dbg !12 -} - -!llvm.dbg.cu = !{!0} -!llvm.module.flags = !{!9} - -!0 = !{!"0x11\0012\00clang version 3.5 (trunk 195495) (llvm/trunk 195495:195504M)\000\00\000\00\000", !1, !2, !2, !3, !2, !2} ; [ DW_TAG_compile_unit ] [/Users/manmanren/llvm_gmail/release/../llvm/tools/clang/test/CodeGen/debug-info-version.c] [DW_LANG_C99] -!1 = !{!"../llvm/tools/clang/test/CodeGen/debug-info-version.c", !"/Users/manmanren/llvm_gmail/release"} -!2 = !{i32 0} -!3 = !{!4} -!4 = !{!"0x2e\00main\00main\00\003\000\001\000\006\00256\000\003", !1, !5, !6, null, i32 ()* @main, null, null, !2} ; [ DW_TAG_subprogram ] [line 3] [def] [main] -!5 = !{!"0x29", !1} ; [ DW_TAG_file_type ] [/Users/manmanren/llvm_gmail/release/../llvm/tools/clang/test/CodeGen/debug-info-version.c] -!6 = !{!"0x15\00\000\000\000\000\000\000", i32 0, null, null, !7, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] -!7 = !{!8} -!8 = !{!"0x24\00int\000\0032\0032\000\000\005", null, null} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed] -!9 = !{i32 2, !"Dwarf Version", i32 2} -!12 = !MDLocation(line: 4, scope: !4) - -; WARN: warning: ignoring debug info with an invalid version (0) -; CHECK-NOT: !dbg -; CHECK-NOT: !llvm.dbg.cu diff --git a/test/Bitcode/function-encoding-rel-operands.ll b/test/Bitcode/function-encoding-rel-operands.ll index 24d6d80828619..1307dd4833770 100644 --- a/test/Bitcode/function-encoding-rel-operands.ll +++ b/test/Bitcode/function-encoding-rel-operands.ll @@ -35,16 +35,16 @@ define double @test_float_binops(i32 %a) nounwind { ; CHECK: FUNCTION_BLOCK -; skip checking operands of INST_INBOUNDS_GEP since that depends on ordering +; skip checking operands of INST_GEP since that depends on ordering ; between literals and the formal parameters. -; CHECK: INST_INBOUNDS_GEP {{.*}} +; CHECK: INST_GEP {{.*}} ; CHECK: INST_LOAD {{.*}}op0=1 {{.*}} ; CHECK: INST_CMP2 op0=1 {{.*}} ; CHECK: INST_RET {{.*}}op0=1 define i1 @test_load(i32 %a, {i32, i32}* %ptr) nounwind { entry: - %0 = getelementptr inbounds {i32, i32}* %ptr, i32 %a, i32 0 - %1 = load i32* %0 + %0 = getelementptr inbounds {i32, i32}, {i32, i32}* %ptr, i32 %a, i32 0 + %1 = load i32, i32* %0 %2 = icmp eq i32 %1, %a ret i1 %2 } diff --git a/test/Bitcode/highLevelStructure.3.2.ll b/test/Bitcode/highLevelStructure.3.2.ll index 88fb3406d8202..54356b9fb1390 100644 --- a/test/Bitcode/highLevelStructure.3.2.ll +++ b/test/Bitcode/highLevelStructure.3.2.ll @@ -5,7 +5,7 @@ ; older bitcode files. ; Data Layout Test -; CHECK: target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-f80:32-n8:16:32-S32" +; CHECK: target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v24:32:32-v32:32:32-v48:64:64-v64:64:64-v96:128:128-v128:128:128-v192:256:256-v256:256:256-v512:512:512-v1024:1024:1024-a0:0:64-f80:32:32-n8:16:32-S32" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v24:32:32-v32:32:32-v48:64:64-v64:64:64-v96:128:128-v128:128:128-v192:256:256-v256:256:256-v512:512:512-v1024:1024:1024-a0:0:64-f80:32:32-n8:16:32-S32" ; Module-Level Inline Assembly Test diff --git a/test/Bitcode/invalid.ll b/test/Bitcode/invalid.ll index 8b532d8dadfdb..df9fec8772d1f 100644 --- a/test/Bitcode/invalid.ll +++ b/test/Bitcode/invalid.ll @@ -1,6 +1,6 @@ ; RUN: not llvm-dis < %s.bc 2>&1 | FileCheck %s -; CHECK: llvm-dis{{(\.EXE|\.exe)?}}: Unknown attribute kind (48) +; CHECK: llvm-dis{{(\.EXE|\.exe)?}}: error: Unknown attribute kind (48) ; invalid.ll.bc has an invalid attribute number. ; The test checks that LLVM reports the error and doesn't access freed memory diff --git a/test/Bitcode/invalid.test b/test/Bitcode/invalid.test new file mode 100644 index 0000000000000..eb7f979d5745a --- /dev/null +++ b/test/Bitcode/invalid.test @@ -0,0 +1,189 @@ +RUN: not llvm-dis -disable-output %p/Inputs/invalid-pr20485.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-ENCODING %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev.bc 2>&1 | \ +RUN: FileCheck --check-prefix=BAD-ABBREV %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-unexpected-eof.bc 2>&1 | \ +RUN: FileCheck --check-prefix=UNEXPECTED-EOF %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-bad-abbrev-number.bc 2>&1 | \ +RUN: FileCheck --check-prefix=BAD-ABBREV-NUMBER %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-type-table-forward-ref.bc 2>&1 | \ +RUN: FileCheck --check-prefix=BAD-TYPE-TABLE-FORWARD-REF %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-bitwidth.bc 2>&1 | \ +RUN: FileCheck --check-prefix=BAD-BITWIDTH %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-align.bc 2>&1 | \ +RUN: FileCheck --check-prefix=BAD-ALIGN %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-mismatched-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-GEP %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-mismatched-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-LOAD %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-operator-mismatched-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-GEP-OPERATOR %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-mismatched-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-CALL %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-non-function-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-CALL %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-invoke-mismatched-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-INVOKE %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-invoke-non-function-explicit-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-INVOKE %s + +INVALID-ENCODING: Invalid encoding +BAD-ABBREV: Abbreviation starts with an Array or a Blob +UNEXPECTED-EOF: Unexpected end of file +BAD-ABBREV-NUMBER: Invalid abbrev number +BAD-TYPE-TABLE-FORWARD-REF: Invalid TYPE table: Only named structs can be forward referenced +BAD-BITWIDTH: Bitwidth for integer type out of range +BAD-ALIGN: Invalid alignment value +MISMATCHED-EXPLICIT-GEP: Explicit gep type does not match pointee type of pointer operand +MISMATCHED-EXPLICIT-LOAD: Explicit load/store type does not match pointee type of pointer operand +MISMATCHED-EXPLICIT-GEP-OPERATOR: Explicit gep operator type does not match pointee type of pointer operand +MISMATCHED-EXPLICIT-CALL: Explicit call type does not match pointee type of callee operand +NON-FUNCTION-EXPLICIT-CALL: Explicit call type is not a function type +MISMATCHED-EXPLICIT-INVOKE: Explicit invoke type does not match pointee type of callee operand +NON-FUNCTION-EXPLICIT-INVOKE: Explicit invoke type is not a function type + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-array-idx.bc 2>&1 | \ +RUN: FileCheck --check-prefix=EXTRACT-ARRAY %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-struct-idx.bc 2>&1 | \ +RUN: FileCheck --check-prefix=EXTRACT-STRUCT %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-too-many-idxs.bc 2>&1 | \ +RUN: FileCheck --check-prefix=EXTRACT-IDXS %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-array-idx.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INSERT-ARRAY %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-struct-idx.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INSERT-STRUCT %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-too-many-idxs.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INSERT-IDXS %s + + +EXTRACT-ARRAY: EXTRACTVAL: Invalid array index +EXTRACT-STRUCT: EXTRACTVAL: Invalid struct index +EXTRACT-IDXS: EXTRACTVAL: Invalid type +INSERT-ARRAY: INSERTVAL: Invalid array index +INSERT-STRUCT: INSERTVAL: Invalid struct index +INSERT-IDXS: INSERTVAL: Invalid type + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-no-proper-module.bc 2>&1 | \ +RUN: FileCheck --check-prefix=NO-MODULE %s + +NO-MODULE: Malformed IR file + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-fp-shift.bc 2>&1 | \ +RUN: FileCheck --check-prefix=FP-SHIFT %s + +FP-SHIFT: Invalid record + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-vbr-size-too-big.bc 2>&1 | \ +RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-fixed-size-too-big.bc 2>&1 | \ +RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s + +HUGE-ABBREV-OP: Fixed or VBR abbrev record with size > MaxChunkData + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ARRAY-TYPE %s + +ARRAY-TYPE: Array element type can't be an Array or a Blob + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-extractelement.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-TYPE %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-insertelement.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-TYPE %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-shufflevector.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-TYPE %s + +INVALID-TYPE: Invalid type for value + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-fwdref-type-mismatch.bc 2>&1 | \ +RUN: FileCheck --check-prefix=FWDREF-TYPE %s + +FWDREF-TYPE: Invalid record + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-fwdref-type-mismatch-2.bc 2>&1 | \ +RUN: FileCheck --check-prefix=FWDREF-TYPE-MISMATCH %s + +FWDREF-TYPE-MISMATCH: Type mismatch in constant table! + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-element-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ELEMENT-TYPE %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-vector-element-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ELEMENT-TYPE %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-pointer-element-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ELEMENT-TYPE %s + +ELEMENT-TYPE: Invalid type + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-op-not-2nd-to-last.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ARRAY-NOT-2LAST %s + +ARRAY-NOT-2LAST: Array op not second to last + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-too-big-fwdref.bc 2>&1 | \ +RUN: FileCheck --check-prefix=HUGE-FWDREF %s + +HUGE-FWDREF: Invalid record + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-pointer-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=LOAD-BAD-TYPE %s + +LOAD-BAD-TYPE: Load/Store operand is not a pointer type + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-GCTable-overflow.bc 2>&1 | \ +RUN: FileCheck --check-prefix=GCTABLE-OFLOW %s + +GCTABLE-OFLOW: Invalid ID + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-insert-0-indices.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INSERT-0-IDXS %s + +INSERT-0-IDXS: INSERTVAL: Invalid instruction with 0 indices + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-extract-0-indices.bc 2>&1 | \ +RUN: FileCheck --check-prefix=EXTRACT-0-IDXS %s + +EXTRACT-0-IDXS: EXTRACTVAL: Invalid instruction with 0 indices + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-ptr-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=BAD-LOAD-PTR-TYPE %s + +BAD-LOAD-PTR-TYPE: Cannot load/store from pointer + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-inserted-value-type-mismatch.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INSERT-TYPE-MISMATCH %s + +INSERT-TYPE-MISMATCH: Inserted value type doesn't match aggregate type + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-code-len-width.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-CODELENWIDTH %s + +INVALID-CODELENWIDTH: Malformed block + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-function-argument-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-ARGUMENT-TYPE %s + +INVALID-ARGUMENT-TYPE: Invalid function argument type + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-fixme-streaming-blob.bc 2>&1 | \ +RUN: FileCheck --check-prefix=STREAMING-BLOB %s + +STREAMING-BLOB: getPointer in streaming memory objects not allowed + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-function-comdat-id.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-FCOMDAT-ID %s + +INVALID-FCOMDAT-ID: Invalid function comdat ID + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-global-var-comdat-id.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INVALID-GVCOMDAT-ID %s + +INVALID-GVCOMDAT-ID: Invalid global variable comdat ID + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-no-operands.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ABBREV-NO-OPS %s + +ABBREV-NO-OPS: Abbrev record with no operands + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-operand-encoding.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ARRAY-OP-ENC %s + +ARRAY-OP-ENC: Array element type has to be an encoding of a type diff --git a/test/Bitcode/linkage-types-3.2.ll b/test/Bitcode/linkage-types-3.2.ll index e255b619f41b0..fb6cc5745fad3 100644 --- a/test/Bitcode/linkage-types-3.2.ll +++ b/test/Bitcode/linkage-types-3.2.ll @@ -33,13 +33,13 @@ ; CHECK: @available_externally.var = available_externally constant i32 0{{$}} @linkonce.var = linkonce constant i32 0 -; CHECK: @linkonce.var = linkonce constant i32 0{{$}} +; CHECK: @linkonce.var = linkonce constant i32 0, comdat{{$}} @weak.var = weak constant i32 0 -; CHECK: @weak.var = weak constant i32 0{{$}} +; CHECK: @weak.var = weak constant i32 0, comdat{{$}} @linkonce_odr.var = linkonce_odr constant i32 0 -; CHECK: @linkonce_odr.var = linkonce_odr constant i32 0{{$}} +; CHECK: @linkonce_odr.var = linkonce_odr constant i32 0, comdat{{$}} @linkonce_odr_auto_hide.var = linkonce_odr_auto_hide constant i32 0 ; CHECK: @linkonce_odr_auto_hide.var = constant i32 0{{$}} @@ -90,19 +90,19 @@ define available_externally void @available_externally() } define linkonce void @linkonce() -; CHECK: define linkonce void @linkonce() { +; CHECK: define linkonce void @linkonce() comdat { { ret void } define weak void @weak() -; CHECK: define weak void @weak() { +; CHECK: define weak void @weak() comdat { { ret void } define linkonce_odr void @linkonce_odr() -; CHECK: define linkonce_odr void @linkonce_odr() { +; CHECK: define linkonce_odr void @linkonce_odr() comdat { { ret void } diff --git a/test/Bitcode/memInstructions.3.2.ll b/test/Bitcode/memInstructions.3.2.ll index d826dd1206215..1ab05b6d1b422 100644 --- a/test/Bitcode/memInstructions.3.2.ll +++ b/test/Bitcode/memInstructions.3.2.ll @@ -27,53 +27,53 @@ entry: %ptr1 = alloca i8 store i8 2, i8* %ptr1 -; CHECK: %res1 = load i8* %ptr1 - %res1 = load i8* %ptr1 +; CHECK: %res1 = load i8, i8* %ptr1 + %res1 = load i8, i8* %ptr1 -; CHECK-NEXT: %res2 = load volatile i8* %ptr1 - %res2 = load volatile i8* %ptr1 +; CHECK-NEXT: %res2 = load volatile i8, i8* %ptr1 + %res2 = load volatile i8, i8* %ptr1 -; CHECK-NEXT: %res3 = load i8* %ptr1, align 1 - %res3 = load i8* %ptr1, align 1 +; CHECK-NEXT: %res3 = load i8, i8* %ptr1, align 1 + %res3 = load i8, i8* %ptr1, align 1 -; CHECK-NEXT: %res4 = load volatile i8* %ptr1, align 1 - %res4 = load volatile i8* %ptr1, align 1 +; CHECK-NEXT: %res4 = load volatile i8, i8* %ptr1, align 1 + %res4 = load volatile i8, i8* %ptr1, align 1 -; CHECK-NEXT: %res5 = load i8* %ptr1, !nontemporal !0 - %res5 = load i8* %ptr1, !nontemporal !0 +; CHECK-NEXT: %res5 = load i8, i8* %ptr1, !nontemporal !0 + %res5 = load i8, i8* %ptr1, !nontemporal !0 -; CHECK-NEXT: %res6 = load volatile i8* %ptr1, !nontemporal !0 - %res6 = load volatile i8* %ptr1, !nontemporal !0 +; CHECK-NEXT: %res6 = load volatile i8, i8* %ptr1, !nontemporal !0 + %res6 = load volatile i8, i8* %ptr1, !nontemporal !0 -; CHECK-NEXT: %res7 = load i8* %ptr1, align 1, !nontemporal !0 - %res7 = load i8* %ptr1, align 1, !nontemporal !0 +; CHECK-NEXT: %res7 = load i8, i8* %ptr1, align 1, !nontemporal !0 + %res7 = load i8, i8* %ptr1, align 1, !nontemporal !0 -; CHECK-NEXT: %res8 = load volatile i8* %ptr1, align 1, !nontemporal !0 - %res8 = load volatile i8* %ptr1, align 1, !nontemporal !0 +; CHECK-NEXT: %res8 = load volatile i8, i8* %ptr1, align 1, !nontemporal !0 + %res8 = load volatile i8, i8* %ptr1, align 1, !nontemporal !0 -; CHECK-NEXT: %res9 = load i8* %ptr1, !invariant.load !1 - %res9 = load i8* %ptr1, !invariant.load !1 +; CHECK-NEXT: %res9 = load i8, i8* %ptr1, !invariant.load !1 + %res9 = load i8, i8* %ptr1, !invariant.load !1 -; CHECK-NEXT: %res10 = load volatile i8* %ptr1, !invariant.load !1 - %res10 = load volatile i8* %ptr1, !invariant.load !1 +; CHECK-NEXT: %res10 = load volatile i8, i8* %ptr1, !invariant.load !1 + %res10 = load volatile i8, i8* %ptr1, !invariant.load !1 -; CHECK-NEXT: %res11 = load i8* %ptr1, align 1, !invariant.load !1 - %res11 = load i8* %ptr1, align 1, !invariant.load !1 +; CHECK-NEXT: %res11 = load i8, i8* %ptr1, align 1, !invariant.load !1 + %res11 = load i8, i8* %ptr1, align 1, !invariant.load !1 -; CHECK-NEXT: %res12 = load volatile i8* %ptr1, align 1, !invariant.load !1 - %res12 = load volatile i8* %ptr1, align 1, !invariant.load !1 +; CHECK-NEXT: %res12 = load volatile i8, i8* %ptr1, align 1, !invariant.load !1 + %res12 = load volatile i8, i8* %ptr1, align 1, !invariant.load !1 -; CHECK-NEXT: %res13 = load i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} - %res13 = load i8* %ptr1, !nontemporal !0, !invariant.load !1 +; CHECK-NEXT: %res13 = load i8, i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} + %res13 = load i8, i8* %ptr1, !nontemporal !0, !invariant.load !1 -; CHECK-NEXT: %res14 = load volatile i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} - %res14 = load volatile i8* %ptr1, !nontemporal !0, !invariant.load !1 +; CHECK-NEXT: %res14 = load volatile i8, i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} + %res14 = load volatile i8, i8* %ptr1, !nontemporal !0, !invariant.load !1 -; CHECK-NEXT: %res15 = load i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} - %res15 = load i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1 +; CHECK-NEXT: %res15 = load i8, i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} + %res15 = load i8, i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1 -; CHECK-NEXT: %res16 = load volatile i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} - %res16 = load volatile i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1 +; CHECK-NEXT: %res16 = load volatile i8, i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}} + %res16 = load volatile i8, i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1 ret void } @@ -83,53 +83,53 @@ entry: %ptr1 = alloca i8 store i8 2, i8* %ptr1 -; CHECK: %res1 = load atomic i8* %ptr1 unordered, align 1 - %res1 = load atomic i8* %ptr1 unordered, align 1 +; CHECK: %res1 = load atomic i8, i8* %ptr1 unordered, align 1 + %res1 = load atomic i8, i8* %ptr1 unordered, align 1 -; CHECK-NEXT: %res2 = load atomic i8* %ptr1 monotonic, align 1 - %res2 = load atomic i8* %ptr1 monotonic, align 1 +; CHECK-NEXT: %res2 = load atomic i8, i8* %ptr1 monotonic, align 1 + %res2 = load atomic i8, i8* %ptr1 monotonic, align 1 -; CHECK-NEXT: %res3 = load atomic i8* %ptr1 acquire, align 1 - %res3 = load atomic i8* %ptr1 acquire, align 1 +; CHECK-NEXT: %res3 = load atomic i8, i8* %ptr1 acquire, align 1 + %res3 = load atomic i8, i8* %ptr1 acquire, align 1 -; CHECK-NEXT: %res4 = load atomic i8* %ptr1 seq_cst, align 1 - %res4 = load atomic i8* %ptr1 seq_cst, align 1 +; CHECK-NEXT: %res4 = load atomic i8, i8* %ptr1 seq_cst, align 1 + %res4 = load atomic i8, i8* %ptr1 seq_cst, align 1 -; CHECK-NEXT: %res5 = load atomic volatile i8* %ptr1 unordered, align 1 - %res5 = load atomic volatile i8* %ptr1 unordered, align 1 +; CHECK-NEXT: %res5 = load atomic volatile i8, i8* %ptr1 unordered, align 1 + %res5 = load atomic volatile i8, i8* %ptr1 unordered, align 1 -; CHECK-NEXT: %res6 = load atomic volatile i8* %ptr1 monotonic, align 1 - %res6 = load atomic volatile i8* %ptr1 monotonic, align 1 +; CHECK-NEXT: %res6 = load atomic volatile i8, i8* %ptr1 monotonic, align 1 + %res6 = load atomic volatile i8, i8* %ptr1 monotonic, align 1 -; CHECK-NEXT: %res7 = load atomic volatile i8* %ptr1 acquire, align 1 - %res7 = load atomic volatile i8* %ptr1 acquire, align 1 +; CHECK-NEXT: %res7 = load atomic volatile i8, i8* %ptr1 acquire, align 1 + %res7 = load atomic volatile i8, i8* %ptr1 acquire, align 1 -; CHECK-NEXT: %res8 = load atomic volatile i8* %ptr1 seq_cst, align 1 - %res8 = load atomic volatile i8* %ptr1 seq_cst, align 1 +; CHECK-NEXT: %res8 = load atomic volatile i8, i8* %ptr1 seq_cst, align 1 + %res8 = load atomic volatile i8, i8* %ptr1 seq_cst, align 1 -; CHECK-NEXT: %res9 = load atomic i8* %ptr1 singlethread unordered, align 1 - %res9 = load atomic i8* %ptr1 singlethread unordered, align 1 +; CHECK-NEXT: %res9 = load atomic i8, i8* %ptr1 singlethread unordered, align 1 + %res9 = load atomic i8, i8* %ptr1 singlethread unordered, align 1 -; CHECK-NEXT: %res10 = load atomic i8* %ptr1 singlethread monotonic, align 1 - %res10 = load atomic i8* %ptr1 singlethread monotonic, align 1 +; CHECK-NEXT: %res10 = load atomic i8, i8* %ptr1 singlethread monotonic, align 1 + %res10 = load atomic i8, i8* %ptr1 singlethread monotonic, align 1 -; CHECK-NEXT: %res11 = load atomic i8* %ptr1 singlethread acquire, align 1 - %res11 = load atomic i8* %ptr1 singlethread acquire, align 1 +; CHECK-NEXT: %res11 = load atomic i8, i8* %ptr1 singlethread acquire, align 1 + %res11 = load atomic i8, i8* %ptr1 singlethread acquire, align 1 -; CHECK-NEXT: %res12 = load atomic i8* %ptr1 singlethread seq_cst, align 1 - %res12 = load atomic i8* %ptr1 singlethread seq_cst, align 1 +; CHECK-NEXT: %res12 = load atomic i8, i8* %ptr1 singlethread seq_cst, align 1 + %res12 = load atomic i8, i8* %ptr1 singlethread seq_cst, align 1 -; CHECK-NEXT: %res13 = load atomic volatile i8* %ptr1 singlethread unordered, align 1 - %res13 = load atomic volatile i8* %ptr1 singlethread unordered, align 1 +; CHECK-NEXT: %res13 = load atomic volatile i8, i8* %ptr1 singlethread unordered, align 1 + %res13 = load atomic volatile i8, i8* %ptr1 singlethread unordered, align 1 -; CHECK-NEXT: %res14 = load atomic volatile i8* %ptr1 singlethread monotonic, align 1 - %res14 = load atomic volatile i8* %ptr1 singlethread monotonic, align 1 +; CHECK-NEXT: %res14 = load atomic volatile i8, i8* %ptr1 singlethread monotonic, align 1 + %res14 = load atomic volatile i8, i8* %ptr1 singlethread monotonic, align 1 -; CHECK-NEXT: %res15 = load atomic volatile i8* %ptr1 singlethread acquire, align 1 - %res15 = load atomic volatile i8* %ptr1 singlethread acquire, align 1 +; CHECK-NEXT: %res15 = load atomic volatile i8, i8* %ptr1 singlethread acquire, align 1 + %res15 = load atomic volatile i8, i8* %ptr1 singlethread acquire, align 1 -; CHECK-NEXT: %res16 = load atomic volatile i8* %ptr1 singlethread seq_cst, align 1 - %res16 = load atomic volatile i8* %ptr1 singlethread seq_cst, align 1 +; CHECK-NEXT: %res16 = load atomic volatile i8, i8* %ptr1 singlethread seq_cst, align 1 + %res16 = load atomic volatile i8, i8* %ptr1 singlethread seq_cst, align 1 ret void } @@ -311,16 +311,16 @@ entry: ret void } -define void @getelementptr({i8, i8}* %s, <4 x i8*> %ptrs, <4 x i64> %offsets ){ +define void @getelementptr({i8, i8}, {i8, i8}* %s, <4 x i8*> %ptrs, <4 x i64> %offsets ){ entry: -; CHECK: %res1 = getelementptr { i8, i8 }* %s, i32 1, i32 1 - %res1 = getelementptr {i8, i8}* %s, i32 1, i32 1 +; CHECK: %res1 = getelementptr { i8, i8 }, { i8, i8 }* %s, i32 1, i32 1 + %res1 = getelementptr {i8, i8}, {i8, i8}* %s, i32 1, i32 1 -; CHECK-NEXT: %res2 = getelementptr inbounds { i8, i8 }* %s, i32 1, i32 1 - %res2 = getelementptr inbounds {i8, i8}* %s, i32 1, i32 1 +; CHECK-NEXT: %res2 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %s, i32 1, i32 1 + %res2 = getelementptr inbounds {i8, i8}, {i8, i8}* %s, i32 1, i32 1 -; CHECK-NEXT: %res3 = getelementptr <4 x i8*> %ptrs, <4 x i64> %offsets - %res3 = getelementptr <4 x i8*> %ptrs, <4 x i64> %offsets +; CHECK-NEXT: %res3 = getelementptr i8, <4 x i8*> %ptrs, <4 x i64> %offsets + %res3 = getelementptr i8, <4 x i8*> %ptrs, <4 x i64> %offsets ret void } diff --git a/test/Bitcode/metadata-2.ll b/test/Bitcode/metadata-2.ll index 07371a30d272b..e906526104306 100644 --- a/test/Bitcode/metadata-2.ll +++ b/test/Bitcode/metadata-2.ll @@ -21,7 +21,7 @@ %"void*[]" = type { i64, i8** } @_D10ModuleInfo6__vtblZ = external constant %object.ModuleInfo.__vtbl ; <%object.ModuleInfo.__vtbl*> [#uses=1] @.str = internal constant [20 x i8] c"tango.core.BitManip\00" ; <[20 x i8]*> [#uses=1] -@_D5tango4core8BitManip8__ModuleZ = global %0 { %object.ModuleInfo.__vtbl* @_D10ModuleInfo6__vtblZ, i8* null, %"byte[]" { i64 19, i8* getelementptr ([20 x i8]* @.str, i32 0, i32 0) }, %1 zeroinitializer, %"ClassInfo[]" zeroinitializer, i32 4, void ()* null, void ()* null, void ()* null, i8* null, void ()* null } ; <%0*> [#uses=1] +@_D5tango4core8BitManip8__ModuleZ = global %0 { %object.ModuleInfo.__vtbl* @_D10ModuleInfo6__vtblZ, i8* null, %"byte[]" { i64 19, i8* getelementptr ([20 x i8], [20 x i8]* @.str, i32 0, i32 0) }, %1 zeroinitializer, %"ClassInfo[]" zeroinitializer, i32 4, void ()* null, void ()* null, void ()* null, i8* null, void ()* null } ; <%0*> [#uses=1] @_D5tango4core8BitManip11__moduleRefZ = internal global %ModuleReference { %ModuleReference* null, %object.ModuleInfo* bitcast (%0* @_D5tango4core8BitManip8__ModuleZ to %object.ModuleInfo*) } ; <%ModuleReference*> [#uses=2] @_Dmodule_ref = external global %ModuleReference* ; <%ModuleReference**> [#uses=2] @llvm.global_ctors = appending constant [1 x %2] [%2 { i32 65535, void ()* @_D5tango4core8BitManip16__moduleinfoCtorZ }] ; <[1 x %2]*> [#uses=0] @@ -77,8 +77,8 @@ entry: define internal void @_D5tango4core8BitManip16__moduleinfoCtorZ() nounwind { moduleinfoCtorEntry: - %current = load %ModuleReference** @_Dmodule_ref ; <%ModuleReference*> [#uses=1] - store %ModuleReference* %current, %ModuleReference** getelementptr (%ModuleReference* @_D5tango4core8BitManip11__moduleRefZ, i32 0, i32 0) + %current = load %ModuleReference*, %ModuleReference** @_Dmodule_ref ; <%ModuleReference*> [#uses=1] + store %ModuleReference* %current, %ModuleReference** getelementptr (%ModuleReference, %ModuleReference* @_D5tango4core8BitManip11__moduleRefZ, i32 0, i32 0) store %ModuleReference* @_D5tango4core8BitManip11__moduleRefZ, %ModuleReference** @_Dmodule_ref ret void } diff --git a/test/Bitcode/miscInstructions.3.2.ll b/test/Bitcode/miscInstructions.3.2.ll index 6a077d5c9fa00..bed26c22147db 100644 --- a/test/Bitcode/miscInstructions.3.2.ll +++ b/test/Bitcode/miscInstructions.3.2.ll @@ -173,8 +173,8 @@ entry: ; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x) %res2 = tail call i32 @test(i32 %x) -; CHECK-NEXT: %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42) - %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42) +; CHECK-NEXT: %res3 = call i32 (i8*, ...) @printf(i8* %msg, i32 12, i8 42) + %res3 = call i32 (i8*, ...) @printf(i8* %msg, i32 12, i8 42) ret void } diff --git a/test/Bitcode/old-aliases.ll b/test/Bitcode/old-aliases.ll index b73b1a90afb9f..8527f074d04b6 100644 --- a/test/Bitcode/old-aliases.ll +++ b/test/Bitcode/old-aliases.ll @@ -13,8 +13,8 @@ @v3 = alias bitcast (i32* @v1 to i16*) ; CHECK: @v3 = alias bitcast (i32* @v1 to i16*) -@v4 = alias getelementptr ([1 x i32]* @v2, i32 0, i32 0) -; CHECK: @v4 = alias getelementptr inbounds ([1 x i32]* @v2, i32 0, i32 0) +@v4 = alias getelementptr ([1 x i32], [1 x i32]* @v2, i32 0, i32 0) +; CHECK: @v4 = alias getelementptr inbounds ([1 x i32], [1 x i32]* @v2, i32 0, i32 0) @v5 = alias i32 addrspace(2)* addrspacecast (i32 addrspace(0)* @v1 to i32 addrspace(2)*) ; CHECK: @v5 = alias addrspacecast (i32* @v1 to i32 addrspace(2)*) diff --git a/test/Bitcode/pr18704.ll b/test/Bitcode/pr18704.ll index f05fe53259fae..e57ce3cec4c05 100644 --- a/test/Bitcode/pr18704.ll +++ b/test/Bitcode/pr18704.ll @@ -1,6 +1,6 @@ ; RUN: not llvm-dis < %s.bc 2>&1 | FileCheck %s -; CHECK: llvm-dis{{(\.EXE|\.exe)?}}: Never resolved value found in function +; CHECK: llvm-dis{{(\.EXE|\.exe)?}}: error: Never resolved value found in function ; pr18704.ll.bc has an instruction referring to invalid type. ; The test checks that LLVM reports the error and doesn't access freed memory diff --git a/test/Bitcode/upgrade-loop-metadata.ll b/test/Bitcode/upgrade-loop-metadata.ll index be2a99a47afbf..8dee907578760 100644 --- a/test/Bitcode/upgrade-loop-metadata.ll +++ b/test/Bitcode/upgrade-loop-metadata.ll @@ -10,7 +10,7 @@ entry: br label %for.cond for.cond: ; preds = %for.inc, %entry - %0 = load i32* %i, align 4 + %0 = load i32, i32* %i, align 4 %cmp = icmp slt i32 %0, 16 br i1 %cmp, label %for.body, label %for.end, !llvm.loop !1 @@ -18,7 +18,7 @@ for.body: ; preds = %for.cond br label %for.inc for.inc: ; preds = %for.body - %1 = load i32* %i, align 4 + %1 = load i32, i32* %i, align 4 %inc = add nsw i32 %1, 1 store i32 %inc, i32* %i, align 4 br label %for.cond diff --git a/test/Bitcode/use-list-order.ll b/test/Bitcode/use-list-order.ll index 6617b9c5edf84..09ec44897e739 100644 --- a/test/Bitcode/use-list-order.ll +++ b/test/Bitcode/use-list-order.ll @@ -1,7 +1,7 @@ ; RUN: verify-uselistorder < %s @a = global [4 x i1] [i1 0, i1 1, i1 0, i1 1] -@b = alias i1* getelementptr ([4 x i1]* @a, i64 0, i64 2) +@b = alias i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2) ; Check use-list order of constants used by globals. @glob1 = global i5 7 @@ -79,13 +79,13 @@ entry: define i1 @loadb() { entry: - %b = load i1* @b + %b = load i1, i1* @b ret i1 %b } define i1 @loada() { entry: - %a = load i1* getelementptr ([4 x i1]* @a, i64 0, i64 2) + %a = load i1, i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2) ret i1 %a } @@ -115,7 +115,7 @@ first: define i4 @globalAndFunctionFunctionUser() { entry: - %local = load i4* @globalAndFunction + %local = load i4, i4* @globalAndFunction ret i4 %local } @@ -134,11 +134,11 @@ loop2: ; Check that block addresses work. @ba1 = constant i8* blockaddress (@bafunc1, %bb) -@ba2 = constant i8* getelementptr (i8* blockaddress (@bafunc2, %bb), i61 0) -@ba3 = constant i8* getelementptr (i8* blockaddress (@bafunc2, %bb), i61 0) +@ba2 = constant i8* getelementptr (i8, i8* blockaddress (@bafunc2, %bb), i61 0) +@ba3 = constant i8* getelementptr (i8, i8* blockaddress (@bafunc2, %bb), i61 0) define i8* @babefore() { - ret i8* getelementptr (i8* blockaddress (@bafunc2, %bb), i61 0) + ret i8* getelementptr (i8, i8* blockaddress (@bafunc2, %bb), i61 0) bb1: ret i8* blockaddress (@bafunc1, %bb) bb2: diff --git a/test/Bitcode/weak-macho-3.5.ll b/test/Bitcode/weak-macho-3.5.ll new file mode 100644 index 0000000000000..0c09fe4cd9dc0 --- /dev/null +++ b/test/Bitcode/weak-macho-3.5.ll @@ -0,0 +1,11 @@ +; RUN: llvm-dis < %s.bc| FileCheck %s + +; weak-macho-3.5.ll.bc was generated by passing this file to llvm-as-3.5 +; The test checks that LLVM does not place weak GlobalVariables into Comdats for +; macho object files, they don't support it. + +target triple = "x86_64-apple-macosx10.9.0" +; CHECK: target triple = "x86_64-apple-macosx10.9.0" + +@x = weak global i32 0 +; CHECK: @x = weak global i32 0{{$}} diff --git a/test/Bitcode/weak-macho-3.5.ll.bc b/test/Bitcode/weak-macho-3.5.ll.bc Binary files differnew file mode 100644 index 0000000000000..ee6607235774c --- /dev/null +++ b/test/Bitcode/weak-macho-3.5.ll.bc |