def is_inf(builder, val):
 pos_inf = lc.Constant.real(val.type, float('+inf'))
 neg_inf = lc.Constant.real(val.type, float('-inf'))
 isposinf = builder.fcmp(lc.FCMP_OEQ, val, pos_inf)
 isneginf = builder.fcmp(lc.FCMP_OEQ, val, neg_inf)
 return builder.or_(isposinf, isneginf)

def is_inf ( builder , val ) : pos_inf = lc . Constant . real ( val . type , float ( '+inf' ) ) neg_inf = lc . Constant . real ( val . type , float ( '-inf' ) ) isposinf = builder . fcmp ( lc . FCMP_OEQ , val , pos_inf ) isneginf = builder . fcmp ( lc . FCMP_OEQ , val , neg_inf ) return builder . or_ ( isposinf , isneginf )
return a condition testing whether *val* is an infinite .