llvm/test/Transforms/GlobalOpt/globalsra-align.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals
   2 ; RUN: opt < %s -passes=globalopt -S | FileCheck %s
   3
   4 target datalayout = "p:16:32:64" ; 16-bit pointers with 32-bit ABI alignment and 64-bit preferred alignmentt
   5
   6 @a = internal externally_initialized global [3 x [7 x ptr]] zeroinitializer, align 16
   7
   8 ; PR50253
   9 ; The alignments are correct initially, but they should be updated
  10 ; after transforming the global. The stored global pointer array retains
  11 ; its original "align 16", so access to element N into the new array
  12 ; should be offset by the ABI alignment of N pointers.
  13 ; Loaded globals are split into individual pointers and use the
  14 ; preferred alignment from the datalayout.
  15
  16 ;.
  17 ; CHECK: @[[A_4:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 8
  18 ; CHECK: @[[A_5:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 8
  19 ; CHECK: @[[A_6:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 16
  20 ; CHECK: @[[A_7:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 8
  21 ;.
  22 define ptr @reduce_align_0() {
  23 ; CHECK-LABEL: @reduce_align_0(
  24 ; CHECK-NEXT:    [[X:%.*]] = load ptr, ptr @a.4, align 8
  25 ; CHECK-NEXT:    ret ptr [[X]]
  26 ;
  27   %x = load ptr, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 2, i64 0), align 8
  28   store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 0), align 4
  29   ret ptr %x
  30 }
  31
  32 define ptr @reduce_align_1() {
  33 ; CHECK-LABEL: @reduce_align_1(
  34 ; CHECK-NEXT:    [[X:%.*]] = load ptr, ptr @a.5, align 8
  35 ; CHECK-NEXT:    ret ptr [[X]]
  36 ;
  37   %x = load ptr, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 2, i64 1), align 4
  38   store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 1), align 16
  39   ret ptr %x
  40 }
  41
  42 define ptr @reduce_align_2() {
  43 ; CHECK-LABEL: @reduce_align_2(
  44 ; CHECK-NEXT:    [[X:%.*]] = load ptr, ptr @a.6, align 16
  45 ; CHECK-NEXT:    ret ptr [[X]]
  46 ;
  47   %x = load ptr, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 2, i64 2), align 16
  48   store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 2), align 4
  49   ret ptr %x
  50 }
  51
  52 define ptr @reduce_align_3() {
  53 ; CHECK-LABEL: @reduce_align_3(
  54 ; CHECK-NEXT:    [[X:%.*]] = load ptr, ptr @a.7, align 8
  55 ; CHECK-NEXT:    ret ptr [[X]]
  56 ;
  57   %x = load ptr, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 2, i64 3), align 4
  58   store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 3), align 8
  59   ret ptr %x
  60 }