fix: correct launch configuration

Author: avik-pal

Project.toml

@@ -105,7 +105,7 @@ PythonCall = "0.9.25"
 Random = "1.10"
 Random123 = "1.7"
 ReactantCore = "0.1.16"
-Reactant_jll = "0.0.252"
+Reactant_jll = "0.0.251"
 ScopedValues = "1.3.0"
 Scratch = "1.2"
 Sockets = "1.10"

deps/ReactantExtra/WORKSPACE

@@ -3,8 +3,7 @@ load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
 NSYNC_COMMIT = "82b118aa7ace3132e517e2c467f8732978cf4023"
 NSYNC_SHA256 = ""
 
-ENZYMEXLA_COMMIT = "8221b6147f497592205e6f558b1609e2964f3330"
-
+ENZYMEXLA_COMMIT = "4d71da26119a84662cd6f5252a68a35ca1673eae"
 ENZYMEXLA_SHA256 = ""
 
 http_archive(

ext/ReactantPythonCallExt/pycall.jl

@@ -59,9 +59,9 @@ struct TritonMetadata{CK,MD,DP}
     max_num_threads::Int
 end
 
-normalize_grid(grid_fn, metadata) = normalize_grid(grid_fn(metadata), metadata)
-normalize_grid(grid::Integer, metadata) = normalize_grid((grid,), metadata)
-function normalize_grid(grid::Dims{N}, metadata) where {N}
+canonicalize_grid(grid_fn, metadata) = canonicalize_grid(grid_fn(metadata), metadata)
+canonicalize_grid(grid::Integer, metadata) = canonicalize_grid((grid,), metadata)
+function canonicalize_grid(grid::Dims{N}, metadata) where {N}
     @assert N <= 3
     @assert all(grid .> 0)
     return (grid..., ntuple(_ -> 1, 3 - N)...)
@@ -82,6 +82,7 @@ function overlayed_pycall_with_triton(
     num_ctas::Integer=1,
     hints=nothing,
 )
+    @assert num_ctas == 1 "TODO: num_ctas > 1 not supported"
     triton = tritonptr[]
 
     mapped = map(signature_string, args)
@@ -163,7 +164,7 @@ function overlayed_pycall_with_triton(
         Int(n_max_threads[]),
     )
 
-    grid = normalize_grid(grid, metadata)
+    grid = canonicalize_grid(grid, metadata)
 
     return @opcall triton_call(
         pyconvert(String, compiled_kernel.asm["source"]),
@@ -177,5 +178,7 @@ function overlayed_pycall_with_triton(
         block_z=@opcall(constant(1)),
         num_ctas,
         num_warps,
+        threads_per_warp=device_properties.warp_size,
+        enable_source_remat=false,
     )
 end

src/CompileOptions.jl

@@ -230,6 +230,7 @@ function CompileOptions(;
             :just_batch,
             :none,
             :no_triton,
+            :before_triton_lowering,
         ]
     end
 

src/Compiler.jl

@@ -1327,9 +1327,7 @@ function triton_optimization_passes(device_properties)
             "cse",
             "symbol-dce",
             "triton-loop-unroll",
-            "preserve-triton-warps-ctas{save=true restore=false}",
-            "convert-triton-to-tritongpu{target=cuda:$(major_version)$(minor_version)}",
-            "preserve-triton-warps-ctas{save=false restore=true}",
+            "convert-triton-to-triton-gpu-preserving-module-attributes{target=cuda:$(major_version)$(minor_version)}",
             "tritongpu-coalesce",
             "tritongpu-F32DotTC",
             "triton-nvidia-gpu-plan-cta",
@@ -1930,6 +1928,31 @@ function compile_mlir!(
             ),
             "no_triton",
         )
+    elseif compile_options.optimization_passes === :before_triton_lowering
+        run_pass_pipeline!(
+            mod,
+            join(
+                if compile_options.raise_first
+                    ["mark-func-memory-effects", opt_passes]
+                else
+                    [
+                        "mark-func-memory-effects",
+                        opt_passes,
+                        "enzyme-batch",
+                        opt_passes2,
+                        enzyme_pass,
+                        opt_passes_with_triton,
+                        "canonicalize",
+                        "remove-unnecessary-enzyme-ops",
+                        "enzyme-simplify-math",
+                        legalize_chlo_to_stablehlo...,
+                        opt_passes2,
+                    ]
+                end,
+                ',',
+            ),
+            "before_triton_lowering",
+        )
     elseif compile_options.optimization_passes === :before_kernel
         run_pass_pipeline!(
             mod,

src/Ops.jl

@@ -1852,14 +1852,22 @@ function triton_call(
     block_z::TracedRNumber{<:Integer},
     num_ctas::Integer=1,
     num_warps::Integer=4,
+    threads_per_warp::Integer=32,
+    enable_source_remat::Bool=false,
     location=mlir_stacktrace("triton_call", @__FILE__, @__LINE__),
 )
     _, symref, modop = _extract_function(
         mlir_code; func_name, func_op_kind="tt.func", location
     )
 
-    MLIR.IR.attr!(modop, "ttg.num-wraps", MLIR.IR.Attribute(Int32(num_warps)))
-    MLIR.IR.attr!(modop, "ttg.num-ctas", MLIR.IR.Attribute(Int32(num_ctas)))
+    MLIR.IR.attr!(modop, "enzymexla.ttg.num-warps", MLIR.IR.Attribute(Int32(num_warps)))
+    MLIR.IR.attr!(modop, "enzymexla.ttg.num-ctas", MLIR.IR.Attribute(Int32(num_ctas)))
+    MLIR.IR.attr!(
+        modop, "enzymexla.ttg.threads-per-warp", MLIR.IR.Attribute(Int32(threads_per_warp))
+    )
+    if enable_source_remat
+        MLIR.IR.attr!(modop, "enzymexla.ttg.enable-source-remat", MLIR.IR.UnitAttribute())
+    end
 
     result_types = MLIR.IR.Type[]
     output_operand_aliases = MLIR.IR.Attribute[]

test/integration/triton/layer_norm.jl

@@ -53,19 +53,19 @@ end
 
 @testset "fused_layer_norm" begin
     if RunningOnCUDA
-        x_ra = Reactant.to_rarray(rand(Float32, 256, 2056))
-        weight_ra = Reactant.to_rarray(rand(Float32, 256))
-        bias_ra = Reactant.to_rarray(rand(Float32, 256))
+        x_ra = Reactant.to_rarray(rand(Float32, 257, 2056))
+        weight_ra = Reactant.to_rarray(rand(Float32, 257))
+        bias_ra = Reactant.to_rarray(rand(Float32, 257))
 
         y_ra1, mean_ra1, rstd_ra1 = @jit layer_norm_triton(x_ra, weight_ra, bias_ra, false)
         y_ra2, mean_ra2, rstd_ra2 = @jit layer_norm_naive(x_ra, weight_ra, bias_ra)
         y_ra3, mean_ra3, rstd_ra3 = @jit layer_norm_triton(x_ra, weight_ra, bias_ra, true)
 
-        @test_broken y_ra1 ≈ y_ra2
-        @test_broken y_ra2 ≈ y_ra3
-        @test_broken mean_ra1 ≈ mean_ra2
+        @test y_ra1 ≈ y_ra2
+        @test y_ra2 ≈ y_ra3
+        @test mean_ra1 ≈ mean_ra2
         @test mean_ra2 ≈ mean_ra3
-        @test_broken rstd_ra1 ≈ rstd_ra2
+        @test rstd_ra1 ≈ rstd_ra2
         @test rstd_ra2 ≈ rstd_ra3
     end
 end

test/runtests.jl

@@ -66,7 +66,7 @@ const REACTANT_TEST_GROUP = lowercase(get(ENV, "REACTANT_TEST_GROUP", "all"))
             @safetestset "low_memory_dropout" include(
                 "integration/triton/low_memory_dropout.jl"
             )
-            @safetestset "layer norm" include("integration/triton/layer_norm.jl") # XXX
+            @safetestset "layer norm" include("integration/triton/layer_norm.jl")
             # @safetestset "attention" include("integration/triton/attention.jl")
             @safetestset "libdevice" include("integration/triton/libdevice.jl")
             # @safetestset "grouped gemm" include("integration/triton/grouped_gemm.jl")