1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=globalopt -S < %s | FileCheck %s 3 4@g = internal global ptr null, align 8 5 6define signext i32 @f() local_unnamed_addr { 7; CHECK-LABEL: @f( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: call void @f1() 10; CHECK-NEXT: store i32 1, ptr @g.body, align 4 11; CHECK-NEXT: call void @f1() 12; CHECK-NEXT: store i8 2, ptr @g.body, align 4 13; CHECK-NEXT: ret i32 1 14; 15entry: 16 %call = call ptr @malloc(i64 4) 17 store ptr %call, ptr @g, align 8 18 call void @f1() 19 %0 = load ptr, ptr @g, align 8 20 store i32 1, ptr %0, align 4 21 call void @f1() 22 %1 = load ptr, ptr @g, align 8 23 store i8 2, ptr %1, align 4 24 ret i32 1 25} 26 27define signext i32 @main() { 28; CHECK-LABEL: @main( 29; CHECK-NEXT: entry: 30; CHECK-NEXT: [[CALL:%.*]] = call signext i32 @f() 31; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @g.body, align 4 32; CHECK-NEXT: ret i32 [[TMP0]] 33; 34entry: 35 %call = call signext i32 @f() 36 %0 = load ptr, ptr @g, align 8 37 %1 = load i32, ptr %0, align 4 38 ret i32 %1 39} 40 41declare noalias align 16 ptr @malloc(i64) allockind("alloc,uninitialized") allocsize(0) 42declare void @f1() 43