OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

exp_ch5.adb: Activate memmove type processing if debug flag d.s is set

Browse Source 
2007-09-26  Robert Dewar  <dewar@adacore.com>

	* exp_ch5.adb: Activate memmove type processing if debug flag d.s is set

	* debug.adb: Add d.s flag.

From-SVN: r128787
This commit is contained in:
Robert Dewar 2007-09-26 12:42:59 +02:00 committed by Arnaud Charlet
parent fdce4bb79e
commit f23585f174
2 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/debug.adb
View File

@ -111,7 +111,7 @@ package body Debug is
-- d.p
-- d.q
-- d.r
-- d.s
-- d.s Disable expansion of slice move, use memmove
-- d.t Disable static allocation of library level dispatch tables
-- d.u
-- d.v
@ -514,6 +514,11 @@ package body Debug is
-- main source (this corresponds to a previous behavior of -gnatl and
-- is used for running the ACATS tests).
-- d.s Normally the compiler expands slice moves into loops if overlap
-- might be possible. This debug flag inhibits that expansion, and
-- the back end is expected to use an appropriate routine to handle
-- overlap, based on Forward_OK and Backwards_OK flags.
-- d.t The compiler has been modified (a fairly extensive modification)
-- to generate static dispatch tables for library level tagged types.
-- This debug switch disables this modification and reverts to the

15
gcc/ada/exp_ch5.adb
View File

@ -387,7 +387,7 @@ package body Exp_Ch5 is
-- File.Storage := Contents;
-- end Write_All;
-- We expand to a loop in either of these two cases.
-- We expand to a loop in either of these two cases
-- Question for future thought. Another potentially more efficient
-- approach would be to create the actual subtype, and then do an
@ -636,11 +636,18 @@ package body Exp_Ch5 is
-- gigi handle it.
if not Loop_Required then
-- Assume gigi can handle it if Forwards_OK is set
if Forwards_OK (N) then
return;
else
null;
-- Here is where a memmove would be appropriate ???
-- If Forwards_OK is not set, the back end will need something
-- like memmove to handle the move. For now, this processing is
-- activated using the .s debug flag (-gnatd.s).
elsif Debug_Flag_Dot_S then
return;
end if;
end if;