diff options
author | Krzysztof Drewniak <Krzysztof.Drewniak@amd.com> | 2025-01-13 15:48:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-01-13 17:48:03 -0600 |
commit | 051612c0180e4e5a9ba750a994a91d2c1b05b00c (patch) | |
tree | 2f498da48619a0e0006dcff5eca4513b8d4e4c80 /clang/lib/CodeGen/BackendUtil.cpp | |
parent | 8ce81f17a16b8b689895c7c093d0401a75c09882 (diff) | |
download | llvm-051612c0180e4e5a9ba750a994a91d2c1b05b00c.zip llvm-051612c0180e4e5a9ba750a994a91d2c1b05b00c.tar.gz llvm-051612c0180e4e5a9ba750a994a91d2c1b05b00c.tar.bz2 |
[mlir][ValueBounds] memref.dim and tensor.dim are always positive (#122804)
Add the constraint that the length of a memref or tensor dimension is
always non-negative (at least 0) even if we don't know which dimension
we're querying the length of.
Diffstat (limited to 'clang/lib/CodeGen/BackendUtil.cpp')
0 files changed, 0 insertions, 0 deletions