test/Transforms/ConstProp/convert-from-fp16.ll

   1 ; RUN: opt -constprop -S < %s | FileCheck %s
   2
   3 ; Verify that we don't crash with an assertion failure when constant folding
   4 ; a call to intrinsic 'convert.from.fp16' if the return type is not 'float'.
   5
   6 define float @fold_from_fp16_to_fp32() {
   7 ; CHECK-LABEL: @fold_from_fp16_to_fp32
   8 ; CHECK: ret float 0.000000e+00
   9 entry:
  10   %0 = call float @llvm.convert.from.fp16.f32(i16 0)
  11   ret float %0
  12 }
  13
  14 define double @fold_from_fp16_to_fp64() {
  15 ; CHECK-LABEL: @fold_from_fp16_to_fp64
  16 ; CHECK: ret double 0.000000e+00
  17 entry:
  18   %0 = call double @llvm.convert.from.fp16.f64(i16 0)
  19   ret double %0
  20 }
  21
  22 define x86_fp80 @fold_from_fp16_to_fp80() {
  23 ; CHECK-LABEL: @fold_from_fp16_to_fp80
  24 ; CHECK: ret x86_fp80 0xK00000000000000000000
  25 entry:
  26   %0 = call x86_fp80 @llvm.convert.from.fp16.f80(i16 0)
  27   ret x86_fp80 %0
  28 }
  29
  30 define fp128 @fold_from_fp16_to_fp128() {
  31 ; CHECK-LABEL: @fold_from_fp16_to_fp128
  32 ; CHECK: ret fp128 0xL00000000000000000000000000000000
  33 entry:
  34   %0 = call fp128 @llvm.convert.from.fp16.f128(i16 0)
  35   ret fp128 %0
  36 }
  37
  38 define ppc_fp128 @fold_from_fp16_to_ppcfp128() {
  39 ; CHECK-LABEL: @fold_from_fp16_to_ppcfp128
  40 ; CHECK: ret ppc_fp128 0xM00000000000000000000000000000000
  41 entry:
  42   %0 = call ppc_fp128 @llvm.convert.from.fp16.ppcf128(i16 0)
  43   ret ppc_fp128 %0
  44 }
  45
  46 define float @fold_from_fp16_to_fp32_b() {
  47 ; CHECK-LABEL: @fold_from_fp16_to_fp32_b
  48 ; CHECK: ret float 4.000000e+00
  49 entry:
  50   %0 = call i16 @llvm.convert.to.fp16.f64(double 4.0)
  51   %1 = call float @llvm.convert.from.fp16.f32(i16 %0)
  52   ret float %1
  53 }
  54
  55 define double @fold_from_fp16_to_fp64_b() {
  56 ; CHECK-LABEL: @fold_from_fp16_to_fp64_b
  57 ; CHECK: ret double 4.000000e+00
  58 entry:
  59   %0 = call i16 @llvm.convert.to.fp16.f64(double 4.0)
  60   %1 = call double @llvm.convert.from.fp16.f64(i16 %0)
  61   ret double %1
  62 }
  63
  64 define x86_fp80 @fold_from_fp16_to_fp80_b() {
  65 ; CHECK-LABEL: @fold_from_fp16_to_fp80_b
  66 ; CHECK: ret x86_fp80 0xK40018000000000000000
  67 entry:
  68   %0 = call i16 @llvm.convert.to.fp16.f64(double 4.0)
  69   %1 = call x86_fp80 @llvm.convert.from.fp16.f80(i16 %0)
  70   ret x86_fp80 %1
  71 }
  72
  73 define fp128 @fold_from_fp16_to_fp128_b() {
  74 ; CHECK-LABEL: @fold_from_fp16_to_fp128_b
  75 ; CHECK: ret fp128 0xL00000000000000004001000000000000
  76 entry:
  77   %0 = call i16 @llvm.convert.to.fp16.f64(double 4.0)
  78   %1 = call fp128 @llvm.convert.from.fp16.f128(i16 %0)
  79   ret fp128 %1
  80 }
  81
  82 define ppc_fp128 @fold_from_fp16_to_ppcfp128_b() {
  83 ; CHECK-LABEL: @fold_from_fp16_to_ppcfp128_b
  84 ; CHECK: ret ppc_fp128 0xM40100000000000000000000000000000
  85 entry:
  86   %0 = call i16 @llvm.convert.to.fp16.f64(double 4.0)
  87   %1 = call ppc_fp128 @llvm.convert.from.fp16.ppcf128(i16 %0)
  88   ret ppc_fp128 %1
  89 }
  90
  91
  92 declare i16 @llvm.convert.to.fp16.f64(double)
  93 declare float @llvm.convert.from.fp16.f32(i16)
  94 declare double @llvm.convert.from.fp16.f64(i16)
  95 declare x86_fp80 @llvm.convert.from.fp16.f80(i16)
  96 declare fp128 @llvm.convert.from.fp16.f128(i16)
  97 declare ppc_fp128 @llvm.convert.from.fp16.ppcf128(i16)