diff options
| author | Scott McMurray <scottmcm@users.noreply.github.com> | 2023-05-26 03:32:22 -0700 |
|---|---|---|
| committer | Scott McMurray <scottmcm@users.noreply.github.com> | 2023-06-04 00:51:49 -0700 |
| commit | e1b020df9f72eab7e8b3e38a5263ddda54ce18e1 (patch) | |
| tree | 8cfd4367532aceb4f6e85596c1f2cc08fec799d7 /tests/codegen/array-codegen.rs | |
| parent | cce0b52e7bc7ca2b95fe9f95c8528cd87e787e33 (diff) | |
| download | rust-e1b020df9f72eab7e8b3e38a5263ddda54ce18e1.tar.gz rust-e1b020df9f72eab7e8b3e38a5263ddda54ce18e1.zip | |
Use `load`-`store` instead of `memcpy` for short integer arrays
Diffstat (limited to 'tests/codegen/array-codegen.rs')
| -rw-r--r-- | tests/codegen/array-codegen.rs | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/tests/codegen/array-codegen.rs b/tests/codegen/array-codegen.rs new file mode 100644 index 00000000000..98488eb92ee --- /dev/null +++ b/tests/codegen/array-codegen.rs @@ -0,0 +1,35 @@ +// compile-flags: -O -C no-prepopulate-passes +// min-llvm-version: 15.0 (for opaque pointers) + +#![crate_type = "lib"] + +// CHECK-LABEL: @array_load +#[no_mangle] +pub fn array_load(a: &[u8; 4]) -> [u8; 4] { + // CHECK: %0 = alloca [4 x i8], align 1 + // CHECK: %[[TEMP1:.+]] = load <4 x i8>, ptr %a, align 1 + // CHECK: store <4 x i8> %[[TEMP1]], ptr %0, align 1 + // CHECK: %[[TEMP2:.+]] = load i32, ptr %0, align 1 + // CHECK: ret i32 %[[TEMP2]] + *a +} + +// CHECK-LABEL: @array_store +#[no_mangle] +pub fn array_store(a: [u8; 4], p: &mut [u8; 4]) { + // CHECK: %a = alloca [4 x i8] + // CHECK: %[[TEMP:.+]] = load <4 x i8>, ptr %a, align 1 + // CHECK-NEXT: store <4 x i8> %[[TEMP]], ptr %p, align 1 + *p = a; +} + +// CHECK-LABEL: @array_copy +#[no_mangle] +pub fn array_copy(a: &[u8; 4], p: &mut [u8; 4]) { + // CHECK: %[[LOCAL:.+]] = alloca [4 x i8], align 1 + // CHECK: %[[TEMP1:.+]] = load <4 x i8>, ptr %a, align 1 + // CHECK: store <4 x i8> %[[TEMP1]], ptr %[[LOCAL]], align 1 + // CHECK: %[[TEMP2:.+]] = load <4 x i8>, ptr %[[LOCAL]], align 1 + // CHECK: store <4 x i8> %[[TEMP2]], ptr %p, align 1 + *p = *a; +} |