47 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=globalopt -S < %s | FileCheck %s3 4@g = internal global ptr null, align 85 6define signext i32 @f() local_unnamed_addr {7; CHECK-LABEL: @f(8; CHECK-NEXT: entry:9; CHECK-NEXT: store i16 -1, ptr @g.body, align 210; CHECK-NEXT: ret i32 011;12entry:13 %call = call ptr @malloc(i64 4)14 store ptr %call, ptr @g, align 815 store i16 -1, ptr %call16 ret i32 017}18 19define signext i32 @main() {20; CHECK-LABEL: @main(21; CHECK-NEXT: entry:22; CHECK-NEXT: [[CALL:%.*]] = call signext i32 @f()23; CHECK-NEXT: call void @f1()24; CHECK-NEXT: store i32 1, ptr @g.body, align 425; CHECK-NEXT: call void @f1()26; CHECK-NEXT: store i8 2, ptr @g.body, align 427; CHECK-NEXT: call void @f1()28; CHECK-NEXT: [[RES:%.*]] = load i32, ptr @g.body, align 429; CHECK-NEXT: ret i32 [[RES]]30;31entry:32 %call = call signext i32 @f()33 call void @f1()34 %v0 = load ptr, ptr @g, align 835 store i32 1, ptr %v0, align 436 call void @f1()37 %v1 = load ptr, ptr @g, align 838 store i8 2, ptr %v1, align 439 call void @f1()40 %v2 = load ptr, ptr @g, align 841 %res = load i32, ptr %v2, align 442 ret i32 %res43}44 45declare noalias align 16 ptr @malloc(i64) allockind("alloc,uninitialized") allocsize(0)46declare void @f1()47