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(fp128 *%dst, double %val) {
   7 ; CHECK: 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, fp128 *%dst
  14   ret void
  15 }
  16
  17 ; Check the low end of the LXDB range.
  18 define void @f2(fp128 *%dst, double *%ptr) {
  19 ; CHECK: 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
  25   %res = fpext double %val to fp128
  26   store fp128 %res, fp128 *%dst
  27   ret void
  28 }
  29
  30 ; Check the high end of the aligned LXDB range.
  31 define void @f3(fp128 *%dst, double *%base) {
  32 ; CHECK: 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 *%base, i64 511
  38   %val = load double *%ptr
  39   %res = fpext double %val to fp128
  40   store fp128 %res, fp128 *%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(fp128 *%dst, double *%base) {
  47 ; CHECK: 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 *%base, i64 512
  54   %val = load double *%ptr
  55   %res = fpext double %val to fp128
  56   store fp128 %res, fp128 *%dst
  57   ret void
  58 }
  59
  60 ; Check negative displacements, which also need separate address logic.
  61 define void @f5(fp128 *%dst, double *%base) {
  62 ; CHECK: 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 *%base, i64 -1
  69   %val = load double *%ptr
  70   %res = fpext double %val to fp128
  71   store fp128 %res, fp128 *%dst
  72   ret void
  73 }
  74
  75 ; Check that LXDB allows indices.
  76 define void @f6(fp128 *%dst, double *%base, i64 %index) {
  77 ; CHECK: 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 *%base, i64 %index
  84   %ptr2 = getelementptr double *%ptr1, i64 100
  85   %val = load double *%ptr2
  86   %res = fpext double %val to fp128
  87   store fp128 %res, fp128 *%dst
  88   ret void
  89 }