src/test/codegen/align-struct.rs

   1 // compile-flags: -C no-prepopulate-passes
   2 // ignore-tidy-linelength
   3 // min-llvm-version 7.0
   4
   5 #![crate_type = "lib"]
   6
   7 #[repr(align(64))]
   8 pub struct Align64(i32);
   9 // CHECK: %Align64 = type { [0 x i32], i32, [15 x i32] }
  10
  11 pub struct Nested64 {
  12     a: Align64,
  13     b: i32,
  14     c: i32,
  15     d: i8,
  16 }
  17 // CHECK: %Nested64 = type { [0 x i64], %Align64, [0 x i32], i32, [0 x i32], i32, [0 x i8], i8, [55 x i8] }
  18
  19 pub enum Enum4 {
  20     A(i32),
  21     B(i32),
  22 }
  23 // CHECK: %"Enum4::A" = type { [1 x i32], i32, [0 x i32] }
  24
  25 pub enum Enum64 {
  26     A(Align64),
  27     B(i32),
  28 }
  29 // CHECK: %Enum64 = type { [0 x i32], i32, [31 x i32] }
  30 // CHECK: %"Enum64::A" = type { [8 x i64], %Align64, [0 x i64] }
  31
  32 // CHECK-LABEL: @align64
  33 #[no_mangle]
  34 pub fn align64(i : i32) -> Align64 {
  35 // CHECK: %a64 = alloca %Align64, align 64
  36 // CHECK: call void @llvm.memcpy.{{.*}}(i8* align 64 %{{.*}}, i8* align 64 %{{.*}}, i{{[0-9]+}} 64, i1 false)
  37     let a64 = Align64(i);
  38     a64
  39 }
  40
  41 // For issue 54028: make sure that we are specifying the correct alignment for fields of aligned
  42 // structs
  43 // CHECK-LABEL: @align64_load
  44 #[no_mangle]
  45 pub fn align64_load(a: Align64) -> i32 {
  46 // CHECK: [[FIELD:%.*]] = bitcast %Align64* %{{.*}} to i32*
  47 // CHECK: {{%.*}} = load i32, i32* [[FIELD]], align 64
  48     a.0
  49 }
  50
  51 // CHECK-LABEL: @nested64
  52 #[no_mangle]
  53 pub fn nested64(a: Align64, b: i32, c: i32, d: i8) -> Nested64 {
  54 // CHECK: %n64 = alloca %Nested64, align 64
  55     let n64 = Nested64 { a, b, c, d };
  56     n64
  57 }
  58
  59 // CHECK-LABEL: @enum4
  60 #[no_mangle]
  61 pub fn enum4(a: i32) -> Enum4 {
  62 // CHECK: %e4 = alloca { i32, i32 }, align 4
  63     let e4 = Enum4::A(a);
  64     e4
  65 }
  66
  67 // CHECK-LABEL: @enum64
  68 #[no_mangle]
  69 pub fn enum64(a: Align64) -> Enum64 {
  70 // CHECK: %e64 = alloca %Enum64, align 64
  71     let e64 = Enum64::A(a);
  72     e64
  73 }