llvm/test/CodeGen/SystemZ/fp-conv-04.ll

   1 ; Test extensions of f64 to f128.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Check register extension.
   6 define void @f1(ptr %dst, double %val) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: lxdbr %f0, %f0
   9 ; CHECK: std %f0, 0(%r2)
  10 ; CHECK: std %f2, 8(%r2)
  11 ; CHECK: br %r14
  12   %res = fpext double %val to fp128
  13   store fp128 %res, ptr %dst
  14   ret void
  15 }
  16
  17 ; Check the low end of the LXDB range.
  18 define void @f2(ptr %dst, ptr %ptr) {
  19 ; CHECK-LABEL: f2:
  20 ; CHECK: lxdb %f0, 0(%r3)
  21 ; CHECK: std %f0, 0(%r2)
  22 ; CHECK: std %f2, 8(%r2)
  23 ; CHECK: br %r14
  24   %val = load double, ptr %ptr
  25   %res = fpext double %val to fp128
  26   store fp128 %res, ptr %dst
  27   ret void
  28 }
  29
  30 ; Check the high end of the aligned LXDB range.
  31 define void @f3(ptr %dst, ptr %base) {
  32 ; CHECK-LABEL: f3:
  33 ; CHECK: lxdb %f0, 4088(%r3)
  34 ; CHECK: std %f0, 0(%r2)
  35 ; CHECK: std %f2, 8(%r2)
  36 ; CHECK: br %r14
  37   %ptr = getelementptr double, ptr %base, i64 511
  38   %val = load double, ptr %ptr
  39   %res = fpext double %val to fp128
  40   store fp128 %res, ptr %dst
  41   ret void
  42 }
  43
  44 ; Check the next doubleword up, which needs separate address logic.
  45 ; Other sequences besides this one would be OK.
  46 define void @f4(ptr %dst, ptr %base) {
  47 ; CHECK-LABEL: f4:
  48 ; CHECK: aghi %r3, 4096
  49 ; CHECK: lxdb %f0, 0(%r3)
  50 ; CHECK: std %f0, 0(%r2)
  51 ; CHECK: std %f2, 8(%r2)
  52 ; CHECK: br %r14
  53   %ptr = getelementptr double, ptr %base, i64 512
  54   %val = load double, ptr %ptr
  55   %res = fpext double %val to fp128
  56   store fp128 %res, ptr %dst
  57   ret void
  58 }
  59
  60 ; Check negative displacements, which also need separate address logic.
  61 define void @f5(ptr %dst, ptr %base) {
  62 ; CHECK-LABEL: f5:
  63 ; CHECK: aghi %r3, -8
  64 ; CHECK: lxdb %f0, 0(%r3)
  65 ; CHECK: std %f0, 0(%r2)
  66 ; CHECK: std %f2, 8(%r2)
  67 ; CHECK: br %r14
  68   %ptr = getelementptr double, ptr %base, i64 -1
  69   %val = load double, ptr %ptr
  70   %res = fpext double %val to fp128
  71   store fp128 %res, ptr %dst
  72   ret void
  73 }
  74
  75 ; Check that LXDB allows indices.
  76 define void @f6(ptr %dst, ptr %base, i64 %index) {
  77 ; CHECK-LABEL: f6:
  78 ; CHECK: sllg %r1, %r4, 3
  79 ; CHECK: lxdb %f0, 800(%r1,%r3)
  80 ; CHECK: std %f0, 0(%r2)
  81 ; CHECK: std %f2, 8(%r2)
  82 ; CHECK: br %r14
  83   %ptr1 = getelementptr double, ptr %base, i64 %index
  84   %ptr2 = getelementptr double, ptr %ptr1, i64 100
  85   %val = load double, ptr %ptr2
  86   %res = fpext double %val to fp128
  87   store fp128 %res, ptr %dst
  88   ret void
  89 }
  90
  91 ; Test a case where we spill the source of at least one LXDBR.  We want
  92 ; to use LXDB if possible.
  93 define void @f7(ptr %ptr1, ptr %ptr2) {
  94 ; CHECK-LABEL: f7:
  95 ; CHECK: lxdb {{%f[0-9]+}}, 160(%r15)
  96 ; CHECK: br %r14
  97   %val0 = load volatile double, ptr %ptr2
  98   %val1 = load volatile double, ptr %ptr2
  99   %val2 = load volatile double, ptr %ptr2
 100   %val3 = load volatile double, ptr %ptr2
 101   %val4 = load volatile double, ptr %ptr2
 102   %val5 = load volatile double, ptr %ptr2
 103   %val6 = load volatile double, ptr %ptr2
 104   %val7 = load volatile double, ptr %ptr2
 105   %val8 = load volatile double, ptr %ptr2
 106   %val9 = load volatile double, ptr %ptr2
 107   %val10 = load volatile double, ptr %ptr2
 108   %val11 = load volatile double, ptr %ptr2
 109   %val12 = load volatile double, ptr %ptr2
 110   %val13 = load volatile double, ptr %ptr2
 111   %val14 = load volatile double, ptr %ptr2
 112   %val15 = load volatile double, ptr %ptr2
 113   %val16 = load volatile double, ptr %ptr2
 114
 115   %ext0 = fpext double %val0 to fp128
 116   %ext1 = fpext double %val1 to fp128
 117   %ext2 = fpext double %val2 to fp128
 118   %ext3 = fpext double %val3 to fp128
 119   %ext4 = fpext double %val4 to fp128
 120   %ext5 = fpext double %val5 to fp128
 121   %ext6 = fpext double %val6 to fp128
 122   %ext7 = fpext double %val7 to fp128
 123   %ext8 = fpext double %val8 to fp128
 124   %ext9 = fpext double %val9 to fp128
 125   %ext10 = fpext double %val10 to fp128
 126   %ext11 = fpext double %val11 to fp128
 127   %ext12 = fpext double %val12 to fp128
 128   %ext13 = fpext double %val13 to fp128
 129   %ext14 = fpext double %val14 to fp128
 130   %ext15 = fpext double %val15 to fp128
 131   %ext16 = fpext double %val16 to fp128
 132
 133   store volatile double %val0, ptr %ptr2
 134   store volatile double %val1, ptr %ptr2
 135   store volatile double %val2, ptr %ptr2
 136   store volatile double %val3, ptr %ptr2
 137   store volatile double %val4, ptr %ptr2
 138   store volatile double %val5, ptr %ptr2
 139   store volatile double %val6, ptr %ptr2
 140   store volatile double %val7, ptr %ptr2
 141   store volatile double %val8, ptr %ptr2
 142   store volatile double %val9, ptr %ptr2
 143   store volatile double %val10, ptr %ptr2
 144   store volatile double %val11, ptr %ptr2
 145   store volatile double %val12, ptr %ptr2
 146   store volatile double %val13, ptr %ptr2
 147   store volatile double %val14, ptr %ptr2
 148   store volatile double %val15, ptr %ptr2
 149   store volatile double %val16, ptr %ptr2
 150
 151   store volatile fp128 %ext0, ptr %ptr1
 152   store volatile fp128 %ext1, ptr %ptr1
 153   store volatile fp128 %ext2, ptr %ptr1
 154   store volatile fp128 %ext3, ptr %ptr1
 155   store volatile fp128 %ext4, ptr %ptr1
 156   store volatile fp128 %ext5, ptr %ptr1
 157   store volatile fp128 %ext6, ptr %ptr1
 158   store volatile fp128 %ext7, ptr %ptr1
 159   store volatile fp128 %ext8, ptr %ptr1
 160   store volatile fp128 %ext9, ptr %ptr1
 161   store volatile fp128 %ext10, ptr %ptr1
 162   store volatile fp128 %ext11, ptr %ptr1
 163   store volatile fp128 %ext12, ptr %ptr1
 164   store volatile fp128 %ext13, ptr %ptr1
 165   store volatile fp128 %ext14, ptr %ptr1
 166   store volatile fp128 %ext15, ptr %ptr1
 167   store volatile fp128 %ext16, ptr %ptr1
 168
 169   ret void
 170 }