wpoinfo.pas 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217
  1. {
  2. Copyright (c) 2008 by Jonas Maebe
  3. Whole program optimisation information collection
  4. This program is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with this program; if not, write to the Free Software
  14. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  15. ****************************************************************************
  16. }
  17. unit wpoinfo;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. cclasses,
  22. symtype,
  23. wpobase,
  24. ppu;
  25. type
  26. pderefarray = ^tderefarray;
  27. tderefarray = array[0..1024*1024-1] of tderef;
  28. tunitwpoinfo = class(tunitwpoinfobase)
  29. { devirtualisation information -- begin }
  30. private
  31. fcreatedobjtypesderefs: pderefarray;
  32. fcreatedclassrefobjtypesderefs: pderefarray;
  33. { devirtualisation information -- end }
  34. public
  35. destructor destroy; override;
  36. procedure ppuwrite(ppufile:tcompilerppufile);
  37. constructor ppuload(ppufile:tcompilerppufile);
  38. procedure deref;
  39. procedure derefimpl;
  40. procedure buildderef;
  41. procedure buildderefimpl;
  42. end;
  43. { twpoinfomanager }
  44. twpoinfomanager = class(twpoinfomanagerbase)
  45. function can_be_devirtualized(objdef, procdef: tdef; out name: shortstring): boolean; override;
  46. function optimized_name_for_vmt(objdef, procdef: tdef; out name: shortstring): boolean; override;
  47. function symbol_live(const name: shortstring): boolean; override;
  48. end;
  49. implementation
  50. uses
  51. globtype,
  52. globals,
  53. symdef,
  54. verbose;
  55. destructor tunitwpoinfo.destroy;
  56. begin
  57. if assigned(fcreatedobjtypesderefs) then
  58. begin
  59. freemem(fcreatedobjtypesderefs);
  60. fcreatedobjtypesderefs:=nil;
  61. end;
  62. if assigned(fcreatedclassrefobjtypesderefs) then
  63. begin
  64. freemem(fcreatedclassrefobjtypesderefs);
  65. fcreatedclassrefobjtypesderefs:=nil;
  66. end;
  67. inherited destroy;
  68. end;
  69. procedure tunitwpoinfo.ppuwrite(ppufile:tcompilerppufile);
  70. var
  71. i: longint;
  72. begin
  73. { write the number of instantiated object types in this module,
  74. followed by the derefs of those types
  75. }
  76. ppufile.putlongint(fcreatedobjtypes.count);
  77. for i:=0 to fcreatedobjtypes.count-1 do
  78. ppufile.putderef(fcreatedobjtypesderefs^[i]);
  79. ppufile.putlongint(fcreatedclassrefobjtypes.count);
  80. for i:=0 to fcreatedclassrefobjtypes.count-1 do
  81. ppufile.putderef(fcreatedclassrefobjtypesderefs^[i]);
  82. ppufile.writeentry(ibcreatedobjtypes);
  83. freemem(fcreatedobjtypesderefs);
  84. fcreatedobjtypesderefs:=nil;
  85. freemem(fcreatedclassrefobjtypesderefs);
  86. fcreatedclassrefobjtypesderefs:=nil;
  87. end;
  88. constructor tunitwpoinfo.ppuload(ppufile:tcompilerppufile);
  89. var
  90. i, len: longint;
  91. begin
  92. { load start of definition section, which holds the amount of defs }
  93. if ppufile.readentry<>ibcreatedobjtypes then
  94. cgmessage(unit_f_ppu_read_error);
  95. len:=ppufile.getlongint;
  96. fcreatedobjtypes:=tfpobjectlist.create(false);
  97. fcreatedobjtypes.count:=len;
  98. getmem(fcreatedobjtypesderefs,len*sizeof(tderef));
  99. for i:=0 to len-1 do
  100. ppufile.getderef(fcreatedobjtypesderefs^[i]);
  101. len:=ppufile.getlongint;
  102. fcreatedclassrefobjtypes:=tfpobjectlist.create(false);
  103. fcreatedclassrefobjtypes.count:=len;
  104. getmem(fcreatedclassrefobjtypesderefs,len*sizeof(tderef));
  105. for i:=0 to len-1 do
  106. ppufile.getderef(fcreatedclassrefobjtypesderefs^[i]);
  107. end;
  108. procedure tunitwpoinfo.buildderef;
  109. var
  110. i: longint;
  111. begin
  112. getmem(fcreatedobjtypesderefs,fcreatedobjtypes.count*sizeof(tderef));
  113. for i:=0 to fcreatedobjtypes.count-1 do
  114. fcreatedobjtypesderefs^[i].build(fcreatedobjtypes[i]);
  115. getmem(fcreatedclassrefobjtypesderefs,fcreatedclassrefobjtypes.count*sizeof(tderef));
  116. for i:=0 to fcreatedclassrefobjtypes.count-1 do
  117. fcreatedclassrefobjtypesderefs^[i].build(fcreatedclassrefobjtypes[i]);
  118. end;
  119. procedure tunitwpoinfo.buildderefimpl;
  120. begin
  121. end;
  122. procedure tunitwpoinfo.deref;
  123. var
  124. i: longint;
  125. begin
  126. for i:=0 to fcreatedobjtypes.count-1 do
  127. fcreatedobjtypes[i]:=fcreatedobjtypesderefs^[i].resolve;
  128. freemem(fcreatedobjtypesderefs);
  129. fcreatedobjtypesderefs:=nil;
  130. for i:=0 to fcreatedclassrefobjtypes.count-1 do
  131. fcreatedclassrefobjtypes[i]:=fcreatedclassrefobjtypesderefs^[i].resolve;
  132. freemem(fcreatedclassrefobjtypesderefs);
  133. fcreatedclassrefobjtypesderefs:=nil;
  134. end;
  135. procedure tunitwpoinfo.derefimpl;
  136. begin
  137. end;
  138. { twpoinfomanager }
  139. function twpoinfomanager.can_be_devirtualized(objdef, procdef: tdef; out name: shortstring): boolean;
  140. begin
  141. if not assigned(wpoinfouse[wpo_devirtualization_context_insensitive]) or
  142. not(cs_wpo_devirtualize_calls in current_settings.dowpoptimizerswitches) then
  143. begin
  144. result:=false;
  145. exit;
  146. end;
  147. result:=twpodevirtualisationhandler(wpoinfouse[wpo_devirtualization_context_insensitive]).staticnameforvirtualmethod(objdef,procdef,name);
  148. end;
  149. function twpoinfomanager.optimized_name_for_vmt(objdef, procdef: tdef; out name: shortstring): boolean;
  150. begin
  151. if not assigned(wpoinfouse[wpo_devirtualization_context_insensitive]) or
  152. not(cs_wpo_optimize_vmts in current_settings.dowpoptimizerswitches) then
  153. begin
  154. result:=false;
  155. exit;
  156. end;
  157. result:=twpodevirtualisationhandler(wpoinfouse[wpo_devirtualization_context_insensitive]).staticnameforvirtualmethod(objdef,procdef,name);
  158. end;
  159. function twpoinfomanager.symbol_live(const name: shortstring): boolean;
  160. begin
  161. if not assigned(wpoinfouse[wpo_live_symbol_information]) or
  162. not(cs_wpo_symbol_liveness in current_settings.dowpoptimizerswitches) then
  163. begin
  164. { if we don't know, say that the symbol is live }
  165. result:=true;
  166. exit;
  167. end;
  168. result:=twpodeadcodehandler(wpoinfouse[wpo_live_symbol_information]).symbolinfinalbinary(name);
  169. end;
  170. end.