Reland "[mlir][pdl] NFC re-add NoSideEffect to Result and Results Op"

This reverts commit 9865c3f28a.

Looks like our commits raced and Jeff fixed the build issue.
This commit is contained in:
Reid Kleckner 2022-02-22 10:48:25 -08:00
parent ef7b9824cd
commit de2cc2a002
1 changed files with 2 additions and 2 deletions

View File

@ -501,7 +501,7 @@ def PDL_ReplaceOp : PDL_Op<"replace", [
// pdl::ResultOp // pdl::ResultOp
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
def PDL_ResultOp : PDL_Op<"result"> { def PDL_ResultOp : PDL_Op<"result", [NoSideEffect]> {
let summary = "Extract a result from an operation"; let summary = "Extract a result from an operation";
let description = [{ let description = [{
`pdl.result` operations extract result edges from an operation node within `pdl.result` operations extract result edges from an operation node within
@ -533,7 +533,7 @@ def PDL_ResultOp : PDL_Op<"result"> {
// pdl::ResultsOp // pdl::ResultsOp
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
def PDL_ResultsOp : PDL_Op<"results"> { def PDL_ResultsOp : PDL_Op<"results", [NoSideEffect]> {
let summary = "Extract a result group from an operation"; let summary = "Extract a result group from an operation";
let description = [{ let description = [{
`pdl.results` operations extract a result group from an operation within a `pdl.results` operations extract a result group from an operation within a