[dawn][common] Slightly improve check failure message in consteval

DAWN_CHECK already works correctly in consteval, but the error message
is obtuse. It works because HandleAssertionFailure is not valid to call
in consteval, and if the assert fails, it tries to call that.

This simply calls a different non-constexpr function whose name explains
what's going on. According to my online research this is really the only
to produce a custom error message in this case (at least until C++26).

Example error message:

../../src/dawn/tests/unittests/TypedIntegerTests.cpp:60:15: error: constexpr variable 'k' must be initialized by a constant expression
   60 | constexpr int k = f();
      |               ^   ~~~
../../src/dawn/tests/unittests/TypedIntegerTests.cpp:56:5: note: non-constexpr function 'XXXXXXXXXX_CheckFailedInConsteval_XXXXXXXXXX' cannot be used in a constant expression
   56 |     DAWN_CHECK(false);
      |     ^
../../src/dawn/common/Assert.h:115:31: note: expanded from macro 'DAWN_CHECK'
  115 | #define DAWN_CHECK(condition) DAWN_CHECK_CALLSITE_HELPER(__FILE__, __func__, __LINE__, condition)
      |                               ^
../../src/dawn/common/Assert.h:65:17: note: expanded from macro 'DAWN_CHECK_CALLSITE_HELPER'
   65 |                 ::dawn::XXXXXXXXXX_CheckFailedInConsteval_XXXXXXXXXX();       \
      |                 ^
../../src/dawn/tests/unittests/TypedIntegerTests.cpp:60:19: note: in call to 'f()'
   60 | constexpr int k = f();
      |                   ^~~
../../src/dawn/common/Assert.h:138:13: note: declared here
  138 | inline void XXXXXXXXXX_CheckFailedInConsteval_XXXXXXXXXX() {}
      |             ^

Bug: 515563577
Change-Id: I300e1d2c4a39fea65fd2aabcd3a83a02a8d03263
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/310655
Commit-Queue: Kai Ninomiya <kainino@chromium.org>
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
1 file changed
tree: 0c8379dd1e233e0aafe0f0270040d5faf0490223
  1. .github/
  2. .vscode/
  3. agents/
  4. build_overrides/
  5. docs/
  6. generator/
  7. include/
  8. infra/
  9. scripts/
  10. src/
  11. test/
  12. third_party/
  13. tools/
  14. webgpu-cts/
  15. .bazelrc
  16. .bazelversion
  17. .clang-format
  18. .clang-format-ignore
  19. .clang-tidy
  20. .git-blame-ignore-revs
  21. .gitattributes
  22. .gitignore
  23. .gitmodules
  24. .gn
  25. .style.yapf
  26. .vpython3
  27. AUTHORS
  28. BUILD.bazel
  29. BUILD.gn
  30. CMakeLists.txt
  31. CMakeSettings.json
  32. CODE_OF_CONDUCT.md
  33. codereview.settings
  34. CONTRIBUTING.md
  35. CPPLINT.cfg
  36. DEPS
  37. DIR_METADATA
  38. go.mod
  39. go.sum
  40. go_presubmit_support.py
  41. LICENSE
  42. MODULE.bazel
  43. MODULE.bazel.lock
  44. OWNERS
  45. PRESUBMIT.py
  46. README.chromium
  47. README.md
  48. unsafe_buffers_paths.txt
  49. WATCHLISTS
  50. WORKSPACE.bazel
README.md

Build Status Matrix Space

Dawn, a WebGPU implementation

Dawn is an open-source and cross-platform implementation of the 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)

License

BSD 3-Clause License, please see LICENSE.

Disclaimer

This is not an officially supported Google product.