[maleadt]

Same issue as JuliaGPU/Metal.jl#567, fixed there in JuliaGPU/Metal.jl#1070.

On Julia 1.12, x < π in a kernel fails to compile: MPFR calls end up in device code because the BigFloat-based Float32(π, RoundDown) is not evaluated at compile time. The reason is an inference cycle through the exception runtime:

throw_inexacterror (overlay) → record_exception! → lock_output! → claim_output!
  → atomic_claim_device! → Int32(::Int64) → checked_trunc_sint → throw_inexacterror
  → get_local_id(1)     → UInt32(::Int64) (the `1u32` literal) → … → throw_inexacterror
  → UInt64(0)           → UInt64(::Int64) → … → throw_inexacterror

Julia 1.12 merges the effects of all frames in a cycle. The runtime's atomics reach UnsafeAtomics' is_native(), which is (correctly) not a consistent overlay, so that merge taints Int32(::Int64), UInt32(::Int64) and UInt64(::Int64) and disables concrete evaluation of any foldable code that uses them.

This PR keeps throwing calls out of the runtime: the constants are now written with %, and SPIRVIntrinsics' 1u32 is interpolated so the value is built when the method is defined. With that, no cycle passes through an overlay any more. I checked on 1.12 and 1.13 with PoCL.

The new concrete evaluation test fails on 1.12 without the fix.

On 1.10, which lacks consistent overlays, the conversion can't be evaluated at compile time at all. SPIRVIntrinsics now overrides the π/ℯ conversions with their precomputed values there, as Metal.jl does.

oneAPI.jl isn't affected today, because its exception runtime is a stub. It does use the same get_local_id code, though, so the SPIRVIntrinsics change is worth releasing.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.73%. Comparing base (9c27048) to head (68865aa).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #568   +/-   ##
=======================================
  Coverage   87.73%   87.73%           
=======================================
  Files          18       18           
  Lines        1737     1737           
=======================================
  Hits         1524     1524           
  Misses        213      213           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.