test/CodeGen/SystemZ/fp-conv-01.ll

   1 ; Test floating-point truncations.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Test f64->f32.
   6 define float @f1(double %d1, double %d2) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: ledbr %f0, %f2
   9 ; CHECK: br %r14
  10   %res = fptrunc double %d2 to float
  11   ret float %res
  12 }
  13
  14 ; Test f128->f32.
  15 define float @f2(fp128 *%ptr) {
  16 ; CHECK-LABEL: f2:
  17 ; CHECK: lexbr %f0, %f0
  18 ; CHECK: br %r14
  19   %val = load fp128 *%ptr
  20   %res = fptrunc fp128 %val to float
  21   ret float %res
  22 }
  23
  24 ; Make sure that we don't use %f0 as the destination of LEXBR when %f2
  25 ; is still live.
  26 define void @f3(float *%dst, fp128 *%ptr, float %d1, float %d2) {
  27 ; CHECK-LABEL: f3:
  28 ; CHECK: lexbr %f1, %f1
  29 ; CHECK: aebr %f1, %f2
  30 ; CHECK: ste %f1, 0(%r2)
  31 ; CHECK: br %r14
  32   %val = load fp128 *%ptr
  33   %conv = fptrunc fp128 %val to float
  34   %res = fadd float %conv, %d2
  35   store float %res, float *%dst
  36   ret void
  37 }
  38
  39 ; Test f128->f64.
  40 define double @f4(fp128 *%ptr) {
  41 ; CHECK-LABEL: f4:
  42 ; CHECK: ldxbr %f0, %f0
  43 ; CHECK: br %r14
  44   %val = load fp128 *%ptr
  45   %res = fptrunc fp128 %val to double
  46   ret double %res
  47 }
  48
  49 ; Like f3, but for f128->f64.
  50 define void @f5(double *%dst, fp128 *%ptr, double %d1, double %d2) {
  51 ; CHECK-LABEL: f5:
  52 ; CHECK: ldxbr %f1, %f1
  53 ; CHECK: adbr %f1, %f2
  54 ; CHECK: std %f1, 0(%r2)
  55 ; CHECK: br %r14
  56   %val = load fp128 *%ptr
  57   %conv = fptrunc fp128 %val to double
  58   %res = fadd double %conv, %d2
  59   store double %res, double *%dst
  60   ret void
  61 }