test/CodeGen/SystemZ/fp-const-11.ll

   1 ; Test loads of f128 floating-point constants on z14.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
   4 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s -check-prefix=CONST
   5
   6 ; Test loading zero.
   7 define void @f1(fp128 *%x) {
   8 ; CHECK-LABEL: f1:
   9 ; CHECK: vzero [[REG:%v[0-9]+]]
  10 ; CHECK: vst [[REG]], 0(%r2)
  11 ; CHECK: br %r14
  12   store fp128 0xL00000000000000000000000000000000, fp128 *%x
  13   ret void
  14 }
  15
  16 ; Test loading of negative floating-point zero.
  17 define void @f2(fp128 *%x) {
  18 ; CHECK-LABEL: f2:
  19 ; CHECK: vzero [[REG:%v[0-9]+]]
  20 ; CHECK: wflnxb [[REG]], [[REG]]
  21 ; CHECK: vst [[REG]], 0(%r2)
  22 ; CHECK: br %r14
  23   store fp128 0xL00000000000000008000000000000000, fp128 *%x
  24   ret void
  25 }
  26
  27 ; Test loading of a 128-bit floating-point constant.  This value would
  28 ; actually fit within the 32-bit format, but we don't have extending
  29 ; loads into vector registers.
  30 define void @f3(fp128 *%x) {
  31 ; CHECK-LABEL: f3:
  32 ; CHECK: larl [[REGISTER:%r[1-5]+]], {{.*}}
  33 ; CHECK: vl [[REG:%v[0-9]+]], 0([[REGISTER]])
  34 ; CHECK: vst [[REG]], 0(%r2)
  35 ; CHECK: br %r14
  36 ; CONST: .quad 4611404543484231680
  37 ; CONST: .quad 0
  38   store fp128 0xL00000000000000003fff000002000000, fp128 *%x
  39   ret void
  40 }
  41
  42 ; Test that VGBM works.
  43 define void @f4(fp128 *%x) {
  44 ; CHECK-LABEL: f4:
  45 ; CHECK:      vgbm %v0, 21845
  46 ; CHECK-NEXT: vst %v0, 0(%r2)
  47 ; CHECK-NEXT: br %r14
  48   store fp128 0xL00ff00ff00ff00ff00ff00ff00ff00ff, fp128 *%x
  49   ret void
  50 }
  51
  52 ; Test that VREPI works.
  53 define void @f5(fp128 *%x) {
  54 ; CHECK-LABEL: f5:
  55 ; CHECK:      vrepib  %v0, -8
  56 ; CHECK-NEXT: vst %v0, 0(%r2)
  57 ; CHECK-NEXT: br %r14
  58   store fp128 0xLf8f8f8f8f8f8f8f8f8f8f8f8f8f8f8f8, fp128 *%x
  59   ret void
  60 }
  61
  62 ; Test that VGM works.
  63 define void @f6(fp128 *%x) {
  64 ; CHECK-LABEL: f6:
  65 ; CHECK:      vgmg %v0, 12, 31
  66 ; CHECK-NEXT: vst %v0, 0(%r2)
  67 ; CHECK-NEXT: br %r14
  68   store fp128 0xL000fffff00000000000fffff00000000, fp128 *%x
  69   ret void
  70 }