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