// RUN: mlir-opt -pass-pipeline='builtin.func(canonicalize)' %s | FileCheck %s | |
// verify that terminators survive the canonicalizer | |
// CHECK-LABEL: @return | |
// CHECK: llvm.return | |
func @return() { | |
llvm.return | |
} | |
// CHECK-LABEL: @control_flow | |
// CHECK: llvm.br | |
// CHECK: llvm.cond_br | |
// CHECK: llvm.return | |
func @control_flow(%cond : i1) { | |
llvm.br ^bb1 | |
^bb1: | |
llvm.cond_br %cond, ^bb2, ^bb1 | |
^bb2: | |
llvm.return | |
} | |