[tint] Fix loop analysis for limit cases

We handled limit cases for >= and <=, but not for > and <.

This causes us to add infinite loop mitigations for loops that store
their bounds in a `let` (see the modified E2E tests), since we
conservatively assume that the let may contain the problematic limit
value. With some extra work we should be able to make the analysis
avoid these false positives for common cases, but that will be left to
a future CL.

Fixed: 502206907
Change-Id: I30224cdc47125e7603d3dc07daf0619c886f92e4
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/302776
Reviewed-by: dan sinclair <dsinclair@chromium.org>
Commit-Queue: James Price <jrprice@google.com>
17 files changed
tree: 440a4e541c2941c62f1035ebd4ae5e8e38a4fd23
  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. .clang-format
  17. .clang-format-ignore
  18. .clang-tidy
  19. .git-blame-ignore-revs
  20. .gitattributes
  21. .gitignore
  22. .gitmodules
  23. .gn
  24. .style.yapf
  25. .vpython3
  26. AUTHORS
  27. BUILD.bazel
  28. BUILD.gn
  29. CMakeLists.txt
  30. CMakeSettings.json
  31. CODE_OF_CONDUCT.md
  32. codereview.settings
  33. CONTRIBUTING.md
  34. CPPLINT.cfg
  35. DEPS
  36. DIR_METADATA
  37. go.mod
  38. go.sum
  39. go_presubmit_support.py
  40. LICENSE
  41. OWNERS
  42. PRESUBMIT.py
  43. README.chromium
  44. README.md
  45. unsafe_buffers_paths.txt
  46. WATCHLISTS
  47. 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.