llvm/test/Transforms/InstCombine/byval.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=instcombine %s | FileCheck %s
   3
   4 declare void @add_byval_callee(ptr)
   5
   6 declare void @add_byval_callee_2(ptr byval(double))
   7
   8 define 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 void
  12 ;
  13   call void @add_byval_callee(ptr byval(i64) %in)
  14   ret void
  15 }
  16
  17 define 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 void
  21 ;
  22   call void @add_byval_callee_2(ptr byval(i64) %in)
  23   ret void
  24 }
  25
  26 %t2 = type { i8 }
  27
  28 define 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 void
  32 ;
  33   call void (i8, ...) @vararg_callee(i8 undef, ptr byval(%t2) %p)
  34   ret void
  35 }
  36
  37 declare void @vararg_callee(i8, ...)