llvm/mlir/test/Dialect/LLVMIR/terminator.mlir

// RUN: mlir-opt -pass-pipeline='builtin.module(func.func(canonicalize))' %s | FileCheck %s
// verify that terminators survive the canonicalizer

// CHECK-LABEL: @return
// CHECK: llvm.return
func.func @return() {
  llvm.return
}

// CHECK-LABEL: @control_flow
// CHECK: llvm.br
// CHECK: llvm.cond_br
// CHECK: llvm.return
func.func @control_flow(%cond : i1) {
  llvm.br ^bb1
^bb1:
  llvm.cond_br %cond, ^bb2, ^bb1
^bb2:
   llvm.return
}