test/CodeGen/SystemZ/args-08.ll

   1 ; Test calling functions with multiple return values (LLVM ABI extension)
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Up to four integer return values fit into GPRs.
   6 declare { i64, i64, i64, i64 } @bar1()
   7
   8 define i64 @f1() {
   9 ; CHECK-LABEL: f1:
  10 ; CHECK: brasl %r14, bar1
  11 ; CHECK: lgr %r2, %r5
  12 ; CHECK: br %r14
  13   %mret = call { i64, i64, i64, i64 } @bar1()
  14   %ret = extractvalue { i64, i64, i64, i64 } %mret, 3
  15   ret i64 %ret
  16 }
  17
  18 ; More than four integer return values use sret.
  19 declare { i64, i64, i64, i64, i64 } @bar2()
  20
  21 define i64 @f2() {
  22 ; CHECK-LABEL: f2:
  23 ; CHECK: la %r2, 160(%r15)
  24 ; CHECK: brasl %r14, bar2
  25 ; CHECK: lg  %r2, 192(%r15)
  26 ; CHECK: br %r14
  27   %mret = call { i64, i64, i64, i64, i64 } @bar2()
  28   %ret = extractvalue { i64, i64, i64, i64, i64 } %mret, 4
  29   ret i64 %ret
  30 }
  31
  32 ; Up to four floating-point return values fit into GPRs.
  33 declare { double, double, double, double } @bar3()
  34
  35 define double @f3() {
  36 ; CHECK-LABEL: f3:
  37 ; CHECK: brasl %r14, bar3
  38 ; CHECK: ldr %f0, %f6
  39 ; CHECK: br %r14
  40   %mret = call { double, double, double, double } @bar3()
  41   %ret = extractvalue { double, double, double, double } %mret, 3
  42   ret double %ret
  43 }
  44
  45 ; More than four integer return values use sret.
  46 declare { double, double, double, double, double } @bar4()
  47
  48 define double @f4() {
  49 ; CHECK-LABEL: f4:
  50 ; CHECK: la %r2, 160(%r15)
  51 ; CHECK: brasl %r14, bar4
  52 ; CHECK: ld  %f0, 192(%r15)
  53 ; CHECK: br %r14
  54   %mret = call { double, double, double, double, double } @bar4()
  55   %ret = extractvalue { double, double, double, double, double } %mret, 4
  56   ret double %ret
  57 }