[MIParser] Set RegClassOrRegBank during instruction parsing
[llvm-complete.git] / test / Transforms / SCCP / dont-zap-return.ll
blobc5345309cea31e6dba21b307a0e17e73343f72f1
1 ; RUN: opt -ipsccp < %s -S | FileCheck %s
3 define internal {i32, i32} @identity(i32 %patatino) {
4   %foo = insertvalue {i32, i32} {i32 1, i32 undef}, i32 %patatino, 1
5   ret {i32, i32} %foo
8 ; Check that the return value is not transformed to undef
9 ; CHECK: define internal { i32, i32 } @identity(i32 %patatino) {
10 ; CHECK-NEXT:  %foo = insertvalue { i32, i32 } { i32 1, i32 undef }, i32 %patatino, 1
11 ; CHECK-NEXT:  ret { i32, i32 } %foo
12 ; CHECK-NEXT: }
15 define {i32, i32} @caller(i32 %pat) {
16   %S1 = call {i32, i32} @identity(i32 %pat)
17   ret {i32, i32} %S1
20 ; Check that we don't invent values and propagate them.
21 ; CHECK: define { i32, i32 } @caller(i32 %pat) {
22 ; CHECK-NEXT:  %S1 = call { i32, i32 } @identity(i32 %pat)
23 ; CHECK-NEXT:  ret { i32, i32 } %S1
24 ; CHECK-NEXT: }