From 08ade1edee0f2a64491ede6b7285145e091bf77a Mon Sep 17 00:00:00 2001 From: Manuel Drehwald Date: Tue, 4 Apr 2023 19:37:37 -0400 Subject: [PATCH] disable-strict-ta --- compiler/rustc_codegen_llvm/src/back/write.rs | 5 ++++- src/tools/enzyme/enzyme/Enzyme/EnzymeLogic.cpp | 2 +- src/tools/enzyme/enzyme/Enzyme/TypeAnalysis/TypeAnalysis.cpp | 4 ++-- 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/compiler/rustc_codegen_llvm/src/back/write.rs b/compiler/rustc_codegen_llvm/src/back/write.rs index 65a5cef3aaef9..c734b5c1f0655 100644 --- a/compiler/rustc_codegen_llvm/src/back/write.rs +++ b/compiler/rustc_codegen_llvm/src/back/write.rs @@ -714,8 +714,11 @@ pub(crate) unsafe fn differentiate( llvm::EnzymeSetCLBool(std::ptr::addr_of_mut!(llvm::EnzymePrintType), 1); llvm::EnzymeSetCLBool(std::ptr::addr_of_mut!(llvm::EnzymePrint), 1); } + llvm::EnzymeSetCLBool(std::ptr::addr_of_mut!(llvm::EnzymePrintActivity), 0); + llvm::EnzymeSetCLBool(std::ptr::addr_of_mut!(llvm::EnzymePrintType), 0); + llvm::EnzymeSetCLBool(std::ptr::addr_of_mut!(llvm::EnzymePrint), 0); - llvm::EnzymeSetCLBool(std::ptr::addr_of_mut!(llvm::EnzymeStrictAliasing), 1); + llvm::EnzymeSetCLBool(std::ptr::addr_of_mut!(llvm::EnzymeStrictAliasing), 0); for item in diff_items { let res = enzyme_ad(llmod, llcx, item); diff --git a/src/tools/enzyme/enzyme/Enzyme/EnzymeLogic.cpp b/src/tools/enzyme/enzyme/Enzyme/EnzymeLogic.cpp index 7e26f8a159782..c9a1ba99cd62a 100644 --- a/src/tools/enzyme/enzyme/Enzyme/EnzymeLogic.cpp +++ b/src/tools/enzyme/enzyme/Enzyme/EnzymeLogic.cpp @@ -72,7 +72,7 @@ using namespace llvm; extern "C" { llvm::cl::opt - EnzymePrint("enzyme-print", cl::init(false), cl::Hidden, + EnzymePrint("enzyme-print", cl::init(true), cl::Hidden, cl::desc("Print before and after fns for autodiff")); llvm::cl::opt diff --git a/src/tools/enzyme/enzyme/Enzyme/TypeAnalysis/TypeAnalysis.cpp b/src/tools/enzyme/enzyme/Enzyme/TypeAnalysis/TypeAnalysis.cpp index e1efa55ff2c07..dda94736982bd 100644 --- a/src/tools/enzyme/enzyme/Enzyme/TypeAnalysis/TypeAnalysis.cpp +++ b/src/tools/enzyme/enzyme/Enzyme/TypeAnalysis/TypeAnalysis.cpp @@ -63,7 +63,7 @@ llvm::cl::opt MaxIntOffset("enzyme-max-int-offset", cl::init(100), cl::Hidden, cl::desc("Maximum type tree offset")); -llvm::cl::opt EnzymePrintType("enzyme-print-type", cl::init(false), +llvm::cl::opt EnzymePrintType("enzyme-print-type", cl::init(true), cl::Hidden, cl::desc("Print type analysis algorithm")); @@ -72,7 +72,7 @@ llvm::cl::opt RustTypeRules("enzyme-rust-type", cl::init(false), cl::desc("Enable rust-specific type rules")); llvm::cl::opt EnzymeStrictAliasing( - "enzyme-strict-aliasing", cl::init(true), cl::Hidden, + "enzyme-strict-aliasing", cl::init(false), cl::Hidden, cl::desc("Assume strict aliasing of types / type stability")); }