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) -> u8 {
  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: store i8 1, i8* %1, align 1
  19 // CHECK-NEXT: br label %[[EXIT:[a-zA-Z0-9_]+]]
  20 // CHECK: [[OTHERWISE]]:
  21 // CHECK-NEXT: unreachable
  22 // CHECK: [[A]]:
  23 // CHECK-NEXT: store i8 0, i8* %1, align 1
  24 // CHECK-NEXT: br label %[[EXIT:[a-zA-Z0-9_]+]]
  25     match e {
  26         E::A => 0,
  27         E::B => 1,
  28     }
  29 }