src/test/codegen/consts.rs

   1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // compile-flags: -C no-prepopulate-passes
  12
  13 #![crate_type = "lib"]
  14 #![feature(rustc_attrs)]
  15
  16 // Below, these constants are defined as enum variants that by itself would
  17 // have a lower alignment than the enum type. Ensure that we mark them
  18 // correctly with the higher alignment of the enum.
  19
  20 // CHECK: @STATIC = {{.*}}, align 4
  21
  22 // This checks the constants from inline_enum_const
  23 // CHECK: @const{{[0-9]+}} = {{.*}}, align 2
  24
  25 // This checks the constants from {low,high}_align_const, they share the same
  26 // constant, but the alignment differs, so the higher one should be used
  27 // CHECK: @const{{[0-9]+}} = {{.*}}, align 4
  28
  29 #[derive(Copy, Clone)]
  30
  31 // repr(i16) is required for the {low,high}_align_const test
  32 #[repr(i16)]
  33 pub enum E<A, B> {
  34     A(A),
  35     B(B),
  36 }
  37
  38 #[no_mangle]
  39 pub static STATIC: E<i16, i32> = E::A(0);
  40
  41 // CHECK-LABEL: @static_enum_const
  42 #[no_mangle]
  43 #[rustc_no_mir] // FIXME #27840 MIR has different codegen.
  44 pub fn static_enum_const() -> E<i16, i32> {
  45    STATIC
  46 }
  47
  48 // CHECK-LABEL: @inline_enum_const
  49 #[no_mangle]
  50 #[rustc_no_mir] // FIXME #27840 MIR has different codegen.
  51 pub fn inline_enum_const() -> E<i8, i16> {
  52     E::A(0)
  53 }
  54
  55 // CHECK-LABEL: @low_align_const
  56 #[no_mangle]
  57 #[rustc_no_mir] // FIXME #27840 MIR has different codegen.
  58 pub fn low_align_const() -> E<i16, [i16; 3]> {
  59 // Check that low_align_const and high_align_const use the same constant
  60 // CHECK: call void @llvm.memcpy.{{.*}}(i8* %{{[0-9]+}}, i8* {{.*}} [[LOW_HIGH:@const[0-9]+]]
  61     E::A(0)
  62 }
  63
  64 // CHECK-LABEL: @high_align_const
  65 #[no_mangle]
  66 #[rustc_no_mir] // FIXME #27840 MIR has different codegen.
  67 pub fn high_align_const() -> E<i16, i32> {
  68 // Check that low_align_const and high_align_const use the same constant
  69 // CHECK: call void @llvm.memcpy.{{.*}}(i8* %{{[0-9]}}, i8* {{.*}} [[LOW_HIGH]]
  70     E::A(0)
  71 }