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