1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
; RUN: llc --verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff \
; RUN: -global-merge-all-const=true < %s | FileCheck %s
; RUN: llc --verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff \
; RUN: -global-merge-all-const=false < %s | FileCheck --check-prefix=NOMERGE %s
%struct.pc_t = type { i8 }
%struct.S = type { i32, i32, i32, i32, [9 x i32] }
@constinit = private unnamed_addr constant <{ i32, i32, i32, i32, [9 x i32] }> <{ i32 0, i32 0, i32 0, i32 2, [9 x i32] zeroinitializer }>, align 4
@.str = private unnamed_addr constant [6 x i8] c"hello\00", align 1
@.str.1 = private unnamed_addr constant [6 x i8] c"world\00", align 1
@.str.2 = private unnamed_addr constant [6 x i8] c"abcde\00", align 1
@.str.3 = private unnamed_addr constant [6 x i8] c"fghij\00", align 1
@pc = internal constant %struct.pc_t zeroinitializer, align 1
@s = internal constant %struct.S { i32 1, i32 2, i32 3, i32 4, [9 x i32] [i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13] }, align 4
; Function Attrs: mustprogress
define noundef i32 @f5() {
entry:
%call = tail call noundef i32 @f4(ptr noundef nonnull @pc)
ret i32 %call
}
declare noundef i32 @f4(ptr noundef)
declare noundef i32 @printf(ptr nocapture noundef readonly, ...)
define noundef i32 @f1() {
entry:
%call = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str)
ret i32 %call
}
; Function Attrs: mustprogress nofree nounwind
define noundef i32 @f2() {
entry:
%call = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1)
ret i32 %call
}
define noundef i32 @f3() {
entry:
%call = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.2)
ret i32 %call
}
define noundef i32 @f7() {
entry:
%call = tail call noundef i32 @f6(ptr noundef nonnull @s)
ret i32 %call
}
declare noundef i32 @f6(ptr noundef)
; CHECK: .csect L.._MergedGlobals[RO],2
; CHECK-NEXT: .lglobl pc # @_MergedGlobals
; CHECK-NEXT: .lglobl s
; CHECK-NEXT: .align 2
; CHECK-NEXT:pc:
; CHECK-NEXT: .space 1
; CHECK-NEXT:L...str:
; CHECK-NEXT: .string "hello"
; CHECK-NEXT:L...str.1:
; CHECK-NEXT: .string "world"
; CHECK-NEXT:L...str.2:
; CHECK-NEXT: .string "abcde"
; CHECK-NEXT:L...str.3:
; CHECK-NEXT: .string "fghij"
; CHECK-NEXT: .space 3
; CHECK-NEXT:L..constinit:
; CHECK-NEXT: .vbyte 4, 0 # 0x0
; CHECK-NEXT: .vbyte 4, 0 # 0x0
; CHECK-NEXT: .vbyte 4, 0 # 0x0
; CHECK-NEXT: .vbyte 4, 2 # 0x2
; CHECK-NEXT: .space 36
; CHECK-NEXT:s:
; CHECK-NEXT: .vbyte 4, 1 # 0x1
; CHECK-NEXT: .vbyte 4, 2 # 0x2
; CHECK-NEXT: .vbyte 4, 3 # 0x3
; CHECK-NEXT: .vbyte 4, 4 # 0x4
; CHECK-NEXT: .vbyte 4, 5 # 0x5
; CHECK-NEXT: .vbyte 4, 6 # 0x6
; CHECK-NEXT: .vbyte 4, 7 # 0x7
; CHECK-NEXT: .vbyte 4, 8 # 0x8
; CHECK-NEXT: .vbyte 4, 9 # 0x9
; CHECK-NEXT: .vbyte 4, 10 # 0xa
; CHECK-NEXT: .vbyte 4, 11 # 0xb
; CHECK-NEXT: .vbyte 4, 12 # 0xc
; CHECK-NEXT: .vbyte 4, 13 # 0xd
; NOMERGE-NOT: L.._MergedGGlobals[RO]
|
