Merge pull request #138 from maleadt/tb/passes_wrappers

Add high-level wrappers for the Julia passes.

Author: maleadt

src/core/instructions.jl

@@ -142,7 +142,9 @@ called_value(inst::Instruction) = Value(API.LLVMGetCalledValue(ref(inst)))
 
 ## terminators
 
-export isconditional, condition, condition!, default_dest
+export isterminator, isconditional, condition, condition!, default_dest
+
+isterminator(inst::Instruction) = LLVM.API.LLVMIsATerminatorInst(LLVM.ref(inst)) != C_NULL
 
 isconditional(br::Instruction) = convert(Core.Bool, API.LLVMIsConditional(ref(br)))
 

src/interop.jl

@@ -1,11 +1,13 @@
 module Interop
 
 using ..LLVM
+import ..LLVM: API, ref
 
 
 const jlctx = Ref{LLVM.Context}()
 
 include("interop/base.jl")
 include("interop/asmcall.jl")
+include("interop/passes.jl")
 
 end

src/interop/passes.jl

@@ -0,0 +1,33 @@
+export alloc_opt!, barrier_noop!, gc_invariant_verifier!, lower_exc_handlers!,
+       combine_mul_add!, multi_versioning!, propagate_julia_addrsp!, lower_ptls!,
+       lower_simdloop!, late_lower_gc_frame!
+
+alloc_opt!(pm::PassManager) =
+    API.LLVMAddAllocOptPass(ref(pm))
+
+barrier_noop!(pm::PassManager) =
+    API.LLVMAddBarrierNoopPass(ref(pm))
+
+gc_invariant_verifier!(pm::PassManager, strong::Bool=false) =
+    API.LLVMAddGCInvariantVerifierPass(ref(pm), convert(Bool, strong))
+
+lower_exc_handlers!(pm::PassManager) =
+    API.LLVMAddLowerExcHandlersPass(ref(pm))
+
+combine_mul_add!(pm::PassManager) =
+    API.LLVMAddCombineMulAddPass(ref(pm))
+
+multi_versioning!(pm::PassManager) =
+    API.LLVMAddMultiVersioningPass(ref(pm))
+
+propagate_julia_addrsp!(pm::PassManager) =
+    API.LLVMAddPropagateJuliaAddrspaces(ref(pm))
+
+lower_ptls!(pm::PassManager, imaging_mode::Bool=false) =
+    API.LLVMAddLowerPTLSPass(ref(pm), convert(Bool, imaging_mode))
+
+lower_simdloop!(pm::PassManager) =
+    API.LLVMAddLowerSimdLoopPass(ref(pm))
+
+late_lower_gc_frame!(pm::PassManager) =
+    API.LLVMAddLateLowerGCFramePass(ref(pm))

test/core.jl

@@ -235,6 +235,7 @@ LLVM.Module("SomeModule", ctx) do mod
 
     valueinst1 = add!(builder, parameters(fn)[1],
                       ConstantInt(Int32(1), ctx))
+    @test !isterminator(valueinst1)
 
     userinst = add!(builder, valueinst1,
                     ConstantInt(Int32(1), ctx))
@@ -868,6 +869,7 @@ LLVM.Module("SomeModule", ctx) do mod
 
     # terminators
 
+    @test isterminator(brinst)
     @test isconditional(brinst)
     @test condition(brinst) == parameters(fn)[1]
     condition!(brinst, parameters(fn)[2])

test/interop.jl

@@ -85,4 +85,33 @@ d1(a) = @asmcall("bswap \$0", "=r,r", Int32, Tuple{Int32}, a)
 
 end
 
+
+if VERSION >= v"1.2.0-DEV.531"
+@testset "passes" begin
+
+
+Context() do ctx
+LLVM.Module("SomeModule", ctx) do mod
+ModulePassManager() do pm
+
+alloc_opt!(pm)
+barrier_noop!(pm)
+gc_invariant_verifier!(pm)
+gc_invariant_verifier!(pm, true)
+lower_exc_handlers!(pm)
+combine_mul_add!(pm)
+multi_versioning!(pm)
+propagate_julia_addrsp!(pm)
+lower_ptls!(pm)
+lower_ptls!(pm, true)
+lower_simdloop!(pm)
+late_lower_gc_frame!(pm)
+
+end
+end
+end
+
+end
+end
+
 end