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* nonnull dereferenceable(18) %{{.+}}, i8* nonnull 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* nonnull dereferenceable(2468) %{{.+}}, i8* nonnull 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]]