llvm/test/tools/llvm-reduce/reduce-distinct-metadata.ll

   1 ; Test that every boring node is removed and all interesting distinct nodes remain after aggressive distinct metadata reduction.
   2
   3 ; RUN: llvm-reduce --aggressive-named-md-reduction --test %python --test-arg %p/Inputs/reduce-distinct-metadata.py %s -o %t
   4 ; RUN: FileCheck %s < %t
   5
   6 ; CHECK-NOT: {{.*}}boring{{.*}}
   7
   8 define void @main() {
   9   ret void
  10 }
  11
  12 !named.metadata = !{!0, !2}
  13 !llvm.test.other.metadata = !{}
  14
  15 !0 = distinct !{!"interesting_0", !1, !3, !4, !10, !11}
  16 !1 = distinct !{!"interesting_1", !5, !7, !"something"}
  17 !2 = distinct !{!"boring_0", !3, !4, i32 5}
  18 !3 = distinct !{!"interesting_1", !3, !4}
  19 !4 = distinct !{!"interesting_1", !6, i2 1}
  20 !5 = distinct !{!"interesting_2", !8}
  21 !6 = distinct !{!"interesting_2", !10}
  22 !7 = distinct !{!"interesting_2", !12}
  23 !8 = distinct !{!"interesting_3", !10, !9}
  24 !9 = distinct !{!"interesting_3", !11, !13}
  25 !10 = distinct !{!"boring_1", i32 50}
  26 !11 = distinct !{!"boring_1", i32 2}
  27 !12 = distinct !{!"boring_3", i2 1}
  28 !13 = distinct !{!"interesting_4"}