mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 04:40:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

exp_ch4.adb (Expand_N_Op_Eq): Introduce 'Machine for 'Result comparison.

Browse Source 
2015-05-22  Robert Dewar  <dewar@adacore.com>

	* exp_ch4.adb (Expand_N_Op_Eq): Introduce 'Machine for 'Result
	comparison.

From-SVN: r223559
This commit is contained in:
Robert Dewar 2015-05-22 12:51:36 +00:00 committed by Arnaud Charlet
parent 64a40a7bb3
commit 878e58c85e
2 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

@ -1,3 +1,8 @@
2015-05-22 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Op_Eq): Introduce 'Machine for 'Result
comparison.
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* sprint.adb (Source_Dump): When generating debug files, deal

24
gcc/ada/exp_ch4.adb
View File

@ -7519,7 +7519,31 @@ package body Exp_Ch4 is
Rewrite_Comparison (N);
-- Special optimization of length comparison
Optimize_Length_Comparison (N);
-- One more special case, if we have a comparison of X'Result = expr
-- in floating-point, then if not already there, change expr to be
-- f'Machine (expr) to eliminate suprise from extra precision.
if Is_Floating_Point_Type (Typl)
and then Nkind (Original_Node (Lhs)) = N_Attribute_Reference
and then Attribute_Name (Original_Node (Lhs)) = Name_Result
then
-- Stick in the Typ'Machine call if not already there
if Nkind (Rhs) /= N_Attribute_Reference
or else Attribute_Name (Rhs) /= Name_Machine
then
Rewrite (Rhs,
Make_Attribute_Reference (Loc,
Prefix => New_Occurrence_Of (Typl, Loc),
Attribute_Name => Name_Machine,
Expressions => New_List (Relocate_Node (Rhs))));
Analyze_And_Resolve (Rhs, Typl);
end if;
end if;
end Expand_N_Op_Eq;
-----------------------