Add inference and optimization params to interface

This adds the `inference_params` and `optimization_params` functions to
the interface.  This allows each backend to pass different inference and
optimization parameters to the interpreter.

Author: lcw

src/interface.jl

@@ -192,7 +192,7 @@ isintrinsic(@nospecialize(job::CompilerJob), fn::String) = false
 
 # provide a specific interpreter to use.
 get_interpreter(@nospecialize(job::CompilerJob)) =
-    GPUInterpreter(ci_cache(job), method_table(job), job.source.world)
+    GPUInterpreter(ci_cache(job), method_table(job), job.source.world, inference_params(job), optimization_params(job))
 
 # does this target support throwing Julia exceptions with jl_throw?
 # if not, calls to throw will be replaced with calls to the GPU runtime
@@ -270,6 +270,22 @@ ci_cache(@nospecialize(job::CompilerJob)) = GLOBAL_CI_CACHE
 # the method table to use
 method_table(@nospecialize(job::CompilerJob)) = GLOBAL_METHOD_TABLE
 
+# the inference parameters to use when constructing the GPUInterpreter
+function inference_params(@nospecialize(job::CompilerJob))
+    return InferenceParams(;unoptimize_throw_blocks=false)
+end
+
+# the optimization parameters to use when constructing the GPUInterpreter
+function optimization_params(@nospecialize(job::CompilerJob))
+    kwargs = NamedTuple()
+
+    if VERSION < v"1.8.0-DEV.486"
+        kwargs = (kwargs..., unoptimize_throw_blocks=false)
+    end
+
+    return OptimizationParams(;kwargs...)
+end
+
 # how much debuginfo to emit
 function llvm_debug_info(@nospecialize(job::CompilerJob))
     if Base.JLOptions().debug_level == 0

src/jlgen.jl

@@ -182,7 +182,8 @@ struct GPUInterpreter <: AbstractInterpreter
     inf_params::InferenceParams
     opt_params::OptimizationParams
 
-    function GPUInterpreter(cache::CodeCache, mt::Union{Nothing,Core.MethodTable}, world::UInt)
+
+    function GPUInterpreter(cache::CodeCache, mt::Union{Nothing,Core.MethodTable}, world::UInt, ip::InferenceParams, op::OptimizationParams)
         @assert world <= Base.get_world_counter()
 
         return new(
@@ -196,9 +197,8 @@ struct GPUInterpreter <: AbstractInterpreter
             world,
 
             # parameters for inference and optimization
-            InferenceParams(unoptimize_throw_blocks=false),
-            VERSION >= v"1.8.0-DEV.486" ? OptimizationParams() :
-                                          OptimizationParams(unoptimize_throw_blocks=false),
+            ip,
+            op
         )
     end
 end

src/validation.jl

@@ -32,7 +32,9 @@ function check_method(@nospecialize(job::CompilerJob))
     if job.source.kernel
         cache = ci_cache(job)
         mt = method_table(job)
-        interp = GPUInterpreter(cache, mt, world)
+        ip = inference_params(job)
+        op = optimization_params(job)
+        interp = GPUInterpreter(cache, mt, world, ip, op)
         rt = return_type(only(ms); interp)
 
         if rt != Nothing