; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; Test to verify that constrained intrinsics all have the strictfp attribute.
; Ordering is from Intrinsics.td.
define void @func(double %a, double %b, double %c, i32 %i) strictfp {
; CHECK-LABEL: define void @func
; CHECK-SAME: (double [[A:%.*]], double [[B:%.*]], double [[C:%.*]], i32 [[I:%.*]]) #[[ATTR0:[0-9]+]] {
%add = call double @llvm.experimental.constrained.fadd.f64(
double %a, double %b,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%sub = call double @llvm.experimental.constrained.fsub.f64(
double %a, double %b,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%mul = call double @llvm.experimental.constrained.fmul.f64(
double %a, double %b,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%div = call double @llvm.experimental.constrained.fdiv.f64(
double %a, double %b,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%rem = call double @llvm.experimental.constrained.frem.f64(
double %a, double %b,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%fma = call double @llvm.experimental.constrained.fma.f64(
double %a, double %b, double %c,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%fmuladd = call double @llvm.experimental.constrained.fmuladd.f64(
double %a, double %b, double %c,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%si = call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %a,
metadata !"fpexcept.strict")
%ui = call i32 @llvm.experimental.constrained.fptoui.i32.f64(double %a,
metadata !"fpexcept.strict")
%sfp = call double @llvm.experimental.constrained.sitofp.f64.i32(i32 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%ufp = call double @llvm.experimental.constrained.uitofp.f64.i32(i32 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%fptrunc = call float @llvm.experimental.constrained.fptrunc.f32.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%ext = call double @llvm.experimental.constrained.fpext.f64.f32(
float %fptrunc,
metadata !"fpexcept.strict")
%sqrt = call double @llvm.experimental.constrained.sqrt.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%powi = call double @llvm.experimental.constrained.powi.f64(
double %a, i32 %i,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%sin = call double @llvm.experimental.constrained.sin.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%cos = call double @llvm.experimental.constrained.cos.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%tan = call double @llvm.experimental.constrained.tan.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%acos = call double @llvm.experimental.constrained.acos.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%asin = call double @llvm.experimental.constrained.asin.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%atan = call double @llvm.experimental.constrained.atan.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%cosh = call double @llvm.experimental.constrained.cosh.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%sinh = call double @llvm.experimental.constrained.sinh.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%tanh = call double @llvm.experimental.constrained.tanh.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%pow = call double @llvm.experimental.constrained.pow.f64(
double %a, double %b,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%log = call double @llvm.experimental.constrained.log.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%log10 = call double @llvm.experimental.constrained.log10.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%log2 = call double @llvm.experimental.constrained.log2.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%exp = call double @llvm.experimental.constrained.exp.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%exp2 = call double @llvm.experimental.constrained.exp2.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%rint = call double @llvm.experimental.constrained.rint.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%neari = call double @llvm.experimental.constrained.nearbyint.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%x32 = call i32 @llvm.experimental.constrained.lrint.i32.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%x64 = call i64 @llvm.experimental.constrained.llrint.i64.f64(
double %a,
metadata !"round.dynamic",
metadata !"fpexcept.strict")
%maxnum = call double @llvm.experimental.constrained.maxnum.f64(
double %a, double %b,
metadata !"fpexcept.strict")
%minnum = call double @llvm.experimental.constrained.minnum.f64(
double %a, double %b,
metadata !"fpexcept.strict")
%maxmum = call double @llvm.experimental.constrained.maximum.f64(
double %a, double %b,
metadata !"fpexcept.strict")
%minmum = call double @llvm.experimental.constrained.minimum.f64(
double %a, double %b,
metadata !"fpexcept.strict")
%ceil = call double @llvm.experimental.constrained.ceil.f64(
double %a,
metadata !"fpexcept.strict")
%floor = call double @llvm.experimental.constrained.floor.f64(
double %a,
metadata !"fpexcept.strict")
%y32 = call i32 @llvm.experimental.constrained.lround.i32.f64(
double %a,
metadata !"fpexcept.strict")
%y64 = call i64 @llvm.experimental.constrained.llround.i64.f64(
double %a,
metadata !"fpexcept.strict")
%round = call double @llvm.experimental.constrained.round.f64(
double %a,
metadata !"fpexcept.strict")
%roundev = call double @llvm.experimental.constrained.roundeven.f64(
double %a,
metadata !"fpexcept.strict")
%trunc = call double @llvm.experimental.constrained.trunc.f64(
double %a,
metadata !"fpexcept.strict")
%q1 = call i1 @llvm.experimental.constrained.fcmp.f64(
double %a, double %b,
metadata !"oeq",
metadata !"fpexcept.strict")
%s1 = call i1 @llvm.experimental.constrained.fcmps.f64(
double %a, double %b,
metadata !"oeq",
metadata !"fpexcept.strict")
; CHECK: ret void
ret void
}
declare double @llvm.experimental.constrained.fadd.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fadd.f64({{.*}}) #[[ATTR1:[0-9]+]]
declare double @llvm.experimental.constrained.fsub.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fsub.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.fmul.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fmul.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.fdiv.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fdiv.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.frem.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.frem.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.fma.f64(double, double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fma.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.fmuladd.f64(double, double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fmuladd.f64({{.*}}) #[[ATTR1]]
declare i32 @llvm.experimental.constrained.fptosi.i32.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.fptosi.i32.f64({{.*}}) #[[ATTR1]]
declare i32 @llvm.experimental.constrained.fptoui.i32.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.fptoui.i32.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.sitofp.f64.i32(i32, metadata, metadata)
; CHECK: @llvm.experimental.constrained.sitofp.f64.i32({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.uitofp.f64.i32(i32, metadata, metadata)
; CHECK: @llvm.experimental.constrained.uitofp.f64.i32({{.*}}) #[[ATTR1]]
declare float @llvm.experimental.constrained.fptrunc.f32.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fptrunc.f32.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.fpext.f64.f32(float, metadata)
; CHECK: @llvm.experimental.constrained.fpext.f64.f32({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.sqrt.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.sqrt.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.powi.f64(double, i32, metadata, metadata)
; CHECK: @llvm.experimental.constrained.powi.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.sin.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.sin.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.cos.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.cos.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.tan.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.tan.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.asin.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.asin.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.acos.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.acos.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.atan.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.atan.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.sinh.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.sinh.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.cosh.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.cosh.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.tanh.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.tanh.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.pow.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.pow.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.log.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.log.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.log10.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.log10.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.log2.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.log2.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.exp.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.exp.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.exp2.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.exp2.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.rint.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.rint.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.nearbyint.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.nearbyint.f64({{.*}}) #[[ATTR1]]
declare i32 @llvm.experimental.constrained.lrint.i32.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.lrint.i32.f64({{.*}}) #[[ATTR1]]
declare i64 @llvm.experimental.constrained.llrint.i64.f64(double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.llrint.i64.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.maxnum.f64(double, double, metadata)
; CHECK: @llvm.experimental.constrained.maxnum.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.minnum.f64(double, double, metadata)
; CHECK: @llvm.experimental.constrained.minnum.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.maximum.f64(double, double, metadata)
; CHECK: @llvm.experimental.constrained.maximum.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.minimum.f64(double, double, metadata)
; CHECK: @llvm.experimental.constrained.minimum.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.ceil.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.ceil.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.floor.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.floor.f64({{.*}}) #[[ATTR1]]
declare i32 @llvm.experimental.constrained.lround.i32.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.lround.i32.f64({{.*}}) #[[ATTR1]]
declare i64 @llvm.experimental.constrained.llround.i64.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.llround.i64.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.round.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.round.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.roundeven.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.roundeven.f64({{.*}}) #[[ATTR1]]
declare double @llvm.experimental.constrained.trunc.f64(double, metadata)
; CHECK: @llvm.experimental.constrained.trunc.f64({{.*}}) #[[ATTR1]]
declare i1 @llvm.experimental.constrained.fcmp.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fcmp.f64({{.*}}) #[[ATTR1]]
declare i1 @llvm.experimental.constrained.fcmps.f64(double, double, metadata, metadata)
; CHECK: @llvm.experimental.constrained.fcmps.f64({{.*}}) #[[ATTR1]]
; CHECK: attributes #[[ATTR0]] = {{{.*}} strictfp {{.*}}}
; CHECK: attributes #[[ATTR1]] = { {{.*}} strictfp {{.*}} }
Codebase Browser
llvm