OSDN Git Service

[mlir] add unsigned comparison builders to Affine EDSC
authorAdam D Straw <adam.d.straw@intel.com>
Mon, 29 Jun 2020 17:35:11 +0000 (19:35 +0200)
committerAlex Zinenko <zinenko@google.com>
Mon, 29 Jun 2020 21:30:49 +0000 (23:30 +0200)
commit25055a4fb90292e49f44a0a708390a730cd1116e
tree81a5b77f7b7d5a54723404a9470606e6887630d3
parentbd2c3014e120949c4acc1d107ac71c4091f00a3d
[mlir] add unsigned comparison builders to Affine EDSC

Current Affine comparison builders, which use operator overload, default to signed comparison.  This creates the possibility of misuse of these builders and potential correctness issues when dealing with unsigned integers.  This change makes the distinction between signed and unsigned comparison builders and forces the caller to make a choice between the two.

Differential Revision: https://reviews.llvm.org/D82323
mlir/include/mlir/Dialect/Affine/EDSC/Builders.h
mlir/include/mlir/EDSC/Builders.h
mlir/lib/Conversion/VectorToSCF/VectorToSCF.cpp
mlir/lib/Dialect/Affine/EDSC/Builders.cpp
mlir/lib/Dialect/Linalg/EDSC/Builders.cpp
mlir/lib/Dialect/Linalg/Transforms/Loops.cpp
mlir/test/EDSC/builder-api-test.cpp