tests/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; 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_eq_zero_short(i48
  47 #[no_mangle]
  48 pub fn array_eq_zero_short(x: [u16; 3]) -> bool {
  49     // CHECK-NEXT: start:
  50     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i48 %0, 0
  51     // CHECK-NEXT: ret i1 %[[EQ]]
  52     x == [0; 3]
  53 }
  54
  55 // CHECK-LABEL: @array_eq_zero_mid(
  56 #[no_mangle]
  57 pub fn array_eq_zero_mid(x: [u16; 8]) -> bool {
  58     // CHECK-NEXT: start:
  59     // CHECK: %[[LOAD:.+]] = load i128,
  60     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %[[LOAD]], 0
  61     // CHECK-NEXT: ret i1 %[[EQ]]
  62     x == [0; 8]
  63 }
  64
  65 // CHECK-LABEL: @array_eq_zero_long(
  66 #[no_mangle]
  67 pub fn array_eq_zero_long(x: [u16; 1234]) -> bool {
  68     // CHECK-NEXT: start:
  69     // CHECK-NOT: alloca
  70     // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(
  71     // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
  72     // CHECK-NEXT: ret i1 %[[EQ]]
  73     x == [0; 1234]
  74 }