| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
| ; RUN: opt -S < %s | FileCheck %s | |
| ; This is an overloaded struct return, we should not try to update it to an | |
| ; anonymous struct return. | |
| %ty = type { i32 } | |
| define %ty @test(%ty %arg) { | |
| ; CHECK-LABEL: @test( | |
| ; CHECK-NEXT: [[COPY:%.*]] = call [[TY:%.*]] @llvm.ssa.copy.s_tys([[TY]] [[ARG:%.*]]) | |
| ; CHECK-NEXT: ret [[TY]] [[COPY]] | |
| ; | |
| %copy = call %ty @llvm.ssa.copy.s_tys(%ty %arg) | |
| ret %ty %copy | |
| } | |
| declare %ty @llvm.ssa.copy.s_tys(%ty) |