tests/codegen/array-equality.rs

   1 // compile-flags: -O -Z merge-functions=disabled
   2 // only-x86_64
   3
   4 #![crate_type = "lib"]
   5
   6 // CHECK-LABEL: @array_eq_value
   7 #[no_mangle]
   8 pub fn array_eq_value(a: [u16; 3], b: [u16; 3]) -> bool {
   9     // CHECK-NEXT: start:
  10     // CHECK-NEXT: %2 = icmp eq i48 %0, %1
  11     // CHECK-NEXT: ret i1 %2
  12     a == b
  13 }
  14
  15 // CHECK-LABEL: @array_eq_ref
  16 #[no_mangle]
  17 pub fn array_eq_ref(a: &[u16; 3], b: &[u16; 3]) -> bool {
  18     // CHECK: start:
  19     // CHECK: load i48, {{i48\*|ptr}} %{{.+}}, align 2
  20     // CHECK: load i48, {{i48\*|ptr}} %{{.+}}, align 2
  21     // CHECK: icmp eq i48
  22     // CHECK-NEXT: ret
  23     a == b
  24 }
  25
  26 // CHECK-LABEL: @array_eq_value_still_passed_by_pointer
  27 #[no_mangle]
  28 pub fn array_eq_value_still_passed_by_pointer(a: [u16; 9], b: [u16; 9]) -> bool {
  29     // CHECK-NEXT: start:
  30     // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}({{i8\*|ptr}} {{.*}} dereferenceable(18) %{{.+}}, {{i8\*|ptr}} {{.*}} dereferenceable(18) %{{.+}}, i64 18)
  31     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
  32     // CHECK-NEXT: ret i1 %[[EQ]]
  33     a == b
  34 }
  35
  36 // CHECK-LABEL: @array_eq_long
  37 #[no_mangle]
  38 pub fn array_eq_long(a: &[u16; 1234], b: &[u16; 1234]) -> bool {
  39     // CHECK-NEXT: start:
  40     // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}({{i8\*|ptr}} {{.*}} dereferenceable(2468) %{{.+}}, {{i8\*|ptr}} {{.*}} dereferenceable(2468) %{{.+}}, i64 2468)
  41     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
  42     // CHECK-NEXT: ret i1 %[[EQ]]
  43     a == b
  44 }
  45
  46 // CHECK-LABEL: @array_char_eq
  47 #[no_mangle]
  48 pub fn array_char_eq(a: [char; 2], b: [char; 2]) -> bool {
  49     // CHECK-NEXT: start:
  50     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i64 %0, %1
  51     // CHECK-NEXT: ret i1 %[[EQ]]
  52     a == b
  53 }
  54
  55 // CHECK-LABEL: @array_eq_zero_short(i48
  56 #[no_mangle]
  57 pub fn array_eq_zero_short(x: [u16; 3]) -> bool {
  58     // CHECK-NEXT: start:
  59     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i48 %0, 0
  60     // CHECK-NEXT: ret i1 %[[EQ]]
  61     x == [0; 3]
  62 }
  63
  64 // CHECK-LABEL: @array_eq_none_short(i40
  65 #[no_mangle]
  66 pub fn array_eq_none_short(x: [Option<std::num::NonZeroU8>; 5]) -> bool {
  67     // CHECK-NEXT: start:
  68     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i40 %0, 0
  69     // CHECK-NEXT: ret i1 %[[EQ]]
  70     x == [None; 5]
  71 }
  72
  73 // CHECK-LABEL: @array_eq_zero_nested(
  74 #[no_mangle]
  75 pub fn array_eq_zero_nested(x: [[u8; 3]; 3]) -> bool {
  76     // CHECK: %[[VAL:.+]] = load i72
  77     // CHECK-SAME: align 1
  78     // CHECK: %[[EQ:.+]] = icmp eq i72 %[[VAL]], 0
  79     // CHECK: ret i1 %[[EQ]]
  80     x == [[0; 3]; 3]
  81 }
  82
  83 // CHECK-LABEL: @array_eq_zero_mid(
  84 #[no_mangle]
  85 pub fn array_eq_zero_mid(x: [u16; 8]) -> bool {
  86     // CHECK-NEXT: start:
  87     // CHECK: %[[LOAD:.+]] = load i128,
  88     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %[[LOAD]], 0
  89     // CHECK-NEXT: ret i1 %[[EQ]]
  90     x == [0; 8]
  91 }
  92
  93 // CHECK-LABEL: @array_eq_zero_long(
  94 #[no_mangle]
  95 pub fn array_eq_zero_long(x: [u16; 1234]) -> bool {
  96     // CHECK-NEXT: start:
  97     // CHECK-NOT: alloca
  98     // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(
  99     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
 100     // CHECK-NEXT: ret i1 %[[EQ]]
 101     x == [0; 1234]
 102 }