diff --git a/llvm/test/tools/llvm-reduce/strip-debug-info.ll b/llvm/test/tools/llvm-reduce/strip-debug-info.ll new file mode 100644 --- /dev/null +++ b/llvm/test/tools/llvm-reduce/strip-debug-info.ll @@ -0,0 +1,39 @@ +; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=strip-debug-info --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t +; RUN: FileCheck --check-prefix=CHECK-FINAL %s --input-file=%t + +; CHECK-INTERESTINGNESS: define i32 @main +; CHECK-FINAL: define i32 @main +; CHECK-FINAL-NOT: !dbg +; CHECK-FINAL-NOT: call {{.*}}llvm.dbg +; CHECK-FINAL-NOT: !llvm.dbg +; CHECK-FINAL-NOT: = !DI + +define i32 @main() !dbg !4 { +entry: + %retval = alloca i32, align 4 + %a = alloca i8, align 1 + store i32 0, ptr %retval, align 4 + call void @llvm.dbg.declare(metadata ptr %a, metadata !10, metadata !DIExpression()), !dbg !12 + store i8 0, ptr %a, align 1, !dbg !12 + ret i32 0, !dbg !13 +} + +declare void @llvm.dbg.declare(metadata, metadata, metadata) + +!llvm.dbg.cu = !{!0} +!llvm.module.flags = !{!2, !3} + +!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 16.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) +!1 = !DIFile(filename: "/tmp/a.c", directory: "/tmp", checksumkind: CSK_MD5, checksum: "2ed6e287521b82331926229153026511") +!2 = !{i32 7, !"Dwarf Version", i32 5} +!3 = !{i32 2, !"Debug Info Version", i32 3} +!4 = distinct !DISubprogram(name: "main", scope: !5, file: !5, line: 4, type: !6, scopeLine: 4, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !9) +!5 = !DIFile(filename: "/tmp/a.c", directory: "", checksumkind: CSK_MD5, checksum: "2ed6e287521b82331926229153026511") +!6 = !DISubroutineType(types: !7) +!7 = !{!8} +!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) +!9 = !{} +!10 = !DILocalVariable(name: "a", scope: !4, file: !5, line: 6, type: !11) +!11 = !DIBasicType(name: "_Bool", size: 8, encoding: DW_ATE_boolean) +!12 = !DILocation(line: 6, column: 8, scope: !4) +!13 = !DILocation(line: 7, column: 2, scope: !4) diff --git a/llvm/tools/llvm-reduce/CMakeLists.txt b/llvm/tools/llvm-reduce/CMakeLists.txt --- a/llvm/tools/llvm-reduce/CMakeLists.txt +++ b/llvm/tools/llvm-reduce/CMakeLists.txt @@ -54,6 +54,7 @@ deltas/ReduceUsingSimplifyCFG.cpp deltas/RunIRPasses.cpp deltas/SimplifyInstructions.cpp + deltas/StripDebugInfo.cpp llvm-reduce.cpp DEPENDS diff --git a/llvm/tools/llvm-reduce/DeltaManager.cpp b/llvm/tools/llvm-reduce/DeltaManager.cpp --- a/llvm/tools/llvm-reduce/DeltaManager.cpp +++ b/llvm/tools/llvm-reduce/DeltaManager.cpp @@ -45,6 +45,7 @@ #include "deltas/ReduceVirtualRegisters.h" #include "deltas/RunIRPasses.h" #include "deltas/SimplifyInstructions.h" +#include "deltas/StripDebugInfo.h" #include "llvm/Support/CommandLine.h" using namespace llvm; @@ -66,6 +67,7 @@ #define DELTA_PASSES \ do { \ + DELTA_PASS("strip-debug-info", stripDebugInfoDeltaPass) \ DELTA_PASS("functions", reduceFunctionsDeltaPass) \ DELTA_PASS("function-bodies", reduceFunctionBodiesDeltaPass) \ DELTA_PASS("special-globals", reduceSpecialGlobalsDeltaPass) \ diff --git a/llvm/tools/llvm-reduce/deltas/StripDebugInfo.h b/llvm/tools/llvm-reduce/deltas/StripDebugInfo.h new file mode 100644 --- /dev/null +++ b/llvm/tools/llvm-reduce/deltas/StripDebugInfo.h @@ -0,0 +1,18 @@ +//===- StripDebugInfo.h -----------------------------------------*- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_TOOLS_LLVM_REDUCE_DELTAS_STRIPDEBUGINFO_H +#define LLVM_TOOLS_LLVM_REDUCE_DELTAS_STRIPDEBUGINFO_H + +#include "Delta.h" + +namespace llvm { +void stripDebugInfoDeltaPass(TestRunner &Test); +} // namespace llvm + +#endif diff --git a/llvm/tools/llvm-reduce/deltas/StripDebugInfo.cpp b/llvm/tools/llvm-reduce/deltas/StripDebugInfo.cpp new file mode 100644 --- /dev/null +++ b/llvm/tools/llvm-reduce/deltas/StripDebugInfo.cpp @@ -0,0 +1,32 @@ +//===- StripDebugInfo.cpp -------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +#include "StripDebugInfo.h" +#include "Delta.h" +#include "llvm/IR/Metadata.h" +#include "llvm/IR/PassManager.h" +#include "llvm/Transforms/IPO/StripSymbols.h" + +using namespace llvm; + +/// Removes all aliases aren't inside any of the +/// desired Chunks. +static void stripDebugInfo(Oracle &O, Module &Program) { + bool HasDebugInfo = any_of(Program.named_metadata(), [](NamedMDNode &NMD) { + return NMD.getName().startswith("llvm.dbg."); + }); + if (HasDebugInfo && !O.shouldKeep()) { + StripSymbolsPass P; + ModuleAnalysisManager MAM; + P.run(Program, MAM); + } +} + +void llvm::stripDebugInfoDeltaPass(TestRunner &Test) { + runDeltaPass(Test, stripDebugInfo, "Stripping Debug Info"); +} diff --git a/llvm/utils/gn/secondary/llvm/tools/llvm-reduce/BUILD.gn b/llvm/utils/gn/secondary/llvm/tools/llvm-reduce/BUILD.gn --- a/llvm/utils/gn/secondary/llvm/tools/llvm-reduce/BUILD.gn +++ b/llvm/utils/gn/secondary/llvm/tools/llvm-reduce/BUILD.gn @@ -46,6 +46,7 @@ "deltas/ReduceVirtualRegisters.cpp", "deltas/RunIRPasses.cpp", "deltas/SimplifyInstructions.cpp", + "deltas/StripDebugInfo.cpp", "deltas/Utils.cpp", "llvm-reduce.cpp", ]