mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-26 13:01:27 +03:00
Matthew Maurer
d6be991fb4
LLVM has moved memcmp expansion in the pipeline, resulting in the bcmp call being expanded into loads and register comparisons, which breaks the test. Based on history, I believe the test actually intended validate that these arrays were being passed as pointer arguments, which can be done more directly.
114 lines
3.4 KiB
Rust
114 lines
3.4 KiB
Rust
//@ revisions: llvm-current llvm-next
|
|
//@[llvm-current] ignore-llvm-version: 23-99
|
|
//@[llvm-next] min-llvm-version: 23
|
|
//@ compile-flags: -Copt-level=3 -Z merge-functions=disabled
|
|
//@ only-x86_64
|
|
#![crate_type = "lib"]
|
|
|
|
// CHECK-LABEL: @array_eq_value
|
|
#[no_mangle]
|
|
pub fn array_eq_value(a: [u16; 3], b: [u16; 3]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK-NEXT: %2 = icmp eq i48 %0, %1
|
|
// CHECK-NEXT: ret i1 %2
|
|
a == b
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_ref
|
|
#[no_mangle]
|
|
pub fn array_eq_ref(a: &[u16; 3], b: &[u16; 3]) -> bool {
|
|
// CHECK: start:
|
|
// CHECK: load i48, ptr %{{.+}}, align 2
|
|
// CHECK: load i48, ptr %{{.+}}, align 2
|
|
// CHECK: icmp eq i48
|
|
// CHECK-NEXT: ret
|
|
a == b
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_value_still_passed_by_pointer
|
|
#[no_mangle]
|
|
pub fn array_eq_value_still_passed_by_pointer(a: [u16; 9], b: [u16; 9]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK-NOT: alloca
|
|
// llvm-current-NEXT: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(ptr
|
|
// llvm-current-SAME: {{.*}} dereferenceable(18) %{{.+}}, ptr {{.*}} dereferenceable(18)
|
|
// llvm-current-SAME: %{{.+}}, i64 18)
|
|
// llvm-current-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
|
|
// llvm-current-NEXT: ret i1 %[[EQ]]
|
|
// CHECK-NOT: call
|
|
// New LLVM expands the bcmp earlier, so this becomes wide reads + icmp
|
|
// No allocas or calls, and at least one icmp
|
|
// llvm-next: icmp
|
|
// CHECK-NOT: alloca
|
|
// CHECK-NOT: call
|
|
a == b
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_long
|
|
#[no_mangle]
|
|
pub fn array_eq_long(a: &[u16; 1234], b: &[u16; 1234]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(ptr {{.*}} dereferenceable(2468) %{{.+}}, ptr {{.*}} dereferenceable(2468) %{{.+}}, i64 2468)
|
|
// CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
|
|
// CHECK-NEXT: ret i1 %[[EQ]]
|
|
a == b
|
|
}
|
|
|
|
// CHECK-LABEL: @array_char_eq
|
|
#[no_mangle]
|
|
pub fn array_char_eq(a: [char; 2], b: [char; 2]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK-NEXT: %[[EQ:.+]] = icmp eq i64 %0, %1
|
|
// CHECK-NEXT: ret i1 %[[EQ]]
|
|
a == b
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_zero_short(i48
|
|
#[no_mangle]
|
|
pub fn array_eq_zero_short(x: [u16; 3]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK-NEXT: %[[EQ:.+]] = icmp eq i48 %0, 0
|
|
// CHECK-NEXT: ret i1 %[[EQ]]
|
|
x == [0; 3]
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_none_short(i40
|
|
#[no_mangle]
|
|
pub fn array_eq_none_short(x: [Option<std::num::NonZero<u8>>; 5]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK-NEXT: %[[EQ:.+]] = icmp eq i40 %0, 0
|
|
// CHECK-NEXT: ret i1 %[[EQ]]
|
|
x == [None; 5]
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_zero_nested(
|
|
#[no_mangle]
|
|
pub fn array_eq_zero_nested(x: [[u8; 3]; 3]) -> bool {
|
|
// CHECK: %[[VAL:.+]] = load i72
|
|
// CHECK-SAME: align 1
|
|
// CHECK: %[[EQ:.+]] = icmp eq i72 %[[VAL]], 0
|
|
// CHECK: ret i1 %[[EQ]]
|
|
x == [[0; 3]; 3]
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_zero_mid(
|
|
#[no_mangle]
|
|
pub fn array_eq_zero_mid(x: [u16; 8]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK: %[[LOAD:.+]] = load i128,
|
|
// CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %[[LOAD]], 0
|
|
// CHECK-NEXT: ret i1 %[[EQ]]
|
|
x == [0; 8]
|
|
}
|
|
|
|
// CHECK-LABEL: @array_eq_zero_long(
|
|
#[no_mangle]
|
|
pub fn array_eq_zero_long(x: [u16; 1234]) -> bool {
|
|
// CHECK-NEXT: start:
|
|
// CHECK-NOT: alloca
|
|
// CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(
|
|
// CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
|
|
// CHECK-NEXT: ret i1 %[[EQ]]
|
|
x == [0; 1234]
|
|
}
|