// 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