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 3target 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 null 8 9define void @init() { 10; CHECK-LABEL: @init( 11; CHECK-NEXT: ret void 12; 13 %malloccall = tail call ptr @malloc(i64 4) 14 store ptr %malloccall, ptr @G 15 %GV = load ptr, ptr @G 16 %addrspacecast = addrspacecast ptr %GV to ptr addrspace(1) 17 store i32 20, ptr addrspace(1) %addrspacecast 18 ret void 19} 20 21define i32 @get() { 22; CHECK-LABEL: @get( 23; CHECK-NEXT: ret i32 20 24; 25 %GV = load ptr, ptr @G 26 %V = load i32, ptr %GV 27 ret i32 %V 28} 29 30define void @foo(i64 %Size) nounwind noinline #0 { 31; CHECK-LABEL: @foo( 32; CHECK-NEXT: entry: 33; CHECK-NEXT: ret void 34; 35entry: 36 %0 = load ptr, ptr @G, align 4 37 ret void 38} 39 40attributes #0 = { null_pointer_is_valid } 41 42;. 43; CHECK: attributes #[[ATTR0:[0-9]+]] = { noinline nounwind null_pointer_is_valid } 44;. 45