70 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; Test that constant structs are folded.3; RUN: opt %s -passes=sccp -S | FileCheck %s4 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, 010 ret {i64} %a11}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, 018 ret {i64, i64} %a19}20 21define internal {i64, i64, i64} @struct3(i64 %x) {22; CHECK-LABEL: define internal { i64, i64, i64 } @struct323; CHECK-SAME: (i64 [[X:%.*]]) {24; CHECK-NEXT: [[C:%.*]] = insertvalue { i64, i64, i64 } { i64 24, i64 36, i64 undef }, i64 [[X]], 225; CHECK-NEXT: ret { i64, i64, i64 } [[C]]26;27 %a = insertvalue {i64, i64, i64} undef, i64 24, 028 %b = insertvalue {i64, i64, i64} %a, i64 36, 129 %c = insertvalue {i64, i64, i64} %b, i64 %x, 230 ret {i64, i64, i64} %c31}32 33; Test(s) for overdefined values.34define internal {i64, i32} @struct4(i32 %x) {35; CHECK-LABEL: define internal { i64, i32 } @struct436; CHECK-SAME: (i32 [[X:%.*]]) {37; CHECK-NEXT: [[A:%.*]] = insertvalue { i64, i32 } { i64 12, i32 24 }, i32 [[X]], 138; CHECK-NEXT: ret { i64, i32 } [[A]]39;40 %a = insertvalue {i64, i32} {i64 12, i32 24}, i32 %x, 141 ret {i64, i32} %a42}43 44define internal {i32} @struct5(i32 %x) {45; CHECK-LABEL: define internal { i32 } @struct546; CHECK-SAME: (i32 [[X:%.*]]) {47; CHECK-NEXT: [[A:%.*]] = insertvalue { i32 } undef, i32 [[X]], 048; CHECK-NEXT: ret { i32 } [[A]]49;50 %a = insertvalue {i32} undef, i32 %x, 051 ret {i32} %a52}53 54define internal {i32} @struct6({i32} %x) {55; CHECK-LABEL: define internal { i32 } @struct656; CHECK-SAME: ({ i32 } [[X:%.*]]) {57; CHECK-NEXT: ret { i32 } { i32 12 }58;59 %a = insertvalue {i32} %x, i32 12, 060 ret {i32} %a61}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, 068 ret {i16} %a69}70