1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148
|
; Test floating-point strict conversion to/from 128-bit integers.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s
declare fp128 @llvm.experimental.constrained.sitofp.f128.i128(i128, metadata, metadata)
declare double @llvm.experimental.constrained.sitofp.f64.i128(i128, metadata, metadata)
declare float @llvm.experimental.constrained.sitofp.f32.i128(i128, metadata, metadata)
declare fp128 @llvm.experimental.constrained.uitofp.f128.i128(i128, metadata, metadata)
declare double @llvm.experimental.constrained.uitofp.f64.i128(i128, metadata, metadata)
declare float @llvm.experimental.constrained.uitofp.f32.i128(i128, metadata, metadata)
declare i128 @llvm.experimental.constrained.fptosi.i128.f128(fp128, metadata)
declare i128 @llvm.experimental.constrained.fptosi.i128.f64(double, metadata)
declare i128 @llvm.experimental.constrained.fptosi.i128.f32(float, metadata)
declare i128 @llvm.experimental.constrained.fptoui.i128.f128(fp128, metadata)
declare i128 @llvm.experimental.constrained.fptoui.i128.f64(double, metadata)
declare i128 @llvm.experimental.constrained.fptoui.i128.f32(float, metadata)
; Test signed i128->f128.
define fp128 @f1(i128 %i) #0 {
; CHECK-LABEL: f1:
; CHECK: brasl %r14, __floattitf@PLT
; CHECK: br %r14
%conv = call fp128 @llvm.experimental.constrained.sitofp.f128.i128(i128 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict") #0
ret fp128 %conv
}
; Test signed i128->f64.
define double @f2(i128 %i) #0 {
; CHECK-LABEL: f2:
; CHECK: brasl %r14, __floattidf@PLT
; CHECK: br %r14
%conv = call double @llvm.experimental.constrained.sitofp.f64.i128(i128 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict") #0
ret double %conv
}
; Test signed i128->f32.
define float @f3(i128 %i) #0 {
; CHECK-LABEL: f3:
; CHECK: brasl %r14, __floattisf@PLT
; CHECK: br %r14
%conv = call float @llvm.experimental.constrained.sitofp.f32.i128(i128 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict") #0
ret float %conv
}
; Test unsigned i128->f128.
define fp128 @f4(i128 %i) #0 {
; CHECK-LABEL: f4:
; CHECK: brasl %r14, __floatuntitf@PLT
; CHECK: br %r14
%conv = call fp128 @llvm.experimental.constrained.uitofp.f128.i128(i128 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict") #0
ret fp128 %conv
}
; Test unsigned i128->f64.
define double @f5(i128 %i) #0 {
; CHECK-LABEL: f5:
; CHECK: brasl %r14, __floatuntidf@PLT
; CHECK: br %r14
%conv = call double @llvm.experimental.constrained.uitofp.f64.i128(i128 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict") #0
ret double %conv
}
; Test unsigned i128->f32.
define float @f6(i128 %i) #0 {
; CHECK-LABEL: f6:
; CHECK: brasl %r14, __floatuntisf@PLT
; CHECK: br %r14
%conv = call float @llvm.experimental.constrained.uitofp.f32.i128(i128 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict") #0
ret float %conv
}
; Test signed f128->i128.
define i128 @f7(fp128 %f) #0 {
; CHECK-LABEL: f7:
; CHECK: brasl %r14, __fixtfti@PLT
; CHECK: br %r14
%conv = call i128 @llvm.experimental.constrained.fptosi.i128.f128(fp128 %f,
metadata !"fpexcept.strict") #0
ret i128 %conv
}
; Test signed f64->i128.
define i128 @f8(double %f) #0 {
; CHECK-LABEL: f8:
; CHECK: brasl %r14, __fixdfti@PLT
; CHECK: br %r14
%conv = call i128 @llvm.experimental.constrained.fptosi.i128.f64(double %f,
metadata !"fpexcept.strict") #0
ret i128 %conv
}
; Test signed f9->i128.
define i128 @f9(float %f) #0 {
; CHECK-LABEL: f9:
; CHECK: brasl %r14, __fixsfti@PLT
; CHECK: br %r14
%conv = call i128 @llvm.experimental.constrained.fptosi.i128.f32(float %f,
metadata !"fpexcept.strict") #0
ret i128 %conv
}
; Test unsigned f128->i128.
define i128 @f10(fp128 %f) #0 {
; CHECK-LABEL: f10:
; CHECK: brasl %r14, __fixunstfti@PLT
; CHECK: br %r14
%conv = call i128 @llvm.experimental.constrained.fptoui.i128.f128(fp128 %f,
metadata !"fpexcept.strict") #0
ret i128 %conv
}
; Test unsigned f64->i128.
define i128 @f11(double %f) #0 {
; CHECK-LABEL: f11:
; CHECK: brasl %r14, __fixunsdfti@PLT
; CHECK: br %r14
%conv = call i128 @llvm.experimental.constrained.fptoui.i128.f64(double %f,
metadata !"fpexcept.strict") #0
ret i128 %conv
}
; Test unsigned f32->i128.
define i128 @f12(float %f) #0 {
; CHECK-LABEL: f12:
; CHECK: brasl %r14, __fixunssfti@PLT
; CHECK: br %r14
%conv = call i128 @llvm.experimental.constrained.fptoui.i128.f32(float %f,
metadata !"fpexcept.strict") #0
ret i128 %conv
}
attributes #0 = { strictfp }
|