45 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 %s3target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"4 5declare noalias ptr @malloc(i64) allockind("alloc,uninitialized") allocsize(0)6 7@G = internal global ptr null8 9define void @init() {10; CHECK-LABEL: @init(11; CHECK-NEXT: ret void12;13 %malloccall = tail call ptr @malloc(i64 4)14 store ptr %malloccall, ptr @G15 %GV = load ptr, ptr @G16 %addrspacecast = addrspacecast ptr %GV to ptr addrspace(1)17 store i32 20, ptr addrspace(1) %addrspacecast18 ret void19}20 21define i32 @get() {22; CHECK-LABEL: @get(23; CHECK-NEXT: ret i32 2024;25 %GV = load ptr, ptr @G26 %V = load i32, ptr %GV27 ret i32 %V28}29 30define void @foo(i64 %Size) nounwind noinline #0 {31; CHECK-LABEL: @foo(32; CHECK-NEXT: entry:33; CHECK-NEXT: ret void34;35entry:36 %0 = load ptr, ptr @G, align 437 ret void38}39 40attributes #0 = { null_pointer_is_valid }41 42;.43; CHECK: attributes #[[ATTR0:[0-9]+]] = { noinline nounwind null_pointer_is_valid }44;.45