// RUN: %target-sil-opt -enable-sil-verify-all -simplify-cfg %s | %FileCheck %s
//
// Make sure that we can succesfully call simplify-cfg with that name via sil-opt.

sil_stage canonical

import Builtin
import Swift

// CHECK-LABEL: sil @simple_test : $@convention(thin) () -> () {
// CHECK: bb0:
// CHECK-NEXT: tuple
// CHECK-NEXT: return
// CHECK: } // end sil function 'simple_test'
sil @simple_test : $@convention(thin) () -> () {
bb0:
  %0 = integer_literal $Builtin.Int1, -1
  cond_br %0, bb1, bb2

bb1:
  br bb3

bb2:
  br bb3

bb3:
  %9999 = tuple ()
  return %9999 : $()
}