error statically evaluating llvmcall return type

[chrstphrbrns]

7f99e95377 broke TiffImages.jl

julia> ENV["JULIA_IMAGES_PARALLEL"]="false"
"false"

julia> using TiffImages

julia> versioninfo()
Julia Version 1.12.0-DEV.1923
Commit 7f99e95377 (2025-01-22 12:40 UTC)
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 32 × AMD Ryzen 9 3950X 16-Core Processor
  WORD_SIZE: 64
  LLVM: libLLVM-18.1.7 (ORCJIT, znver2)
  GC: Built with stock GC
Threads: 16 default, 0 interactive, 16 GC (on 32 virtual cores)
Environment:
  LD_PRELOAD = /lib/x86_64-linux-gnu/libc_malloc_debug.so.0
  JULIA_NUM_THREADS = 16
  JULIA_EDITOR = vim
  JULIA_IMAGES_PARALLEL = false

julia> @time a=TiffImages.load("image.tif");
ERROR: error statically evaluating llvmcall return type
Stacktrace:
  [1] macro expansion
    @ ~/.julia/packages/SIMD/hyXY3/src/LLVM_intrinsics.jl:515 [inlined]
  [2] store
    @ ~/.julia/packages/SIMD/hyXY3/src/LLVM_intrinsics.jl:505 [inlined]
  [3] vstore
    @ ~/.julia/packages/SIMD/hyXY3/src/arrayops.jl:73 [inlined]
  [4] vstore
    @ ~/.julia/packages/SIMD/hyXY3/src/arrayops.jl:83 [inlined]
  [5] vstore (repeats 3 times)
    @ ~/.julia/packages/SIMD/hyXY3/src/arrayops.jl:80 [inlined]
  [6] macro expansion
    @ ~/.julia/packages/TiffImages/w9Bbj/src/ifds.jl:531 [inlined]
  [7] deplane_simd!(out::Vector{UInt8}, arr::SubArray{UInt8, 1, Base.ReinterpretArray{…}, Tuple{…}, true}, ::Val{4})
    @ TiffImages ~/.julia/packages/TiffImages/w9Bbj/src/ifds.jl:478

image.tif.gz

[oscardssmith]

By 7f99e95377, you mean #57102, right? If so tagging @Keno.

[Keno]

Inference probably needs to start looking at those arguments of foreigncall/llvmcall in order to add the right edges. Right now, I don't think it really looks at them, since it doesn't need to evaluate their types

[vtjnash]

foreigncall doesn't have them, since it has values not bindings in the ABI; this is only an llvmcall problem