61 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals2; RUN: opt < %s -passes=globalopt -S | FileCheck %s3 4target datalayout = "p:16:32:64" ; 16-bit pointers with 32-bit ABI alignment and 64-bit preferred alignmentt5 6@a = internal externally_initialized global [3 x [7 x ptr]] zeroinitializer, align 167 8; PR502539; The alignments are correct initially, but they should be updated10; after transforming the global. The stored global pointer array retains11; its original "align 16", so access to element N into the new array12; should be offset by the ABI alignment of N pointers.13; Loaded globals are split into individual pointers and use the14; preferred alignment from the datalayout.15 16;.17; CHECK: @[[A_4:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 818; CHECK: @[[A_5:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 819; CHECK: @[[A_6:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 1620; CHECK: @[[A_7:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr externally_initialized global ptr null, align 821;.22define ptr @reduce_align_0() {23; CHECK-LABEL: @reduce_align_0(24; CHECK-NEXT: [[X:%.*]] = load ptr, ptr @a.4, align 825; 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 828 store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 0), align 429 ret ptr %x30}31 32define ptr @reduce_align_1() {33; CHECK-LABEL: @reduce_align_1(34; CHECK-NEXT: [[X:%.*]] = load ptr, ptr @a.5, align 835; 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 438 store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 1), align 1639 ret ptr %x40}41 42define ptr @reduce_align_2() {43; CHECK-LABEL: @reduce_align_2(44; CHECK-NEXT: [[X:%.*]] = load ptr, ptr @a.6, align 1645; 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 1648 store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 2), align 449 ret ptr %x50}51 52define ptr @reduce_align_3() {53; CHECK-LABEL: @reduce_align_3(54; CHECK-NEXT: [[X:%.*]] = load ptr, ptr @a.7, align 855; 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 458 store ptr null, ptr getelementptr inbounds ([3 x [7 x ptr]], ptr @a, i64 0, i64 1, i64 3), align 859 ret ptr %x60}61