1; Test the handling of GPR, FPR and stack arguments when integers are 2; zero-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 11declare void @bar(i8 zeroext, i16 zeroext, i32 zeroext, i64, float, double, 12 fp128, i64, float, double, i8 zeroext, i16 zeroext, 13 i32 zeroext, 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. 23define void @foo() { 24; CHECK-INT-LABEL: foo: 25; CHECK-INT-DAG: lghi %r2, 255 26; CHECK-INT-DAG: llill %r3, 65534 27; CHECK-INT-DAG: llilf %r4, 4294967293 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: lcebr %f4, %f0 35; CHECK-FLOAT: brasl %r14, bar@PLT 36; 37; CHECK-DOUBLE-LABEL: foo: 38; CHECK-DOUBLE: lzdr %f2 39; CHECK-DOUBLE: lcdbr %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: llilf [[AT184:%r[0-5]+]], 4294967288 61; CHECK-STACK: stg [[AT184]], 184(%r15) 62; CHECK-STACK: llill [[AT176:%r[0-5]+]], 65529 63; CHECK-STACK: stg [[AT176]], 176(%r15) 64; CHECK-STACK: mvghi 208(%r15), 0 65; CHECK-STACK: mvhi 204(%r15), 0 66; CHECK-STACK: mvghi 192(%r15), -9 67; CHECK-STACK: mvghi 168(%r15), 250 68; CHECK-STACK: mvghi 160(%r15), -5 69; CHECK-STACK: brasl %r14, bar@PLT 70 71 call void @bar (i8 -1, i16 -2, i32 -3, i64 -4, float 0.0, double 0.0, 72 fp128 0xL00000000000000000000000000000000, i64 -5, 73 float -0.0, double -0.0, i8 -6, i16 -7, i32 -8, i64 -9, 74 float 0.0, double 0.0, 75 fp128 0xL00000000000000000000000000000000) 76 ret void 77} 78