AvoidReinterprets: `i32.atomic.load` under `f32.reinterpret_i32` loses its atomicity
Les mainteneurs répondent en général sous 1 jour
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 76/100
- Type d'issue
- Bug
- Clarté
- Clairement spécifiée
- Activité
- Active
- Stack technique
- wasm
- Domaine
- compilers
Piste de recherche
Commencez dans le pass AvoidReinterprets, au niveau de makeReinterpretedLoad, et reproduisez le problème avec le module .wat fourni en utilisant wasm-opt --avoid-reinterprets --print. C’est terminé lorsqu’un i32.atomic.load n’est pas réécrit en f32.load non atomique, en préservant le comportement d’accès d’origine.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Summary
makeReinterpretedLoad rebuilds the load from bytes/offset/align/ptr/type/memory and does not carry over isAtomic.
Root cause
The rebuilt load copies the listed fields only, so the original load's isAtomic is dropped.
Copying isAtomic is not a fix, because atomic loads exist only for i32 and i64 (the validator rejects other types) and the rebuilt load has type f32. The pass should skip atomic loads.
Affected passes
Only AvoidReinterprets.
Reproducer
(module (memory 1 1)
(func (export "f") (param $p i32) (result f32)
(f32.reinterpret_i32 (i32.atomic.load (local.get $p)))))
$ wasm-opt in.wat -all --avoid-reinterprets --print
(func $0 (type $0) (param $p i32) (result f32)
(f32.load
(local.get $p)
)
)
The i32.atomic.load has become a plain f32.load.
Expected vs actual
An unaligned address that traps for the atomic access no longer traps, and on a shared memory the access is no longer atomic.
Version
Reproduced on upstream main at 4d8ac549e2ab9b283246ea95e79ebe139ca579ac (wasm-opt version 133).
AI was used as part of the process of finding this issue. I have manually checked and reproduced it.
- Langage dominant
- WebAssembly
- Étoiles
- 8.7k
- Forks
- 893
- Merge moyen
- 1 j 11 h
- PR mergées (30 j)
- 74
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Aucun modèle de pull request
- Lire le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de WebAssembly/binaryen
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 88/100
WebAssembly/binaryen#9135 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 Une demi-journée Accessibilité débutants 76/100
WebAssembly/binaryen#9018 · 3 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 3/5 1-2 jours Accessibilité débutants 58/100
WebAssembly/binaryen#9210 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 3-5 jours Accessibilité débutants 52/100
WebAssembly/binaryen#9186 ·
Les mainteneurs répondent en général sous 1 jour
-
LoopInvariantCodeMotion: `struct.new` is hoisted out of a loop, so all iterations share one objectOuverte
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
WebAssembly/binaryen#9184 ·
Les mainteneurs répondent en général sous 1 jour
Toutes les issues de WebAssembly/binaryen
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
rubys/roundhouse#444 ·
Les mainteneurs répondent en général sous 1 jour
-
vxc prints a debug line '[flat-codegen] emitted module via the flat path' on every compilePeut-être pris @YodHeVauHe l’a pris aujourd’hui. Ouvertedevex good first issue
Difficulté 2/5 1-3 heures Accessibilité débutants 82/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
kmmbvnr/rank#196 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 74/100
SciML/ModelingToolkit.jl#5255 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 65/100
NVIDIA/cuda-quantum#5539 · 2 commentaires ·
Les mainteneurs répondent en général sous 1 jour