diff --git a/bindings/Manifest.toml b/bindings/Manifest.toml new file mode 100644 index 00000000..a0285d2c --- /dev/null +++ b/bindings/Manifest.toml @@ -0,0 +1,288 @@ +# This file is machine-generated - editing it directly is not advised + +julia_version = "1.7.3" +manifest_format = "2.0" + +[[deps.ArgTools]] +uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f" + +[[deps.Artifacts]] +uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33" + +[[deps.Attr_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg"] +git-tree-sha1 = "b132f9aeb209b8790dcc286c857f300369219d8d" +uuid = "1fd713ca-387f-5abc-8002-d8b8b1623b73" +version = "2.5.1+0" + +[[deps.Base64]] +uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" + +[[deps.BinaryBuilderBase]] +deps = ["Bzip2_jll", "CodecZlib", "Downloads", "Gzip_jll", "HistoricalStdlibVersions", "InteractiveUtils", "JLLWrappers", "JSON", "LibGit2", "LibGit2_jll", "Libdl", "Logging", "OrderedCollections", "OutputCollectors", "Pkg", "Printf", "ProgressMeter", "REPL", "Random", "SHA", "Scratch", "SimpleBufferStream", "TOML", "Tar", "Tar_jll", "UUIDs", "XZ_jll", "Zstd_jll", "p7zip_jll", "pigz_jll", "unzip_jll"] +git-tree-sha1 = "b6e70b712721dea3f586d97aa05e7b5eba96309c" +uuid = "7f725544-6523-48cd-82d1-3fa08ff4056e" +version = "1.29.0" + +[[deps.Bzip2_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg"] +git-tree-sha1 = "9e2a6b69137e6969bab0152632dcb3bc108c8bdd" +uuid = "6e34b625-4abd-537c-b88f-471c36dfa7a0" +version = "1.0.8+1" + +[[deps.CEnum]] +git-tree-sha1 = "389ad5c84de1ae7cf0e28e381131c98ea87d54fc" +uuid = "fa961155-64e5-5f13-b03f-caf6b980ea82" +version = "0.5.0" + +[[deps.Clang]] +deps = ["CEnum", "Clang_jll", "Downloads", "Pkg", "TOML"] +git-tree-sha1 = "1922733f094a33be4c5a00471b0e5500de097d84" +repo-rev = "vc/cxx_parse2" +repo-url = "https://github.com/JuliaInterop/Clang.jl.git" +uuid = "40e3b903-d033-50b4-a0cc-940c62c95e31" +version = "0.18.0" + +[[deps.Clang_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg", "Zlib_jll", "libLLVM_jll"] +git-tree-sha1 = "8cf7e67e264dedc5d321ec87e78525e958aea057" +uuid = "0ee61d77-7f21-5576-8119-9fcc46b10100" +version = "12.0.1+3" + +[[deps.CodecZlib]] +deps = ["TranscodingStreams", "Zlib_jll"] +git-tree-sha1 = "cd67fc487743b2f0fd4380d4cbd3a24660d0eec8" +uuid = "944b1d66-785c-5afd-91f1-9de20f533193" +version = "0.7.3" + +[[deps.Dates]] +deps = ["Printf"] +uuid = "ade2ca70-3891-5945-98fb-dc099432e06a" + +[[deps.Distributed]] +deps = ["Random", "Serialization", "Sockets"] +uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b" + +[[deps.Downloads]] +deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"] +uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6" + +[[deps.FileWatching]] +uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee" + +[[deps.Gzip_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "9be9f33a49f1261cc4e0f90f617901f0427fe434" +uuid = "be1be57a-8558-53c3-a7e5-50095f79957e" +version = "1.13.0+0" + +[[deps.HistoricalStdlibVersions]] +git-tree-sha1 = "c8b04a26eaa706b4da6968dfc27ae2d030547cba" +uuid = "6df8b67a-e8a0-4029-b4b7-ac196fe72102" +version = "1.2.2" + +[[deps.InteractiveUtils]] +deps = ["Markdown"] +uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240" + +[[deps.JLLWrappers]] +deps = ["Artifacts", "Preferences"] +git-tree-sha1 = "7e5d6779a1e09a36db2a7b6cff50942a0a7d0fca" +uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210" +version = "1.5.0" + +[[deps.JSON]] +deps = ["Dates", "Mmap", "Parsers", "Unicode"] +git-tree-sha1 = "31e996f0a15c7b280ba9f76636b3ff9e2ae58c9a" +uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" +version = "0.21.4" + +[[deps.LibCURL]] +deps = ["LibCURL_jll", "MozillaCACerts_jll"] +uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21" + +[[deps.LibCURL_jll]] +deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"] +uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0" + +[[deps.LibGit2]] +deps = ["Base64", "NetworkOptions", "Printf", "SHA"] +uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" + +[[deps.LibGit2_jll]] +deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll"] +uuid = "e37daf67-58a4-590a-8e99-b0245dd2ffc5" + +[[deps.LibSSH2_jll]] +deps = ["Artifacts", "Libdl", "MbedTLS_jll"] +uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8" + +[[deps.Libdl]] +uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" + +[[deps.Libiconv_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "f9557a255370125b405568f9767d6d195822a175" +uuid = "94ce4f54-9a6c-5748-9c1c-f9c7231a4531" +version = "1.17.0+0" + +[[deps.Logging]] +uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" + +[[deps.Markdown]] +deps = ["Base64"] +uuid = "d6f4376e-aef5-505a-96c1-9c027394607a" + +[[deps.MbedTLS_jll]] +deps = ["Artifacts", "Libdl"] +uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1" + +[[deps.Mmap]] +uuid = "a63ad114-7e13-5084-954f-fe012c677804" + +[[deps.MozillaCACerts_jll]] +uuid = "14a3606d-f60d-562e-9121-12d972cd8159" + +[[deps.NetworkOptions]] +uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" + +[[deps.OrderedCollections]] +git-tree-sha1 = "dfdf5519f235516220579f949664f1bf44e741c5" +uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d" +version = "1.6.3" + +[[deps.OutputCollectors]] +git-tree-sha1 = "5d3f2b3b2e2a9d7d6f1774c78e94530ac7f360cc" +uuid = "6c11c7d4-943b-4e2b-80de-f2cfc2930a8c" +version = "0.1.1" + +[[deps.Parsers]] +deps = ["Dates", "PrecompileTools", "UUIDs"] +git-tree-sha1 = "8489905bcdbcfac64d1daa51ca07c0d8f0283821" +uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" +version = "2.8.1" + +[[deps.Pkg]] +deps = ["Artifacts", "Dates", "Downloads", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"] +uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" + +[[deps.PrecompileTools]] +deps = ["Preferences"] +git-tree-sha1 = "03b4c25b43cb84cee5c90aa9b5ea0a78fd848d2f" +uuid = "aea7be01-6a6a-4083-8856-8a6e6704d82a" +version = "1.2.0" + +[[deps.Preferences]] +deps = ["TOML"] +git-tree-sha1 = "00805cd429dcb4870060ff49ef443486c262e38e" +uuid = "21216c6a-2e73-6563-6e65-726566657250" +version = "1.4.1" + +[[deps.Printf]] +deps = ["Unicode"] +uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7" + +[[deps.ProgressMeter]] +deps = ["Distributed", "Printf"] +git-tree-sha1 = "00099623ffee15972c16111bcf84c58a0051257c" +uuid = "92933f4c-e287-5a05-a399-4b506db050ca" +version = "1.9.0" + +[[deps.REPL]] +deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"] +uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" + +[[deps.Random]] +deps = ["SHA", "Serialization"] +uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" + +[[deps.SHA]] +uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" + +[[deps.Scratch]] +deps = ["Dates"] +git-tree-sha1 = "3bac05bc7e74a75fd9cba4295cde4045d9fe2386" +uuid = "6c6a2e73-6563-6170-7368-637461726353" +version = "1.2.1" + +[[deps.Serialization]] +uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b" + +[[deps.SimpleBufferStream]] +git-tree-sha1 = "874e8867b33a00e784c8a7e4b60afe9e037b74e1" +uuid = "777ac1f9-54b0-4bf8-805c-2214025038e7" +version = "1.1.0" + +[[deps.Sockets]] +uuid = "6462fe0b-24de-5631-8697-dd941f90decc" + +[[deps.TOML]] +deps = ["Dates"] +uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76" + +[[deps.Tar]] +deps = ["ArgTools", "SHA"] +uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e" + +[[deps.Tar_jll]] +deps = ["Artifacts", "Attr_jll", "JLLWrappers", "Libdl", "Libiconv_jll"] +git-tree-sha1 = "85e7d0ef5248971fbd824f29c52ab6168b895dfd" +uuid = "9b64493d-8859-5bf3-93d7-7c32dd38186f" +version = "1.35.0+0" + +[[deps.Test]] +deps = ["InteractiveUtils", "Logging", "Random", "Serialization"] +uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40" + +[[deps.TranscodingStreams]] +deps = ["Random", "Test"] +git-tree-sha1 = "1fbeaaca45801b4ba17c251dd8603ef24801dd84" +uuid = "3bb67fe8-82b1-5028-8e26-92a6c54297fa" +version = "0.10.2" + +[[deps.UUIDs]] +deps = ["Random", "SHA"] +uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4" + +[[deps.Unicode]] +uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5" + +[[deps.XZ_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "522b8414d40c4cbbab8dee346ac3a09f9768f25d" +uuid = "ffd25f8a-64ca-5728-b0f7-c24cf3aae800" +version = "5.4.5+0" + +[[deps.Zlib_jll]] +deps = ["Libdl"] +uuid = "83775a58-1f1d-513f-b197-d71354ab007a" + +[[deps.Zstd_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "49ce682769cd5de6c72dcf1b94ed7790cd08974c" +uuid = "3161d3a3-bdf6-5164-811a-617609db77b4" +version = "1.5.5+0" + +[[deps.libLLVM_jll]] +deps = ["Artifacts", "Libdl"] +uuid = "8f36deef-c2a5-5394-99ed-8e07531fb29a" + +[[deps.nghttp2_jll]] +deps = ["Artifacts", "Libdl"] +uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d" + +[[deps.p7zip_jll]] +deps = ["Artifacts", "Libdl"] +uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0" + +[[deps.pigz_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl", "Zlib_jll"] +git-tree-sha1 = "cb56f0446caa6138418ee28132024e2c3911d19b" +uuid = "1bc43ea1-30af-5bc8-a9d4-c018457e6e3e" +version = "2.8.0+0" + +[[deps.unzip_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "5d543463432c2e25027d88f5a314d40d44488391" +uuid = "88f77b66-78eb-5ed0-bc16-ebba0796830d" +version = "6.0.2+0" diff --git a/src/Dialects/14/ArmNeon.jl b/src/Dialects/14/ArmNeon.jl index 7fafa0f7..d6d30af9 100644 --- a/src/Dialects/14/ArmNeon.jl +++ b/src/Dialects/14/ArmNeon.jl @@ -32,7 +32,7 @@ function intr_smull(a::Value, b::Value; res::MLIRType, location=Location()) end """ -`2d_sdot` +`_2d_sdot` The two input vectors `b` and `c` have a 2D shape, consisting of either 2 or 4 rows, each row having length 4. This operation computes the pair-wise @@ -43,20 +43,20 @@ corresponding entry of `a`: res[i] := a[i] + dot_product(b[i, ...], c[i, ...]) ``` """ -# function 2d_sdot(a::Value, b::Value, c::Value; res::MLIRType, location=Location()) -# results = MLIRType[res, ] -# operands = Value[a, b, c, ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[] +function _2d_sdot(a::Value, b::Value, c::Value; res::MLIRType, location=Location()) + results = MLIRType[res, ] + operands = Value[a, b, c, ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[] -# create_operation( -# "arm_neon.2d.sdot", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "arm_neon.2d.sdot", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `intr_sdot` diff --git a/src/Dialects/14/SPIRV.jl b/src/Dialects/14/SPIRV.jl index c980f7dc..bf327901 100644 --- a/src/Dialects/14/SPIRV.jl +++ b/src/Dialects/14/SPIRV.jl @@ -4502,14 +4502,14 @@ spv.GlobalVariable @var2 bind(1, 2) : !spv.ptr spv.GlobalVariable @var3 built_in(\"GlobalInvocationId\") : !spv.ptr, Input> ``` """ -function GlobalVariable(; type, sym_name, initializer=nothing, binding=nothing, descriptorSet=nothing, builtin=nothing, location=Location()) +function GlobalVariable(; type, sym_name, initializer=nothing, location_=nothing, binding=nothing, descriptorSet=nothing, builtin=nothing, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[] successors = Block[] attributes = NamedAttribute[namedattribute("type", type), namedattribute("sym_name", sym_name), ] (initializer != nothing) && push!(attributes, namedattribute("initializer", initializer)) - (location != nothing) && push!(attributes, namedattribute("location", location)) + (location != nothing) && push!(attributes, namedattribute("location", location_)) (binding != nothing) && push!(attributes, namedattribute("binding", binding)) (descriptorSet != nothing) && push!(attributes, namedattribute("descriptorSet", descriptorSet)) (builtin != nothing) && push!(attributes, namedattribute("builtin", builtin)) diff --git a/src/Dialects/15/ArmNeon.jl b/src/Dialects/15/ArmNeon.jl index 7fafa0f7..d6d30af9 100644 --- a/src/Dialects/15/ArmNeon.jl +++ b/src/Dialects/15/ArmNeon.jl @@ -32,7 +32,7 @@ function intr_smull(a::Value, b::Value; res::MLIRType, location=Location()) end """ -`2d_sdot` +`_2d_sdot` The two input vectors `b` and `c` have a 2D shape, consisting of either 2 or 4 rows, each row having length 4. This operation computes the pair-wise @@ -43,20 +43,20 @@ corresponding entry of `a`: res[i] := a[i] + dot_product(b[i, ...], c[i, ...]) ``` """ -# function 2d_sdot(a::Value, b::Value, c::Value; res::MLIRType, location=Location()) -# results = MLIRType[res, ] -# operands = Value[a, b, c, ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[] +function _2d_sdot(a::Value, b::Value, c::Value; res::MLIRType, location=Location()) + results = MLIRType[res, ] + operands = Value[a, b, c, ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[] -# create_operation( -# "arm_neon.2d.sdot", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "arm_neon.2d.sdot", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `intr_sdot` diff --git a/src/Dialects/15/Func.jl b/src/Dialects/15/Func.jl index b500c189..fded22a2 100644 --- a/src/Dialects/15/Func.jl +++ b/src/Dialects/15/Func.jl @@ -103,7 +103,7 @@ function constant(; result_0::MLIRType, value, location=Location()) end """ -`func_` +`func` Operations within the function cannot implicitly capture values defined outside of the function, i.e. Functions are `IsolatedFromAbove`. All @@ -141,7 +141,7 @@ func.func @example_fn_result() -> (f64 {dialectName.attrName = 0 : i64}) func.func @example_fn_attr() attributes {dialectName.attrName = false} ``` """ -function func_(; sym_name, function_type, sym_visibility=nothing, body::Region, location=Location()) +function func(; sym_name, function_type, sym_visibility=nothing, body::Region, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[body, ] diff --git a/src/Dialects/15/MLProgram.jl b/src/Dialects/15/MLProgram.jl index 59f540e2..a9509cb2 100644 --- a/src/Dialects/15/MLProgram.jl +++ b/src/Dialects/15/MLProgram.jl @@ -55,20 +55,20 @@ such a load can be considered to have no side effects. %0 = ml_program.global_load_const @foobar : tensor ``` """ -# function global_load_const(; result::MLIRType, global, location=Location()) -# results = MLIRType[result, ] -# operands = Value[] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_load_const(; result::MLIRType, global_, location=Location()) + results = MLIRType[result, ] + operands = Value[] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_load_const", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_load_const", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_load_graph` @@ -90,20 +90,20 @@ without additional consideration to evaluation order constraints. ordering (%token -> !ml_program.token) : tensor ``` """ -# function global_load_graph(consumeTokens::Vector{Value}; result::MLIRType, produceToken::MLIRType, global, location=Location()) -# results = MLIRType[result, produceToken, ] -# operands = Value[consumeTokens..., ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_load_graph(consumeTokens::Vector{Value}; result::MLIRType, produceToken::MLIRType, global_, location=Location()) + results = MLIRType[result, produceToken, ] + operands = Value[consumeTokens..., ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_load_graph", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_load_graph", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_load` @@ -125,20 +125,20 @@ without additional consideration to evaluation order constraints. See %0 = ml_program.global_load @foobar : tensor ``` """ -# function global_load(; result::MLIRType, global, location=Location()) -# results = MLIRType[result, ] -# operands = Value[] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_load(; result::MLIRType, global_, location=Location()) + results = MLIRType[result, ] + operands = Value[] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_load", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_load", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_` @@ -208,20 +208,20 @@ without additional consideration to evaluation order constraints. ordering (%in_token -> !ml_program.token) : tensor ``` """ -# function global_store_graph(value::Value, consumeTokens::Vector{Value}; produceToken::MLIRType, global, location=Location()) -# results = MLIRType[produceToken, ] -# operands = Value[value, consumeTokens..., ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_store_graph(value::Value, consumeTokens::Vector{Value}; produceToken::MLIRType, global_, location=Location()) + results = MLIRType[produceToken, ] + operands = Value[value, consumeTokens..., ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_store_graph", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_store_graph", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_store` @@ -243,20 +243,20 @@ without additional consideration to evaluation order constraints. See ml_program.global_store @foobar = %0 : tensor ``` """ -# function global_store(value::Value; global, location=Location()) -# results = MLIRType[] -# operands = Value[value, ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_store(value::Value; global_, location=Location()) + results = MLIRType[] + operands = Value[value, ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_store", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_store", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `output` diff --git a/src/Dialects/15/SPIRV.jl b/src/Dialects/15/SPIRV.jl index eec360dc..ba00ef77 100644 --- a/src/Dialects/15/SPIRV.jl +++ b/src/Dialects/15/SPIRV.jl @@ -5201,14 +5201,14 @@ spv.GlobalVariable @var2 bind(1, 2) : !spv.ptr spv.GlobalVariable @var3 built_in(\"GlobalInvocationId\") : !spv.ptr, Input> ``` """ -function GlobalVariable(; type, sym_name, initializer=nothing, binding=nothing, descriptor_set=nothing, builtin=nothing, location=Location()) +function GlobalVariable(; type, sym_name, initializer=nothing, location_=nothing, binding=nothing, descriptor_set=nothing, builtin=nothing, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[] successors = Block[] attributes = NamedAttribute[namedattribute("type", type), namedattribute("sym_name", sym_name), ] (initializer != nothing) && push!(attributes, namedattribute("initializer", initializer)) - (location != nothing) && push!(attributes, namedattribute("location", location)) + (location != nothing) && push!(attributes, namedattribute("location", location_)) (binding != nothing) && push!(attributes, namedattribute("binding", binding)) (descriptor_set != nothing) && push!(attributes, namedattribute("descriptor_set", descriptor_set)) (builtin != nothing) && push!(attributes, namedattribute("builtin", builtin)) diff --git a/src/Dialects/16/ArmNeon.jl b/src/Dialects/16/ArmNeon.jl index 7fafa0f7..d6d30af9 100644 --- a/src/Dialects/16/ArmNeon.jl +++ b/src/Dialects/16/ArmNeon.jl @@ -32,7 +32,7 @@ function intr_smull(a::Value, b::Value; res::MLIRType, location=Location()) end """ -`2d_sdot` +`_2d_sdot` The two input vectors `b` and `c` have a 2D shape, consisting of either 2 or 4 rows, each row having length 4. This operation computes the pair-wise @@ -43,20 +43,20 @@ corresponding entry of `a`: res[i] := a[i] + dot_product(b[i, ...], c[i, ...]) ``` """ -# function 2d_sdot(a::Value, b::Value, c::Value; res::MLIRType, location=Location()) -# results = MLIRType[res, ] -# operands = Value[a, b, c, ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[] +function _2d_sdot(a::Value, b::Value, c::Value; res::MLIRType, location=Location()) + results = MLIRType[res, ] + operands = Value[a, b, c, ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[] -# create_operation( -# "arm_neon.2d.sdot", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "arm_neon.2d.sdot", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `intr_sdot` diff --git a/src/Dialects/16/Func.jl b/src/Dialects/16/Func.jl index 26a2c59a..f169624c 100644 --- a/src/Dialects/16/Func.jl +++ b/src/Dialects/16/Func.jl @@ -103,7 +103,7 @@ function constant(; result_0::MLIRType, value, location=Location()) end """ -`func_` +`func` Operations within the function cannot implicitly capture values defined outside of the function, i.e. Functions are `IsolatedFromAbove`. All @@ -141,7 +141,7 @@ func.func @example_fn_result() -> (f64 {dialectName.attrName = 0 : i64}) func.func @example_fn_attr() attributes {dialectName.attrName = false} ``` """ -function func_(; sym_name, function_type, sym_visibility=nothing, arg_attrs=nothing, res_attrs=nothing, body::Region, location=Location()) +function func(; sym_name, function_type, sym_visibility=nothing, arg_attrs=nothing, res_attrs=nothing, body::Region, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[body, ] diff --git a/src/Dialects/16/MLProgram.jl b/src/Dialects/16/MLProgram.jl index 105b9b7c..94b9c32d 100644 --- a/src/Dialects/16/MLProgram.jl +++ b/src/Dialects/16/MLProgram.jl @@ -57,20 +57,20 @@ such a load can be considered to have no side effects. %0 = ml_program.global_load_const @foobar : tensor ``` """ -# function global_load_const(; result::MLIRType, global, location=Location()) -# results = MLIRType[result, ] -# operands = Value[] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_load_const(; result::MLIRType, global_, location=Location()) + results = MLIRType[result, ] + operands = Value[] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_load_const", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_load_const", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_load_graph` @@ -92,20 +92,20 @@ without additional consideration to evaluation order constraints. ordering (%token -> !ml_program.token) : tensor ``` """ -# function global_load_graph(consumeTokens::Vector{Value}; result::MLIRType, produceToken::MLIRType, global, location=Location()) -# results = MLIRType[result, produceToken, ] -# operands = Value[consumeTokens..., ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_load_graph(consumeTokens::Vector{Value}; result::MLIRType, produceToken::MLIRType, global_, location=Location()) + results = MLIRType[result, produceToken, ] + operands = Value[consumeTokens..., ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_load_graph", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_load_graph", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_load` @@ -127,20 +127,20 @@ without additional consideration to evaluation order constraints. See %0 = ml_program.global_load @foobar : tensor ``` """ -# function global_load(; result::MLIRType, global, location=Location()) -# results = MLIRType[result, ] -# operands = Value[] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_load(; result::MLIRType, global_, location=Location()) + results = MLIRType[result, ] + operands = Value[] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_load", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_load", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_` @@ -210,20 +210,20 @@ without additional consideration to evaluation order constraints. ordering (%in_token -> !ml_program.token) : tensor ``` """ -# function global_store_graph(value::Value, consumeTokens::Vector{Value}; produceToken::MLIRType, global, location=Location()) -# results = MLIRType[produceToken, ] -# operands = Value[value, consumeTokens..., ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_store_graph(value::Value, consumeTokens::Vector{Value}; produceToken::MLIRType, global_, location=Location()) + results = MLIRType[produceToken, ] + operands = Value[value, consumeTokens..., ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_store_graph", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_store_graph", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `global_store` @@ -245,20 +245,20 @@ without additional consideration to evaluation order constraints. See ml_program.global_store @foobar = %0 : tensor ``` """ -# function global_store(value::Value; global, location=Location()) -# results = MLIRType[] -# operands = Value[value, ] -# owned_regions = Region[] -# successors = Block[] -# attributes = NamedAttribute[namedattribute("global", global), ] +function global_store(value::Value; global_, location=Location()) + results = MLIRType[] + operands = Value[value, ] + owned_regions = Region[] + successors = Block[] + attributes = NamedAttribute[namedattribute("global", global_), ] -# create_operation( -# "ml_program.global_store", location; -# operands, owned_regions, successors, attributes, -# results=results, -# result_inference=false -# ) -# end + create_operation( + "ml_program.global_store", location; + operands, owned_regions, successors, attributes, + results=results, + result_inference=false + ) +end """ `output` diff --git a/src/Dialects/16/SPIRV.jl b/src/Dialects/16/SPIRV.jl index bddaf5ac..2d88c28c 100644 --- a/src/Dialects/16/SPIRV.jl +++ b/src/Dialects/16/SPIRV.jl @@ -5354,14 +5354,14 @@ spirv.GlobalVariable @var2 bind(1, 2) : !spirv.ptr spirv.GlobalVariable @var3 built_in(\"GlobalInvocationId\") : !spirv.ptr, Input> ``` """ -function GlobalVariable(; type, sym_name, initializer=nothing, binding=nothing, descriptor_set=nothing, builtin=nothing, location=Location()) +function GlobalVariable(; type, sym_name, initializer=nothing, location_=nothing, binding=nothing, descriptor_set=nothing, builtin=nothing, location=Location()) results = MLIRType[] operands = Value[] owned_regions = Region[] successors = Block[] attributes = NamedAttribute[namedattribute("type", type), namedattribute("sym_name", sym_name), ] (initializer != nothing) && push!(attributes, namedattribute("initializer", initializer)) - (location != nothing) && push!(attributes, namedattribute("location", location)) + (location != nothing) && push!(attributes, namedattribute("location", location_)) (binding != nothing) && push!(attributes, namedattribute("binding", binding)) (descriptor_set != nothing) && push!(attributes, namedattribute("descriptor_set", descriptor_set)) (builtin != nothing) && push!(attributes, namedattribute("builtin", builtin))