test/CodeGen/SystemZ/args-02.ll

   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-INT loads doesn't matter.  The same goes for the
  22 ; CHECK_FP128-* stores and the CHECK-STACK stores.  It would be OK to reorder
  23 ; them in response to future code changes.
  24 define void @foo() {
  25 ; CHECK-INT: foo:
  26 ; CHECK-INT: lghi %r2, -1
  27 ; CHECK-INT: lghi %r3, -2
  28 ; CHECK-INT: lghi %r4, -3
  29 ; CHECK-INT: lghi %r5, -4
  30 ; CHECK-INT: la %r6, {{224|240}}(%r15)
  31 ; CHECK-INT: brasl %r14, bar@PLT
  32 ;
  33 ; CHECK-FLOAT: foo:
  34 ; CHECK-FLOAT: lzer %f0
  35 ; CHECK-FLOAT: lcebr %f4, %f0
  36 ; CHECK-FLOAT: brasl %r14, bar@PLT
  37 ;
  38 ; CHECK-DOUBLE: foo:
  39 ; CHECK-DOUBLE: lzdr %f2
  40 ; CHECK-DOUBLE: lcdbr %f6, %f2
  41 ; CHECK-DOUBLE: brasl %r14, bar@PLT
  42 ;
  43 ; CHECK-FP128-1: foo:
  44 ; CHECK-FP128-1: aghi %r15, -256
  45 ; CHECK-FP128-1: lzxr %f0
  46 ; CHECK-FP128-1: std %f0, 224(%r15)
  47 ; CHECK-FP128-1: std %f2, 232(%r15)
  48 ; CHECK-FP128-1: brasl %r14, bar@PLT
  49 ;
  50 ; CHECK-FP128-2: foo:
  51 ; CHECK-FP128-2: aghi %r15, -256
  52 ; CHECK-FP128-2: lzxr %f0
  53 ; CHECK-FP128-2: std %f0, 240(%r15)
  54 ; CHECK-FP128-2: std %f2, 248(%r15)
  55 ; CHECK-FP128-2: brasl %r14, bar@PLT
  56 ;
  57 ; CHECK-STACK: foo:
  58 ; CHECK-STACK: aghi %r15, -256
  59 ; CHECK-STACK: la [[REGISTER:%r[0-5]+]], {{224|240}}(%r15)
  60 ; CHECK-STACK: stg [[REGISTER]], 216(%r15)
  61 ; CHECK-STACK: mvghi 208(%r15), 0
  62 ; CHECK-STACK: mvhi 204(%r15), 0
  63 ; CHECK-STACK: mvghi 192(%r15), -9
  64 ; CHECK-STACK: mvghi 184(%r15), -8
  65 ; CHECK-STACK: mvghi 176(%r15), -7
  66 ; CHECK-STACK: mvghi 168(%r15), -6
  67 ; CHECK-STACK: mvghi 160(%r15), -5
  68 ; CHECK-STACK: brasl %r14, bar@PLT
  69
  70   call void @bar (i8 -1, i16 -2, i32 -3, i64 -4, float 0.0, double 0.0,
  71                   fp128 0xL00000000000000000000000000000000, i64 -5,
  72                   float -0.0, double -0.0, i8 -6, i16 -7, i32 -8, i64 -9,
  73                   float 0.0, double 0.0,
  74                   fp128 0xL00000000000000000000000000000000)
  75   ret void
  76 }