Skip to content

Commit

Permalink
[llc/opt] Add an option to run all passes twice (#6666)
Browse files Browse the repository at this point in the history
This PR pulls the following upstream changes into DXC:

[llc/opt] Add an option to run all passes twice
(llvm/llvm-project@04464cf)
> Lately, I have submitted a number of patches to fix bugs that only
occurred when using the same pass manager to compile
> multiple modules (generally these bugs are failure to reset some
persistent state).
> 
> Unfortunately I don't think there is currently a way to test that from
the command line. This adds a very simple flag to both
> llc and opt, under which the tools will simply re-run their respective
> pass pipelines using the same pass manager on (a clone of the same
module). Additionally, we verify that both outputs are
>   bitwise the same.
> 
>   Reviewers: yaron.keren

[opt] Fix sanitizer complaints about r254774
(llvm/llvm-project@38707c4)
> `Out` can be null if no output is requested, so move any access
> to it inside the conditional. Thanks to Justin Bogner for finding
> this.

This is for the test of this change
(llvm/llvm-project@ef8761f)
to fix #6659.

---------

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
Co-authored-by: Adam Yang <[email protected]>
  • Loading branch information
3 people committed Jun 24, 2024
1 parent b197bec commit b79169b
Show file tree
Hide file tree
Showing 4 changed files with 115 additions and 10 deletions.
6 changes: 6 additions & 0 deletions test/MC/ELF/empty-twice.ll
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
; Check that there is no persistent state in the ELF emitter that crashes us
; when we try to reuse the pass manager
; RUN: llc -compile-twice -filetype=obj %s -o -

target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32"
target triple = "i386-pc-linux-gnu"
14 changes: 14 additions & 0 deletions test/Object/opt-twice.ll
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
; The pass here doesn't matter (we use deadargelim), but test
; that the -run-twice options exists, generates output, and
; doesn't crash
; RUN: opt -run-twice -deadargelim -S < %s | FileCheck %s

; CHECK: define internal void @test
define internal {} @test() {
ret {} undef
}

define void @caller() {
call {} @test()
ret void
}
52 changes: 48 additions & 4 deletions tools/llc/llc.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,7 @@
#include "llvm/Support/ToolOutputFile.h"
#include "llvm/Target/TargetMachine.h"
#include "llvm/Target/TargetSubtargetInfo.h"
#include "llvm/Transforms/Utils/Cloning.h"
#include <memory>
using namespace llvm;

Expand Down Expand Up @@ -95,6 +96,12 @@ static cl::opt<bool> AsmVerbose("asm-verbose",
cl::desc("Add comments to directives."),
cl::init(true));

static cl::opt<bool>
CompileTwice("compile-twice", cl::Hidden,
cl::desc("Run everything twice, re-using the same pass "
"manager and verify the the result is the same."),
cl::init(false));

static int compileModule(char **, LLVMContext &);

static std::unique_ptr<tool_output_file>
Expand Down Expand Up @@ -326,10 +333,15 @@ static int compileModule(char **argv, LLVMContext &Context) {

{
raw_pwrite_stream *OS = &Out->os();
std::unique_ptr<buffer_ostream> BOS;
if (FileType != TargetMachine::CGFT_AssemblyFile &&
!Out->os().supportsSeeking()) {
BOS = make_unique<buffer_ostream>(*OS);

// Manually do the buffering rather than using buffer_ostream,
// so we can memcmp the contents in CompileTwice mode
SmallVector<char, 0> Buffer;
std::unique_ptr<raw_svector_ostream> BOS;
if ((FileType != TargetMachine::CGFT_AssemblyFile &&
!Out->os().supportsSeeking()) ||
CompileTwice) {
BOS = make_unique<raw_svector_ostream>(Buffer);
OS = BOS.get();
}

Expand Down Expand Up @@ -379,7 +391,39 @@ static int compileModule(char **argv, LLVMContext &Context) {
// Before executing passes, print the final values of the LLVM options.
cl::PrintOptionValues();

// If requested, run the pass manager over the same module again,
// to catch any bugs due to persistent state in the passes. Note that
// opt has the same functionality, so it may be worth abstracting this out
// in the future.
SmallVector<char, 0> CompileTwiceBuffer;
if (CompileTwice) {
std::unique_ptr<Module> M2(llvm::CloneModule(M.get()));
PM.run(*M2);
CompileTwiceBuffer = Buffer;
Buffer.clear();
}

PM.run(*M);

// Compare the two outputs and make sure they're the same
if (CompileTwice) {
if (Buffer.size() != CompileTwiceBuffer.size() ||
(memcmp(Buffer.data(), CompileTwiceBuffer.data(), Buffer.size()) !=
0)) {
errs()
<< "Running the pass manager twice changed the output.\n"
"Writing the result of the second run to the specified output\n"
"To generate the one-run comparison binary, just run without\n"
"the compile-twice option\n";
Out->os() << Buffer;
Out->keep();
return 1;
}
}

if (BOS) {
Out->os() << Buffer;
}
}

// Declare success.
Expand Down
53 changes: 47 additions & 6 deletions tools/opt/opt.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@

#include "BreakpointPrinter.h"
#include "NewPMDriver.h"
#include "llvm/PassPrinters/PassPrinters.h"
#include "llvm/ADT/Triple.h"
#include "llvm/Analysis/CallGraph.h"
#include "llvm/Analysis/CallGraphSCCPass.h"
Expand All @@ -28,6 +27,7 @@
#include "llvm/IR/DebugInfo.h"
#include "llvm/IR/IRPrintingPasses.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/LegacyPassManager.h"
#include "llvm/IR/LegacyPassNameParser.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/Verifier.h"
Expand All @@ -36,7 +36,7 @@
#include "llvm/LinkAllIR.h"
#include "llvm/LinkAllPasses.h"
#include "llvm/MC/SubtargetFeature.h"
#include "llvm/IR/LegacyPassManager.h"
#include "llvm/PassPrinters/PassPrinters.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/FileSystem.h"
#include "llvm/Support/Host.h"
Expand All @@ -51,6 +51,7 @@
#include "llvm/Support/ToolOutputFile.h"
#include "llvm/Target/TargetMachine.h"
#include "llvm/Transforms/IPO/PassManagerBuilder.h"
#include "llvm/Transforms/Utils/Cloning.h"

// HLSL Change Starts
#include "dxc/HLSL/ComputeViewIdState.h"
Expand Down Expand Up @@ -202,6 +203,11 @@ static cl::opt<bool> PreserveAssemblyUseListOrder(
cl::desc("Preserve use-list order when writing LLVM assembly."),
cl::init(false), cl::Hidden);

static cl::opt<bool>
RunTwice("run-twice",
cl::desc("Run all passes twice, re-using the same pass manager."),
cl::init(false), cl::Hidden);

static inline void addPass(legacy::PassManagerBase &PM, Pass *P) {
// Add the pass to the pass manager...
PM.add(P);
Expand Down Expand Up @@ -632,14 +638,27 @@ int __cdecl main(int argc, char **argv) {
if (!NoVerify && !VerifyEach)
Passes.add(createVerifierPass());

// In run twice mode, we want to make sure the output is bit-by-bit
// equivalent if we run the pass manager again, so setup two buffers and
// a stream to write to them. Note that llc does something similar and it
// may be worth to abstract this out in the future.
SmallVector<char, 0> Buffer;
SmallVector<char, 0> CompileTwiceBuffer;
std::unique_ptr<raw_svector_ostream> BOS;
raw_ostream *OS = nullptr;

// Write bitcode or assembly to the output as the last step...
if (!NoOutput && !AnalyzeOnly) {
assert(Out);
OS = &Out->os();
if (RunTwice) {
BOS = make_unique<raw_svector_ostream>(Buffer);
OS = BOS.get();
}
if (OutputAssembly)
Passes.add(
createPrintModulePass(Out->os(), "", PreserveAssemblyUseListOrder));
Passes.add(createPrintModulePass(*OS, "", PreserveAssemblyUseListOrder));
else
Passes.add(
createBitcodeWriterPass(Out->os(), PreserveBitcodeUseListOrder));
Passes.add(createBitcodeWriterPass(*OS, PreserveBitcodeUseListOrder));
}

// Before executing passes, print the final values of the LLVM options.
Expand All @@ -655,6 +674,28 @@ int __cdecl main(int argc, char **argv) {
}
// HLSL Change Ends

// If requested, run all passes again with the same pass manager to catch
// bugs caused by persistent state in the passes
if (RunTwice) {
assert(Out);
CompileTwiceBuffer = Buffer;
Buffer.clear();
std::unique_ptr<Module> M2(CloneModule(M.get()));
Passes.run(*M2);
if (Buffer.size() != CompileTwiceBuffer.size() ||
(memcmp(Buffer.data(), CompileTwiceBuffer.data(), Buffer.size()) !=
0)) {
errs() << "Running the pass manager twice changed the output.\n"
"Writing the result of the second run to the specified output."
"To generate the one-run comparison binary, just run without\n"
"the compile-twice option\n";
Out->os() << BOS->str();
Out->keep();
return 1;
}
Out->os() << BOS->str();
}

// Declare success.
if (!NoOutput || PrintBreakpoints)
Out->keep();
Expand Down

0 comments on commit b79169b

Please sign in to comment.