[all-commits] [llvm/llvm-project] e501da: [mlir][intrange] Use `nsw`, `nuw` flags in inference

[Felix Schneider via All-commits]

  Branch: refs/heads/users/ubfx/intrange-infer-nsw-nuw
  Home:   https://github.com/llvm/llvm-project
  Commit: e501da0d7e17995ec0037aeb1212889d56269d5d
      https://github.com/llvm/llvm-project/commit/e501da0d7e17995ec0037aeb1212889d56269d5d
  Author: Felix Schneider <fx.schn at gmail.com>
  Date:   2024-05-18 (Sat, 18 May 2024)

  Changed paths:
    M mlir/include/mlir/Interfaces/Utils/InferIntRangeCommon.h
    M mlir/lib/Dialect/Arith/IR/InferIntRangeInterfaceImpls.cpp
    M mlir/lib/Dialect/Index/IR/InferIntRangeInterfaceImpls.cpp
    M mlir/lib/Interfaces/Utils/InferIntRangeCommon.cpp
    M mlir/test/Dialect/Arith/int-range-interface.mlir
    M mlir/test/Dialect/Arith/int-range-opts.mlir

  Log Message:
  -----------
  [mlir][intrange] Use `nsw`,`nuw` flags in inference

This patch includes the "no signed wrap" and "no unsigned wrap" flags,
which can be used to annotate some Ops in the `arith` dialect and also
in LLVMIR, in the integer range inference.

The general approach is to use saturating arithmetic operations to infer
bounds which are assumed to not wrap and use overflowing arithmetic
operations in the normal case. If overflow is detected in the normal case,
special handling makes sure that we don't underestimate the result range.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications