76 lines · plain
1; Test the handling of GPR, FPR and stack arguments when integers are2; sign-extended.3;4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-INT5; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FLOAT6; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-DOUBLE7; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-18; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-29; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-STACK10 11declare 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 available16; 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 would18; normally use %f0/%f2 as the first available 128-bit pair. This choice19; is hard-coded in the FP128 tests.20;21; The order of the CHECK-STACK stores doesn't matter. It would be OK to reorder22; them in response to future code changes.23define void @foo() {24; CHECK-INT-LABEL: foo:25; CHECK-INT-DAG: lghi %r2, -126; CHECK-INT-DAG: lghi %r3, -227; CHECK-INT-DAG: lghi %r4, -328; CHECK-INT-DAG: lghi %r5, -429; CHECK-INT-DAG: la %r6, {{224|240}}(%r15)30; CHECK-INT: brasl %r14, bar@PLT31;32; CHECK-FLOAT-LABEL: foo:33; CHECK-FLOAT: lzer %f034; CHECK-FLOAT: lcdfr %f4, %f035; CHECK-FLOAT: brasl %r14, bar@PLT36;37; CHECK-DOUBLE-LABEL: foo:38; CHECK-DOUBLE: lzdr %f239; CHECK-DOUBLE: lcdfr %f6, %f240; CHECK-DOUBLE: brasl %r14, bar@PLT41;42; CHECK-FP128-1-LABEL: foo:43; CHECK-FP128-1: aghi %r15, -25644; CHECK-FP128-1: lzxr %f045; CHECK-FP128-1-DAG: std %f0, 224(%r15)46; CHECK-FP128-1-DAG: std %f2, 232(%r15)47; CHECK-FP128-1: brasl %r14, bar@PLT48;49; CHECK-FP128-2-LABEL: foo:50; CHECK-FP128-2: aghi %r15, -25651; CHECK-FP128-2: lzxr %f052; CHECK-FP128-2-DAG: std %f0, 240(%r15)53; CHECK-FP128-2-DAG: std %f2, 248(%r15)54; CHECK-FP128-2: brasl %r14, bar@PLT55;56; CHECK-STACK-LABEL: foo:57; CHECK-STACK: aghi %r15, -25658; CHECK-STACK: la [[REGISTER:%r[0-5]+]], {{224|240}}(%r15)59; CHECK-STACK: stg [[REGISTER]], 216(%r15)60; CHECK-STACK: mvghi 208(%r15), 061; CHECK-STACK: mvhi 204(%r15), 062; CHECK-STACK: mvghi 192(%r15), -963; CHECK-STACK: mvghi 184(%r15), -864; CHECK-STACK: mvghi 176(%r15), -765; CHECK-STACK: mvghi 168(%r15), -666; CHECK-STACK: mvghi 160(%r15), -567; CHECK-STACK: brasl %r14, bar@PLT68 69 call void @bar (i8 signext -1, i16 signext -2, i32 signext -3, i64 -4, float 0.0, double 0.0,70 fp128 0xL00000000000000000000000000000000, i64 -5,71 float -0.0, double -0.0, i8 signext -6, i16 signext -7, i32 signext -8, i64 -9,72 float 0.0, double 0.0,73 fp128 0xL00000000000000000000000000000000)74 ret void75}76