diff options
| author | goldsteinn <35538541+goldsteinn@users.noreply.github.com> | 2024-10-29 07:41:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-29 09:41:59 -0500 |
| commit | 2e612f8d868b3fb88a44964a3d4efd61ee63e06a (patch) | |
| tree | d21945696fa80ad6697847bf5382d993741b50a1 /lldb/source/Plugins/ScriptInterpreter/Python/Interfaces/ScriptedThreadPythonInterface.h | |
| parent | a388df712700f38ad9a51d49a657a28e739f5eb4 (diff) | |
[MLIR][Arith] Improve accuracy of `inferDivU` (#113789)
1) We can always bound the maximum with the numerator.
- https://alive2.llvm.org/ce/z/PqHvuT
2) Even if denominator min can be zero, we can still bound the minimum
result with `lhs.umin u/ rhs.umax`.
This is similar to https://github.com/llvm/llvm-project/pull/110169
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/Interfaces/ScriptedThreadPythonInterface.h')
0 files changed, 0 insertions, 0 deletions