diff --git a/.github/workflows/Tblgen.yml b/.github/workflows/Tblgen.yml new file mode 100644 index 00000000..2eebc2ed --- /dev/null +++ b/.github/workflows/Tblgen.yml @@ -0,0 +1,70 @@ +name: MLIR JL tblgen CI + +on: + pull_request: + branches: + - main + push: + branches: + - main + tags: '*' + +jobs: + test: + name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }} + runs-on: ${{ matrix.os }} + strategy: + fail-fast: false + matrix: + version: + - '1.9' + - '1.10' + - 'nightly' + os: + - ubuntu-latest + arch: + - x64 + steps: + - uses: actions/checkout@v2 + - uses: julia-actions/setup-julia@v1 + with: + version: ${{ matrix.version }} + arch: ${{ matrix.arch }} + - uses: actions/cache@v1 + env: + cache-name: cache-artifacts + with: + path: ~/.julia/artifacts + key: ${{ runner.os }}-test-${{ env.cache-name }}-${{ hashFiles('**/Project.toml') }} + restore-keys: | + ${{ runner.os }}-test-${{ env.cache-name }}- + ${{ runner.os }}-test- + ${{ runner.os }}- + - uses: julia-actions/julia-buildpkg@v1 + - uses: julia-actions/julia-runtest@v1 + - uses: julia-actions/julia-processcoverage@v1 + - uses: codecov/codecov-action@v1 + with: + file: lcov.info + docs: + name: Documentation + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - uses: julia-actions/setup-julia@v1 + with: + version: '1' + - run: | + julia --project=docs -e ' + using Pkg + Pkg.develop(PackageSpec(path=pwd())) + Pkg.instantiate()' + - run: | + julia --project=docs -e ' + using Documenter: doctest + using MLIR + doctest(MLIR)' # change MYPACKAGE to the name of your package + - run: julia --project=docs docs/make.jl + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} diff --git a/deps/build_ci.jl b/deps/build_ci.jl new file mode 100644 index 00000000..8c84880c --- /dev/null +++ b/deps/build_ci.jl @@ -0,0 +1,54 @@ +using Pkg +Pkg.activate(@__DIR__) +Pkg.instantiate() + +using Git, Scratch, Dates + +MLIR = Base.UUID("bfde9dd4-8f40-4a1e-be09-1475335e1c92") + +# get scratch directories +support_dir = get_scratch!(LLVM, "support") + +# is this a full-fledged check-out? +if isdir(joinpath(@__DIR__), "..", ".git") + # determine latest change to the wrappers + deps_timestamp = parse(Int, read(`$(git()) -C $(@__DIR__) log -1 --format=%ct LLVMExtra`, String)) + @info "Latest change to the wrappers: $(unix2datetime(deps_timestamp))" + + # find out which version of LLVMExtra_jll we are using + Pkg.activate(joinpath(@__DIR__, "..")) + deps = collect(values(Pkg.dependencies())) + filter!(deps) do dep + dep.name == "LLVMExtra_jll" + end + library_version = only(deps).version + @info "LLVMExtra_jll version: $(library_version)" + + # compare to the JLL's tags + jll_tags = mktempdir() do dir + if !isdir(joinpath(support_dir, ".git")) + run(`$(git()) clone -q https://github.com/JuliaBinaryWrappers/LLVMExtra_jll.jl $dir`) + else + run(`$(git()) -C $dir fetch -q`) + end + tags = Dict{String,Int}() + for line in eachline(`$(git()) -C $dir tag --format "%(refname:short) %(creatordate:unix)"`) + tag, timestamp = split(line) + tags[tag] = parse(Int, timestamp) + end + tags + end + jll_timestamp = jll_tags["LLVMExtra-v$(library_version)"] + @info "LLVMExtra_jll timestamp: $(unix2datetime(jll_timestamp))" + + if deps_timestamp > jll_timestamp + @info "Wrappers have changed since the last JLL build. Building the support library locally." + include(joinpath(@__DIR__, "build_local.jl")) + else + @info "Wrappers have not changed since the last JLL build. Using the JLL's support library." + end +else + @warn """LLVM.jl source code is not checked-out from Git. + This means we cannot check for changes, and need to unconditionally build the support library.""" + include(joinpath(@__DIR__, "build_local.jl")) +end \ No newline at end of file diff --git a/src/API/14/libMLIR_h.jl b/src/API/14/libMLIR_h.jl index c9dfbb76..8ab0b389 100644 --- a/src/API/14/libMLIR_h.jl +++ b/src/API/14/libMLIR_h.jl @@ -169,9 +169,6 @@ struct MlirSymbolTable ptr::Ptr{Cvoid} end -""" - MlirAttribute -""" struct MlirAttribute ptr::Ptr{Cvoid} end @@ -188,9 +185,6 @@ struct MlirModule ptr::Ptr{Cvoid} end -""" - MlirType -""" struct MlirType ptr::Ptr{Cvoid} end @@ -5446,3 +5440,4 @@ end function mlirRegisterTransformsViewOpGraph() @ccall mlir_c.mlirRegisterTransformsViewOpGraph()::Cvoid end + diff --git a/src/Dialects/14/GPU.jl b/src/Dialects/14/GPU.jl index dbaeaab2..0cc84420 100644 --- a/src/Dialects/14/GPU.jl +++ b/src/Dialects/14/GPU.jl @@ -460,7 +460,7 @@ module attributes {gpu.container_module} { } ``` """ -function launch_func(asyncDependencies::Vector{Value}, gridSizeX::Value, gridSizeY::Value, gridSizeZ::Value, blockSizeX::Value, blockSizeY::Value, blockSizeZ::Value, dynamicSharedMemorySize=nothing::Union{Nothing, Value}, operands::Vector{Value}; asyncToken=nothing::Union{Nothing, MLIRType}, kernel, location=Location()) +function launch_func(asyncDependencies::Vector{Value}, gridSizeX::Value, gridSizeY::Value, gridSizeZ::Value, blockSizeX::Value, blockSizeY::Value, blockSizeZ::Value, dynamicSharedMemorySize=nothing::Union{Nothing, Value}; operands::Vector{Value}, asyncToken=nothing::Union{Nothing, MLIRType}, kernel, location=Location()) results = MLIRType[] operands = Value[asyncDependencies..., gridSizeX, gridSizeY, gridSizeZ, blockSizeX, blockSizeY, blockSizeZ, operands..., ] owned_regions = Region[] diff --git a/src/Dialects/14/LLVMIR.jl b/src/Dialects/14/LLVMIR.jl index cbe21a08..dfae218a 100644 --- a/src/Dialects/14/LLVMIR.jl +++ b/src/Dialects/14/LLVMIR.jl @@ -497,10 +497,10 @@ function intr_copysign(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType} end """ -`intr_coro.align` +`intr_coro_align` """ -function intr_coro.align(; res::MLIRType, location=Location()) +function intr_coro_align(; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[] owned_regions = Region[] @@ -516,10 +516,10 @@ function intr_coro.align(; res::MLIRType, location=Location()) end """ -`intr_coro.begin` +`intr_coro_begin` """ -function intr_coro.begin(token::Value, mem::Value; res::MLIRType, location=Location()) +function intr_coro_begin(token::Value, mem::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[token, mem, ] owned_regions = Region[] @@ -535,10 +535,10 @@ function intr_coro.begin(token::Value, mem::Value; res::MLIRType, location=Locat end """ -`intr_coro.end` +`intr_coro_end` """ -function intr_coro.end(handle::Value, unwind::Value; res::MLIRType, location=Location()) +function intr_coro_end(handle::Value, unwind::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[handle, unwind, ] owned_regions = Region[] @@ -554,10 +554,10 @@ function intr_coro.end(handle::Value, unwind::Value; res::MLIRType, location=Loc end """ -`intr_coro.free` +`intr_coro_free` """ -function intr_coro.free(id::Value, handle::Value; res::MLIRType, location=Location()) +function intr_coro_free(id::Value, handle::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[id, handle, ] owned_regions = Region[] @@ -573,10 +573,10 @@ function intr_coro.free(id::Value, handle::Value; res::MLIRType, location=Locati end """ -`intr_coro.id` +`intr_coro_id` """ -function intr_coro.id(align::Value, promise::Value, coroaddr::Value, fnaddrs::Value; res::MLIRType, location=Location()) +function intr_coro_id(align::Value, promise::Value, coroaddr::Value, fnaddrs::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[align, promise, coroaddr, fnaddrs, ] owned_regions = Region[] @@ -592,10 +592,10 @@ function intr_coro.id(align::Value, promise::Value, coroaddr::Value, fnaddrs::Va end """ -`intr_coro.resume` +`intr_coro_resume` """ -function intr_coro.resume(handle::Value; location=Location()) +function intr_coro_resume(handle::Value; location=Location()) results = MLIRType[] operands = Value[handle, ] owned_regions = Region[] @@ -611,10 +611,10 @@ function intr_coro.resume(handle::Value; location=Location()) end """ -`intr_coro.save` +`intr_coro_save` """ -function intr_coro.save(handle::Value; res::MLIRType, location=Location()) +function intr_coro_save(handle::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[handle, ] owned_regions = Region[] @@ -630,10 +630,10 @@ function intr_coro.save(handle::Value; res::MLIRType, location=Location()) end """ -`intr_coro.size` +`intr_coro_size` """ -function intr_coro.size(; res::MLIRType, location=Location()) +function intr_coro_size(; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[] owned_regions = Region[] @@ -649,10 +649,10 @@ function intr_coro.size(; res::MLIRType, location=Location()) end """ -`intr_coro.suspend` +`intr_coro_suspend` """ -function intr_coro.suspend(save::Value, final::Value; res::MLIRType, location=Location()) +function intr_coro_suspend(save::Value, final::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[save, final, ] owned_regions = Region[] @@ -746,10 +746,10 @@ function intr_ctpop(in::Value; res=nothing::Union{Nothing, MLIRType}, location=L end """ -`intr_eh.typeid.for` +`intr_eh_typeid_for` """ -function intr_eh.typeid.for(type_info::Value; res::MLIRType, location=Location()) +function intr_eh_typeid_for(type_info::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[type_info, ] owned_regions = Region[] @@ -1223,10 +1223,10 @@ function getelementptr(base::Value, indices::Vector{Value}; res::MLIRType, struc end """ -`intr_get.active.lane.mask` +`intr_get_active_lane_mask` """ -function intr_get.active.lane.mask(base::Value, n::Value; res::MLIRType, location=Location()) +function intr_get_active_lane_mask(base::Value, n::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[base, n, ] owned_regions = Region[] @@ -1732,10 +1732,10 @@ function intr_log(in::Value; res=nothing::Union{Nothing, MLIRType}, location=Loc end """ -`intr_masked.load` +`intr_masked_load` """ -function intr_masked.load(data::Value, mask::Value, pass_thru::Vector{Value}; res::MLIRType, alignment, location=Location()) +function intr_masked_load(data::Value, mask::Value, pass_thru::Vector{Value}; res::MLIRType, alignment, location=Location()) results = MLIRType[res, ] operands = Value[data, mask, pass_thru..., ] owned_regions = Region[] @@ -1751,10 +1751,10 @@ function intr_masked.load(data::Value, mask::Value, pass_thru::Vector{Value}; re end """ -`intr_masked.store` +`intr_masked_store` """ -function intr_masked.store(value::Value, data::Value, mask::Value; alignment, location=Location()) +function intr_masked_store(value::Value, data::Value, mask::Value; alignment, location=Location()) results = MLIRType[] operands = Value[value, data, mask, ] owned_regions = Region[] @@ -1770,10 +1770,10 @@ function intr_masked.store(value::Value, data::Value, mask::Value; alignment, lo end """ -`intr_matrix.column.major.load` +`intr_matrix_column_major_load` """ -function intr_matrix.column.major.load(data::Value, stride::Value; res::MLIRType, isVolatile, rows, columns, location=Location()) +function intr_matrix_column_major_load(data::Value, stride::Value; res::MLIRType, isVolatile, rows, columns, location=Location()) results = MLIRType[res, ] operands = Value[data, stride, ] owned_regions = Region[] @@ -1789,10 +1789,10 @@ function intr_matrix.column.major.load(data::Value, stride::Value; res::MLIRType end """ -`intr_matrix.column.major.store` +`intr_matrix_column_major_store` """ -function intr_matrix.column.major.store(matrix::Value, data::Value, stride::Value; isVolatile, rows, columns, location=Location()) +function intr_matrix_column_major_store(matrix::Value, data::Value, stride::Value; isVolatile, rows, columns, location=Location()) results = MLIRType[] operands = Value[matrix, data, stride, ] owned_regions = Region[] @@ -1808,10 +1808,10 @@ function intr_matrix.column.major.store(matrix::Value, data::Value, stride::Valu end """ -`intr_matrix.multiply` +`intr_matrix_multiply` """ -function intr_matrix.multiply(lhs::Value, rhs::Value; res::MLIRType, lhs_rows, lhs_columns, rhs_columns, location=Location()) +function intr_matrix_multiply(lhs::Value, rhs::Value; res::MLIRType, lhs_rows, lhs_columns, rhs_columns, location=Location()) results = MLIRType[res, ] operands = Value[lhs, rhs, ] owned_regions = Region[] @@ -1827,10 +1827,10 @@ function intr_matrix.multiply(lhs::Value, rhs::Value; res::MLIRType, lhs_rows, l end """ -`intr_matrix.transpose` +`intr_matrix_transpose` """ -function intr_matrix.transpose(matrix::Value; res::MLIRType, rows, columns, location=Location()) +function intr_matrix_transpose(matrix::Value; res::MLIRType, rows, columns, location=Location()) results = MLIRType[res, ] operands = Value[matrix, ] owned_regions = Region[] @@ -1886,10 +1886,10 @@ function intr_maximum(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, end """ -`intr_memcpy.inline` +`intr_memcpy_inline` """ -function intr_memcpy.inline(dst::Value, src::Value, len::Value, isVolatile::Value; location=Location()) +function intr_memcpy_inline(dst::Value, src::Value, len::Value, isVolatile::Value; location=Location()) results = MLIRType[] operands = Value[dst, src, len, isVolatile, ] owned_regions = Region[] @@ -2217,10 +2217,10 @@ function return_(args::Vector{Value}; location=Location()) end """ -`intr_sadd.with.overflow` +`intr_sadd_with_overflow` """ -function intr_sadd.with.overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) +function intr_sadd_with_overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -2334,10 +2334,10 @@ function intr_smin(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, lo end """ -`intr_smul.with.overflow` +`intr_smul_with_overflow` """ -function intr_smul.with.overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) +function intr_smul_with_overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -2373,10 +2373,10 @@ function srem(lhs::Value, rhs::Value; res=nothing::Union{Nothing, MLIRType}, loc end """ -`intr_ssub.with.overflow` +`intr_ssub_with_overflow` """ -function intr_ssub.with.overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) +function intr_ssub_with_overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -2615,10 +2615,10 @@ function trunc(arg::Value; res::MLIRType, location=Location()) end """ -`intr_uadd.with.overflow` +`intr_uadd_with_overflow` """ -function intr_uadd.with.overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) +function intr_uadd_with_overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -2713,10 +2713,10 @@ function intr_umin(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, lo end """ -`intr_umul.with.overflow` +`intr_umul_with_overflow` """ -function intr_umul.with.overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) +function intr_umul_with_overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -2752,10 +2752,10 @@ function urem(lhs::Value, rhs::Value; res=nothing::Union{Nothing, MLIRType}, loc end """ -`intr_usub.with.overflow` +`intr_usub_with_overflow` """ -function intr_usub.with.overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) +function intr_usub_with_overflow(operand_0::Value, operand_1::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -2859,10 +2859,10 @@ function zext(arg::Value; res::MLIRType, location=Location()) end """ -`intr_masked.compressstore` +`intr_masked_compressstore` """ -function intr_masked.compressstore(operand_0::Value, operand_1::Value, operand_2::Value; location=Location()) +function intr_masked_compressstore(operand_0::Value, operand_1::Value, operand_2::Value; location=Location()) results = MLIRType[] operands = Value[operand_0, operand_1, operand_2, ] owned_regions = Region[] @@ -2878,10 +2878,10 @@ function intr_masked.compressstore(operand_0::Value, operand_1::Value, operand_2 end """ -`intr_masked.expandload` +`intr_masked_expandload` """ -function intr_masked.expandload(operand_0::Value, operand_1::Value, operand_2::Value; res::MLIRType, location=Location()) +function intr_masked_expandload(operand_0::Value, operand_1::Value, operand_2::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, operand_2, ] owned_regions = Region[] @@ -2897,10 +2897,10 @@ function intr_masked.expandload(operand_0::Value, operand_1::Value, operand_2::V end """ -`intr_masked.gather` +`intr_masked_gather` """ -function intr_masked.gather(ptrs::Value, mask::Value, pass_thru::Vector{Value}; res::MLIRType, alignment, location=Location()) +function intr_masked_gather(ptrs::Value, mask::Value, pass_thru::Vector{Value}; res::MLIRType, alignment, location=Location()) results = MLIRType[res, ] operands = Value[ptrs, mask, pass_thru..., ] owned_regions = Region[] @@ -2916,10 +2916,10 @@ function intr_masked.gather(ptrs::Value, mask::Value, pass_thru::Vector{Value}; end """ -`intr_masked.scatter` +`intr_masked_scatter` """ -function intr_masked.scatter(value::Value, ptrs::Value, mask::Value; alignment, location=Location()) +function intr_masked_scatter(value::Value, ptrs::Value, mask::Value; alignment, location=Location()) results = MLIRType[] operands = Value[value, ptrs, mask, ] owned_regions = Region[] @@ -2935,10 +2935,10 @@ function intr_masked.scatter(value::Value, ptrs::Value, mask::Value; alignment, end """ -`intr_vector.reduce.add` +`intr_vector_reduce_add` """ -function intr_vector.reduce.add(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_add(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -2954,10 +2954,10 @@ function intr_vector.reduce.add(operand_0::Value; res::MLIRType, location=Locati end """ -`intr_vector.reduce.and` +`intr_vector_reduce_and` """ -function intr_vector.reduce.and(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_and(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -2973,10 +2973,10 @@ function intr_vector.reduce.and(operand_0::Value; res::MLIRType, location=Locati end """ -`intr_vector.reduce.fadd` +`intr_vector_reduce_fadd` """ -function intr_vector.reduce.fadd(operand_0::Value, operand_1::Value; res::MLIRType, reassoc=nothing, location=Location()) +function intr_vector_reduce_fadd(operand_0::Value, operand_1::Value; res::MLIRType, reassoc=nothing, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -2993,10 +2993,10 @@ function intr_vector.reduce.fadd(operand_0::Value, operand_1::Value; res::MLIRTy end """ -`intr_vector.reduce.fmax` +`intr_vector_reduce_fmax` """ -function intr_vector.reduce.fmax(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_fmax(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3012,10 +3012,10 @@ function intr_vector.reduce.fmax(operand_0::Value; res::MLIRType, location=Locat end """ -`intr_vector.reduce.fmin` +`intr_vector_reduce_fmin` """ -function intr_vector.reduce.fmin(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_fmin(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3031,10 +3031,10 @@ function intr_vector.reduce.fmin(operand_0::Value; res::MLIRType, location=Locat end """ -`intr_vector.reduce.fmul` +`intr_vector_reduce_fmul` """ -function intr_vector.reduce.fmul(operand_0::Value, operand_1::Value; res::MLIRType, reassoc=nothing, location=Location()) +function intr_vector_reduce_fmul(operand_0::Value, operand_1::Value; res::MLIRType, reassoc=nothing, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, operand_1, ] owned_regions = Region[] @@ -3051,10 +3051,10 @@ function intr_vector.reduce.fmul(operand_0::Value, operand_1::Value; res::MLIRTy end """ -`intr_vector.reduce.mul` +`intr_vector_reduce_mul` """ -function intr_vector.reduce.mul(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_mul(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3070,10 +3070,10 @@ function intr_vector.reduce.mul(operand_0::Value; res::MLIRType, location=Locati end """ -`intr_vector.reduce.or` +`intr_vector_reduce_or` """ -function intr_vector.reduce.or(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_or(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3089,10 +3089,10 @@ function intr_vector.reduce.or(operand_0::Value; res::MLIRType, location=Locatio end """ -`intr_vector.reduce.smax` +`intr_vector_reduce_smax` """ -function intr_vector.reduce.smax(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_smax(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3108,10 +3108,10 @@ function intr_vector.reduce.smax(operand_0::Value; res::MLIRType, location=Locat end """ -`intr_vector.reduce.smin` +`intr_vector_reduce_smin` """ -function intr_vector.reduce.smin(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_smin(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3127,10 +3127,10 @@ function intr_vector.reduce.smin(operand_0::Value; res::MLIRType, location=Locat end """ -`intr_vector.reduce.umax` +`intr_vector_reduce_umax` """ -function intr_vector.reduce.umax(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_umax(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3146,10 +3146,10 @@ function intr_vector.reduce.umax(operand_0::Value; res::MLIRType, location=Locat end """ -`intr_vector.reduce.umin` +`intr_vector_reduce_umin` """ -function intr_vector.reduce.umin(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_umin(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] @@ -3165,10 +3165,10 @@ function intr_vector.reduce.umin(operand_0::Value; res::MLIRType, location=Locat end """ -`intr_vector.reduce.xor` +`intr_vector_reduce_xor` """ -function intr_vector.reduce.xor(operand_0::Value; res::MLIRType, location=Location()) +function intr_vector_reduce_xor(operand_0::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[operand_0, ] owned_regions = Region[] diff --git a/src/Dialects/14/OpenACC.jl b/src/Dialects/14/OpenACC.jl index e3fcffd6..099a545a 100644 --- a/src/Dialects/14/OpenACC.jl +++ b/src/Dialects/14/OpenACC.jl @@ -23,7 +23,7 @@ acc.data present(%a: memref<10x10xf32>, %b: memref<10x10xf32>, } ``` """ -function data(ifCond=nothing::Union{Nothing, Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, deviceptrOperands::Vector{Value}, attachOperands::Vector{Value}; defaultAttr=nothing, region::Region, location=Location()) +function data(ifCond=nothing::Union{Nothing, Value}; copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, deviceptrOperands::Vector{Value}, attachOperands::Vector{Value}, defaultAttr=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[copyOperands..., copyinOperands..., copyinReadonlyOperands..., copyoutOperands..., copyoutZeroOperands..., createOperands..., createZeroOperands..., noCreateOperands..., presentOperands..., deviceptrOperands..., attachOperands..., ] owned_regions = Region[region, ] @@ -52,7 +52,7 @@ The \"acc.enter_data\" operation represents the OpenACC enter data directive. acc.enter_data create(%d1 : memref<10xf32>) attributes {async} ``` """ -function enter_data(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyinOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, attachOperands::Vector{Value}; async=nothing, wait=nothing, location=Location()) +function enter_data(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyinOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, attachOperands::Vector{Value}, async=nothing, wait=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., copyinOperands..., createOperands..., createZeroOperands..., attachOperands..., ] owned_regions = Region[] @@ -84,7 +84,7 @@ The \"acc.exit_data\" operation represents the OpenACC exit data directive. acc.exit_data delete(%d1 : memref<10xf32>) attributes {async} ``` """ -function exit_data(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyoutOperands::Vector{Value}, deleteOperands::Vector{Value}, detachOperands::Vector{Value}; async=nothing, wait=nothing, finalize=nothing, location=Location()) +function exit_data(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyoutOperands::Vector{Value}, deleteOperands::Vector{Value}, detachOperands::Vector{Value}, async=nothing, wait=nothing, finalize=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., copyoutOperands..., deleteOperands..., detachOperands..., ] owned_regions = Region[] @@ -119,7 +119,7 @@ acc.init acc.init device_num(%dev1 : i32) ``` """ -function init(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; location=Location()) +function init(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}; ifCond=nothing::Union{Nothing, Value}, location=Location()) results = MLIRType[] operands = Value[deviceTypeOperands..., ] owned_regions = Region[] @@ -157,7 +157,7 @@ acc.loop gang vector { } attributes { collapse = 3 } ``` """ -function loop(gangNum=nothing::Union{Nothing, Value}, gangStatic=nothing::Union{Nothing, Value}, workerNum=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, tileOperands::Vector{Value}, privateOperands::Vector{Value}, reductionOperands::Vector{Value}; results::Vector{MLIRType}, collapse=nothing, seq=nothing, independent=nothing, auto_=nothing, reductionOp=nothing, exec_mapping=nothing, region::Region, location=Location()) +function loop(gangNum=nothing::Union{Nothing, Value}; gangStatic=nothing::Union{Nothing, Value}, workerNum=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, tileOperands::Vector{Value}, privateOperands::Vector{Value}, reductionOperands::Vector{Value}, results::Vector{MLIRType}, collapse=nothing, seq=nothing, independent=nothing, auto_=nothing, reductionOp=nothing, exec_mapping=nothing, region::Region, location=Location()) results = MLIRType[results..., ] operands = Value[tileOperands..., privateOperands..., reductionOperands..., ] owned_regions = Region[region, ] @@ -198,7 +198,7 @@ acc.parallel num_gangs(%c10) num_workers(%c10) } ``` """ -function parallel(async=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, numGangs=nothing::Union{Nothing, Value}, numWorkers=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, selfCond=nothing::Union{Nothing, Value}, reductionOperands::Vector{Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, devicePtrOperands::Vector{Value}, attachOperands::Vector{Value}, gangPrivateOperands::Vector{Value}, gangFirstPrivateOperands::Vector{Value}; asyncAttr=nothing, waitAttr=nothing, selfAttr=nothing, reductionOp=nothing, defaultAttr=nothing, region::Region, location=Location()) +function parallel(async=nothing::Union{Nothing, Value}; waitOperands::Vector{Value}, numGangs=nothing::Union{Nothing, Value}, numWorkers=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, selfCond=nothing::Union{Nothing, Value}, reductionOperands::Vector{Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, devicePtrOperands::Vector{Value}, attachOperands::Vector{Value}, gangPrivateOperands::Vector{Value}, gangFirstPrivateOperands::Vector{Value}, asyncAttr=nothing, waitAttr=nothing, selfAttr=nothing, reductionOp=nothing, defaultAttr=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[waitOperands..., reductionOperands..., copyOperands..., copyinOperands..., copyinReadonlyOperands..., copyoutOperands..., copyoutZeroOperands..., createOperands..., createZeroOperands..., noCreateOperands..., presentOperands..., devicePtrOperands..., attachOperands..., gangPrivateOperands..., gangFirstPrivateOperands..., ] owned_regions = Region[region, ] @@ -238,7 +238,7 @@ acc.shutdown acc.shutdown device_num(%dev1 : i32) ``` """ -function shutdown(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; location=Location()) +function shutdown(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}; ifCond=nothing::Union{Nothing, Value}, location=Location()) results = MLIRType[] operands = Value[deviceTypeOperands..., ] owned_regions = Region[] @@ -293,7 +293,7 @@ add to \$hostOperands. acc.update device(%d1 : memref<10xf32>) attributes {async} ``` """ -function update(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, deviceTypeOperands::Vector{Value}, hostOperands::Vector{Value}, deviceOperands::Vector{Value}; async=nothing, wait=nothing, ifPresent=nothing, location=Location()) +function update(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, deviceTypeOperands::Vector{Value}, hostOperands::Vector{Value}, deviceOperands::Vector{Value}, async=nothing, wait=nothing, ifPresent=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., deviceTypeOperands..., hostOperands..., deviceOperands..., ] owned_regions = Region[] @@ -328,7 +328,7 @@ acc.wait(%value1: index) acc.wait() async(%async1: i32) ``` """ -function wait(waitOperands::Vector{Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; async=nothing, location=Location()) +function wait(waitOperands::Vector{Value}, asyncOperand=nothing::Union{Nothing, Value}; waitDevnum=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, async=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., ] owned_regions = Region[] diff --git a/src/Dialects/14/OpenMP.jl b/src/Dialects/14/OpenMP.jl index 163b53fb..a419db61 100644 --- a/src/Dialects/14/OpenMP.jl +++ b/src/Dialects/14/OpenMP.jl @@ -363,7 +363,7 @@ that specify the memory allocator to be used to obtain storage for private value The optional \$proc_bind_val attribute controls the thread affinity for the execution of the parallel region. """ -function parallel(if_expr_var=nothing::Union{Nothing, Value}, num_threads_var=nothing::Union{Nothing, Value}, private_vars::Vector{Value}, firstprivate_vars::Vector{Value}, shared_vars::Vector{Value}, copyin_vars::Vector{Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}; default_val=nothing, proc_bind_val=nothing, region::Region, location=Location()) +function parallel(if_expr_var=nothing::Union{Nothing, Value}; num_threads_var=nothing::Union{Nothing, Value}, private_vars::Vector{Value}, firstprivate_vars::Vector{Value}, shared_vars::Vector{Value}, copyin_vars::Vector{Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, default_val=nothing, proc_bind_val=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[private_vars..., firstprivate_vars..., shared_vars..., copyin_vars..., allocate_vars..., allocators_vars..., ] owned_regions = Region[region, ] @@ -534,7 +534,7 @@ even if the target task is not yet completed. TODO: private, map, is_device_ptr, firstprivate, depend, defaultmap, in_reduction """ -function target(if_expr=nothing::Union{Nothing, Value}, device=nothing::Union{Nothing, Value}, thread_limit=nothing::Union{Nothing, Value}; nowait=nothing, region::Region, location=Location()) +function target(if_expr=nothing::Union{Nothing, Value}; device=nothing::Union{Nothing, Value}, thread_limit=nothing::Union{Nothing, Value}, nowait=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[region, ] diff --git a/src/Dialects/14/PDL.jl b/src/Dialects/14/PDL.jl index 20a1fc7d..71e56649 100644 --- a/src/Dialects/14/PDL.jl +++ b/src/Dialects/14/PDL.jl @@ -413,7 +413,7 @@ pdl.replace %root with (%vals : !pdl.range) pdl.replace %root with %otherOp ``` """ -function replace(operation::Value, replOperation=nothing::Union{Nothing, Value}, replValues::Vector{Value}; location=Location()) +function replace(operation::Value, replOperation=nothing::Union{Nothing, Value}; replValues::Vector{Value}, location=Location()) results = MLIRType[] operands = Value[operation, replValues..., ] owned_regions = Region[] @@ -552,7 +552,7 @@ pdl.rewrite { } ``` """ -function rewrite(root=nothing::Union{Nothing, Value}, externalArgs::Vector{Value}; name=nothing, externalConstParams=nothing, body::Region, location=Location()) +function rewrite(root=nothing::Union{Nothing, Value}; externalArgs::Vector{Value}, name=nothing, externalConstParams=nothing, body::Region, location=Location()) results = MLIRType[] operands = Value[externalArgs..., ] owned_regions = Region[body, ] diff --git a/src/Dialects/14/X86Vector.jl b/src/Dialects/14/X86Vector.jl index 35d1d80f..4f7e8fee 100644 --- a/src/Dialects/14/X86Vector.jl +++ b/src/Dialects/14/X86Vector.jl @@ -6,10 +6,10 @@ import ...API """ -`avx_intr.dp.ps.256` +`avx_intr_dp_ps_256` """ -function avx_intr.dp.ps.256(a::Value, b::Value, c::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_dp_ps_256(a::Value, b::Value, c::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, b, c, ] owned_regions = Region[] @@ -26,7 +26,7 @@ function avx_intr.dp.ps.256(a::Value, b::Value, c::Value; res=nothing::Union{Not end """ -`avx_intr.dot` +`avx_intr_dot` Computes the 4-way dot products of the lower and higher parts of the source vectors and broadcasts the two results to the lower and higher elements of @@ -43,7 +43,7 @@ dot product of the two source vectors. %d = arith.addf %1, %2 : f32 ``` """ -function avx_intr.dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, b, ] owned_regions = Region[] @@ -60,10 +60,10 @@ function avx_intr.dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, end """ -`avx512_intr.mask.compress` +`avx512_intr_mask_compress` """ -function avx512_intr.mask.compress(a::Value, src::Value, k::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_compress(a::Value, src::Value, k::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, src, k, ] owned_regions = Region[] @@ -80,7 +80,7 @@ function avx512_intr.mask.compress(a::Value, src::Value, k::Value; res=nothing:: end """ -`avx512_mask.compress` +`avx512_mask_compress` The mask.compress op is an AVX512 specific op that can lower to the `llvm.mask.compress` instruction. Instead of `src`, a constant vector @@ -94,7 +94,7 @@ Contiguously store the active integer/floating-point elements in `a` (those with their respective bit set in writemask `k`) to `dst`, and pass through the remaining elements from `src`. """ -function avx512_mask.compress(k::Value, a::Value, src=nothing::Union{Nothing, Value}; dst=nothing::Union{Nothing, MLIRType}, constant_src=nothing, location=Location()) +function avx512_mask_compress(k::Value, a::Value, src=nothing::Union{Nothing, Value}; dst=nothing::Union{Nothing, MLIRType}, constant_src=nothing, location=Location()) results = MLIRType[] operands = Value[k, a, ] owned_regions = Region[] @@ -113,7 +113,7 @@ function avx512_mask.compress(k::Value, a::Value, src=nothing::Union{Nothing, Va end """ -`avx512_mask.rndscale` +`avx512_mask_rndscale` The mask.rndscale op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: `llvm.mask.rndscale.ps.512` or @@ -126,7 +126,7 @@ Round packed floating-point elements in `a` to the number of fraction bits specified by `imm`, and store the results in `dst` using writemask `k` (elements are copied from src when the corresponding mask bit is not set). """ -function avx512_mask.rndscale(src::Value, k::Value, a::Value, imm::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_mask_rndscale(src::Value, k::Value, a::Value, imm::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -143,10 +143,10 @@ function avx512_mask.rndscale(src::Value, k::Value, a::Value, imm::Value, roundi end """ -`avx512_intr.mask.rndscale.pd.512` +`avx512_intr_mask_rndscale_pd_512` """ -function avx512_intr.mask.rndscale.pd.512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_rndscale_pd_512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -163,10 +163,10 @@ function avx512_intr.mask.rndscale.pd.512(src::Value, k::Value, a::Value, imm::V end """ -`avx512_intr.mask.rndscale.ps.512` +`avx512_intr_mask_rndscale_ps_512` """ -function avx512_intr.mask.rndscale.ps.512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_rndscale_ps_512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -183,7 +183,7 @@ function avx512_intr.mask.rndscale.ps.512(src::Value, k::Value, a::Value, imm::V end """ -`avx512_mask.scalef` +`avx512_mask_scalef` The `mask.scalef` op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: `llvm.mask.scalef.ps.512` or @@ -196,7 +196,7 @@ Scale the packed floating-point elements in `a` using values from `b`, and store the results in `dst` using writemask `k` (elements are copied from src when the corresponding mask bit is not set). """ -function avx512_mask.scalef(src::Value, a::Value, b::Value, k::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_mask_scalef(src::Value, a::Value, b::Value, k::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -213,10 +213,10 @@ function avx512_mask.scalef(src::Value, a::Value, b::Value, k::Value, rounding:: end """ -`avx512_intr.mask.scalef.pd.512` +`avx512_intr_mask_scalef_pd_512` """ -function avx512_intr.mask.scalef.pd.512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_scalef_pd_512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -233,10 +233,10 @@ function avx512_intr.mask.scalef.pd.512(src::Value, a::Value, b::Value, k::Value end """ -`avx512_intr.mask.scalef.ps.512` +`avx512_intr_mask_scalef_ps_512` """ -function avx512_intr.mask.scalef.ps.512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_scalef_ps_512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -253,10 +253,10 @@ function avx512_intr.mask.scalef.ps.512(src::Value, a::Value, b::Value, k::Value end """ -`avx_intr.rsqrt.ps.256` +`avx_intr_rsqrt_ps_256` """ -function avx_intr.rsqrt.ps.256(a::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_rsqrt_ps_256(a::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, ] owned_regions = Region[] @@ -293,10 +293,10 @@ function avx_rsqrt(a::Value; b=nothing::Union{Nothing, MLIRType}, location=Locat end """ -`avx512_intr.vp2intersect.d.512` +`avx512_intr_vp2intersect_d_512` """ -function avx512_intr.vp2intersect.d.512(a::Value, b::Value; res::MLIRType, location=Location()) +function avx512_intr_vp2intersect_d_512(a::Value, b::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[a, b, ] owned_regions = Region[] @@ -343,10 +343,10 @@ function avx512_vp2intersect(a::Value, b::Value; k1::MLIRType, k2::MLIRType, loc end """ -`avx512_intr.vp2intersect.q.512` +`avx512_intr_vp2intersect_q_512` """ -function avx512_intr.vp2intersect.q.512(a::Value, b::Value; res::MLIRType, location=Location()) +function avx512_intr_vp2intersect_q_512(a::Value, b::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[a, b, ] owned_regions = Region[] diff --git a/src/Dialects/15/GPU.jl b/src/Dialects/15/GPU.jl index 947e3e64..ba13de41 100644 --- a/src/Dialects/15/GPU.jl +++ b/src/Dialects/15/GPU.jl @@ -515,7 +515,7 @@ module attributes {gpu.container_module} { } ``` """ -function launch_func(asyncDependencies::Vector{Value}, gridSizeX::Value, gridSizeY::Value, gridSizeZ::Value, blockSizeX::Value, blockSizeY::Value, blockSizeZ::Value, dynamicSharedMemorySize=nothing::Union{Nothing, Value}, operands::Vector{Value}; asyncToken=nothing::Union{Nothing, MLIRType}, kernel, location=Location()) +function launch_func(asyncDependencies::Vector{Value}, gridSizeX::Value, gridSizeY::Value, gridSizeZ::Value, blockSizeX::Value, blockSizeY::Value, blockSizeZ::Value, dynamicSharedMemorySize=nothing::Union{Nothing, Value}; operands::Vector{Value}, asyncToken=nothing::Union{Nothing, MLIRType}, kernel, location=Location()) results = MLIRType[] operands = Value[asyncDependencies..., gridSizeX, gridSizeY, gridSizeZ, blockSizeX, blockSizeY, blockSizeZ, operands..., ] owned_regions = Region[] diff --git a/src/Dialects/15/OpenACC.jl b/src/Dialects/15/OpenACC.jl index e3fcffd6..099a545a 100644 --- a/src/Dialects/15/OpenACC.jl +++ b/src/Dialects/15/OpenACC.jl @@ -23,7 +23,7 @@ acc.data present(%a: memref<10x10xf32>, %b: memref<10x10xf32>, } ``` """ -function data(ifCond=nothing::Union{Nothing, Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, deviceptrOperands::Vector{Value}, attachOperands::Vector{Value}; defaultAttr=nothing, region::Region, location=Location()) +function data(ifCond=nothing::Union{Nothing, Value}; copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, deviceptrOperands::Vector{Value}, attachOperands::Vector{Value}, defaultAttr=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[copyOperands..., copyinOperands..., copyinReadonlyOperands..., copyoutOperands..., copyoutZeroOperands..., createOperands..., createZeroOperands..., noCreateOperands..., presentOperands..., deviceptrOperands..., attachOperands..., ] owned_regions = Region[region, ] @@ -52,7 +52,7 @@ The \"acc.enter_data\" operation represents the OpenACC enter data directive. acc.enter_data create(%d1 : memref<10xf32>) attributes {async} ``` """ -function enter_data(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyinOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, attachOperands::Vector{Value}; async=nothing, wait=nothing, location=Location()) +function enter_data(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyinOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, attachOperands::Vector{Value}, async=nothing, wait=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., copyinOperands..., createOperands..., createZeroOperands..., attachOperands..., ] owned_regions = Region[] @@ -84,7 +84,7 @@ The \"acc.exit_data\" operation represents the OpenACC exit data directive. acc.exit_data delete(%d1 : memref<10xf32>) attributes {async} ``` """ -function exit_data(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyoutOperands::Vector{Value}, deleteOperands::Vector{Value}, detachOperands::Vector{Value}; async=nothing, wait=nothing, finalize=nothing, location=Location()) +function exit_data(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyoutOperands::Vector{Value}, deleteOperands::Vector{Value}, detachOperands::Vector{Value}, async=nothing, wait=nothing, finalize=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., copyoutOperands..., deleteOperands..., detachOperands..., ] owned_regions = Region[] @@ -119,7 +119,7 @@ acc.init acc.init device_num(%dev1 : i32) ``` """ -function init(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; location=Location()) +function init(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}; ifCond=nothing::Union{Nothing, Value}, location=Location()) results = MLIRType[] operands = Value[deviceTypeOperands..., ] owned_regions = Region[] @@ -157,7 +157,7 @@ acc.loop gang vector { } attributes { collapse = 3 } ``` """ -function loop(gangNum=nothing::Union{Nothing, Value}, gangStatic=nothing::Union{Nothing, Value}, workerNum=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, tileOperands::Vector{Value}, privateOperands::Vector{Value}, reductionOperands::Vector{Value}; results::Vector{MLIRType}, collapse=nothing, seq=nothing, independent=nothing, auto_=nothing, reductionOp=nothing, exec_mapping=nothing, region::Region, location=Location()) +function loop(gangNum=nothing::Union{Nothing, Value}; gangStatic=nothing::Union{Nothing, Value}, workerNum=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, tileOperands::Vector{Value}, privateOperands::Vector{Value}, reductionOperands::Vector{Value}, results::Vector{MLIRType}, collapse=nothing, seq=nothing, independent=nothing, auto_=nothing, reductionOp=nothing, exec_mapping=nothing, region::Region, location=Location()) results = MLIRType[results..., ] operands = Value[tileOperands..., privateOperands..., reductionOperands..., ] owned_regions = Region[region, ] @@ -198,7 +198,7 @@ acc.parallel num_gangs(%c10) num_workers(%c10) } ``` """ -function parallel(async=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, numGangs=nothing::Union{Nothing, Value}, numWorkers=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, selfCond=nothing::Union{Nothing, Value}, reductionOperands::Vector{Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, devicePtrOperands::Vector{Value}, attachOperands::Vector{Value}, gangPrivateOperands::Vector{Value}, gangFirstPrivateOperands::Vector{Value}; asyncAttr=nothing, waitAttr=nothing, selfAttr=nothing, reductionOp=nothing, defaultAttr=nothing, region::Region, location=Location()) +function parallel(async=nothing::Union{Nothing, Value}; waitOperands::Vector{Value}, numGangs=nothing::Union{Nothing, Value}, numWorkers=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, selfCond=nothing::Union{Nothing, Value}, reductionOperands::Vector{Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, devicePtrOperands::Vector{Value}, attachOperands::Vector{Value}, gangPrivateOperands::Vector{Value}, gangFirstPrivateOperands::Vector{Value}, asyncAttr=nothing, waitAttr=nothing, selfAttr=nothing, reductionOp=nothing, defaultAttr=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[waitOperands..., reductionOperands..., copyOperands..., copyinOperands..., copyinReadonlyOperands..., copyoutOperands..., copyoutZeroOperands..., createOperands..., createZeroOperands..., noCreateOperands..., presentOperands..., devicePtrOperands..., attachOperands..., gangPrivateOperands..., gangFirstPrivateOperands..., ] owned_regions = Region[region, ] @@ -238,7 +238,7 @@ acc.shutdown acc.shutdown device_num(%dev1 : i32) ``` """ -function shutdown(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; location=Location()) +function shutdown(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}; ifCond=nothing::Union{Nothing, Value}, location=Location()) results = MLIRType[] operands = Value[deviceTypeOperands..., ] owned_regions = Region[] @@ -293,7 +293,7 @@ add to \$hostOperands. acc.update device(%d1 : memref<10xf32>) attributes {async} ``` """ -function update(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, deviceTypeOperands::Vector{Value}, hostOperands::Vector{Value}, deviceOperands::Vector{Value}; async=nothing, wait=nothing, ifPresent=nothing, location=Location()) +function update(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, deviceTypeOperands::Vector{Value}, hostOperands::Vector{Value}, deviceOperands::Vector{Value}, async=nothing, wait=nothing, ifPresent=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., deviceTypeOperands..., hostOperands..., deviceOperands..., ] owned_regions = Region[] @@ -328,7 +328,7 @@ acc.wait(%value1: index) acc.wait() async(%async1: i32) ``` """ -function wait(waitOperands::Vector{Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; async=nothing, location=Location()) +function wait(waitOperands::Vector{Value}, asyncOperand=nothing::Union{Nothing, Value}; waitDevnum=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, async=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., ] owned_regions = Region[] diff --git a/src/Dialects/15/OpenMP.jl b/src/Dialects/15/OpenMP.jl index 1139835c..4a6e3b04 100644 --- a/src/Dialects/15/OpenMP.jl +++ b/src/Dialects/15/OpenMP.jl @@ -416,7 +416,7 @@ threads complete. The optional \$proc_bind_val attribute controls the thread affinity for the execution of the parallel region. """ -function parallel(if_expr_var=nothing::Union{Nothing, Value}, num_threads_var=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, reduction_vars::Vector{Value}; reductions=nothing, proc_bind_val=nothing, region::Region, location=Location()) +function parallel(if_expr_var=nothing::Union{Nothing, Value}; num_threads_var=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, reduction_vars::Vector{Value}, reductions=nothing, proc_bind_val=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[allocate_vars..., allocators_vars..., reduction_vars..., ] owned_regions = Region[region, ] @@ -654,7 +654,7 @@ even if the target task is not yet completed. TODO: map, is_device_ptr, depend, defaultmap, in_reduction """ -function target(if_expr=nothing::Union{Nothing, Value}, device=nothing::Union{Nothing, Value}, thread_limit=nothing::Union{Nothing, Value}; nowait=nothing, region::Region, location=Location()) +function target(if_expr=nothing::Union{Nothing, Value}; device=nothing::Union{Nothing, Value}, thread_limit=nothing::Union{Nothing, Value}, nowait=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[region, ] @@ -813,7 +813,7 @@ construct. Thus, the taskloop construct creates an implicit taskgroup region. If the `nogroup` clause is present, no implicit taskgroup region is created. """ -function taskloop(lowerBound::Vector{Value}, upperBound::Vector{Value}, step::Vector{Value}, if_expr=nothing::Union{Nothing, Value}, final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, grain_size=nothing::Union{Nothing, Value}, num_tasks=nothing::Union{Nothing, Value}; inclusive=nothing, untied=nothing, mergeable=nothing, in_reductions=nothing, reductions=nothing, nogroup=nothing, region::Region, location=Location()) +function taskloop(lowerBound::Vector{Value}, upperBound::Vector{Value}, step::Vector{Value}, if_expr=nothing::Union{Nothing, Value}; final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, grain_size=nothing::Union{Nothing, Value}, num_tasks=nothing::Union{Nothing, Value}, inclusive=nothing, untied=nothing, mergeable=nothing, in_reductions=nothing, reductions=nothing, nogroup=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[lowerBound..., upperBound..., step..., in_reduction_vars..., reduction_vars..., allocate_vars..., allocators_vars..., ] owned_regions = Region[region, ] @@ -882,7 +882,7 @@ The `allocators_vars` and `allocate_vars` arguments are a variadic list of values that specify the memory allocator to be used to obtain storage for private values. """ -function task(if_expr=nothing::Union{Nothing, Value}, final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}; untied=nothing, mergeable=nothing, in_reductions=nothing, region::Region, location=Location()) +function task(if_expr=nothing::Union{Nothing, Value}; final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, untied=nothing, mergeable=nothing, in_reductions=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[in_reduction_vars..., allocate_vars..., allocators_vars..., ] owned_regions = Region[region, ] diff --git a/src/Dialects/15/PDL.jl b/src/Dialects/15/PDL.jl index 736b61e6..51471728 100644 --- a/src/Dialects/15/PDL.jl +++ b/src/Dialects/15/PDL.jl @@ -400,7 +400,7 @@ pdl.replace %root with (%vals : !pdl.range) pdl.replace %root with %otherOp ``` """ -function replace(operation::Value, replOperation=nothing::Union{Nothing, Value}, replValues::Vector{Value}; location=Location()) +function replace(operation::Value, replOperation=nothing::Union{Nothing, Value}; replValues::Vector{Value}, location=Location()) results = MLIRType[] operands = Value[operation, replValues..., ] owned_regions = Region[] @@ -538,7 +538,7 @@ pdl.rewrite { } ``` """ -function rewrite(root=nothing::Union{Nothing, Value}, externalArgs::Vector{Value}; name=nothing, body::Region, location=Location()) +function rewrite(root=nothing::Union{Nothing, Value}; externalArgs::Vector{Value}, name=nothing, body::Region, location=Location()) results = MLIRType[] operands = Value[externalArgs..., ] owned_regions = Region[body, ] diff --git a/src/Dialects/15/X86Vector.jl b/src/Dialects/15/X86Vector.jl index 35d1d80f..4f7e8fee 100644 --- a/src/Dialects/15/X86Vector.jl +++ b/src/Dialects/15/X86Vector.jl @@ -6,10 +6,10 @@ import ...API """ -`avx_intr.dp.ps.256` +`avx_intr_dp_ps_256` """ -function avx_intr.dp.ps.256(a::Value, b::Value, c::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_dp_ps_256(a::Value, b::Value, c::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, b, c, ] owned_regions = Region[] @@ -26,7 +26,7 @@ function avx_intr.dp.ps.256(a::Value, b::Value, c::Value; res=nothing::Union{Not end """ -`avx_intr.dot` +`avx_intr_dot` Computes the 4-way dot products of the lower and higher parts of the source vectors and broadcasts the two results to the lower and higher elements of @@ -43,7 +43,7 @@ dot product of the two source vectors. %d = arith.addf %1, %2 : f32 ``` """ -function avx_intr.dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, b, ] owned_regions = Region[] @@ -60,10 +60,10 @@ function avx_intr.dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, end """ -`avx512_intr.mask.compress` +`avx512_intr_mask_compress` """ -function avx512_intr.mask.compress(a::Value, src::Value, k::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_compress(a::Value, src::Value, k::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, src, k, ] owned_regions = Region[] @@ -80,7 +80,7 @@ function avx512_intr.mask.compress(a::Value, src::Value, k::Value; res=nothing:: end """ -`avx512_mask.compress` +`avx512_mask_compress` The mask.compress op is an AVX512 specific op that can lower to the `llvm.mask.compress` instruction. Instead of `src`, a constant vector @@ -94,7 +94,7 @@ Contiguously store the active integer/floating-point elements in `a` (those with their respective bit set in writemask `k`) to `dst`, and pass through the remaining elements from `src`. """ -function avx512_mask.compress(k::Value, a::Value, src=nothing::Union{Nothing, Value}; dst=nothing::Union{Nothing, MLIRType}, constant_src=nothing, location=Location()) +function avx512_mask_compress(k::Value, a::Value, src=nothing::Union{Nothing, Value}; dst=nothing::Union{Nothing, MLIRType}, constant_src=nothing, location=Location()) results = MLIRType[] operands = Value[k, a, ] owned_regions = Region[] @@ -113,7 +113,7 @@ function avx512_mask.compress(k::Value, a::Value, src=nothing::Union{Nothing, Va end """ -`avx512_mask.rndscale` +`avx512_mask_rndscale` The mask.rndscale op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: `llvm.mask.rndscale.ps.512` or @@ -126,7 +126,7 @@ Round packed floating-point elements in `a` to the number of fraction bits specified by `imm`, and store the results in `dst` using writemask `k` (elements are copied from src when the corresponding mask bit is not set). """ -function avx512_mask.rndscale(src::Value, k::Value, a::Value, imm::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_mask_rndscale(src::Value, k::Value, a::Value, imm::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -143,10 +143,10 @@ function avx512_mask.rndscale(src::Value, k::Value, a::Value, imm::Value, roundi end """ -`avx512_intr.mask.rndscale.pd.512` +`avx512_intr_mask_rndscale_pd_512` """ -function avx512_intr.mask.rndscale.pd.512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_rndscale_pd_512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -163,10 +163,10 @@ function avx512_intr.mask.rndscale.pd.512(src::Value, k::Value, a::Value, imm::V end """ -`avx512_intr.mask.rndscale.ps.512` +`avx512_intr_mask_rndscale_ps_512` """ -function avx512_intr.mask.rndscale.ps.512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_rndscale_ps_512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -183,7 +183,7 @@ function avx512_intr.mask.rndscale.ps.512(src::Value, k::Value, a::Value, imm::V end """ -`avx512_mask.scalef` +`avx512_mask_scalef` The `mask.scalef` op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: `llvm.mask.scalef.ps.512` or @@ -196,7 +196,7 @@ Scale the packed floating-point elements in `a` using values from `b`, and store the results in `dst` using writemask `k` (elements are copied from src when the corresponding mask bit is not set). """ -function avx512_mask.scalef(src::Value, a::Value, b::Value, k::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_mask_scalef(src::Value, a::Value, b::Value, k::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -213,10 +213,10 @@ function avx512_mask.scalef(src::Value, a::Value, b::Value, k::Value, rounding:: end """ -`avx512_intr.mask.scalef.pd.512` +`avx512_intr_mask_scalef_pd_512` """ -function avx512_intr.mask.scalef.pd.512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_scalef_pd_512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -233,10 +233,10 @@ function avx512_intr.mask.scalef.pd.512(src::Value, a::Value, b::Value, k::Value end """ -`avx512_intr.mask.scalef.ps.512` +`avx512_intr_mask_scalef_ps_512` """ -function avx512_intr.mask.scalef.ps.512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_scalef_ps_512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -253,10 +253,10 @@ function avx512_intr.mask.scalef.ps.512(src::Value, a::Value, b::Value, k::Value end """ -`avx_intr.rsqrt.ps.256` +`avx_intr_rsqrt_ps_256` """ -function avx_intr.rsqrt.ps.256(a::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_rsqrt_ps_256(a::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, ] owned_regions = Region[] @@ -293,10 +293,10 @@ function avx_rsqrt(a::Value; b=nothing::Union{Nothing, MLIRType}, location=Locat end """ -`avx512_intr.vp2intersect.d.512` +`avx512_intr_vp2intersect_d_512` """ -function avx512_intr.vp2intersect.d.512(a::Value, b::Value; res::MLIRType, location=Location()) +function avx512_intr_vp2intersect_d_512(a::Value, b::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[a, b, ] owned_regions = Region[] @@ -343,10 +343,10 @@ function avx512_vp2intersect(a::Value, b::Value; k1::MLIRType, k2::MLIRType, loc end """ -`avx512_intr.vp2intersect.q.512` +`avx512_intr_vp2intersect_q_512` """ -function avx512_intr.vp2intersect.q.512(a::Value, b::Value; res::MLIRType, location=Location()) +function avx512_intr_vp2intersect_q_512(a::Value, b::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[a, b, ] owned_regions = Region[] diff --git a/src/Dialects/16/Bufferization.jl b/src/Dialects/16/Bufferization.jl index 65cc0709..61236116 100644 --- a/src/Dialects/16/Bufferization.jl +++ b/src/Dialects/16/Bufferization.jl @@ -56,7 +56,7 @@ return %0 : tensor : tensor ``` """ -function alloc_tensor(dynamic_sizes::Vector{Value}, copy=nothing::Union{Nothing, Value}, size_hint=nothing::Union{Nothing, Value}; result::MLIRType, memory_space=nothing, location=Location()) +function alloc_tensor(dynamic_sizes::Vector{Value}, copy=nothing::Union{Nothing, Value}; size_hint=nothing::Union{Nothing, Value}, result::MLIRType, memory_space=nothing, location=Location()) results = MLIRType[result, ] operands = Value[dynamic_sizes..., ] owned_regions = Region[] diff --git a/src/Dialects/16/GPU.jl b/src/Dialects/16/GPU.jl index a893162e..87719577 100644 --- a/src/Dialects/16/GPU.jl +++ b/src/Dialects/16/GPU.jl @@ -530,7 +530,7 @@ module attributes {gpu.container_module} { } ``` """ -function launch_func(asyncDependencies::Vector{Value}, gridSizeX::Value, gridSizeY::Value, gridSizeZ::Value, blockSizeX::Value, blockSizeY::Value, blockSizeZ::Value, dynamicSharedMemorySize=nothing::Union{Nothing, Value}, kernelOperands::Vector{Value}; asyncToken=nothing::Union{Nothing, MLIRType}, kernel, location=Location()) +function launch_func(asyncDependencies::Vector{Value}, gridSizeX::Value, gridSizeY::Value, gridSizeZ::Value, blockSizeX::Value, blockSizeY::Value, blockSizeZ::Value, dynamicSharedMemorySize=nothing::Union{Nothing, Value}; kernelOperands::Vector{Value}, asyncToken=nothing::Union{Nothing, MLIRType}, kernel, location=Location()) results = MLIRType[] operands = Value[asyncDependencies..., gridSizeX, gridSizeY, gridSizeZ, blockSizeX, blockSizeY, blockSizeZ, kernelOperands..., ] owned_regions = Region[] diff --git a/src/Dialects/16/NVGPU.jl b/src/Dialects/16/NVGPU.jl index 9904c291..ab2ffaed 100644 --- a/src/Dialects/16/NVGPU.jl +++ b/src/Dialects/16/NVGPU.jl @@ -173,7 +173,7 @@ function ldmatrix(srcMemref::Value, indices::Vector{Value}; res::MLIRType, trans end """ -`mma_sp.sync` +`mma_sp_sync` The `nvgu.mma.sp.sync` operation performs a warp-distributed MMA operation where operand A is \"structured sparse\". In this case, the `matrixA` operand @@ -196,7 +196,7 @@ nvgpu.mma.sp.sync (%a, %b, %c) metadata (%meta) {mmaShape = [16, 8, 32]} : (vector<4x2xf16>, vector<2x2xf16>, vector<2x2xf16>) -> vector<2x2xf16> ``` """ -function mma_sp.sync(matrixA::Value, matrixB::Value, matrixC::Value, sparseMetadata::Value; res::MLIRType, mmaShape, sparsitySelector=nothing, tf32Enabled=nothing, location=Location()) +function mma_sp_sync(matrixA::Value, matrixB::Value, matrixC::Value, sparseMetadata::Value; res::MLIRType, mmaShape, sparsitySelector=nothing, tf32Enabled=nothing, location=Location()) results = MLIRType[res, ] operands = Value[matrixA, matrixB, matrixC, sparseMetadata, ] owned_regions = Region[] diff --git a/src/Dialects/16/OpenACC.jl b/src/Dialects/16/OpenACC.jl index e3fcffd6..099a545a 100644 --- a/src/Dialects/16/OpenACC.jl +++ b/src/Dialects/16/OpenACC.jl @@ -23,7 +23,7 @@ acc.data present(%a: memref<10x10xf32>, %b: memref<10x10xf32>, } ``` """ -function data(ifCond=nothing::Union{Nothing, Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, deviceptrOperands::Vector{Value}, attachOperands::Vector{Value}; defaultAttr=nothing, region::Region, location=Location()) +function data(ifCond=nothing::Union{Nothing, Value}; copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, deviceptrOperands::Vector{Value}, attachOperands::Vector{Value}, defaultAttr=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[copyOperands..., copyinOperands..., copyinReadonlyOperands..., copyoutOperands..., copyoutZeroOperands..., createOperands..., createZeroOperands..., noCreateOperands..., presentOperands..., deviceptrOperands..., attachOperands..., ] owned_regions = Region[region, ] @@ -52,7 +52,7 @@ The \"acc.enter_data\" operation represents the OpenACC enter data directive. acc.enter_data create(%d1 : memref<10xf32>) attributes {async} ``` """ -function enter_data(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyinOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, attachOperands::Vector{Value}; async=nothing, wait=nothing, location=Location()) +function enter_data(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyinOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, attachOperands::Vector{Value}, async=nothing, wait=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., copyinOperands..., createOperands..., createZeroOperands..., attachOperands..., ] owned_regions = Region[] @@ -84,7 +84,7 @@ The \"acc.exit_data\" operation represents the OpenACC exit data directive. acc.exit_data delete(%d1 : memref<10xf32>) attributes {async} ``` """ -function exit_data(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyoutOperands::Vector{Value}, deleteOperands::Vector{Value}, detachOperands::Vector{Value}; async=nothing, wait=nothing, finalize=nothing, location=Location()) +function exit_data(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, copyoutOperands::Vector{Value}, deleteOperands::Vector{Value}, detachOperands::Vector{Value}, async=nothing, wait=nothing, finalize=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., copyoutOperands..., deleteOperands..., detachOperands..., ] owned_regions = Region[] @@ -119,7 +119,7 @@ acc.init acc.init device_num(%dev1 : i32) ``` """ -function init(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; location=Location()) +function init(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}; ifCond=nothing::Union{Nothing, Value}, location=Location()) results = MLIRType[] operands = Value[deviceTypeOperands..., ] owned_regions = Region[] @@ -157,7 +157,7 @@ acc.loop gang vector { } attributes { collapse = 3 } ``` """ -function loop(gangNum=nothing::Union{Nothing, Value}, gangStatic=nothing::Union{Nothing, Value}, workerNum=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, tileOperands::Vector{Value}, privateOperands::Vector{Value}, reductionOperands::Vector{Value}; results::Vector{MLIRType}, collapse=nothing, seq=nothing, independent=nothing, auto_=nothing, reductionOp=nothing, exec_mapping=nothing, region::Region, location=Location()) +function loop(gangNum=nothing::Union{Nothing, Value}; gangStatic=nothing::Union{Nothing, Value}, workerNum=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, tileOperands::Vector{Value}, privateOperands::Vector{Value}, reductionOperands::Vector{Value}, results::Vector{MLIRType}, collapse=nothing, seq=nothing, independent=nothing, auto_=nothing, reductionOp=nothing, exec_mapping=nothing, region::Region, location=Location()) results = MLIRType[results..., ] operands = Value[tileOperands..., privateOperands..., reductionOperands..., ] owned_regions = Region[region, ] @@ -198,7 +198,7 @@ acc.parallel num_gangs(%c10) num_workers(%c10) } ``` """ -function parallel(async=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, numGangs=nothing::Union{Nothing, Value}, numWorkers=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, selfCond=nothing::Union{Nothing, Value}, reductionOperands::Vector{Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, devicePtrOperands::Vector{Value}, attachOperands::Vector{Value}, gangPrivateOperands::Vector{Value}, gangFirstPrivateOperands::Vector{Value}; asyncAttr=nothing, waitAttr=nothing, selfAttr=nothing, reductionOp=nothing, defaultAttr=nothing, region::Region, location=Location()) +function parallel(async=nothing::Union{Nothing, Value}; waitOperands::Vector{Value}, numGangs=nothing::Union{Nothing, Value}, numWorkers=nothing::Union{Nothing, Value}, vectorLength=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, selfCond=nothing::Union{Nothing, Value}, reductionOperands::Vector{Value}, copyOperands::Vector{Value}, copyinOperands::Vector{Value}, copyinReadonlyOperands::Vector{Value}, copyoutOperands::Vector{Value}, copyoutZeroOperands::Vector{Value}, createOperands::Vector{Value}, createZeroOperands::Vector{Value}, noCreateOperands::Vector{Value}, presentOperands::Vector{Value}, devicePtrOperands::Vector{Value}, attachOperands::Vector{Value}, gangPrivateOperands::Vector{Value}, gangFirstPrivateOperands::Vector{Value}, asyncAttr=nothing, waitAttr=nothing, selfAttr=nothing, reductionOp=nothing, defaultAttr=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[waitOperands..., reductionOperands..., copyOperands..., copyinOperands..., copyinReadonlyOperands..., copyoutOperands..., copyoutZeroOperands..., createOperands..., createZeroOperands..., noCreateOperands..., presentOperands..., devicePtrOperands..., attachOperands..., gangPrivateOperands..., gangFirstPrivateOperands..., ] owned_regions = Region[region, ] @@ -238,7 +238,7 @@ acc.shutdown acc.shutdown device_num(%dev1 : i32) ``` """ -function shutdown(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; location=Location()) +function shutdown(deviceTypeOperands::Vector{Value}, deviceNumOperand=nothing::Union{Nothing, Value}; ifCond=nothing::Union{Nothing, Value}, location=Location()) results = MLIRType[] operands = Value[deviceTypeOperands..., ] owned_regions = Region[] @@ -293,7 +293,7 @@ add to \$hostOperands. acc.update device(%d1 : memref<10xf32>) attributes {async} ``` """ -function update(ifCond=nothing::Union{Nothing, Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, deviceTypeOperands::Vector{Value}, hostOperands::Vector{Value}, deviceOperands::Vector{Value}; async=nothing, wait=nothing, ifPresent=nothing, location=Location()) +function update(ifCond=nothing::Union{Nothing, Value}; asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, waitOperands::Vector{Value}, deviceTypeOperands::Vector{Value}, hostOperands::Vector{Value}, deviceOperands::Vector{Value}, async=nothing, wait=nothing, ifPresent=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., deviceTypeOperands..., hostOperands..., deviceOperands..., ] owned_regions = Region[] @@ -328,7 +328,7 @@ acc.wait(%value1: index) acc.wait() async(%async1: i32) ``` """ -function wait(waitOperands::Vector{Value}, asyncOperand=nothing::Union{Nothing, Value}, waitDevnum=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}; async=nothing, location=Location()) +function wait(waitOperands::Vector{Value}, asyncOperand=nothing::Union{Nothing, Value}; waitDevnum=nothing::Union{Nothing, Value}, ifCond=nothing::Union{Nothing, Value}, async=nothing, location=Location()) results = MLIRType[] operands = Value[waitOperands..., ] owned_regions = Region[] diff --git a/src/Dialects/16/OpenMP.jl b/src/Dialects/16/OpenMP.jl index 60fed369..2551b4cd 100644 --- a/src/Dialects/16/OpenMP.jl +++ b/src/Dialects/16/OpenMP.jl @@ -416,7 +416,7 @@ threads complete. The optional \$proc_bind_val attribute controls the thread affinity for the execution of the parallel region. """ -function parallel(if_expr_var=nothing::Union{Nothing, Value}, num_threads_var=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, reduction_vars::Vector{Value}; reductions=nothing, proc_bind_val=nothing, region::Region, location=Location()) +function parallel(if_expr_var=nothing::Union{Nothing, Value}; num_threads_var=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, reduction_vars::Vector{Value}, reductions=nothing, proc_bind_val=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[allocate_vars..., allocators_vars..., reduction_vars..., ] owned_regions = Region[region, ] @@ -611,7 +611,7 @@ for (%i1, %i2) : index = (%c0, %c0) to (%c10, %c10) step (%c1, %c1) { } ``` """ -function simdloop(lowerBound::Vector{Value}, upperBound::Vector{Value}, step::Vector{Value}, aligned_vars::Vector{Value}, if_expr=nothing::Union{Nothing, Value}, nontemporal_vars::Vector{Value}; alignment_values=nothing, order_val=nothing, simdlen=nothing, safelen=nothing, inclusive=nothing, region::Region, location=Location()) +function simdloop(lowerBound::Vector{Value}, upperBound::Vector{Value}, step::Vector{Value}, aligned_vars::Vector{Value}, if_expr=nothing::Union{Nothing, Value}; nontemporal_vars::Vector{Value}, alignment_values=nothing, order_val=nothing, simdlen=nothing, safelen=nothing, inclusive=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[lowerBound..., upperBound..., step..., aligned_vars..., nontemporal_vars..., ] owned_regions = Region[region, ] @@ -679,7 +679,7 @@ even if the target task is not yet completed. TODO: map, is_device_ptr, depend, defaultmap, in_reduction """ -function target(if_expr=nothing::Union{Nothing, Value}, device=nothing::Union{Nothing, Value}, thread_limit=nothing::Union{Nothing, Value}; nowait=nothing, region::Region, location=Location()) +function target(if_expr=nothing::Union{Nothing, Value}; device=nothing::Union{Nothing, Value}, thread_limit=nothing::Union{Nothing, Value}, nowait=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[region, ] @@ -730,7 +730,7 @@ The \$map_types specifies the types and modifiers for the map clause. TODO: depend clause and map_type_modifier values iterator and mapper. """ -function target_data(if_expr=nothing::Union{Nothing, Value}, device=nothing::Union{Nothing, Value}, use_device_ptr::Vector{Value}, use_device_addr::Vector{Value}, map_operands::Vector{Value}; map_types, region::Region, location=Location()) +function target_data(if_expr=nothing::Union{Nothing, Value}; device=nothing::Union{Nothing, Value}, use_device_ptr::Vector{Value}, use_device_addr::Vector{Value}, map_operands::Vector{Value}, map_types, region::Region, location=Location()) results = MLIRType[] operands = Value[use_device_ptr..., use_device_addr..., map_operands..., ] owned_regions = Region[region, ] @@ -772,7 +772,7 @@ The \$map_types specifies the types and modifiers for the map clause. TODO: depend clause and map_type_modifier values iterator and mapper. """ -function target_enter_data(if_expr=nothing::Union{Nothing, Value}, device=nothing::Union{Nothing, Value}, map_operands::Vector{Value}; nowait=nothing, map_types, location=Location()) +function target_enter_data(if_expr=nothing::Union{Nothing, Value}; device=nothing::Union{Nothing, Value}, map_operands::Vector{Value}, nowait=nothing, map_types, location=Location()) results = MLIRType[] operands = Value[map_operands..., ] owned_regions = Region[] @@ -815,7 +815,7 @@ The \$map_types specifies the types and modifiers for the map clause. TODO: depend clause and map_type_modifier values iterator and mapper. """ -function target_exit_data(if_expr=nothing::Union{Nothing, Value}, device=nothing::Union{Nothing, Value}, map_operands::Vector{Value}; nowait=nothing, map_types, location=Location()) +function target_exit_data(if_expr=nothing::Union{Nothing, Value}; device=nothing::Union{Nothing, Value}, map_operands::Vector{Value}, nowait=nothing, map_types, location=Location()) results = MLIRType[] operands = Value[map_operands..., ] owned_regions = Region[] @@ -973,7 +973,7 @@ construct. Thus, the taskloop construct creates an implicit taskgroup region. If the `nogroup` clause is present, no implicit taskgroup region is created. """ -function taskloop(lowerBound::Vector{Value}, upperBound::Vector{Value}, step::Vector{Value}, if_expr=nothing::Union{Nothing, Value}, final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, grain_size=nothing::Union{Nothing, Value}, num_tasks=nothing::Union{Nothing, Value}; inclusive=nothing, untied=nothing, mergeable=nothing, in_reductions=nothing, reductions=nothing, nogroup=nothing, region::Region, location=Location()) +function taskloop(lowerBound::Vector{Value}, upperBound::Vector{Value}, step::Vector{Value}, if_expr=nothing::Union{Nothing, Value}; final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, grain_size=nothing::Union{Nothing, Value}, num_tasks=nothing::Union{Nothing, Value}, inclusive=nothing, untied=nothing, mergeable=nothing, in_reductions=nothing, reductions=nothing, nogroup=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[lowerBound..., upperBound..., step..., in_reduction_vars..., reduction_vars..., allocate_vars..., allocators_vars..., ] owned_regions = Region[region, ] @@ -1042,7 +1042,7 @@ The `allocators_vars` and `allocate_vars` arguments are a variadic list of values that specify the memory allocator to be used to obtain storage for private values. """ -function task(if_expr=nothing::Union{Nothing, Value}, final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}; untied=nothing, mergeable=nothing, in_reductions=nothing, region::Region, location=Location()) +function task(if_expr=nothing::Union{Nothing, Value}; final_expr=nothing::Union{Nothing, Value}, in_reduction_vars::Vector{Value}, priority=nothing::Union{Nothing, Value}, allocate_vars::Vector{Value}, allocators_vars::Vector{Value}, untied=nothing, mergeable=nothing, in_reductions=nothing, region::Region, location=Location()) results = MLIRType[] operands = Value[in_reduction_vars..., allocate_vars..., allocators_vars..., ] owned_regions = Region[region, ] diff --git a/src/Dialects/16/PDL.jl b/src/Dialects/16/PDL.jl index d5bdffad..f20df0ec 100644 --- a/src/Dialects/16/PDL.jl +++ b/src/Dialects/16/PDL.jl @@ -442,7 +442,7 @@ pdl.replace %root with (%vals : !pdl.range) pdl.replace %root with %otherOp ``` """ -function replace(opValue::Value, replOperation=nothing::Union{Nothing, Value}, replValues::Vector{Value}; location=Location()) +function replace(opValue::Value, replOperation=nothing::Union{Nothing, Value}; replValues::Vector{Value}, location=Location()) results = MLIRType[] operands = Value[opValue, replValues..., ] owned_regions = Region[] @@ -580,7 +580,7 @@ pdl.rewrite { } ``` """ -function rewrite(root=nothing::Union{Nothing, Value}, externalArgs::Vector{Value}; name=nothing, bodyRegion::Region, location=Location()) +function rewrite(root=nothing::Union{Nothing, Value}; externalArgs::Vector{Value}, name=nothing, bodyRegion::Region, location=Location()) results = MLIRType[] operands = Value[externalArgs..., ] owned_regions = Region[bodyRegion, ] diff --git a/src/Dialects/16/Tensor.jl b/src/Dialects/16/Tensor.jl index 72bce95b..327e0802 100644 --- a/src/Dialects/16/Tensor.jl +++ b/src/Dialects/16/Tensor.jl @@ -632,7 +632,7 @@ Example NC_to_NCnc with padding: inner_tiles = [8, 2] into %arg1 : tensor<13x15xf32> -> tensor<2x8x8x2xf32> ``` """ -function pack(source::Value, dest::Value, padding_value=nothing::Union{Nothing, Value}, inner_tiles::Vector{Value}; result=nothing::Union{Nothing, MLIRType}, outer_dims_perm=nothing, inner_dims_pos, static_inner_tiles, location=Location()) +function pack(source::Value, dest::Value, padding_value=nothing::Union{Nothing, Value}; inner_tiles::Vector{Value}, result=nothing::Union{Nothing, MLIRType}, outer_dims_perm=nothing, inner_dims_pos, static_inner_tiles, location=Location()) results = MLIRType[] operands = Value[source, dest, inner_tiles..., ] owned_regions = Region[] diff --git a/src/Dialects/16/X86Vector.jl b/src/Dialects/16/X86Vector.jl index 30799bb9..43f5bd89 100644 --- a/src/Dialects/16/X86Vector.jl +++ b/src/Dialects/16/X86Vector.jl @@ -6,10 +6,10 @@ import ...API """ -`avx_intr.dp.ps.256` +`avx_intr_dp_ps_256` """ -function avx_intr.dp.ps.256(a::Value, b::Value, c::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_dp_ps_256(a::Value, b::Value, c::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, b, c, ] owned_regions = Region[] @@ -26,7 +26,7 @@ function avx_intr.dp.ps.256(a::Value, b::Value, c::Value; res=nothing::Union{Not end """ -`avx_intr.dot` +`avx_intr_dot` Computes the 4-way dot products of the lower and higher parts of the source vectors and broadcasts the two results to the lower and higher elements of @@ -43,7 +43,7 @@ dot product of the two source vectors. %d = arith.addf %1, %2 : f32 ``` """ -function avx_intr.dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, b, ] owned_regions = Region[] @@ -60,10 +60,10 @@ function avx_intr.dot(a::Value, b::Value; res=nothing::Union{Nothing, MLIRType}, end """ -`avx512_intr.mask.compress` +`avx512_intr_mask_compress` """ -function avx512_intr.mask.compress(a::Value, src::Value, k::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_compress(a::Value, src::Value, k::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, src, k, ] owned_regions = Region[] @@ -80,7 +80,7 @@ function avx512_intr.mask.compress(a::Value, src::Value, k::Value; res=nothing:: end """ -`avx512_mask.compress` +`avx512_mask_compress` The mask.compress op is an AVX512 specific op that can lower to the `llvm.mask.compress` instruction. Instead of `src`, a constant vector @@ -94,7 +94,7 @@ Contiguously store the active integer/floating-point elements in `a` (those with their respective bit set in writemask `k`) to `dst`, and pass through the remaining elements from `src`. """ -function avx512_mask.compress(k::Value, a::Value, src=nothing::Union{Nothing, Value}; dst=nothing::Union{Nothing, MLIRType}, constant_src=nothing, location=Location()) +function avx512_mask_compress(k::Value, a::Value, src=nothing::Union{Nothing, Value}; dst=nothing::Union{Nothing, MLIRType}, constant_src=nothing, location=Location()) results = MLIRType[] operands = Value[k, a, ] owned_regions = Region[] @@ -113,7 +113,7 @@ function avx512_mask.compress(k::Value, a::Value, src=nothing::Union{Nothing, Va end """ -`avx512_mask.rndscale` +`avx512_mask_rndscale` The mask.rndscale op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: `llvm.mask.rndscale.ps.512` or @@ -126,7 +126,7 @@ Round packed floating-point elements in `a` to the number of fraction bits specified by `imm`, and store the results in `dst` using writemask `k` (elements are copied from src when the corresponding mask bit is not set). """ -function avx512_mask.rndscale(src::Value, k::Value, a::Value, imm::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_mask_rndscale(src::Value, k::Value, a::Value, imm::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -143,10 +143,10 @@ function avx512_mask.rndscale(src::Value, k::Value, a::Value, imm::Value, roundi end """ -`avx512_intr.mask.rndscale.pd.512` +`avx512_intr_mask_rndscale_pd_512` """ -function avx512_intr.mask.rndscale.pd.512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_rndscale_pd_512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -163,10 +163,10 @@ function avx512_intr.mask.rndscale.pd.512(src::Value, k::Value, a::Value, imm::V end """ -`avx512_intr.mask.rndscale.ps.512` +`avx512_intr_mask_rndscale_ps_512` """ -function avx512_intr.mask.rndscale.ps.512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_rndscale_ps_512(src::Value, k::Value, a::Value, imm::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, k, a, imm, rounding, ] owned_regions = Region[] @@ -183,7 +183,7 @@ function avx512_intr.mask.rndscale.ps.512(src::Value, k::Value, a::Value, imm::V end """ -`avx512_mask.scalef` +`avx512_mask_scalef` The `mask.scalef` op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: `llvm.mask.scalef.ps.512` or @@ -196,7 +196,7 @@ Scale the packed floating-point elements in `a` using values from `b`, and store the results in `dst` using writemask `k` (elements are copied from src when the corresponding mask bit is not set). """ -function avx512_mask.scalef(src::Value, a::Value, b::Value, k::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_mask_scalef(src::Value, a::Value, b::Value, k::Value, rounding::Value; dst=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -213,10 +213,10 @@ function avx512_mask.scalef(src::Value, a::Value, b::Value, k::Value, rounding:: end """ -`avx512_intr.mask.scalef.pd.512` +`avx512_intr_mask_scalef_pd_512` """ -function avx512_intr.mask.scalef.pd.512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_scalef_pd_512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -233,10 +233,10 @@ function avx512_intr.mask.scalef.pd.512(src::Value, a::Value, b::Value, k::Value end """ -`avx512_intr.mask.scalef.ps.512` +`avx512_intr_mask_scalef_ps_512` """ -function avx512_intr.mask.scalef.ps.512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx512_intr_mask_scalef_ps_512(src::Value, a::Value, b::Value, k::Value, rounding::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[src, a, b, k, rounding, ] owned_regions = Region[] @@ -253,10 +253,10 @@ function avx512_intr.mask.scalef.ps.512(src::Value, a::Value, b::Value, k::Value end """ -`avx_intr.rsqrt.ps.256` +`avx_intr_rsqrt_ps_256` """ -function avx_intr.rsqrt.ps.256(a::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) +function avx_intr_rsqrt_ps_256(a::Value; res=nothing::Union{Nothing, MLIRType}, location=Location()) results = MLIRType[] operands = Value[a, ] owned_regions = Region[] @@ -293,10 +293,10 @@ function avx_rsqrt(a::Value; b=nothing::Union{Nothing, MLIRType}, location=Locat end """ -`avx512_intr.vp2intersect.d.512` +`avx512_intr_vp2intersect_d_512` """ -function avx512_intr.vp2intersect.d.512(a::Value, b::Value; res::MLIRType, location=Location()) +function avx512_intr_vp2intersect_d_512(a::Value, b::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[a, b, ] owned_regions = Region[] @@ -345,10 +345,10 @@ function avx512_vp2intersect(a::Value, b::Value; k1=nothing::Union{Nothing, MLIR end """ -`avx512_intr.vp2intersect.q.512` +`avx512_intr_vp2intersect_q_512` """ -function avx512_intr.vp2intersect.q.512(a::Value, b::Value; res::MLIRType, location=Location()) +function avx512_intr_vp2intersect_q_512(a::Value, b::Value; res::MLIRType, location=Location()) results = MLIRType[res, ] operands = Value[a, b, ] owned_regions = Region[]