llvm/test/CodeGen/SystemZ/fp-move-13.ll

   1 ; Test f128 moves on z14.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
   4
   5 ; VR-to-VR moves.  Since f128s are passed by reference,
   6 ; we need to force a copy by other means.
   7 define void @f1(fp128 *%x) {
   8 ; CHECK-LABEL: f1:
   9 ; CHECK: vlr
  10 ; CHECK: vleig
  11 ; CHECK: br %r14
  12   %val = load volatile fp128, fp128 *%x
  13   %t1 = bitcast fp128 %val to <2 x i64>
  14   %t2 = insertelement <2 x i64> %t1, i64 0, i32 0
  15   %res = bitcast <2 x i64> %t2 to fp128
  16   store volatile fp128 %res, fp128 *%x
  17   store volatile fp128 %val, fp128 *%x
  18   ret void
  19 }
  20
  21 ; Test 128-bit moves from GPRs to VRs.  i128 isn't a legitimate type,
  22 ; so this goes through memory.
  23 define void @f2(fp128 *%a, i128 *%b) {
  24 ; CHECK-LABEL: f2:
  25 ; CHECK: vl
  26 ; CHECK: vst
  27 ; CHECK: br %r14
  28   %val = load i128, i128 *%b
  29   %res = bitcast i128 %val to fp128
  30   store fp128 %res, fp128 *%a
  31   ret void
  32 }
  33
  34 ; Test 128-bit moves from VRs to GPRs, with the same restriction as f2.
  35 define void @f3(fp128 *%a, i128 *%b) {
  36 ; CHECK-LABEL: f3:
  37 ; CHECK: vl
  38 ; CHECK: vst
  39   %val = load fp128, fp128 *%a
  40   %res = bitcast fp128 %val to i128
  41   store i128 %res, i128 *%b
  42   ret void
  43 }
  44