2017-11-13 23:24:30 +00:00
|
|
|
//
|
|
|
|
//@ compile-flags: -O
|
2024-05-29 04:11:20 +00:00
|
|
|
#![crate_type = "lib"]
|
2017-11-13 23:24:30 +00:00
|
|
|
|
2024-05-29 04:11:20 +00:00
|
|
|
pub enum Three {
|
|
|
|
A,
|
|
|
|
B,
|
|
|
|
C,
|
|
|
|
}
|
2017-11-13 23:24:30 +00:00
|
|
|
|
2018-11-29 22:05:23 +00:00
|
|
|
#[repr(u16)]
|
2024-05-29 04:11:20 +00:00
|
|
|
pub enum Four {
|
|
|
|
A,
|
|
|
|
B,
|
|
|
|
C,
|
|
|
|
D,
|
|
|
|
}
|
2017-11-13 23:24:30 +00:00
|
|
|
|
|
|
|
#[no_mangle]
|
|
|
|
pub fn three_valued(x: Three) -> Three {
|
|
|
|
// CHECK-LABEL: @three_valued
|
|
|
|
// CHECK-NEXT: {{^.*:$}}
|
|
|
|
// CHECK-NEXT: ret i8 %0
|
|
|
|
match x {
|
2017-11-18 13:41:07 +00:00
|
|
|
Three::A => Three::A,
|
|
|
|
Three::B => Three::B,
|
|
|
|
Three::C => Three::C,
|
2017-11-13 23:24:30 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[no_mangle]
|
|
|
|
pub fn four_valued(x: Four) -> Four {
|
|
|
|
// CHECK-LABEL: @four_valued
|
|
|
|
// CHECK-NEXT: {{^.*:$}}
|
2018-11-29 22:05:23 +00:00
|
|
|
// CHECK-NEXT: ret i16 %0
|
2017-11-13 23:24:30 +00:00
|
|
|
match x {
|
2017-11-18 13:41:07 +00:00
|
|
|
Four::A => Four::A,
|
|
|
|
Four::B => Four::B,
|
|
|
|
Four::C => Four::C,
|
|
|
|
Four::D => Four::D,
|
2017-11-13 23:24:30 +00:00
|
|
|
}
|
|
|
|
}
|