maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[MLIR][STD] Fold trunci (zexti). 

This patch folds the following pattern:

```
  %arg0 = ...
  %0 = zexti %arg0 : i1 to i8
  %1 = trunci %0 : i8 to i1
```

into just `%arg0`.

Reviewed By: mehdi_amini

Differential Revision: https://reviews.llvm.org/D99453
This commit is contained in:
KareemErgawy-TomTom 2021-03-27 19:40:10 +01:00
parent ab158d35b5
commit e5f2898bc7
3 changed files with 60 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mlir/include/mlir/Dialect/StandardOps/IR/Ops.td
View File

@ -2070,6 +2070,8 @@ def TruncateIOp : Std_Op<"trunci", [NoSideEffect,
let printer = [{
return printStandardCastOp(this->getOperation(), p);
}];
let hasFolder = 1;
}
//===----------------------------------------------------------------------===//

8
mlir/lib/Dialect/StandardOps/IR/Ops.cpp
View File

@ -2181,6 +2181,14 @@ static LogicalResult verify(TruncateIOp op) {
return success();
}
OpFoldResult TruncateIOp::fold(ArrayRef<Attribute> operands) {
// trunci(zexti(a)) -> a
if (matchPattern(getOperand(), m_Op<ZeroExtendIOp>()))
return getOperand().getDefiningOp()->getOperand(0);
return nullptr;
}
//===----------------------------------------------------------------------===//
// UnsignedDivIOp
//===----------------------------------------------------------------------===//

50
mlir/test/Transforms/canonicalize.mlir
View File

@ -1059,3 +1059,53 @@ func @subtensor(%t: tensor<8x16x4xf32>, %arg0 : index, %arg1 : index)
return %2 : tensor<?x?x?xf32>
}
// -----
// CHECK-LABEL: func @fold_trunci
// CHECK-SAME: (%[[ARG0:[0-9a-z]*]]: i1)
func @fold_trunci(%arg0: i1) -> i1 attributes {} {
// CHECK-NEXT: return %[[ARG0]] : i1
%0 = zexti %arg0 : i1 to i8
%1 = trunci %0 : i8 to i1
return %1 : i1
}
// -----
// CHECK-LABEL: func @fold_trunci_vector
// CHECK-SAME: (%[[ARG0:[0-9a-z]*]]: vector<4xi1>)
func @fold_trunci_vector(%arg0: vector<4xi1>) -> vector<4xi1> attributes {} {
// CHECK-NEXT: return %[[ARG0]] : vector<4xi1>
%0 = zexti %arg0 : vector<4xi1> to vector<4xi8>
%1 = trunci %0 : vector<4xi8> to vector<4xi1>
return %1 : vector<4xi1>
}
// -----
// TODO Canonicalize this into:
// zexti %arg0 : i1 to i2
// CHECK-LABEL: func @do_not_fold_trunci
// CHECK-SAME: (%[[ARG0:[0-9a-z]*]]: i1)
func @do_not_fold_trunci(%arg0: i1) -> i2 attributes {} {
// CHECK-NEXT: zexti %[[ARG0]] : i1 to i8
// CHECK-NEXT: %[[RES:[0-9a-z]*]] = trunci %{{.*}} : i8 to i2
// CHECK-NEXT: return %[[RES]] : i2
%0 = zexti %arg0 : i1 to i8
%1 = trunci %0 : i8 to i2
return %1 : i2
}
// -----
// CHECK-LABEL: func @do_not_fold_trunci_vector
// CHECK-SAME: (%[[ARG0:[0-9a-z]*]]: vector<4xi1>)
func @do_not_fold_trunci_vector(%arg0: vector<4xi1>) -> vector<4xi2> attributes {} {
// CHECK-NEXT: zexti %[[ARG0]] : vector<4xi1> to vector<4xi8>
// CHECK-NEXT: %[[RES:[0-9a-z]*]] = trunci %{{.*}} : vector<4xi8> to vector<4xi2>
// CHECK-NEXT: return %[[RES]] : vector<4xi2>
%0 = zexti %arg0 : vector<4xi1> to vector<4xi8>
%1 = trunci %0 : vector<4xi8> to vector<4xi2>
return %1 : vector<4xi2>
}