add dce!

Author: vchuravy

lib/libLLVM_h.jl

@@ -4599,6 +4599,11 @@ function LLVMAddAggressiveDCEPass(PM)
     @runtime_ccall((:LLVMAddAggressiveDCEPass,libllvm[]), Cvoid, (LLVMPassManagerRef,), PM)
 end
 
+# added in LLVM10
+function LLVMAddDCEPass(PM)
+    @runtime_ccall((:LLVMAddDCEPass,libllvm[]), Cvoid, (LLVMPassManagerRef,), PM)
+end
+
 function LLVMAddBitTrackingDCEPass(PM)
     @runtime_ccall((:LLVMAddBitTrackingDCEPass,libllvm[]), Cvoid, (LLVMPassManagerRef,), PM)
 end

src/transform.jl

@@ -101,14 +101,20 @@ define_transforms([
     :LowerExpectIntrinsic, :TypeBasedAliasAnalysis, :ScopedNoAliasAA, :BasicAliasAnalysis
 ])
 
-export scalar_repl_aggregates!, scalar_repl_aggregates_ssa!
+export scalar_repl_aggregates!, scalar_repl_aggregates_ssa!, dce!
 
 scalar_repl_aggregates!(pm::PassManager, threshold::Integer) =
     API.LLVMAddScalarReplAggregatesPassWithThreshold(pm, Cint(threshold))
 
 scalar_repl_aggregates_ssa!(pm::PassManager) =
     API.LLVMAddScalarReplAggregatesPassSSA(pm)
 
+if version() >= v"10.0"
+dce!(pm::PassManager) =
+    API.LLVMAddDCEPass(pm)
+else
+dce!(pm::PassManager) = nothing
+end
 
 ## vectorization transformations
 

test/transform.jl

@@ -30,6 +30,7 @@ Context() do ctx
 LLVM.Module("SomeModule", ctx) do mod
 ModulePassManager() do pm
     aggressive_dce!(pm)
+    dce!(pm)
     bit_tracking_dce!(pm)
     alignment_from_assumptions!(pm)
     cfgsimplification!(pm)