Skip to content

Commit a6fd6ec

Browse files
committed
Test alloca with #[repr(align(x))] on enum
1 parent 20b55b7 commit a6fd6ec

File tree

1 file changed

+36
-0
lines changed

1 file changed

+36
-0
lines changed

src/test/codegen/align-enum.rs

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
// compile-flags: -C no-prepopulate-passes
2+
// ignore-tidy-linelength
3+
// min-llvm-version 7.0
4+
5+
#![crate_type = "lib"]
6+
#![feature(repr_align_enum)]
7+
8+
#[repr(align(64))]
9+
pub enum Align64 {
10+
A(u32),
11+
B(u32),
12+
}
13+
// CHECK: %Align64 = type { [0 x i32], i32, [15 x i32] }
14+
15+
pub struct Nested64 {
16+
a: u8,
17+
b: Align64,
18+
c: u16,
19+
}
20+
21+
// CHECK-LABEL: @align64
22+
#[no_mangle]
23+
pub fn align64(a: u32) -> Align64 {
24+
// CHECK: %a64 = alloca %Align64, align 64
25+
// CHECK: call void @llvm.memcpy.{{.*}}(i8* align 64 %{{.*}}, i8* align 64 %{{.*}}, i{{[0-9]+}} 64, i1 false)
26+
let a64 = Align64::A(a);
27+
a64
28+
}
29+
30+
// CHECK-LABEL: @nested64
31+
#[no_mangle]
32+
pub fn nested64(a: u8, b: u32, c: u16) -> Nested64 {
33+
// CHECK: %n64 = alloca %Nested64, align 64
34+
let n64 = Nested64 { a, b: Align64::B(b), c };
35+
n64
36+
}

0 commit comments

Comments
 (0)