48 lines · plain
1; RUN: llvm-as < %s -o - | llvm-dis - | FileCheck %s2 3; The loop metadata in this test is similar to the output from clang for4; 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 214 15define hidden void @f() {16; CHECK: tail call {{.*}} !llvm.loop [[LID:![0-9]+]]17 tail call void @g(), !llvm.loop !218 ret void19}20 21!llvm.module.flags = !{!0, !1}22 23; CHECK-NOT: DILocation24; CHECK: [[LID]] = distinct !{[[LID]], [[VE:![0-9]+]], [[VF:![0-9]+]]}25; CHECK-NOT: DILocation26; 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