Rust-GPU / Rust-GPU/rust-gpu

64 bit and 128 bit integers are not supported at all

オープン
#359 コメント 9 件 リアクション 2 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

bug
主要言語
Rust
スター
3.4k
フォーク
126
PR マージ指標
30日以内にマージされた PR はありません

説明

Expected Behaviour

I want to port some code using fixed::FixedI128 to the gpu, so I tried using rust-gpu to avoid needing to re-implement the wheel.

Well, this failed epically.

Figuring out how to use rust-gpu from the docs and examples is impossible, so I looked at rust-gpu-chimera, and I was able to figure out how to use it.

Of course, even though fixed is no-std and does not allocate, it does not compile, so I started to try to clone it locally and monkeypatch any issues until it would build.

But after the errors just never ended, I thought it more prudent to LITERALLY manually dig through the thousands of lines of macro-generated code for fixed and inline all the code I was using.

Of course, this failed because rust-gpu does not ACTUALLY support 128 bit integers.

Of course, the errors don't explicitly say this, instead they say "unsupported type for constant i128" or something else, and never explicitly admit to not supporting 128 bit integers.

Ok, that's really disappointing, but sure I'll rewrite all these functions to work on 64 bit limbs explicitly instead.

Well, actually, rust-gpu does not support 64 bit integers either, so that was a waste of time.

Now the error does sort of explicitly say this: "error: u64 type used without OpCapability Int64".

This is pretty surprising because on 32 bit CPU targets we can use 128 bit ints with reckless abandon and the compiler will just figure it out, but some part of this when translating from rust to llvm ir to spriv is not putting the square peg into the square hole.

Example & Steps To Reproduce

This kernel stub should have the same error, even with none of the implementation actually present:

#[cfg(target_arch = "spirv")]
#[spirv(compute(threads(1024)))]
pub fn bqa_kernel(
    #[spirv(global_invocation_id)] gid: UVec3,
    #[spirv(storage_buffer, descriptor_set = 0, binding = 0)] data: &mut [((u64, i64), i64, i64)],
    #[spirv(push_constant)] param: &BqaParams,
) {
    let thread_id = ThreadId::new(gid.x);
    bqa_helper(thread_id, data, (param.r0, param.r1), param.b_min, param.b_max);
}

we don't even need to look into bqa_helper or any other implementation details, the error will be something like

     Compiling kernel v0.1.0 (/home/hac/projects/rust-gpu-chimera/kernel)
  error: `u64` type used without `OpCapability Int64`
      |
      = note: used by `core::option::Option<i64>`
      = note: used by `((u64, i64), i64, i64)`
      = note: used by unnamed type
      = note: used by unnamed type
  note: used from within GLCompute entry-point `bqa_kernel`
     --> kernel/src/lib.rs:171:5
      |
  171 |     #[spirv(storage_buffer, descriptor_set = 0, binding = 0)] data: &mut [((u64, i64), i64, i64)],
      |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

  error: `i64` type used without `OpCapability Int64`

System Info

Rustc version is pinned to nightly-2025-06-23 by rust-gpu-chimera
SPIRV-Tools v2025.3 v2025.3.rc1-0-g33e025681
OS: linux 6.15.8-zen (arch linux)
GPU: Intel Arc B580
I'm using the webgpu backend following rust-gpu-chimera

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

エントリポイント kernel/src/lib.rs から始め、u64 および i64 のストレージバッファ型で報告された診断を再現します。整数型が SPIR-V capabilities にどのように変換されるかを追跡し、サポートされている整数幅が正しくコンパイルされるか、その制限が明示的に報告されれば、問題は解決したとみなします。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
rust
領域
compilers, computer-graphics
issue の種類
バグ
難易度
4/5
見積もり時間
3〜5日
活発さ
停滞
明瞭さ
おおむね明確
初心者へのやさしさ
35/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。