src/test/codegen/match.rs

   1 // compile-flags: -C no-prepopulate-passes
   2
   3 #![crate_type = "lib"]
   4
   5 pub enum E {
   6     A,
   7     B,
   8 }
   9
  10 // CHECK-LABEL: @exhaustive_match
  11 #[no_mangle]
  12 pub fn exhaustive_match(e: E, unit: ()) {
  13 // CHECK: switch{{.*}}, label %[[OTHERWISE:[a-zA-Z0-9_]+]] [
  14 // CHECK-NEXT: i[[TY:[0-9]+]] [[DISCR:[0-9]+]], label %[[A:[a-zA-Z0-9_]+]]
  15 // CHECK-NEXT: i[[TY:[0-9]+]] [[DISCR:[0-9]+]], label %[[B:[a-zA-Z0-9_]+]]
  16 // CHECK-NEXT: ]
  17 // CHECK: [[B]]:
  18 // CHECK-NEXT: br label %[[EXIT:[a-zA-Z0-9_]+]]
  19 // CHECK: [[OTHERWISE]]:
  20 // CHECK-NEXT: unreachable
  21 // CHECK: [[A]]:
  22 // CHECK-NEXT: br label %[[EXIT:[a-zA-Z0-9_]+]]
  23     match e {
  24         E::A => unit,
  25         E::B => unit,
  26     }
  27 }