mlir/test/Target/LLVMIR/Import/import-failure.ll - llvm-project.git - Git at Google

 ; RUN: not mlir-translate -import-llvm -emit-expensive-warnings -split-input-file %s 2>&1 -o /dev/null | FileCheck %s

 ; Check that debug records with an unsupported argument are dropped.

 ; CHECK:      import-failure.ll
 ; CHECK-SAME: warning: unhandled debug variable record #dbg_value(!DIArgList(i64 %{{.*}}, i64 undef), !{{.*}}, !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 1, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), !{{.*}})
 ; CHECK:      import-failure.ll
 ; CHECK-SAME: warning: unhandled debug variable record #dbg_value(!{{.*}}, !{{.*}}, !DIExpression(), !{{.*}})
 define void @unsupported_argument(i64 %arg1) {
   #dbg_value(!DIArgList(i64 %arg1, i64 undef), !3, !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 1, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), !5)
   #dbg_value(!6, !3, !DIExpression(), !5)
   ret void
 }

 !llvm.dbg.cu = !{!1}
 !llvm.module.flags = !{!0}
 !0 = !{i32 2, !"Debug Info Version", i32 3}
 !1 = distinct !DICompileUnit(language: DW_LANG_C, file: !2)
 !2 = !DIFile(filename: "import-failure.ll", directory: "/")
 !3 = !DILocalVariable(scope: !4, name: "arg1", file: !2, line: 1, arg: 1, align: 64);
 !4 = distinct !DISubprogram(name: "intrinsic", scope: !2, file: !2, spFlags: DISPFlagDefinition, unit: !1, type: !999)
 !5 = !DILocation(line: 1, column: 2, scope: !4)
 !6 = !{}
 !999 = !DISubroutineType(types: !1000)
 !1000 = !{null}

 ; // -----

 ; CHECK:      import-failure.ll
 ; CHECK-SAME: error: unsupported TBAA node format: !{{.*}} = !{!{{.*}}, i64 1, !"omnipotent char"}
 define dso_local void @tbaa(ptr %0) {
   store i32 1, ptr %0, align 4, !tbaa !2
   ret void
 }

 !2 = !{!3, !3, i64 0, i64 4}
 !3 = !{!4, i64 4, !"int"}
 !4 = !{!5, i64 1, !"omnipotent char"}
 !5 = !{!"Simple C++ TBAA"}

 ; // -----

 ; CHECK:      import-failure.ll
 ; CHECK-SAME: error: has cycle in TBAA graph: ![[ID:.*]] = distinct !{![[ID]], i64 4, !"int"}
 define dso_local void @tbaa(ptr %0) {
   store i32 1, ptr %0, align 4, !tbaa !2
   ret void
 }

 !2 = !{!3, !3, i64 0, i64 4}
 !3 = !{!3, i64 4, !"int"}

 ; // -----

 ; CHECK: Access scope must be 'distinct'
 define void @access_group(ptr %arg1) {
   %1 = load i32, ptr %arg1, !llvm.access.group !0
   ret void
 }

 !0 = !{}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: expected all loop properties to be either debug locations or metadata nodes
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, i32 42}
 define void @invalid_loop_node(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, i32 42}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: cannot import empty loop property
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
 define void @invalid_loop_node(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1}
 !1 = distinct !{}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: cannot import loop property without a name
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
 define void @invalid_loop_node(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1}
 !1 = distinct !{i1 0}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: cannot import loop properties with duplicated names llvm.loop.disable_nonforced
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1, !1}
 define void @unsupported_loop_annotation(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1, !1}
 !1 = !{!"llvm.loop.disable_nonforced"}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: expected metadata node llvm.loop.disable_nonforced to hold no value
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
 define void @unsupported_loop_annotation(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1}
 !1 = !{!"llvm.loop.disable_nonforced", i1 0}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: expected metadata nodes llvm.loop.unroll.enable and llvm.loop.unroll.disable to be mutually exclusive
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1, !2}
 define void @unsupported_loop_annotation(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1, !2}
 !1 = !{!"llvm.loop.unroll.enable"}
 !2 = !{!"llvm.loop.unroll.disable"}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: expected metadata node llvm.loop.vectorize.width to hold an i32 value
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
 define void @unsupported_loop_annotation(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1}
 !1 = !{!"llvm.loop.vectorize.width", !0}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: expected metadata node llvm.loop.vectorize.followup_all to hold an MDNode
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
 define void @unsupported_loop_annotation(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1}
 !1 = !{!"llvm.loop.vectorize.followup_all", i32 42}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: expected metadata node llvm.loop.parallel_accesses to hold one or multiple MDNodes
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
 define void @unsupported_loop_annotation(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1}
 !1 = !{!"llvm.loop.parallel_accesses", i32 42}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unknown loop annotation llvm.loop.typo
 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1, !2}
 define void @unsupported_loop_annotation(i64 %n, ptr %A) {
 entry:
   br label %end, !llvm.loop !0
 end:
   ret void
 }

 !0 = distinct !{!0, !1, !2}
 !1 = !{!"llvm.loop.disable_nonforced"}
 !2 = !{!"llvm.loop.typo"}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: could not lookup access group
 define void @unused_access_group(ptr %arg) {
 entry:
   %0 = load i32, ptr %arg, !llvm.access.group !0
   br label %end, !llvm.loop !1
 end:
   ret void
 }

 !0 = distinct !{}
 !1 = distinct !{!1, !2}
 !2 = !{!"llvm.loop.parallel_accesses", !0, !3}
 !3 = distinct !{}

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: dropped instruction: call void @llvm.experimental.noalias.scope.decl(metadata !0)
 define void @unused_scope() {
   call void @llvm.experimental.noalias.scope.decl(metadata !0)
   ret void
 }

 declare void @llvm.experimental.noalias.scope.decl(metadata)

 !0 = !{!1}
 !1 = !{!1, !2}
 !2 = distinct !{!2, !"The domain"}

 ; // -----

 ; CHECK:      import-failure.ll
 ; CHECK-SAME: dereferenceable metadata operand must be a non-negative constant integer
 define void @deref(i64 %0) {
   %2 = inttoptr i64 %0 to ptr, !dereferenceable !0
   ret void
 }

 !0 = !{i64 -4}

 ; // -----

 ; CHECK:      import-failure.ll
 ; CHECK-SAME: warning: unhandled data layout token: ni:42
 target datalayout = "e-ni:42-i64:64"

 ; // -----

 ; CHECK:      import-failure.ll
 ; CHECK-SAME: malformed specification, must be of the form "m:<mangling>"
 target datalayout = "e-m-i64:64"

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: incompatible call and callee types: '!llvm.func<void (i64)>' and '!llvm.func<void (ptr)>'
 define void @incompatible_call_and_callee_types() {
   call void @callee(i64 0)
   ret void
 }

 declare void @callee(ptr)

 ; // -----

 ; CHECK:      <unknown>
 ; CHECK-SAME: warning: incompatible call and callee types: '!llvm.func<void ()>' and '!llvm.func<i32 ()>'
 define void @f() personality ptr @__gxx_personality_v0 {
 entry:
   invoke void @g() to label %bb1 unwind label %bb2
 bb1:
   ret void
 bb2:
   %0 = landingpad i32 cleanup
   unreachable
 }

 declare i32 @g()

 declare i32 @__gxx_personality_v0(...)

 ; // -----

 @g = private global ptr blockaddress(@fn, %bb1)
 define void @fn() {
   ret void
 ; CHECK: unreachable block 'bb1' with address taken
 bb1:
   ret void
 }

 ; // -----

 !10 = !{ i32 1, !"foo", i32 1 }
 !11 = !{ i32 4, !"bar", i32 37 }
 !12 = !{ i32 2, !"qux", i32 42 }
 ; CHECK: unsupported module flag value for key 'qux' : !4 = !{!"foo", i32 1}
 !13 = !{ i32 3, !"qux", !{ !"foo", i32 1 }}
 !llvm.module.flags = !{ !10, !11, !12, !13 }

 ; // -----

 !llvm.module.flags = !{!41873}

 !41873 = !{i32 1, !"ProfileSummary", !41874}
 !41874 = !{!41875, !41876, !41877, !41878, !41880, !41881, !41882, !41883, !41884}
 !41875 = !{!"ProfileFormat", !"InstrProf"}
 !41876 = !{!"TotalCount", i64 263646}
 !41877 = !{!"MaxCount", i64 86427}
 !41878 = !{!"MaxInternalCount", i64 86427}
 ; CHECK: expected 'MaxFunctionCount' key, but found: !"NumCounts"
 !41880 = !{!"NumCounts", i64 3712}
 !41881 = !{!"NumFunctions", i64 796}
 !41882 = !{!"IsPartialProfile", i64 0}
 !41883 = !{!"PartialProfileRatio", double 0.000000e+00}
 !41884 = !{!"DetailedSummary", !41885}
 !41885 = !{!41886, !41887}
 !41886 = !{i32 10000, i64 86427, i32 1}
 !41887 = !{i32 100000, i64 86427, i32 1}

 ; // -----

 !llvm.module.flags = !{!51873}

 !51873 = !{i32 1, !"ProfileSummary", !51874}
 !51874 = !{!51875, !51876, !51877, !51878, !51879, !51880, !51881, !51882, !51883, !51884}
 !51875 = !{!"ProfileFormat", !"InstrProf"}
 !51876 = !{!"TotalCount", i64 263646}
 !51877 = !{!"MaxCount", i64 86427}
 !51878 = !{!"MaxInternalCount", i64 86427}
 !51879 = !{!"MaxFunctionCount", i64 4691}
 !51880 = !{!"NumCounts", i64 3712}
 ; CHECK: expected integer metadata value for key 'NumFunctions'
 !51881 = !{!"NumFunctions", double 0.000000e+00}
 !51882 = !{!"IsPartialProfile", i64 0}
 !51883 = !{!"PartialProfileRatio", double 0.000000e+00}
 !51884 = !{!"DetailedSummary", !51885}
 !51885 = !{!51886, !51887}
 !51886 = !{i32 10000, i64 86427, i32 1}
 !51887 = !{i32 100000, i64 86427, i32 1}

 ; // -----

 !llvm.module.flags = !{!61873}

 !61873 = !{i32 1, !"ProfileSummary", !61874}
 !61874 = !{!61875, !61876, !61877, !61878, !61879, !61880, !61881, !61882, !61883, !61884}
 ; CHECK: expected 'SampleProfile', 'InstrProf' or 'CSInstrProf' values, but found: !"MyThingyFmt"
 !61875 = !{!"ProfileFormat", !"MyThingyFmt"}
 !61876 = !{!"TotalCount", i64 263646}
 !61877 = !{!"MaxCount", i64 86427}
 !61878 = !{!"MaxInternalCount", i64 86427}
 !61879 = !{!"MaxFunctionCount", i64 4691}
 !61880 = !{!"NumCounts", i64 3712}
 !61881 = !{!"NumFunctions", i64 796}
 !61882 = !{!"IsPartialProfile", i64 0}
 !61883 = !{!"PartialProfileRatio", double 0.000000e+00}
 !61884 = !{!"DetailedSummary", !61885}
 !61885 = !{!61886, !61887}
 !61886 = !{i32 10000, i64 86427, i32 1}
 !61887 = !{i32 100000, i64 86427, i32 1}

 ; // -----

 !llvm.module.flags = !{!71873}

 !71873 = !{i32 1, !"ProfileSummary", !71874}
 !71874 = !{!71875, !71876, !71877, !71878, !71879, !71880, !71881, !71882, !71883}
 !71875 = !{!"ProfileFormat", !"InstrProf"}
 !71876 = !{!"TotalCount", i64 263646}
 !71877 = !{!"MaxCount", i64 86427}
 !71878 = !{!"MaxInternalCount", i64 86427}
 !71879 = !{!"MaxFunctionCount", i64 4691}
 !71880 = !{!"NumCounts", i64 3712}
 !71881 = !{!"NumFunctions", i64 796}
 !71882 = !{!"IsPartialProfile", i64 0}
 ; CHECK: the last summary entry is 'PartialProfileRatio', expected 'DetailedSummary'
 !71883 = !{!"PartialProfileRatio", double 0.000000e+00}

 ; // -----

 !llvm.module.flags = !{!81873}

 !81873 = !{i32 1, !"ProfileSummary", !81874}
 ; CHECK: expected at 8 entries in 'ProfileSummary'
 !81874 = !{!81875, !81876, !81877, !81878, !81879, !81880, !81881}
 !81875 = !{!"ProfileFormat", !"InstrProf"}
 !81876 = !{!"TotalCount", i64 263646}
 !81877 = !{!"MaxCount", i64 86427}
 !81878 = !{!"MaxInternalCount", i64 86427}
 !81879 = !{!"MaxFunctionCount", i64 4691}
 !81880 = !{!"NumCounts", i64 3812}
 !81881 = !{!"NumFunctions", i64 796}

 ; // -----

 !llvm.module.flags = !{!91873}

 !91873 = !{i32 1, !"ProfileSummary", !91874}
 !91874 = !{!91875, !91876, !91877, !91878, !91879, !91880, !91881, !91882, !91883, !91884}
 !91875 = !{!"ProfileFormat", !"InstrProf"}
 ; CHECK: expected 2-element tuple metadata
 !91876 = !{!"TotalCount", i64 263646, i64 263646}
 !91877 = !{!"MaxCount", i64 86427}
 !91878 = !{!"MaxInternalCount", i64 86427}
 !91879 = !{!"MaxFunctionCount", i64 4691}
 !91880 = !{!"NumCounts", i64 3712}
 !91881 = !{!"NumFunctions", i64 796}
 !91882 = !{!"IsPartialProfile", i64 0}
 !91883 = !{!"PartialProfileRatio", double 0.000000e+00}
 !91884 = !{!"DetailedSummary", !91885}
 !91885 = !{!91886, !91887}
 !91886 = !{i32 10000, i64 86427, i32 1}
 !91887 = !{i32 100000, i64 86427, i32 1}

 ; // -----

 ; CHECK: error: unsupported metadata: !{{[0-9]+}} = distinct !{!"sp"}
 declare i32 @llvm.read_register.i32(metadata)

 define i32 @distinct_metadata_as_value() {
   %r = call i32 @llvm.read_register.i32(metadata !0)
   ret i32 %r
 }

 !0 = distinct !{!"sp"}

 ; // -----

 ; CHECK: error: unsupported metadata: !{{[0-9]+}} = !{!{{[0-9]+}}}
 declare i32 @llvm.read_register.i32(metadata)

 define i32 @nested_distinct_metadata_as_value() {
   %r = call i32 @llvm.read_register.i32(metadata !0)
   ret i32 %r
 }

 !0 = !{!1}
 !1 = distinct !{!"sp"}

 ; // -----

 ; CHECK: error: unsupported metadata: !{{[0-9]+}} = distinct !{!{{[0-9]+}}}
 declare i32 @llvm.read_register.i32(metadata)

 define i32 @cyclic_metadata_as_value() {
   %r = call i32 @llvm.read_register.i32(metadata !0)
   ret i32 %r
 }

 !0 = distinct !{!0}
	; RUN: not mlir-translate -import-llvm -emit-expensive-warnings -split-input-file %s 2>&1 -o /dev/null \| FileCheck %s

	; Check that debug records with an unsupported argument are dropped.

	; CHECK: import-failure.ll
	; CHECK-SAME: warning: unhandled debug variable record #dbg_value(!DIArgList(i64 %{{.}}, i64 undef), !{{.}}, !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 1, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), !{{.*}})
	; CHECK: import-failure.ll
	; CHECK-SAME: warning: unhandled debug variable record #dbg_value(!{{.}}, !{{.}}, !DIExpression(), !{{.*}})
	define void @unsupported_argument(i64 %arg1) {
	#dbg_value(!DIArgList(i64 %arg1, i64 undef), !3, !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 1, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), !5)
	#dbg_value(!6, !3, !DIExpression(), !5)
	ret void
	}

	!llvm.dbg.cu = !{!1}
	!llvm.module.flags = !{!0}
	!0 = !{i32 2, !"Debug Info Version", i32 3}
	!1 = distinct !DICompileUnit(language: DW_LANG_C, file: !2)
	!2 = !DIFile(filename: "import-failure.ll", directory: "/")
	!3 = !DILocalVariable(scope: !4, name: "arg1", file: !2, line: 1, arg: 1, align: 64);
	!4 = distinct !DISubprogram(name: "intrinsic", scope: !2, file: !2, spFlags: DISPFlagDefinition, unit: !1, type: !999)
	!5 = !DILocation(line: 1, column: 2, scope: !4)
	!6 = !{}
	!999 = !DISubroutineType(types: !1000)
	!1000 = !{null}

	; // -----

	; CHECK: import-failure.ll
	; CHECK-SAME: error: unsupported TBAA node format: !{{.}} = !{!{{.}}, i64 1, !"omnipotent char"}
	define dso_local void @tbaa(ptr %0) {
	store i32 1, ptr %0, align 4, !tbaa !2
	ret void
	}

	!2 = !{!3, !3, i64 0, i64 4}
	!3 = !{!4, i64 4, !"int"}
	!4 = !{!5, i64 1, !"omnipotent char"}
	!5 = !{!"Simple C++ TBAA"}

	; // -----

	; CHECK: import-failure.ll
	; CHECK-SAME: error: has cycle in TBAA graph: ![[ID:.*]] = distinct !{![[ID]], i64 4, !"int"}
	define dso_local void @tbaa(ptr %0) {
	store i32 1, ptr %0, align 4, !tbaa !2
	ret void
	}

	!2 = !{!3, !3, i64 0, i64 4}
	!3 = !{!3, i64 4, !"int"}

	; // -----

	; CHECK: Access scope must be 'distinct'
	define void @access_group(ptr %arg1) {
	%1 = load i32, ptr %arg1, !llvm.access.group !0
	ret void
	}

	!0 = !{}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: expected all loop properties to be either debug locations or metadata nodes
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, i32 42}
	define void @invalid_loop_node(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, i32 42}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: cannot import empty loop property
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
	define void @invalid_loop_node(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1}
	!1 = distinct !{}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: cannot import loop property without a name
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
	define void @invalid_loop_node(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1}
	!1 = distinct !{i1 0}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: cannot import loop properties with duplicated names llvm.loop.disable_nonforced
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1, !1}
	define void @unsupported_loop_annotation(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1, !1}
	!1 = !{!"llvm.loop.disable_nonforced"}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: expected metadata node llvm.loop.disable_nonforced to hold no value
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
	define void @unsupported_loop_annotation(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1}
	!1 = !{!"llvm.loop.disable_nonforced", i1 0}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: expected metadata nodes llvm.loop.unroll.enable and llvm.loop.unroll.disable to be mutually exclusive
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1, !2}
	define void @unsupported_loop_annotation(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1, !2}
	!1 = !{!"llvm.loop.unroll.enable"}
	!2 = !{!"llvm.loop.unroll.disable"}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: expected metadata node llvm.loop.vectorize.width to hold an i32 value
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
	define void @unsupported_loop_annotation(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1}
	!1 = !{!"llvm.loop.vectorize.width", !0}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: expected metadata node llvm.loop.vectorize.followup_all to hold an MDNode
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
	define void @unsupported_loop_annotation(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1}
	!1 = !{!"llvm.loop.vectorize.followup_all", i32 42}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: expected metadata node llvm.loop.parallel_accesses to hold one or multiple MDNodes
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1}
	define void @unsupported_loop_annotation(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1}
	!1 = !{!"llvm.loop.parallel_accesses", i32 42}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: unknown loop annotation llvm.loop.typo
	; CHECK: <unknown>
	; CHECK-SAME: warning: unhandled metadata: !0 = distinct !{!0, !1, !2}
	define void @unsupported_loop_annotation(i64 %n, ptr %A) {
	entry:
	br label %end, !llvm.loop !0
	end:
	ret void
	}

	!0 = distinct !{!0, !1, !2}
	!1 = !{!"llvm.loop.disable_nonforced"}
	!2 = !{!"llvm.loop.typo"}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: could not lookup access group
	define void @unused_access_group(ptr %arg) {
	entry:
	%0 = load i32, ptr %arg, !llvm.access.group !0
	br label %end, !llvm.loop !1
	end:
	ret void
	}

	!0 = distinct !{}
	!1 = distinct !{!1, !2}
	!2 = !{!"llvm.loop.parallel_accesses", !0, !3}
	!3 = distinct !{}

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: dropped instruction: call void @llvm.experimental.noalias.scope.decl(metadata !0)
	define void @unused_scope() {
	call void @llvm.experimental.noalias.scope.decl(metadata !0)
	ret void
	}

	declare void @llvm.experimental.noalias.scope.decl(metadata)

	!0 = !{!1}
	!1 = !{!1, !2}
	!2 = distinct !{!2, !"The domain"}

	; // -----

	; CHECK: import-failure.ll
	; CHECK-SAME: dereferenceable metadata operand must be a non-negative constant integer
	define void @deref(i64 %0) {
	%2 = inttoptr i64 %0 to ptr, !dereferenceable !0
	ret void
	}

	!0 = !{i64 -4}

	; // -----

	; CHECK: import-failure.ll
	; CHECK-SAME: warning: unhandled data layout token: ni:42
	target datalayout = "e-ni:42-i64:64"

	; // -----

	; CHECK: import-failure.ll
	; CHECK-SAME: malformed specification, must be of the form "m:<mangling>"
	target datalayout = "e-m-i64:64"

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: incompatible call and callee types: '!llvm.func<void (i64)>' and '!llvm.func<void (ptr)>'
	define void @incompatible_call_and_callee_types() {
	call void @callee(i64 0)
	ret void
	}

	declare void @callee(ptr)

	; // -----

	; CHECK: <unknown>
	; CHECK-SAME: warning: incompatible call and callee types: '!llvm.func<void ()>' and '!llvm.func<i32 ()>'
	define void @f() personality ptr @__gxx_personality_v0 {
	entry:
	invoke void @g() to label %bb1 unwind label %bb2
	bb1:
	ret void
	bb2:
	%0 = landingpad i32 cleanup
	unreachable
	}

	declare i32 @g()

	declare i32 @__gxx_personality_v0(...)

	; // -----

	@g = private global ptr blockaddress(@fn, %bb1)
	define void @fn() {
	ret void
	; CHECK: unreachable block 'bb1' with address taken
	bb1:
	ret void
	}

	; // -----

	!10 = !{ i32 1, !"foo", i32 1 }
	!11 = !{ i32 4, !"bar", i32 37 }
	!12 = !{ i32 2, !"qux", i32 42 }
	; CHECK: unsupported module flag value for key 'qux' : !4 = !{!"foo", i32 1}
	!13 = !{ i32 3, !"qux", !{ !"foo", i32 1 }}
	!llvm.module.flags = !{ !10, !11, !12, !13 }

	; // -----

	!llvm.module.flags = !{!41873}

	!41873 = !{i32 1, !"ProfileSummary", !41874}
	!41874 = !{!41875, !41876, !41877, !41878, !41880, !41881, !41882, !41883, !41884}
	!41875 = !{!"ProfileFormat", !"InstrProf"}
	!41876 = !{!"TotalCount", i64 263646}
	!41877 = !{!"MaxCount", i64 86427}
	!41878 = !{!"MaxInternalCount", i64 86427}
	; CHECK: expected 'MaxFunctionCount' key, but found: !"NumCounts"
	!41880 = !{!"NumCounts", i64 3712}
	!41881 = !{!"NumFunctions", i64 796}
	!41882 = !{!"IsPartialProfile", i64 0}
	!41883 = !{!"PartialProfileRatio", double 0.000000e+00}
	!41884 = !{!"DetailedSummary", !41885}
	!41885 = !{!41886, !41887}
	!41886 = !{i32 10000, i64 86427, i32 1}
	!41887 = !{i32 100000, i64 86427, i32 1}

	; // -----

	!llvm.module.flags = !{!51873}

	!51873 = !{i32 1, !"ProfileSummary", !51874}
	!51874 = !{!51875, !51876, !51877, !51878, !51879, !51880, !51881, !51882, !51883, !51884}
	!51875 = !{!"ProfileFormat", !"InstrProf"}
	!51876 = !{!"TotalCount", i64 263646}
	!51877 = !{!"MaxCount", i64 86427}
	!51878 = !{!"MaxInternalCount", i64 86427}
	!51879 = !{!"MaxFunctionCount", i64 4691}
	!51880 = !{!"NumCounts", i64 3712}
	; CHECK: expected integer metadata value for key 'NumFunctions'
	!51881 = !{!"NumFunctions", double 0.000000e+00}
	!51882 = !{!"IsPartialProfile", i64 0}
	!51883 = !{!"PartialProfileRatio", double 0.000000e+00}
	!51884 = !{!"DetailedSummary", !51885}
	!51885 = !{!51886, !51887}
	!51886 = !{i32 10000, i64 86427, i32 1}
	!51887 = !{i32 100000, i64 86427, i32 1}

	; // -----

	!llvm.module.flags = !{!61873}

	!61873 = !{i32 1, !"ProfileSummary", !61874}
	!61874 = !{!61875, !61876, !61877, !61878, !61879, !61880, !61881, !61882, !61883, !61884}
	; CHECK: expected 'SampleProfile', 'InstrProf' or 'CSInstrProf' values, but found: !"MyThingyFmt"
	!61875 = !{!"ProfileFormat", !"MyThingyFmt"}
	!61876 = !{!"TotalCount", i64 263646}
	!61877 = !{!"MaxCount", i64 86427}
	!61878 = !{!"MaxInternalCount", i64 86427}
	!61879 = !{!"MaxFunctionCount", i64 4691}
	!61880 = !{!"NumCounts", i64 3712}
	!61881 = !{!"NumFunctions", i64 796}
	!61882 = !{!"IsPartialProfile", i64 0}
	!61883 = !{!"PartialProfileRatio", double 0.000000e+00}
	!61884 = !{!"DetailedSummary", !61885}
	!61885 = !{!61886, !61887}
	!61886 = !{i32 10000, i64 86427, i32 1}
	!61887 = !{i32 100000, i64 86427, i32 1}

	; // -----

	!llvm.module.flags = !{!71873}

	!71873 = !{i32 1, !"ProfileSummary", !71874}
	!71874 = !{!71875, !71876, !71877, !71878, !71879, !71880, !71881, !71882, !71883}
	!71875 = !{!"ProfileFormat", !"InstrProf"}
	!71876 = !{!"TotalCount", i64 263646}
	!71877 = !{!"MaxCount", i64 86427}
	!71878 = !{!"MaxInternalCount", i64 86427}
	!71879 = !{!"MaxFunctionCount", i64 4691}
	!71880 = !{!"NumCounts", i64 3712}
	!71881 = !{!"NumFunctions", i64 796}
	!71882 = !{!"IsPartialProfile", i64 0}
	; CHECK: the last summary entry is 'PartialProfileRatio', expected 'DetailedSummary'
	!71883 = !{!"PartialProfileRatio", double 0.000000e+00}

	; // -----

	!llvm.module.flags = !{!81873}

	!81873 = !{i32 1, !"ProfileSummary", !81874}
	; CHECK: expected at 8 entries in 'ProfileSummary'
	!81874 = !{!81875, !81876, !81877, !81878, !81879, !81880, !81881}
	!81875 = !{!"ProfileFormat", !"InstrProf"}
	!81876 = !{!"TotalCount", i64 263646}
	!81877 = !{!"MaxCount", i64 86427}
	!81878 = !{!"MaxInternalCount", i64 86427}
	!81879 = !{!"MaxFunctionCount", i64 4691}
	!81880 = !{!"NumCounts", i64 3812}
	!81881 = !{!"NumFunctions", i64 796}

	; // -----

	!llvm.module.flags = !{!91873}

	!91873 = !{i32 1, !"ProfileSummary", !91874}
	!91874 = !{!91875, !91876, !91877, !91878, !91879, !91880, !91881, !91882, !91883, !91884}
	!91875 = !{!"ProfileFormat", !"InstrProf"}
	; CHECK: expected 2-element tuple metadata
	!91876 = !{!"TotalCount", i64 263646, i64 263646}
	!91877 = !{!"MaxCount", i64 86427}
	!91878 = !{!"MaxInternalCount", i64 86427}
	!91879 = !{!"MaxFunctionCount", i64 4691}
	!91880 = !{!"NumCounts", i64 3712}
	!91881 = !{!"NumFunctions", i64 796}
	!91882 = !{!"IsPartialProfile", i64 0}
	!91883 = !{!"PartialProfileRatio", double 0.000000e+00}
	!91884 = !{!"DetailedSummary", !91885}
	!91885 = !{!91886, !91887}
	!91886 = !{i32 10000, i64 86427, i32 1}
	!91887 = !{i32 100000, i64 86427, i32 1}

	; // -----

	; CHECK: error: unsupported metadata: !{{[0-9]+}} = distinct !{!"sp"}
	declare i32 @llvm.read_register.i32(metadata)

	define i32 @distinct_metadata_as_value() {
	%r = call i32 @llvm.read_register.i32(metadata !0)
	ret i32 %r
	}

	!0 = distinct !{!"sp"}

	; // -----

	; CHECK: error: unsupported metadata: !{{[0-9]+}} = !{!{{[0-9]+}}}
	declare i32 @llvm.read_register.i32(metadata)

	define i32 @nested_distinct_metadata_as_value() {
	%r = call i32 @llvm.read_register.i32(metadata !0)
	ret i32 %r
	}

	!0 = !{!1}
	!1 = distinct !{!"sp"}

	; // -----

	; CHECK: error: unsupported metadata: !{{[0-9]+}} = distinct !{!{{[0-9]+}}}
	declare i32 @llvm.read_register.i32(metadata)

	define i32 @cyclic_metadata_as_value() {
	%r = call i32 @llvm.read_register.i32(metadata !0)
	ret i32 %r
	}

	!0 = distinct !{!0}