* [COMMITTED] ada: Skip dynamic interface conversion under configurable runtime
@ 2022-11-04 13:57 Marc Poulhiès
0 siblings, 0 replies; 2+ messages in thread
From: Marc Poulhiès @ 2022-11-04 13:57 UTC (permalink / raw)
To: gcc-patches; +Cc: Javier Miranda
From: Javier Miranda <miranda@adacore.com>
gcc/ada/
* exp_disp.adb
(Expand_Interface_Conversion): Fix typo in comment.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/exp_disp.adb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index d8a45ffb7c9..41da7a23ee5 100644
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -1308,7 +1308,7 @@ package body Exp_Disp is
-- When the target type is an interface type that is an ancestor of
-- the operand type, it is generally safe to skip generating code to
-- displace the pointer to the object to reference the secondary
- -- dispatch table of the target interface type. Two scenaries are
+ -- dispatch table of the target interface type. Two scenarios are
-- possible here:
-- 1) The operand type is a regular tagged type
-- 2) The operand type is an interface type
--
2.34.1
^ permalink raw reply [flat|nested] 2+ messages in thread
* [COMMITTED] ada: Skip dynamic interface conversion under configurable runtime
@ 2022-11-04 13:57 Marc Poulhiès
0 siblings, 0 replies; 2+ messages in thread
From: Marc Poulhiès @ 2022-11-04 13:57 UTC (permalink / raw)
To: gcc-patches; +Cc: Javier Miranda
From: Javier Miranda <miranda@adacore.com>
gcc/ada/
* exp_disp.adb
(Expand_Interface_Conversion): Under configurable runtime, when
the target type is an interface that is an ancestor of the operand
type, skip generating code to displace the pointer to reference
the target dispatch table.
* sem_disp.adb
(Propagate_Tag): Handle class-wide types when checking for the
addition of an implicit interface conversion.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/exp_disp.adb | 32 +++++++++++++++++++++-----------
gcc/ada/sem_disp.adb | 15 ++++++++++++---
2 files changed, 33 insertions(+), 14 deletions(-)
diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index 43ae2e0f34d..d8a45ffb7c9 100644
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -1304,17 +1304,24 @@ package body Exp_Disp is
and then Is_Ancestor (Iface_Typ, Opnd, Use_Full_View => True)
then
return;
- end if;
- -- When the type of the operand and the target interface type match,
- -- it is generally safe to skip generating code to displace the
- -- pointer to the object to reference the secondary dispatch table
- -- associated with the target interface type. The exception to this
- -- general rule is when the underlying object of the type conversion
- -- is an object built by means of a dispatching constructor (since in
- -- such case the expansion of the constructor call is a direct call
- -- to an object primitive, i.e. without thunks, and the expansion of
- -- the constructor call adds an explicit conversion to the target
+ -- When the target type is an interface type that is an ancestor of
+ -- the operand type, it is generally safe to skip generating code to
+ -- displace the pointer to the object to reference the secondary
+ -- dispatch table of the target interface type. Two scenaries are
+ -- possible here:
+ -- 1) The operand type is a regular tagged type
+ -- 2) The operand type is an interface type
+ -- In the former case the target interface and the regular tagged
+ -- type share the primary dispatch table of the object; in the latter
+ -- case the operand interface has all the primitives of the ancestor
+ -- interface type (and exactly in the same dispatch table slots).
+ --
+ -- The exception to this general rule is when the underlying object
+ -- is built by means of a dispatching constructor (since in such case
+ -- the expansion of the constructor call is a direct call to an
+ -- object primitive, i.e. without thunks, and the expansion of
+ -- the constructor call adds this explicit conversion to the target
-- interface type to force the displacement of the pointer to the
-- object to reference the corresponding secondary dispatch table
-- (cf. Make_DT and Expand_Dispatching_Constructor_Call)).
@@ -1326,7 +1333,10 @@ package body Exp_Disp is
-- to the object, because generic dispatching constructors are not
-- supported.
- if Opnd = Iface_Typ and then not RTE_Available (RE_Displace) then
+ elsif Is_Interface (Iface_Typ)
+ and then Is_Ancestor (Iface_Typ, Opnd, Use_Full_View => True)
+ and then not RTE_Available (RE_Displace)
+ then
return;
end if;
end;
diff --git a/gcc/ada/sem_disp.adb b/gcc/ada/sem_disp.adb
index ee1d96ec389..af260136bc0 100644
--- a/gcc/ada/sem_disp.adb
+++ b/gcc/ada/sem_disp.adb
@@ -3072,18 +3072,27 @@ package body Sem_Disp is
if Tagged_Type_Expansion then
declare
- Call_Typ : constant Entity_Id := Etype (Call_Node);
+ Call_Typ : Entity_Id := Etype (Call_Node);
+ Ctrl_Typ : Entity_Id := Etype (Control);
begin
Expand_Dispatching_Call (Call_Node);
+ if Is_Class_Wide_Type (Call_Typ) then
+ Call_Typ := Root_Type (Call_Typ);
+ end if;
+
+ if Is_Class_Wide_Type (Ctrl_Typ) then
+ Ctrl_Typ := Root_Type (Ctrl_Typ);
+ end if;
+
-- If the controlling argument is an interface type and the type
-- of Call_Node differs then we must add an implicit conversion to
-- force displacement of the pointer to the object to reference
-- the secondary dispatch table of the interface.
- if Is_Interface (Etype (Control))
- and then Etype (Control) /= Call_Typ
+ if Is_Interface (Ctrl_Typ)
+ and then Ctrl_Typ /= Call_Typ
then
-- Cannot use Convert_To because the previous call to
-- Expand_Dispatching_Call leaves decorated the Call_Node
--
2.34.1
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-11-04 13:57 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-04 13:57 [COMMITTED] ada: Skip dynamic interface conversion under configurable runtime Marc Poulhiès
-- strict thread matches above, loose matches on Subject: below --
2022-11-04 13:57 Marc Poulhiès
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).