1 ; Test multiple return values (LLVM ABI extension) 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s 4 5 ; Up to eight vector return values fit into VRs. 6 define { <2 x double>, <2 x double>, <2 x double>, <2 x double>, 7 <2 x double>, <2 x double>, <2 x double>, <2 x double> } @f1() { 8 ; CHECK-LABEL: f1: 9 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 10 ; CHECK: vl %v24, 0([[TMP]]) 11 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 12 ; CHECK: vl %v26, 0([[TMP]]) 13 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 14 ; CHECK: vl %v28, 0([[TMP]]) 15 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 16 ; CHECK: vl %v30, 0([[TMP]]) 17 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 18 ; CHECK: vl %v25, 0([[TMP]]) 19 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 20 ; CHECK: vl %v27, 0([[TMP]]) 21 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 22 ; CHECK: vl %v29, 0([[TMP]]) 23 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 24 ; CHECK: vl %v31, 0([[TMP]]) 25 ; CHECK: br %r14 26 ret { <2 x double>, <2 x double>, <2 x double>, <2 x double>, 27 <2 x double>, <2 x double>, <2 x double>, <2 x double> } 28 { <2 x double> <double 1.0, double 1.1>, 29 <2 x double> <double 2.0, double 2.1>, 30 <2 x double> <double 3.0, double 3.1>, 31 <2 x double> <double 4.0, double 4.1>, 32 <2 x double> <double 5.0, double 5.1>, 33 <2 x double> <double 6.0, double 6.1>, 34 <2 x double> <double 7.0, double 7.1>, 35 <2 x double> <double 8.0, double 8.1> } 36 } 37 38 ; More than eight vector return values use sret. 39 define { <2 x double>, <2 x double>, <2 x double>, <2 x double>, 40 <2 x double>, <2 x double>, <2 x double>, <2 x double>, 41 <2 x double> } @f2() { 42 ; CHECK-LABEL: f2: 43 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 44 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 45 ; CHECK: vst [[VTMP]], 128(%r2) 46 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 47 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 48 ; CHECK: vst [[VTMP]], 112(%r2) 49 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 50 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 51 ; CHECK: vst [[VTMP]], 96(%r2) 52 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 53 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 54 ; CHECK: vst [[VTMP]], 80(%r2) 55 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 56 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 57 ; CHECK: vst [[VTMP]], 64(%r2) 58 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 59 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 60 ; CHECK: vst [[VTMP]], 48(%r2) 61 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 62 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 63 ; CHECK: vst [[VTMP]], 32(%r2) 64 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 65 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 66 ; CHECK: vst [[VTMP]], 16(%r2) 67 ; CHECK: larl [[TMP:%r[0-5]]], .LCPI 68 ; CHECK: vl [[VTMP:%v[0-9]+]], 0([[TMP]]) 69 ; CHECK: vst [[VTMP]], 0(%r2) 70 ; CHECK: br %r14 71 ret { <2 x double>, <2 x double>, <2 x double>, <2 x double>, 72 <2 x double>, <2 x double>, <2 x double>, <2 x double>, 73 <2 x double> } 74 { <2 x double> <double 1.0, double 1.1>, 75 <2 x double> <double 2.0, double 2.1>, 76 <2 x double> <double 3.0, double 3.1>, 77 <2 x double> <double 4.0, double 4.1>, 78 <2 x double> <double 5.0, double 5.1>, 79 <2 x double> <double 6.0, double 6.1>, 80 <2 x double> <double 7.0, double 7.1>, 81 <2 x double> <double 8.0, double 8.1>, 82 <2 x double> <double 9.0, double 9.1> } 83 } 84