test/CodeGen/SystemZ/fp-strict-conv-12.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; Test strict conversion of floating-point values to unsigned i64s (z10 only).
   3 ;
   4 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s
   5
   6 ; z10 doesn't have native support for unsigned fp-to-i64 conversions;
   7 ; they were added in z196 as the Convert to Logical family of instructions.
   8 ; Convert via signed i64s instead.
   9 ; Note that the strict expansion sequence must be used.
  10
  11 declare i64 @llvm.experimental.constrained.fptoui.i64.f32(float, metadata)
  12 declare i64 @llvm.experimental.constrained.fptoui.i64.f64(double, metadata)
  13 declare i64 @llvm.experimental.constrained.fptoui.i64.f128(fp128, metadata)
  14
  15 ; Test f32->i64.
  16 define i64 @f1(float %f) #0 {
  17 ; CHECK-LABEL: f1:
  18 ; CHECK:       # %bb.0:
  19 ; CHECK-NEXT:    larl %r1, .LCPI0_0
  20 ; CHECK-NEXT:    le %f1, 0(%r1)
  21 ; CHECK-NEXT:    cebr %f0, %f1
  22 ; CHECK-NEXT:    lghi %r0, 0
  23 ; CHECK-NEXT:    jl .LBB0_2
  24 ; CHECK-NEXT:  # %bb.1:
  25 ; CHECK-NEXT:    sebr %f0, %f1
  26 ; CHECK-NEXT:    llihh %r0, 32768
  27 ; CHECK-NEXT:  .LBB0_2:
  28 ; CHECK-NEXT:    cgebr %r2, 5, %f0
  29 ; CHECK-NEXT:    xgr %r2, %r0
  30 ; CHECK-NEXT:    br %r14
  31   %conv = call i64 @llvm.experimental.constrained.fptoui.i64.f32(float %f,
  32                                                metadata !"fpexcept.strict") #0
  33   ret i64 %conv
  34 }
  35
  36 ; Test f64->i64.
  37 define i64 @f2(double %f) #0 {
  38 ; CHECK-LABEL: f2:
  39 ; CHECK:       # %bb.0:
  40 ; CHECK-NEXT:    larl %r1, .LCPI1_0
  41 ; CHECK-NEXT:    ldeb %f1, 0(%r1)
  42 ; CHECK-NEXT:    cdbr %f0, %f1
  43 ; CHECK-NEXT:    lghi %r0, 0
  44 ; CHECK-NEXT:    jl .LBB1_2
  45 ; CHECK-NEXT:  # %bb.1:
  46 ; CHECK-NEXT:    sdbr %f0, %f1
  47 ; CHECK-NEXT:    llihh %r0, 32768
  48 ; CHECK-NEXT:  .LBB1_2:
  49 ; CHECK-NEXT:    cgdbr %r2, 5, %f0
  50 ; CHECK-NEXT:    xgr %r2, %r0
  51 ; CHECK-NEXT:    br %r14
  52   %conv = call i64 @llvm.experimental.constrained.fptoui.i64.f64(double %f,
  53                                                metadata !"fpexcept.strict") #0
  54   ret i64 %conv
  55 }
  56
  57 ; Test f128->i64.
  58 define i64 @f3(fp128 *%src) #0 {
  59 ; CHECK-LABEL: f3:
  60 ; CHECK:       # %bb.0:
  61 ; CHECK-NEXT:    ld %f0, 0(%r2)
  62 ; CHECK-NEXT:    ld %f2, 8(%r2)
  63 ; CHECK-NEXT:    larl %r1, .LCPI2_0
  64 ; CHECK-NEXT:    lxeb %f1, 0(%r1)
  65 ; CHECK-NEXT:    cxbr %f0, %f1
  66 ; CHECK-NEXT:    lghi %r0, 0
  67 ; CHECK-NEXT:    jl .LBB2_2
  68 ; CHECK-NEXT:  # %bb.1:
  69 ; CHECK-NEXT:    sxbr %f0, %f1
  70 ; CHECK-NEXT:    llihh %r0, 32768
  71 ; CHECK-NEXT:  .LBB2_2:
  72 ; CHECK-NEXT:    cgxbr %r2, 5, %f0
  73 ; CHECK-NEXT:    xgr %r2, %r0
  74 ; CHECK-NEXT:    br %r14
  75   %f = load fp128, fp128 *%src
  76   %conv = call i64 @llvm.experimental.constrained.fptoui.i64.f128(fp128 %f,
  77                                                metadata !"fpexcept.strict") #0
  78   ret i64 %conv
  79 }
  80
  81 attributes #0 = { strictfp }