Add support for nightly version (1.13)

.github/workflows/CI.yml

@@ -53,8 +53,8 @@ jobs:
         ]
         version:
           - 'lts'
-          - '1.11'
           - '1.12'
+          - 'pre'
         arch:
           - x64
         include:
@@ -113,8 +113,8 @@ jobs:
         ]
         version:
           - 'lts'
-          - '1.11'
           - '1.12'
+          - 'pre'
         arch:
           - x64
         include:

ext/MooncakeAllocCheckExt.jl

@@ -3,9 +3,15 @@ module MooncakeAllocCheckExt
 using AllocCheck, Mooncake
 import Mooncake.TestUtils: check_allocs_internal, Shim
 
-@check_allocs check_allocs_internal(::Shim, f::F, x) where {F} = f(x)
-@check_allocs check_allocs_internal(::Shim, f::F, x, y) where {F} = f(x, y)
-@check_allocs check_allocs_internal(::Shim, f::F, x, y, z) where {F} = f(x, y, z)
+@static if VERSION < v"1.13-"
+    @check_allocs check_allocs_internal(::Shim, f::F, x) where {F} = f(x)
+    @check_allocs check_allocs_internal(::Shim, f::F, x, y) where {F} = f(x, y)
+    @check_allocs check_allocs_internal(::Shim, f::F, x, y, z) where {F} = f(x, y, z)
+else
+    check_allocs_internal(::Shim, f::F, x) where {F} = f(x)
+    check_allocs_internal(::Shim, f::F, x, y) where {F} = f(x, y)
+    check_allocs_internal(::Shim, f::F, x, y, z) where {F} = f(x, y, z)
+end
 
 # TODO: remove the fix below after https://github.com/JuliaLang/AllocCheck.jl/pull/100 is merged
 function __init__()

src/Mooncake.jl

@@ -151,7 +151,9 @@ using .BasicBlockCode
 
 include(joinpath("interpreter", "contexts.jl"))
 include(joinpath("interpreter", "abstract_interpretation.jl"))
-include(joinpath("interpreter", "patch_for_319.jl"))
+@static if VERSION < v"1.13-"
+    include(joinpath("interpreter", "patch_for_319.jl"))
+end
 include(joinpath("interpreter", "ir_utils.jl"))
 include(joinpath("interpreter", "ir_normalisation.jl"))
 include(joinpath("interpreter", "zero_like_rdata.jl"))

src/interpreter/ir_utils.jl

@@ -180,14 +180,18 @@ function optimise_ir!(ir::IRCode; show_ir=false, do_inline=true, interp=nothing)
     CC.verify_ir(ir)
     ir = __strip_coverage!(ir)
     ir = CC.compact!(ir)
-    if isnothing(interp)
-        # 319 -- see patch_for_319.jl for context
-        # replace by a simple NativeInterpreter() once fixed in Julia
-        local_interp = infer_interp = BugPatchInterpreter()
+    @static if VERSION ≥ v"1.13-"
+        local_interp = infer_interp = CC.NativeInterpreter()
     else
-        local_interp = interp
-        # 319 -- even if interp was explicitly given, use a BugPatchInterpreter for inference
-        infer_interp = BugPatchInterpreter()
+        if isnothing(interp)
+            # 319 -- see patch_for_319.jl for context
+            # replace by a simple NativeInterpreter() once fixed in Julia
+            local_interp = infer_interp = BugPatchInterpreter()
+        else
+            local_interp = interp
+            # 319 -- even if interp was explicitly given, use a BugPatchInterpreter for inference
+            infer_interp = BugPatchInterpreter()
+        end
     end
     mi = __get_toplevel_mi_from_ir(ir, @__MODULE__)
     ir = __infer_ir!(ir, infer_interp, mi)