Compatibility with `SPIRVIntrinsics` 0.5

[PatrickHaecker]

oneAPI currently is incompatible with OpenCL v0.10.5 because of the compatibility constraint in oneAPI on SPIRVIntrinsics.jl limited to 0.2 and in OpenCL limited to 0.5.
oneAPI constraint
OpenCL constraint

(@v1.12) pkg> add OpenCL@0.10.5
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package SPIRVIntrinsics [71d1d633]:
 SPIRVIntrinsics [71d1d633] log:
 ├─possible versions are: 0.1.0 - 0.5.3 or uninstalled
 ├─restricted by compatibility requirements with OpenCL [08131aa3] to versions: 0.5.0 - 0.5.3
[...]
 └─restricted by compatibility requirements with oneAPI [8f75cd03] to versions: 0.2.0 - 0.2.1 — no versions left
[...]

[PatrickHaecker]

Simply adding 0.5 to the constraint does not work:

PkgPrecompileError: The following 1 direct dependency failed to precompile:

oneAPI 

Failed to precompile oneAPI [8f75cd03-7ff8-4ecb-9b8f-daf728133b1b] to "~/.julia/compiled/v1.12/oneAPI/jl_Vh7Pgl".
ERROR: LoadError: UndefVarError: `method_table` not defined in `oneAPI`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
  [1] top-level scope
    @ ~/.julia/packages/SPIRVIntrinsics/teTPa/src/utils.jl:90
  [2] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:307
  [3] top-level scope
    @ ~/.julia/dev/oneAPI/src/oneAPI.jl:34
  [4] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
  [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:2997
  [6] top-level scope
    @ stdin:5
  [7] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
  [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2843
  [9] include_string
    @ ./loading.jl:2853 [inlined]
 [10] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:315
 [11] _start()
    @ Base ./client.jl:550
in expression starting at ~/.julia/dev/oneAPI/src/device/array.jl:84
in expression starting at ~/.julia/dev/oneAPI/src/oneAPI.jl:1
in expression starting at stdin:

[michel2323]

Effectively blocked by this #491 , #505 .

[michel2323]

@maleadt @vchuravy Is it possible to switch to SPIRVIntrinsics@v0.5 without switching SPIRV translator in oneAPI.jl? Of course I get things like

Info Given oneAPI was explicitly requested, output will be shown live 
ERROR: LoadError: UndefVarError: `Global` not defined in `SPIRVIntrinsics.AS`

But would it even be in principle possible?

[maleadt]

I haven't tested it. It's possible it Just Works, but it depends on whether the constructs that I used to encode direct SPIR-V in LLVM IR as recognized by the back-end are also recognized by the translator, e.g., https://github.com/JuliaGPU/OpenCL.jl/blob/53f450a4e063f32b5873da5af98aec9e0f007a3d/lib/intrinsics/src/synchronization.jl#L54-L68