tests/codegen/match-optimized.rs

   1 // compile-flags: -C no-prepopulate-passes -O
   2
   3 #![crate_type = "lib"]
   4
   5 pub enum E {
   6     A,
   7     B,
   8     C,
   9 }
  10
  11 // CHECK-LABEL: @exhaustive_match
  12 #[no_mangle]
  13 pub fn exhaustive_match(e: E) -> u8 {
  14 // CHECK: switch{{.*}}, label %[[OTHERWISE:[a-zA-Z0-9_]+]] [
  15 // CHECK-NEXT: i[[TY:[0-9]+]] [[DISCR:[0-9]+]], label %[[A:[a-zA-Z0-9_]+]]
  16 // CHECK-NEXT: i[[TY:[0-9]+]] [[DISCR:[0-9]+]], label %[[B:[a-zA-Z0-9_]+]]
  17 // CHECK-NEXT: i[[TY:[0-9]+]] [[DISCR:[0-9]+]], label %[[C:[a-zA-Z0-9_]+]]
  18 // CHECK-NEXT: ]
  19 // CHECK: [[OTHERWISE]]:
  20 // CHECK-NEXT: unreachable
  21 //
  22 // CHECK: [[A]]:
  23 // CHECK-NEXT: store i8 0, {{i8\*|ptr}} %1, align 1
  24 // CHECK-NEXT: br label %[[EXIT:[a-zA-Z0-9_]+]]
  25 // CHECK: [[B]]:
  26 // CHECK-NEXT: store i8 1, {{i8\*|ptr}} %1, align 1
  27 // CHECK-NEXT: br label %[[EXIT]]
  28 // CHECK: [[C]]:
  29 // CHECK-NEXT: store i8 2, {{i8\*|ptr}} %1, align 1
  30 // CHECK-NEXT: br label %[[EXIT]]
  31     match e {
  32         E::A => 0,
  33         E::B => 1,
  34         E::C => 2,
  35     }
  36 }
  37
  38 #[repr(u16)]
  39 pub enum E2 {
  40     A = 13,
  41     B = 42,
  42 }
  43
  44 // For optimized code we produce a switch with an unreachable target as the `otherwise` so LLVM
  45 // knows the possible values. Compare with `src/test/codegen/match-unoptimized.rs`.
  46
  47 // CHECK-LABEL: @exhaustive_match_2
  48 #[no_mangle]
  49 pub fn exhaustive_match_2(e: E2) -> u8 {
  50     // CHECK: switch i16 %{{.+}}, label %[[UNREACH:.+]] [
  51     // CHECK-NEXT: i16 13,
  52     // CHECK-NEXT: i16 42,
  53     // CHECK-NEXT: ]
  54     // CHECK: [[UNREACH]]:
  55     // CHECK-NEXT: unreachable
  56     match e {
  57         E2::A => 0,
  58         E2::B => 1,
  59     }
  60 }