From 3fa91b08a4ced58f520cb07d51316256d831893b Mon Sep 17 00:00:00 2001
From: Reid Spencer
+ <result> = fptrunc <ty> <value> to <ty2> ; yields ty2 ++ +
The 'fptrunc' instruction truncates value to type +ty2.
+ + +The 'fptrunc' instruction takes a floating + point value to cast and a floating point type to +cast it to. The size of value must be larger than the size of +ty2. This implies that fptrunc cannot be used to make a +no-op cast.
+ +The 'fptrunc' instruction converts a +floating point value from a larger type to a smaller +type. If the value cannot fit within the destination type, ty2, then +the results are undefined.
+ ++ %X = fptrunc double 123.0 to float ; yields float:123.0 + %Y = fptrunc double 1.0E+300 to float ; yields undefined ++
- <result> = fptrunc <ty> <value> to <ty2> ; yields ty2 -- -
The 'fptrunc' instruction truncates value to type -ty2.
- - -The 'fptrunc' instruction takes a floating - point value to cast and a floating point type to -cast it to. The size of value must be larger than the size of -ty2. This implies that fptrunc cannot be used to make a -no-op cast.
- -The 'fptrunc' instruction converts a -floating point value from a larger type to a smaller -type. If the value cannot fit within the destination type, ty2, then -the results are undefined.
- -- %X = fptrunc double 123.0 to float ; yields float:123.0 - %Y = fptrunc double 1.0E+300 to float ; yields undefined --