[tint][transform][hlsl] Fix bad materialization

As reported in tint:1963, the PromoteSideEffectsToDecl transform could
hoist a constant expression to an implicitly typed 'let' declaration,
resulting in the expression type materializing early and resolve to a
different type.

Constant expressions don't need to be hoisted, but it seems generally
safer to continue emitting these, but with an explicit type on the
'let' declaration. This is what this CL does.

In doing this, I uncovered a second bug where the DecomposeMemoryAccess
transform would create a new a struct for the result of the
atomicCompareExchangeWeak() intrinsic, which would fail to assign to
the new explicitly typed lets. The fix for this is simple - don't
generate a new struct, but instead use the (fairly new) internal struct
declarations for these. This keeps the resolver happy, and actually
reduces a bunch of spew from the HLSL output.

Fixed: tint:1963
Change-Id: I271a2130dc303da3b9f11876ec5c6e8b98a16ee7
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/137100
Kokoro: Kokoro <noreply+kokoro@google.com>
Reviewed-by: James Price <jrprice@google.com>
Commit-Queue: Ben Clayton <bclayton@google.com>
41 files changed
tree: 4de9c96307f3bfd090e84728cf28e9f2effb77d6
  1. .vscode/
  2. build_overrides/
  3. docs/
  4. generator/
  5. include/
  6. infra/
  7. scripts/
  8. src/
  9. test/
  10. third_party/
  11. tools/
  12. webgpu-cts/
  13. .clang-format
  14. .clang-tidy
  15. .gitattributes
  16. .gitignore
  17. .gn
  18. AUTHORS
  19. BUILD.gn
  20. CMakeLists.txt
  21. CMakeSettings.json
  22. CODE_OF_CONDUCT.md
  23. codereview.settings
  24. CONTRIBUTING.md
  25. CPPLINT.cfg
  26. dawn.json
  27. dawn_wire.json
  28. DEPS
  29. DIR_METADATA
  30. Doxyfile
  31. go.mod
  32. go.sum
  33. go_presubmit_support.py
  34. LICENSE
  35. OWNERS
  36. PRESUBMIT.py
  37. README.chromium
  38. README.md
  39. tint_overrides_with_defaults.gni
README.md

Dawn's logo: a sun rising behind a stylized mountain inspired by the WebGPU logo. The text Dawn is written below it.

Dawn, a WebGPU implementation

Dawn is an open-source and cross-platform implementation of the work-in-progress WebGPU standard. More precisely it implements webgpu.h that is a one-to-one mapping with the WebGPU IDL. Dawn is meant to be integrated as part of a larger system and is the underlying implementation of WebGPU in Chromium.

Dawn provides several WebGPU building blocks:

  • WebGPU C/C++ headers that applications and other building blocks use.
    • The webgpu.h version that Dawn implements.
    • A C++ wrapper for the webgpu.h.
  • A “native” implementation of WebGPU using platforms' GPU APIs: D3D12, Metal, Vulkan and OpenGL. See per API support for more details.
  • A client-server implementation of WebGPU for applications that are in a sandbox without access to native drivers
  • Tint is a compiler for the WebGPU Shader Language (WGSL) that can be used in standalone to convert shaders from and to WGSL.

Helpful links:

Documentation table of content

Developer documentation:

User documentation: (TODO, figure out what overlaps with the webgpu.h docs)

Status

(TODO)

License

Apache 2.0 Public License, please see LICENSE.

Disclaimer

This is not an officially supported Google product.