Rust-GPU / Rust-GPU/rust-gpu

incorrect bool/Option(bool) support

Offen
#487 3 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug
Vorherrschende Sprache
Rust
Sterne
3.4k
Forks
125
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

Expected Behaviour

no crash when using bool / Option(bool) (note: in particular, the bug was observed when using iterators over bool)

Example & Steps To Reproduce

This code fail to compile:

#![cfg_attr(target_arch = "spirv", no_std)]

use spirv_std::glam::UVec3;
use spirv_std::spirv;

#[spirv(compute(threads(64)))]
pub fn main_cs(
    #[spirv(global_invocation_id)] id: UVec3,
    #[spirv(storage_buffer, descriptor_set = 0, binding = 0)] buffer: &mut [u32],
) {
    let mut t =test();
    buffer[1] += t.next().unwrap() as u32;
}
struct T{}
#[inline(never)]
pub fn test()->impl Iterator<Item = bool>{
    T{}
}

impl  Iterator for T {
    type Item=bool;
    fn next(&mut self) -> Option<Self::Item> {
        return Some(true);
    }
}

The relevant part of the error

 error: error:0:0 - Expected Result Type to be a pointer or int or float vector or scalar type: Bitcast
           %40 = OpBitcast %bool %33

NB: the error also happen the other way arround (cast from bool to char).
It also seem that these cast force to use the Capability::Int8 when no Int8 is used in similar cases

System Info

  • Rust: rustc 1.90.0-nightly
  • OS: artix linux with kernel 6.17.8-artix1-1
  • GPU: NVIDIA Corporation GA102 [GeForce RTX 3080 Ti]
  • SPIR-V: SPIRV-Tools v2025.4 v2025.4-0-g7f2d9ee92

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne mit dem Rust-Reproducer unter Verwendung eines Iterators über bool und dem gemeldeten OpBitcast-Validierungsfehler. Verfolge, wie bool und Option nach SPIR-V abgesenkt werden, einschließlich des umgekehrten bool-to-char-Falls und der unerwarteten Int8-Capability. Validiere das Ergebnis mit dem gezeigten Reproducer und SPIR-V Tools, ohne ungültiges Bitcast oder unnötige Int8-Capability.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
rust
Bereich
compilers
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.