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 -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 i32*]] 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_1:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global [7 x i32*] zeroinitializer, align 16
  18 ; CHECK: @[[A_2_0:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
  19 ; CHECK: @[[A_2_1:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
  20 ; CHECK: @[[A_2_2:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
  21 ; CHECK: @[[A_2_3:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global i32* null, align 8
  22 ;.
  23 define i32* @reduce_align_0() {
  24 ; CHECK-LABEL: @reduce_align_0(
  25 ; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.0, align 8
  26 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 0), align 16
  27 ; CHECK-NEXT:    ret i32* [[X]]
  28 ;
  29   %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 0), align 8
  30   store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 0), align 4
  31   ret i32* %x
  32 }
  33
  34 define i32* @reduce_align_1() {
  35 ; CHECK-LABEL: @reduce_align_1(
  36 ; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.1, align 8
  37 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 1), align 4
  38 ; CHECK-NEXT:    ret i32* [[X]]
  39 ;
  40   %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 1), align 4
  41   store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 1), align 16
  42   ret i32* %x
  43 }
  44
  45 define i32* @reduce_align_2() {
  46 ; CHECK-LABEL: @reduce_align_2(
  47 ; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.2, align 8
  48 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 2), align 8
  49 ; CHECK-NEXT:    ret i32* [[X]]
  50 ;
  51   %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 2), align 16
  52   store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 2), align 4
  53   ret i32* %x
  54 }
  55
  56 define i32* @reduce_align_3() {
  57 ; CHECK-LABEL: @reduce_align_3(
  58 ; CHECK-NEXT:    [[X:%.*]] = load i32*, i32** @a.2.3, align 8
  59 ; CHECK-NEXT:    store i32* null, i32** getelementptr inbounds ([7 x i32*], [7 x i32*]* @a.1, i32 0, i64 3), align 4
  60 ; CHECK-NEXT:    ret i32* [[X]]
  61 ;
  62   %x = load i32*, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 2, i64 3), align 4
  63   store i32* null, i32** getelementptr inbounds ([3 x [7 x i32*]], [3 x [7 x i32*]]* @a, i64 0, i64 1, i64 3), align 8
  64   ret i32* %x
  65 }