78 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 4@g1 = internal global ptr null5@g2 = internal global ptr null6@g3 = internal global ptr null7 8declare noalias ptr @malloc(i64) allockind("alloc,uninitialized") allocsize(0)9 10;.11; CHECK: @[[G1_BODY_0:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i64 undef12; CHECK: @[[G2_BODY_0:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i32 undef13; CHECK: @[[G2_BODY_1:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i32 undef14; CHECK: @[[G2_BODY_2:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i32 undef15; CHECK: @[[G3_BODY:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global [8 x i8] undef16;.17define void @test_store(i64 %a, i32 %b) {18; CHECK-LABEL: @test_store(19; CHECK-NEXT: store i64 [[A:%.*]], ptr @g1.body.0, align 820; CHECK-NEXT: store i32 [[B:%.*]], ptr @g2.body.0, align 421; CHECK-NEXT: store i32 [[B]], ptr @g2.body.1, align 422; CHECK-NEXT: store i32 [[B]], ptr @g2.body.2, align 423; CHECK-NEXT: store i64 [[A]], ptr @g3.body, align 424; CHECK-NEXT: store i32 [[B]], ptr @g3.body, align 425; CHECK-NEXT: ret void26;27 %m1 = call ptr @malloc(i64 8)28 store ptr %m1, ptr @g129 %a1 = load ptr, ptr @g130 31 %m2 = call ptr @malloc(i64 16)32 store ptr %m2, ptr @g233 %a2 = load ptr, ptr @g234 35 %m3 = call ptr @malloc(i64 8)36 store ptr %m3, ptr @g337 %a3 = load ptr, ptr @g338 39 store i64 %a, ptr %a140 41 ; Access types at different offsets.42 store i32 %b, ptr %a243 %a2.4 = getelementptr i8, ptr %a2, i64 444 store i32 %b, ptr %a2.445 %a2.10 = getelementptr i8, ptr %a2, i64 1046 store i32 %b, ptr %a2.10, align 247 48 ; Access two different types at the same offset.49 store i64 %a, ptr %a350 store i32 %b, ptr %a351 52 ret void53}54 55define void @test_load() {56; CHECK-LABEL: @test_load(57; CHECK-NEXT: [[TMP1:%.*]] = load i64, ptr @g1.body.0, align 858; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr @g2.body.0, align 459; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr @g2.body.1, align 460; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr @g2.body.2, align 461; CHECK-NEXT: [[TMP5:%.*]] = load i64, ptr @g3.body, align 462; CHECK-NEXT: ret void63;64 %a1 = load ptr, ptr @g165 load i64, ptr %a166 67 %a2 = load ptr, ptr @g268 load i32, ptr %a269 %a2.4 = getelementptr i8, ptr %a2, i64 470 load i32, ptr %a2.471 %a2.10 = getelementptr i8, ptr %a2, i64 1072 load i32, ptr %a2.10, align 273 74 %a3 = load ptr, ptr @g375 load i64, ptr %a376 ret void77}78