| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature | |
| ; RUN: opt < %s -passes=instcombine -S | FileCheck %s | |
| define void @f(i16 %y) { | |
| ; CHECK-LABEL: define {{[^@]+}}@f | |
| ; CHECK-SAME: (i16 [[Y:%.*]]) { | |
| ; CHECK-NEXT: ret void | |
| ; | |
| ret void | |
| } | |
| define i32 @g(i32 %y) { | |
| ; CHECK-LABEL: define {{[^@]+}}@g | |
| ; CHECK-SAME: (i32 [[Y:%.*]]) { | |
| ; CHECK-NEXT: [[X:%.*]] = call i32 @f(i32 [[Y]]) | |
| ; CHECK-NEXT: ret i32 [[X]] | |
| ; | |
| %x = call i32 @f( i32 %y ) | |
| ret i32 %x | |
| } |