68 lines · plain
1// RUN: mlir-opt %s -mlir-disable-threading=true -pass-pipeline='builtin.module(func.func(cse,canonicalize))' -mlir-print-ir-before=cse -o /dev/null 2>&1 | FileCheck -check-prefix=BEFORE %s2// RUN: mlir-opt %s -mlir-disable-threading=true -pass-pipeline='builtin.module(func.func(cse,canonicalize))' -mlir-print-ir-before-all -o /dev/null 2>&1 | FileCheck -check-prefix=BEFORE_ALL %s3// RUN: mlir-opt %s -mlir-disable-threading=true -pass-pipeline='builtin.module(func.func(cse,canonicalize))' -mlir-print-ir-after=cse -o /dev/null 2>&1 | FileCheck -check-prefix=AFTER %s4// RUN: mlir-opt %s -mlir-disable-threading=true -pass-pipeline='builtin.module(func.func(cse,canonicalize))' -mlir-print-ir-after-all -o /dev/null 2>&1 | FileCheck -check-prefix=AFTER_ALL %s5// RUN: mlir-opt %s -mlir-disable-threading=true -pass-pipeline='builtin.module(func.func(cse,canonicalize))' -mlir-print-ir-before=cse -mlir-print-ir-module-scope -o /dev/null 2>&1 | FileCheck -check-prefix=BEFORE_MODULE %s6// RUN: mlir-opt %s -mlir-disable-threading=true -pass-pipeline='builtin.module(func.func(cse,cse))' -mlir-print-ir-after-all -mlir-print-ir-after-change -o /dev/null 2>&1 | FileCheck -check-prefix=AFTER_ALL_CHANGE %s7// RUN: not mlir-opt %s -mlir-disable-threading=true -pass-pipeline='builtin.module(func.func(cse,test-pass-failure))' -mlir-print-ir-after-failure -o /dev/null 2>&1 | FileCheck -check-prefix=AFTER_FAILURE %s8 9func.func @foo() {10 %0 = arith.constant 0 : i3211 return12}13 14func.func @bar() {15 return16}17 18// BEFORE: // -----// IR Dump Before{{.*}}CSE (cse) //----- //19// BEFORE-NEXT: func @foo()20// BEFORE: // -----// IR Dump Before{{.*}}CSE (cse) //----- //21// BEFORE-NEXT: func @bar()22// BEFORE-NOT: // -----// IR Dump Before{{.*}}Canonicalizer (canonicalize) //----- //23// BEFORE-NOT: // -----// IR Dump After24 25// BEFORE_ALL: // -----// IR Dump Before{{.*}}CSE (cse) //----- //26// BEFORE_ALL-NEXT: func @foo()27// BEFORE_ALL: // -----// IR Dump Before{{.*}}Canonicalizer (canonicalize) //----- //28// BEFORE_ALL-NEXT: func @foo()29// BEFORE_ALL: // -----// IR Dump Before{{.*}}CSE (cse) //----- //30// BEFORE_ALL-NEXT: func @bar()31// BEFORE_ALL: // -----// IR Dump Before{{.*}}Canonicalizer (canonicalize) //----- //32// BEFORE_ALL-NEXT: func @bar()33// BEFORE_ALL-NOT: // -----// IR Dump After34 35// AFTER-NOT: // -----// IR Dump Before36// AFTER: // -----// IR Dump After{{.*}}CSE (cse) //----- //37// AFTER-NEXT: func @foo()38// AFTER: // -----// IR Dump After{{.*}}CSE (cse) //----- //39// AFTER-NEXT: func @bar()40// AFTER-NOT: // -----// IR Dump After{{.*}}Canonicalizer (canonicalize) //----- //41 42// AFTER_ALL-NOT: // -----// IR Dump Before43// AFTER_ALL: // -----// IR Dump After{{.*}}CSE (cse) //----- //44// AFTER_ALL-NEXT: func @foo()45// AFTER_ALL: // -----// IR Dump After{{.*}}Canonicalizer (canonicalize) //----- //46// AFTER_ALL-NEXT: func @foo()47// AFTER_ALL: // -----// IR Dump After{{.*}}CSE (cse) //----- //48// AFTER_ALL-NEXT: func @bar()49// AFTER_ALL: // -----// IR Dump After{{.*}}Canonicalizer (canonicalize) //----- //50// AFTER_ALL-NEXT: func @bar()51 52// BEFORE_MODULE: // -----// IR Dump Before{{.*}}CSE (cse) ('func.func' operation: @foo) //----- //53// BEFORE_MODULE: func @foo()54// BEFORE_MODULE: func @bar()55// BEFORE_MODULE: // -----// IR Dump Before{{.*}}CSE (cse) ('func.func' operation: @bar) //----- //56// BEFORE_MODULE: func @foo()57// BEFORE_MODULE: func @bar()58 59// AFTER_ALL_CHANGE: // -----// IR Dump After{{.*}}CSE (cse) //----- //60// AFTER_ALL_CHANGE-NEXT: func @foo()61// AFTER_ALL_CHANGE-NOT: // -----// IR Dump After{{.*}}CSE (cse) //----- //62// We expect that only 'foo' changed during CSE, and the second run of CSE did63// nothing.64 65// AFTER_FAILURE-NOT: // -----// IR Dump After{{.*}}CSE66// AFTER_FAILURE: // -----// IR Dump After{{.*}}TestFailurePass Failed (test-pass-failure) //----- //67// AFTER_FAILURE: func @foo()68