1; RUN: llvm-as < %s -o - | llvm-dis - | FileCheck %s 2 3; The loop metadata in this test is similar to the output from clang for 4; code like the this: 5; 6; #pragma clang loop unroll_count(4) 7; #pragma clang loop vectorize(assume_safety) 8; for(int i = 0; i < n; i++) 9; ... 10; 11; strip debug should not remove the useful metadata in the followup part. 12 13declare hidden void @g() local_unnamed_addr align 2 14 15define hidden void @f() { 16; CHECK: tail call {{.*}} !llvm.loop [[LID:![0-9]+]] 17 tail call void @g(), !llvm.loop !2 18 ret void 19} 20 21!llvm.module.flags = !{!0, !1} 22 23; CHECK-NOT: DILocation 24; CHECK: [[LID]] = distinct !{[[LID]], [[VE:![0-9]+]], [[VF:![0-9]+]]} 25; CHECK-NOT: DILocation 26; CHECK: [[VE]] = !{!"llvm.loop.vectorize.enable", i1 true} 27; CHECK: [[VF]] = !{!"llvm.loop.vectorize.followup_all", [[FU:![0-9]+]]} 28; CHECK: [[FU]] = distinct !{[[FU]], [[VD:![0-9]+]], [[UC:![0-9]+]]} 29; CHECK: [[VD]] = !{!"llvm.loop.isvectorized"} 30; CHECK: [[UC]] = !{!"llvm.loop.unroll.count", i32 4} 31 32!0 = !{i32 2, !"Dwarf Version", i32 4} 33!1 = !{i32 2, !"Debug Info Version", i32 3} 34!2 = distinct !{!2, !3, !10, !11, !12} 35!3 = !DILocation(line: 5, column: 12, scope: !4) 36!4 = distinct !DILexicalBlock(scope: !6, file: !5, line: 105, column: 3) 37!5 = !DIFile(filename: "/", directory: "f.cpp") 38!6 = distinct !DISubprogram(name: "f", scope: !5, file: !5, line: 1324, type: !7, scopeLine: 1324, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !9) 39!7 = !DISubroutineType(types: !8) 40!8 = !{} 41!9 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !5, isOptimized: false, runtimeVersion: 0, emissionKind: NoDebug) 42!10 = !DILocation(line: 6, column: 1, scope: !4) 43!11 = !{!"llvm.loop.vectorize.enable", i1 true} 44!12 = !{!"llvm.loop.vectorize.followup_all", !13} 45!13 = distinct !{!13, !3, !10, !14, !15} 46!14 = !{!"llvm.loop.isvectorized"} 47!15 = !{!"llvm.loop.unroll.count", i32 4} 48