diff options
| author | Matthias Springer <me@m-sp.org> | 2024-04-07 09:36:28 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-07 09:36:28 +0900 |
| commit | c459a366d3e07ae220b96fb1aa4f69375d4b72ba (patch) | |
| tree | b6887ef2becdda8a14f6f4572054c87eada4abad /clang/lib/Analysis/ProgramPoint.cpp | |
| parent | e4db938a4ed017432af95bef84a388e2a8a2c232 (diff) | |
| download | llvm-c459a366d3e07ae220b96fb1aa4f69375d4b72ba.zip llvm-c459a366d3e07ae220b96fb1aa4f69375d4b72ba.tar.gz llvm-c459a366d3e07ae220b96fb1aa4f69375d4b72ba.tar.bz2 | |
[mlir][Arith] `ValueBoundsOpInterface`: Support `arith.select` (#87870)
This commit adds a `ValueBoundsOpInterface` implementation for
`arith.select`. The implementation is almost identical to `scf.if`
(#85895), but there is one special case: if the condition is a shaped
value, the selection is applied element-wise and the result shape can be
inferred from either operand.
Note: This is a re-upload of #86383.
Diffstat (limited to 'clang/lib/Analysis/ProgramPoint.cpp')
0 files changed, 0 insertions, 0 deletions