29 lines · plain
1; Test that every boring node is removed and all interesting distinct nodes remain after aggressive distinct metadata reduction.2 3; RUN: llvm-reduce -abort-on-invalid-reduction --aggressive-named-md-reduction --test %python --test-arg %p/Inputs/reduce-distinct-metadata.py %s -o %t4; RUN: FileCheck %s < %t5 6; CHECK-NOT: {{.*}}boring{{.*}}7 8define void @main() {9 ret void10}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"}29