xref: /llvm-project/llvm/test/Transforms/SCCP/constant-struct.ll (revision 03dec91794ca38e70de6b20cb293a8806a3f84c7) 
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
2; Test that constant structs are folded.
3; RUN: opt %s -passes=sccp -S | FileCheck %s
4
5define internal {i64} @struct1() {
6; CHECK-LABEL: define internal { i64 } @struct1() {
7; CHECK-NEXT:    ret { i64 } { i64 24 }
8;
9  %a = insertvalue {i64} undef, i64 24, 0
10  ret {i64} %a
11}
12
13define internal {i64, i64} @struct2() {
14; CHECK-LABEL: define internal { i64, i64 } @struct2() {
15; CHECK-NEXT:    ret { i64, i64 } { i64 24, i64 undef }
16;
17  %a = insertvalue {i64, i64} undef, i64 24, 0
18  ret {i64, i64} %a
19}
20
21define internal {i64, i64, i64} @struct3(i64 %x) {
22; CHECK-LABEL: define internal { i64, i64, i64 } @struct3
23; CHECK-SAME: (i64 [[X:%.*]]) {
24; CHECK-NEXT:    [[C:%.*]] = insertvalue { i64, i64, i64 } { i64 24, i64 36, i64 undef }, i64 [[X]], 2
25; CHECK-NEXT:    ret { i64, i64, i64 } [[C]]
26;
27  %a = insertvalue {i64, i64, i64} undef, i64 24, 0
28  %b = insertvalue {i64, i64, i64} %a, i64 36, 1
29  %c = insertvalue {i64, i64, i64} %b, i64 %x, 2
30  ret {i64, i64, i64} %c
31}
32
33; Test(s) for overdefined values.
34define internal {i64, i32} @struct4(i32 %x) {
35; CHECK-LABEL: define internal { i64, i32 } @struct4
36; CHECK-SAME: (i32 [[X:%.*]]) {
37; CHECK-NEXT:    [[A:%.*]] = insertvalue { i64, i32 } { i64 12, i32 24 }, i32 [[X]], 1
38; CHECK-NEXT:    ret { i64, i32 } [[A]]
39;
40  %a = insertvalue {i64, i32} {i64 12, i32 24}, i32 %x, 1
41  ret {i64, i32} %a
42}
43
44define internal {i32} @struct5(i32 %x) {
45; CHECK-LABEL: define internal { i32 } @struct5
46; CHECK-SAME: (i32 [[X:%.*]]) {
47; CHECK-NEXT:    [[A:%.*]] = insertvalue { i32 } undef, i32 [[X]], 0
48; CHECK-NEXT:    ret { i32 } [[A]]
49;
50  %a = insertvalue {i32} undef, i32 %x, 0
51  ret {i32} %a
52}
53
54define internal {i32} @struct6({i32} %x) {
55; CHECK-LABEL: define internal { i32 } @struct6
56; CHECK-SAME: ({ i32 } [[X:%.*]]) {
57; CHECK-NEXT:    ret { i32 } { i32 12 }
58;
59  %a = insertvalue {i32} %x, i32 12, 0
60  ret {i32} %a
61}
62
63define internal {i16} @struct7() {
64; CHECK-LABEL: define internal { i16 } @struct7() {
65; CHECK-NEXT:    ret { i16 } { i16 7 }
66;
67  %a = insertvalue {i16} {i16 4}, i16 7, 0
68  ret {i16} %a
69}
70