38 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine %s | FileCheck %s3 4declare void @add_byval_callee(ptr)5 6declare void @add_byval_callee_2(ptr byval(double))7 8define void @add_byval(ptr %in) {9; CHECK-LABEL: @add_byval(10; CHECK-NEXT: call void @add_byval_callee(ptr byval(i64) [[IN:%.*]])11; CHECK-NEXT: ret void12;13 call void @add_byval_callee(ptr byval(i64) %in)14 ret void15}16 17define void @add_byval_2(ptr %in) {18; CHECK-LABEL: @add_byval_2(19; CHECK-NEXT: call void @add_byval_callee_2(ptr byval(i64) [[IN:%.*]])20; CHECK-NEXT: ret void21;22 call void @add_byval_callee_2(ptr byval(i64) %in)23 ret void24}25 26%t2 = type { i8 }27 28define void @vararg_byval(ptr %p) {29; CHECK-LABEL: @vararg_byval(30; CHECK-NEXT: call void (i8, ...) @vararg_callee(i8 undef, ptr byval([[T2:%.*]]) [[P:%.*]])31; CHECK-NEXT: ret void32;33 call void (i8, ...) @vararg_callee(i8 undef, ptr byval(%t2) %p)34 ret void35}36 37declare void @vararg_callee(i8, ...)38