src/test/codegen/array-equality.rs

   1 // compile-flags: -O
   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; 6], b: [u16; 6]) -> bool {
   9     // CHECK-NEXT: start:
  10     // CHECK-NEXT: %2 = icmp eq i96 %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; 6], b: &[u16; 6]) -> bool {
  18     // CHECK: start:
  19     // CHECK: load i96, i96* %{{.+}}, align 2
  20     // CHECK: load i96, i96* %{{.+}}, align 2
  21     // CHECK: icmp eq i96
  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-NEXT: bitcast
  31     // CHECK-NEXT: bitcast
  32     // CHECK-NEXT: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(i8* {{.*}} dereferenceable(18) %{{.+}}, i8* {{.*}} dereferenceable(18) %{{.+}}, i64 18)
  33     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
  34     // CHECK-NEXT: ret i1 %[[EQ]]
  35     a == b
  36 }
  37
  38 // CHECK-LABEL: @array_eq_long
  39 #[no_mangle]
  40 pub fn array_eq_long(a: &[u16; 1234], b: &[u16; 1234]) -> bool {
  41     // CHECK-NEXT: start:
  42     // CHECK-NEXT: bitcast
  43     // CHECK-NEXT: bitcast
  44     // CHECK-NEXT: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(i8* {{.*}} dereferenceable(2468) %{{.+}}, i8* {{.*}} dereferenceable(2468) %{{.+}}, i64 2468)
  45     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
  46     // CHECK-NEXT: ret i1 %[[EQ]]
  47     a == b
  48 }
  49
  50 // CHECK-LABEL: @array_eq_zero(i128 %0)
  51 #[no_mangle]
  52 pub fn array_eq_zero(x: [u16; 8]) -> bool {
  53     // CHECK-NEXT: start:
  54     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %0, 0
  55     // CHECK-NEXT: ret i1 %[[EQ]]
  56     x == [0; 8]
  57 }