62 lines · plain
1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s2 3define void @test(ptr %p) {4 load i8, ptr %p, !noalias !05 load i8, ptr %p, !noalias !16 load i8, ptr %p, !noalias !37 load i8, ptr %p, !noalias !58 load i8, ptr %p, !noalias !79 load i8, ptr %p, !noalias !910 load i8, ptr %p, !noalias !1111 load i8, ptr %p, !noalias !1412 load i8, ptr %p, !alias.scope !1713 call void @llvm.experimental.noalias.scope.decl(metadata !20)14 ret void15}16 17declare void @llvm.experimental.noalias.scope.decl(metadata)18 19; CHECK: scope list must consist of MDNodes20!0 = !{!"str"}21 22; CHECK: scope must have two or three operands23!1 = !{!2}24!2 = !{!2}25 26; CHECK: scope must have two or three operands27!3 = !{!4}28!4 = !{!4, !5, !6, !7}29 30; CHECK: first scope operand must be self-referential or string31!5 = !{!6}32!6 = !{!7, !8}33 34; CHECK: third scope operand must be string (if used)35!7 = !{!8}36!8 = !{!8, !9, !10}37 38; CHECK: second scope operand must be MDNode39!9 = !{!10}40!10 = !{!10, !"str"}41 42; CHECK: domain must have one or two operands43!11 = !{!12}44!12 = !{!12, !13}45!13 = !{}46 47; CHECK: domain must have one or two operands48!14 = !{!15}49!15 = !{!15, !16}50!16 = !{!17, !18, !19}51 52; CHECK: first domain operand must be self-referential or string53!17 = !{!18}54!18 = !{!18, !19}55!19 = !{!20}56 57; CHECK: second domain operand must be string (if used)58!20 = !{!21}59!21 = !{!21, !22}60!22 = !{!22, !23}61!23 = !{}62