1; Test strict conversion of floating-point values to signed i64s. 2; 3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5declare i64 @llvm.experimental.constrained.fptosi.i64.f32(float, metadata) 6declare i64 @llvm.experimental.constrained.fptosi.i64.f64(double, metadata) 7declare i64 @llvm.experimental.constrained.fptosi.i64.f128(fp128, metadata) 8 9; Test f32->i64. 10define i64 @f1(float %f) #0 { 11; CHECK-LABEL: f1: 12; CHECK: cgebr %r2, 5, %f0 13; CHECK: br %r14 14 %conv = call i64 @llvm.experimental.constrained.fptosi.i64.f32(float %f, 15 metadata !"fpexcept.strict") #0 16 ret i64 %conv 17} 18 19; Test f64->i64. 20define i64 @f2(double %f) #0 { 21; CHECK-LABEL: f2: 22; CHECK: cgdbr %r2, 5, %f0 23; CHECK: br %r14 24 %conv = call i64 @llvm.experimental.constrained.fptosi.i64.f64(double %f, 25 metadata !"fpexcept.strict") #0 26 ret i64 %conv 27} 28 29; Test f128->i64. 30define i64 @f3(ptr %src) #0 { 31; CHECK-LABEL: f3: 32; CHECK: ld %f0, 0(%r2) 33; CHECK: ld %f2, 8(%r2) 34; CHECK: cgxbr %r2, 5, %f0 35; CHECK: br %r14 36 %f = load fp128, ptr %src 37 %conv = call i64 @llvm.experimental.constrained.fptosi.i64.f128(fp128 %f, 38 metadata !"fpexcept.strict") #0 39 ret i64 %conv 40} 41 42attributes #0 = { strictfp } 43