This is an archive of the discontinued LLVM Phabricator instance.

Differential D143839

Add support for processing Ops with empty region to the CSE
AcceptedPublic

Authored by Ding on Feb 11 2023, 7:06 PM.

Details

Reviewers
mravishankar
Summary

Automated commit created by applying diff 491559

Phabricator-ID: PHID-HMBT-wntxrq6q44z2nhnbj4wz
Review-ID: D141900

Diff Detail

Event Timeline

Ding created this revision.Feb 11 2023, 7:06 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 11 2023, 7:06 PM
Herald added subscribers: Moerafaat, zero9178, bzcheeseman and 21 others. · View Herald Transcript
Ding requested review of this revision.Feb 11 2023, 7:06 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 11 2023, 7:06 PM
Herald added subscribers: stephenneuendorffer, nicolasvasilache. · View Herald Transcript
Ding updated this revision to Diff 496734.Feb 11 2023, 7:10 PM

Updating D143839: Add support for processing Ops with empty region to the CSE

Ding mentioned this in D141900: Add support for processing Ops with empty region to the CSE.Feb 11 2023, 7:12 PM
Harbormaster completed remote builds in B213258: Diff 496734.Feb 11 2023, 7:27 PM
mravishankar accepted this revision.Feb 12 2023, 9:32 AM
This revision is now accepted and ready to land.Feb 12 2023, 9:32 AM

Revision Contents

PathSize
mlir/
test/
Transforms/
14 lines

Diff 496734

mlir/test/Transforms/cse.mlir

Show First 20 Lines • Show All 487 Lines • ▼ Show 20 Lines
// CHECK: %[[if:.*]] = scf.if {{.*}} { // CHECK: %[[if:.*]] = scf.if {{.*}} {
// CHECK: tensor.empty // CHECK: tensor.empty
// CHECK: scf.yield // CHECK: scf.yield
// CHECK: } else { // CHECK: } else {
// CHECK: scf.yield // CHECK: scf.yield
// CHECK: } // CHECK: }
// CHECK-NOT: scf.if // CHECK-NOT: scf.if
// CHECK: return %[[if]], %[[if]] // CHECK: return %[[if]], %[[if]]
// Operations with empty region CSE
// CHECK-LABEL: func @cse_ops_with_empty_region
// CHECK: %[[OP0:.*[0]]] = "test.any_cond"
// CHECK-NOT: %[[OP1:.*[0]]] = "test.any_cond"
// CHECK: return %[[OP0]], %[[OP0]]
func.func @cse_ops_with_empty_region()
-> (i32, i32) {
%0 = "test.any_cond"() ({
}) : () -> i32
%1 = "test.any_cond"() ({
}) : () -> i32
return %0, %1 : i32, i32
}