skip verifier if parent function is overdub

src/compiler/irgen.jl

@@ -47,6 +47,11 @@ function compile_linfo(ctx::CompilerContext, linfo::Core.MethodInstance, world)
  end
  method_stack = Vector{Core.MethodInstance}()
  function hook_emit_function(method_instance, code, world)
+ skip_verifier = false
+ if length(method_stack) >= 1
+ last_method = last(method_stack)
+ skip_verifier = last_method.def.name === :overdub
+ end
  push!(method_stack, method_instance)
 
  # check for recursion
@@ -55,6 +60,10 @@ function compile_linfo(ctx::CompilerContext, linfo::Core.MethodInstance, world)
  bt=backtrace(ctx, method_stack)))
  end
 
+ # if last method on stack is overdub skip the Base check
+ # and trust in Cassette
+ skip_verifier && return
+
  # check for Base methods that exist in CUDAnative too
  # FIXME: this might be too coarse
  method = method_instance.def

test/codegen.jl

@@ -456,6 +456,17 @@ end
  @test occursin(r"\[2\] .+foobar", bt_msg)
 end
 
+@testset "do not verify hack for base intrinsics" begin
+ @noinline overdub(f::F, args...) where F = f(args...)
+ foobar(i) = overdub(sin, i)
+
+ # NOTE: we don't use test_logs in order to test all of the warning (exception, backtrace)
+ logs, _ = Test.collect_test_logs() do
+ CUDAnative.code_llvm(devnull, foobar, Tuple{Int})
+ end
+ @test length(logs) == 0
+end
+
 # some validation happens in `compile`
 
 @testset "non-isbits arguments" begin