]>
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; 3], b
: [u16; 3]) -> bool
{
10 // CHECK-NEXT: %2 = icmp eq i48 %0, %1
11 // CHECK-NEXT: ret i1 %2
15 // CHECK-LABEL: @array_eq_ref
17 pub fn array_eq_ref(a
: &[u16; 3], b
: &[u16; 3]) -> bool
{
19 // CHECK: load i48, {{i48\*|ptr}} %{{.+}}, align 2
20 // CHECK: load i48, {{i48\*|ptr}} %{{.+}}, 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: %[[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]]
36 // CHECK-LABEL: @array_eq_long
38 pub fn array_eq_long(a
: &[u16; 1234], b
: &[u16; 1234]) -> bool
{
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]]
46 // CHECK-LABEL: @array_eq_zero_short(i48
48 pub fn array_eq_zero_short(x
: [u16; 3]) -> bool
{
50 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i48 %0, 0
51 // CHECK-NEXT: ret i1 %[[EQ]]
55 // CHECK-LABEL: @array_eq_zero_mid(
57 pub fn array_eq_zero_mid(x
: [u16; 8]) -> bool
{
59 // CHECK: %[[LOAD:.+]] = load i128,
60 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %[[LOAD]], 0
61 // CHECK-NEXT: ret i1 %[[EQ]]
65 // CHECK-LABEL: @array_eq_zero_long(
67 pub fn array_eq_zero_long(x
: [u16; 1234]) -> bool
{
70 // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(
71 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
72 // CHECK-NEXT: ret i1 %[[EQ]]