Introduce the new float notation and operations for x86 semantic

Basically, operations are:
- fpconvert_fp32, fpconvert_fp64, fpconvert_fp80: convert from a
floating point to another (truncate or extend)
- sint_to_fp32, sint_to_fp64, sint_to_fp80: convert from a signed
integer to a floating point number (original size can differ)
- fp_to_sint32, fp_to_sint64, ...: convert from a floating point number
to a signed integer, as ExprInt. Rounding mode is nearbyint. (original
size can differ)
- fpround_nearbyint: convert from floating point to floating point using
the nearest int
- fpround_towardszero: convert from floating point to floating point,
towards zero

0 files changed, 0 insertions, 0 deletions