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