]>
git.proxmox.com Git - rustc.git/blob - src/test/codegen/array-equality.rs
6 // CHECK-LABEL: @array_eq_value
8 pub fn array_eq_value(a
: [u16; 6], b
: [u16; 6]) -> bool
{
10 // CHECK-NEXT: %2 = icmp eq i96 %0, %1
11 // CHECK-NEXT: ret i1 %2
15 // CHECK-LABEL: @array_eq_ref
17 pub fn array_eq_ref(a
: &[u16; 6], b
: &[u16; 6]) -> bool
{
19 // CHECK: load i96, i96* %{{.+}}, align 2
20 // CHECK: load i96, i96* %{{.+}}, align 2
26 // CHECK-LABEL: @array_eq_value_still_passed_by_pointer
28 pub fn array_eq_value_still_passed_by_pointer(a
: [u16; 9], b
: [u16; 9]) -> bool
{
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]]
38 // CHECK-LABEL: @array_eq_long
40 pub fn array_eq_long(a
: &[u16; 1234], b
: &[u16; 1234]) -> bool
{
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]]
50 // CHECK-LABEL: @array_eq_zero(i128 %0)
52 pub fn array_eq_zero(x
: [u16; 8]) -> bool
{
54 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %0, 0
55 // CHECK-NEXT: ret i1 %[[EQ]]