| // RUN: iree-compile --compile-to=global-optimization %s \ | |
| // RUN: | FileCheck %s --check-prefix=NO-STRIP-CHECK | |
| // RUN: iree-compile --compile-to=global-optimization \ | |
| // RUN: --iree-global-optimization-opt-level=O2 \ | |
| // RUN: --iree-opt-strip-assertions=false %s \ | |
| // RUN: | FileCheck %s --check-prefix=NO-STRIP-CHECK | |
| // RUN: iree-compile --compile-to=global-optimization \ | |
| // RUN: --iree-opt-level=O2 \ | |
| // RUN: --iree-opt-strip-assertions=false %s \ | |
| // RUN: | FileCheck %s --check-prefix=NO-STRIP-CHECK | |
| // RUN: iree-compile --compile-to=global-optimization \ | |
| // RUN: --iree-opt-level=O2 \ | |
| // RUN: --iree-global-optimization-opt-level=O0 %s \ | |
| // RUN: | FileCheck %s --check-prefix=NO-STRIP-CHECK | |
| // | |
| // RUN: iree-compile --compile-to=global-optimization \ | |
| // RUN: --iree-opt-strip-assertions %s \ | |
| // RUN: | FileCheck %s --check-prefix=STRIP-CHECK | |
| // RUN: iree-compile --compile-to=global-optimization \ | |
| // RUN: --iree-opt-level=O2 %s \ | |
| // RUN: | FileCheck %s --check-prefix=STRIP-CHECK | |
| // RUN: iree-compile --compile-to=global-optimization \ | |
| // RUN: --iree-global-optimization-opt-level=O2 %s \ | |
| // RUN: | FileCheck %s --check-prefix=STRIP-CHECK | |
| util.func public @main(%0 : i1){ | |
| cf.assert %0, "assert" | |
| util.return | |
| } | |
| // NO-STRIP-CHECK: util.func | |
| // NO-STRIP-CHECK: cf.assert | |
| // STRIP-CHECK: util.func | |
| // STRIP-CHECK-NOT: cf.assert |