diff options
| author | Scott McMurray <scottmcm@users.noreply.github.com> | 2021-05-30 10:25:41 -0700 |
|---|---|---|
| committer | Scott McMurray <scottmcm@users.noreply.github.com> | 2021-07-08 14:55:54 -0700 |
| commit | 2456495a260827217d3c612d6c577c2f165c61eb (patch) | |
| tree | e85ffd47a15f93a5b6f0a6324bb8b747659a2448 /src/test/codegen/array-equality.rs | |
| parent | d05eafae2fcc05bd64ab094a1352a5c16df3106e (diff) | |
| download | rust-2456495a260827217d3c612d6c577c2f165c61eb.tar.gz rust-2456495a260827217d3c612d6c577c2f165c61eb.zip | |
Stop generating `alloca`s+`memcmp` for simple array equality
Diffstat (limited to 'src/test/codegen/array-equality.rs')
| -rw-r--r-- | src/test/codegen/array-equality.rs | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/codegen/array-equality.rs b/src/test/codegen/array-equality.rs new file mode 100644 index 00000000000..6a9fb5c8f86 --- /dev/null +++ b/src/test/codegen/array-equality.rs @@ -0,0 +1,36 @@ +// compile-flags: -O +// only-x86_64 + +#![crate_type = "lib"] + +// CHECK-LABEL: @array_eq_value +#[no_mangle] +pub fn array_eq_value(a: [u16; 6], b: [u16; 6]) -> bool { + // CHECK-NEXT: start: + // CHECK-NEXT: %2 = icmp eq i96 %0, %1 + // CHECK-NEXT: ret i1 %2 + a == b +} + +// CHECK-LABEL: @array_eq_ref +#[no_mangle] +pub fn array_eq_ref(a: &[u16; 6], b: &[u16; 6]) -> bool { + // CHECK: start: + // CHECK: load i96, i96* %{{.+}}, align 2 + // CHECK: load i96, i96* %{{.+}}, align 2 + // CHECK: icmp eq i96 + // CHECK-NEXT: ret + 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-NEXT: bitcast + // CHECK-NEXT: bitcast + // CHECK-NEXT: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(i8* nonnull dereferenceable(2468) %{{.+}}, i8* nonnull dereferenceable(2468) %{{.+}}, i64 2468) + // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0 + // CHECK-NEXT: ret i1 %[[EQ]] + a == b +} |