src/test/codegen/scalar-pair-bool.rs

   1 // compile-flags: -O
   2
   3 #![crate_type = "lib"]
   4
   5 // CHECK: define { i8, i8 } @pair_bool_bool(i1 zeroext %pair.0, i1 zeroext %pair.1)
   6 #[no_mangle]
   7 pub fn pair_bool_bool(pair: (bool, bool)) -> (bool, bool) {
   8     pair
   9 }
  10
  11 // CHECK: define { i8, i32 } @pair_bool_i32(i1 zeroext %pair.0, i32 %pair.1)
  12 #[no_mangle]
  13 pub fn pair_bool_i32(pair: (bool, i32)) -> (bool, i32) {
  14     pair
  15 }
  16
  17 // CHECK: define { i32, i8 } @pair_i32_bool(i32 %pair.0, i1 zeroext %pair.1)
  18 #[no_mangle]
  19 pub fn pair_i32_bool(pair: (i32, bool)) -> (i32, bool) {
  20     pair
  21 }
  22
  23 // CHECK: define { i8, i8 } @pair_and_or(i1 zeroext %_1.0, i1 zeroext %_1.1)
  24 #[no_mangle]
  25 pub fn pair_and_or((a, b): (bool, bool)) -> (bool, bool) {
  26     // Make sure it can operate directly on the unpacked args
  27     // CHECK: and i1 %_1.0, %_1.1
  28     // CHECK: or i1 %_1.0, %_1.1
  29     (a && b, a || b)
  30 }
  31
  32 // CHECK: define void @pair_branches(i1 zeroext %_1.0, i1 zeroext %_1.1)
  33 #[no_mangle]
  34 pub fn pair_branches((a, b): (bool, bool)) {
  35     // Make sure it can branch directly on the unpacked bool args
  36     // CHECK: br i1 %_1.0
  37     if a {
  38         println!("Hello!");
  39     }
  40     // CHECK: br i1 %_1.1
  41     if b {
  42         println!("Goodbye!");
  43     }
  44 }