This is an archive of the discontinued LLVM Phabricator instance.

Differential D139399

[MLIR][Arith] Add test for trunci
ClosedPublic

Authored by Miss_Grape on Dec 6 2022, 12:34 AM.

Details

Reviewers
Mogball
nicolasvasilache
Commits
rGd38c9e68b6a3: [MLIR][Arith] Add Canonicalize test for trunci

Diff Detail

Event Timeline

Miss_Grape created this revision.Dec 6 2022, 12:34 AM
Herald added a project: Restricted Project. · View Herald TranscriptDec 6 2022, 12:34 AM
Herald added subscribers: Moerafaat, zero9178, bzcheeseman and 20 others. · View Herald Transcript
Miss_Grape requested review of this revision.Dec 6 2022, 12:34 AM
Herald added a reviewer: nicolasvasilache. · View Herald TranscriptDec 6 2022, 12:34 AM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: jacquesguan, stephenneuendorffer, nicolasvasilache. · View Herald Transcript
Harbormaster completed remote builds in B201305: Diff 480359.Dec 6 2022, 4:52 AM
Mogball accepted this revision.Dec 6 2022, 12:25 PM

nit: can you make the title/description more... descriptive? Specify that it's for canonicalization

This revision is now accepted and ready to land.Dec 6 2022, 12:25 PM
Closed by commit rGd38c9e68b6a3: [MLIR][Arith] Add Canonicalize test for trunci (authored by Miss_Grape). · Explain WhyDec 6 2022, 6:07 PM
This revision was automatically updated to reflect the committed changes.
Miss_Grape added a commit: rGd38c9e68b6a3: [MLIR][Arith] Add Canonicalize test for trunci.

Revision Contents

PathSize
mlir/
test/
Dialect/
Arith/
18 lines

Diff 480725

mlir/test/Dialect/Arith/canonicalize.mlir

Show First 20 Lines • Show All 414 Lines • ▼ Show 20 Lines
// CHECK: %[[cres:.+]] = arith.constant -2 : i16 // CHECK: %[[cres:.+]] = arith.constant -2 : i16
// CHECK: return %[[cres]] // CHECK: return %[[cres]]
func.func @truncConstant(%arg0: i8) -> i16 { func.func @truncConstant(%arg0: i8) -> i16 {
%c-2 = arith.constant -2 : i32 %c-2 = arith.constant -2 : i32
%tr = arith.trunci %c-2 : i32 to i16 %tr = arith.trunci %c-2 : i32 to i16
return %tr : i16 return %tr : i16
} }
// CHECK-LABEL: @truncExtui
// CHECK-NOT: trunci
// CHECK: return %arg0
func.func @truncExtui(%arg0: i32) -> i32 {
%extui = arith.extui %arg0 : i32 to i64
%trunci = arith.trunci %extui : i64 to i32
return %trunci : i32
}
// CHECK-LABEL: @truncExtsi
// CHECK-NOT: trunci
// CHECK: return %arg0
func.func @truncExtsi(%arg0: i32) -> i32 {
%extsi = arith.extsi %arg0 : i32 to i64
%trunci = arith.trunci %extsi : i64 to i32
return %trunci : i32
}
// CHECK-LABEL: @truncConstantSplat // CHECK-LABEL: @truncConstantSplat
// CHECK: %[[cres:.+]] = arith.constant dense<-2> : vector<4xi8> // CHECK: %[[cres:.+]] = arith.constant dense<-2> : vector<4xi8>
// CHECK: return %[[cres]] // CHECK: return %[[cres]]
func.func @truncConstantSplat() -> vector<4xi8> { func.func @truncConstantSplat() -> vector<4xi8> {
%c-2 = arith.constant -2 : i16 %c-2 = arith.constant -2 : i16
%splat = vector.splat %c-2 : vector<4xi16> %splat = vector.splat %c-2 : vector<4xi16>
%trunc = arith.trunci %splat : vector<4xi16> to vector<4xi8> %trunc = arith.trunci %splat : vector<4xi16> to vector<4xi8>
return %trunc : vector<4xi8> return %trunc : vector<4xi8>
▲ Show 20 Lines • Show All 1,296 Lines • Show Last 20 Lines