097d39d8ec
We need to reduce the alignment with the used offset. If the offset isn't known, we need to reduce with the element size to support arbitrary offsets.
44 lines
889 B
Rust
44 lines
889 B
Rust
// compile-flags: -C no-prepopulate-passes
|
|
|
|
#![crate_type="rlib"]
|
|
use std::usize;
|
|
|
|
#[repr(align(16))]
|
|
pub struct S {
|
|
arr: [u32; 4],
|
|
}
|
|
|
|
// CHECK-LABEL: @test1
|
|
// CHECK: store i32 0, i32* %{{.+}}, align 16
|
|
// CHECK: store i32 1, i32* %{{.+}}, align 4
|
|
// CHECK: store i32 2, i32* %{{.+}}, align 8
|
|
// CHECK: store i32 3, i32* %{{.+}}, align 4
|
|
#[no_mangle]
|
|
pub fn test1(s: &mut S) {
|
|
s.arr[0] = 0;
|
|
s.arr[1] = 1;
|
|
s.arr[2] = 2;
|
|
s.arr[3] = 3;
|
|
}
|
|
|
|
// CHECK-LABEL: @test2
|
|
// CHECK: store i32 4, i32* %{{.+}}, align 4
|
|
#[allow(const_err)]
|
|
#[no_mangle]
|
|
pub fn test2(s: &mut S) {
|
|
s.arr[usize::MAX / 4 + 1] = 4;
|
|
}
|
|
|
|
// CHECK-LABEL: @test3
|
|
// CHECK: store i32 5, i32* %{{.+}}, align 4
|
|
#[no_mangle]
|
|
pub fn test3(s: &mut S, i: usize) {
|
|
s.arr[i] = 5;
|
|
}
|
|
|
|
// CHECK-LABEL: @test4
|
|
// CHECK: store i32 6, i32* %{{.+}}, align 4
|
|
#[no_mangle]
|
|
pub fn test4(s: &mut S) {
|
|
s.arr = [6; 4];
|
|
}
|