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
  15 // Below, these constants are defined as enum variants that by itself would
  16 // have a lower alignment than the enum type. Ensure that we mark them
  17 // correctly with the higher alignment of the enum.
  18
  19 // CHECK: @STATIC = {{.*}}, align 4
  20
  21 // This checks the constants from inline_enum_const
  22 // CHECK: @ref.{{[0-9]+}} = {{.*}}, align 2
  23
  24 // This checks the constants from {low,high}_align_const, they share the same
  25 // constant, but the alignment differs, so the higher one should be used
  26 // CHECK: [[LOW_HIGH:@ref.[0-9]+]] = {{.*}}, align 4
  27 // CHECK: [[LOW_HIGH_REF:@const.[0-9]+]] = {{.*}} [[LOW_HIGH]]
  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 pub fn static_enum_const() -> E<i16, i32> {
  44    STATIC
  45 }
  46
  47 // CHECK-LABEL: @inline_enum_const
  48 #[no_mangle]
  49 pub fn inline_enum_const() -> E<i8, i16> {
  50     *&E::A(0)
  51 }
  52
  53 // CHECK-LABEL: @low_align_const
  54 #[no_mangle]
  55 pub fn low_align_const() -> E<i16, [i16; 3]> {
  56 // Check that low_align_const and high_align_const use the same constant
  57 // CHECK: load {{.*}} bitcast ({ i16, i16, [4 x i8] }** [[LOW_HIGH_REF]]
  58     *&E::A(0)
  59 }
  60
  61 // CHECK-LABEL: @high_align_const
  62 #[no_mangle]
  63 pub fn high_align_const() -> E<i16, i32> {
  64 // Check that low_align_const and high_align_const use the same constant
  65 // CHECK: load {{.*}} bitcast ({ i16, i16, [4 x i8] }** [[LOW_HIGH_REF]]
  66     *&E::A(0)
  67 }