aboutsummaryrefslogtreecommitdiff
path: root/flang/lib/Frontend/CompilerInvocation.cpp
diff options
context:
space:
mode:
authorgoldsteinn <35538541+goldsteinn@users.noreply.github.com>2024-10-29 07:41:59 -0700
committerGitHub <noreply@github.com>2024-10-29 09:41:59 -0500
commit2e612f8d868b3fb88a44964a3d4efd61ee63e06a (patch)
treed21945696fa80ad6697847bf5382d993741b50a1 /flang/lib/Frontend/CompilerInvocation.cpp
parenta388df712700f38ad9a51d49a657a28e739f5eb4 (diff)
downloadllvm-2e612f8d868b3fb88a44964a3d4efd61ee63e06a.zip
llvm-2e612f8d868b3fb88a44964a3d4efd61ee63e06a.tar.gz
llvm-2e612f8d868b3fb88a44964a3d4efd61ee63e06a.tar.bz2
[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 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions