1 ; Test the handling of GPR, FPR and stack arguments when integers are 2 ; sign-extended. 3 ; 4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-INT 5 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FLOAT 6 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-DOUBLE 7 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-1 8 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-2 9 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-STACK 10 11 declare void @bar(i8 signext, i16 signext, i32 signext, i64, float, double, 12 fp128, i64, float, double, i8 signext, i16 signext, 13 i32 signext, i64, float, double, fp128) 14 15 ; There are two indirect fp128 slots, one at offset 224 (the first available 16 ; byte after the outgoing arguments) and one immediately after it at 240. 17 ; These slots should be set up outside the glued call sequence, so would 18 ; normally use %f0/%f2 as the first available 128-bit pair. This choice 19 ; is hard-coded in the FP128 tests. 20 ; 21 ; The order of the CHECK-STACK stores doesn't matter. It would be OK to reorder 22 ; them in response to future code changes. 23 define void @foo() { 24 ; CHECK-INT-LABEL: foo: 25 ; CHECK-INT-DAG: lghi %r2, -1 26 ; CHECK-INT-DAG: lghi %r3, -2 27 ; CHECK-INT-DAG: lghi %r4, -3 28 ; CHECK-INT-DAG: lghi %r5, -4 29 ; CHECK-INT-DAG: la %r6, {{224|240}}(%r15) 30 ; CHECK-INT: brasl %r14, bar@PLT 31 ; 32 ; CHECK-FLOAT-LABEL: foo: 33 ; CHECK-FLOAT: lzer %f0 34 ; CHECK-FLOAT: lcdfr %f4, %f0 35 ; CHECK-FLOAT: brasl %r14, bar@PLT 36 ; 37 ; CHECK-DOUBLE-LABEL: foo: 38 ; CHECK-DOUBLE: lzdr %f2 39 ; CHECK-DOUBLE: lcdfr %f6, %f2 40 ; CHECK-DOUBLE: brasl %r14, bar@PLT 41 ; 42 ; CHECK-FP128-1-LABEL: foo: 43 ; CHECK-FP128-1: aghi %r15, -256 44 ; CHECK-FP128-1: lzxr %f0 45 ; CHECK-FP128-1-DAG: std %f0, 224(%r15) 46 ; CHECK-FP128-1-DAG: std %f2, 232(%r15) 47 ; CHECK-FP128-1: brasl %r14, bar@PLT 48 ; 49 ; CHECK-FP128-2-LABEL: foo: 50 ; CHECK-FP128-2: aghi %r15, -256 51 ; CHECK-FP128-2: lzxr %f0 52 ; CHECK-FP128-2-DAG: std %f0, 240(%r15) 53 ; CHECK-FP128-2-DAG: std %f2, 248(%r15) 54 ; CHECK-FP128-2: brasl %r14, bar@PLT 55 ; 56 ; CHECK-STACK-LABEL: foo: 57 ; CHECK-STACK: aghi %r15, -256 58 ; CHECK-STACK: la [[REGISTER:%r[0-5]+]], {{224|240}}(%r15) 59 ; CHECK-STACK: stg [[REGISTER]], 216(%r15) 60 ; CHECK-STACK: mvghi 208(%r15), 0 61 ; CHECK-STACK: mvhi 204(%r15), 0 62 ; CHECK-STACK: mvghi 192(%r15), -9 63 ; CHECK-STACK: mvghi 184(%r15), -8 64 ; CHECK-STACK: mvghi 176(%r15), -7 65 ; CHECK-STACK: mvghi 168(%r15), -6 66 ; CHECK-STACK: mvghi 160(%r15), -5 67 ; CHECK-STACK: brasl %r14, bar@PLT 68 69 call void @bar (i8 -1, i16 -2, i32 -3, i64 -4, float 0.0, double 0.0, 70 fp128 0xL00000000000000000000000000000000, i64 -5, 71 float -0.0, double -0.0, i8 -6, i16 -7, i32 -8, i64 -9, 72 float 0.0, double 0.0, 73 fp128 0xL00000000000000000000000000000000) 74 ret void 75 } 76
