[Bug ipa/105193] Code divergence based on -fdump-tree-* since r9-5080-gf7293b9dfab5e6e7

[marxin at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105193

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-04-07
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
It's speculative devirtualization that plays the role:

$ g++ -O2 NodeImpl.ii -c -S -o 1.s -fdump-tree-all=/dev/null
-fdump-tree-optimized=1 && g++ -O2 NodeImpl.ii -c -S -o 2.s
-fdump-tree-optimized=2 && diff -u 1 2
--- 1   2022-04-07 11:43:51.739540416 +0200
+++ 2   2022-04-07 11:43:51.767540290 +0200
@@ -12,7 +12,8 @@

 ;; Function NodeImpl::deleteIf (_ZN8NodeImpl8deleteIfEv, funcdef_no=1,
decl_uid=2352, cgraph_uid=2, symbol_order=2)

-Removing basic block 5
+Removing basic block 7
+Removing basic block 8
 void NodeImpl::deleteIf (struct NodeImpl * const this)
 {
   bool _6;
@@ -22,25 +23,35 @@
   struct NodeImpl * _10;
   int (*) () * _11;
   int (*) () _12;
+  void * PROF_13;

   <bb 2> [local count: 1073741824]:
   _6 = NodeImpl::isOwned (this_4(D));
   if (_6 != 0)
-    goto <bb 4>; [34.00%]
+    goto <bb 6>; [34.00%]
   else
     goto <bb 3>; [66.00%]

   <bb 3> [local count: 708669601]:
   _7 = this_4(D)->_vptr.NodeImpl;
   _8 = *_7;
+  PROF_13 = [obj_type_ref] OBJ_TYPE_REF(_8;(struct NodeImpl)this_4(D)->0);
+  if (PROF_13 == isAttrImpl)
+    goto <bb 5>; [80.00%]
+  else
+    goto <bb 4>; [20.00%]
+
+  <bb 4> [local count: 141733922]:
   OBJ_TYPE_REF(_8;(struct NodeImpl)this_4(D)->0) (this_4(D));
+
+  <bb 5> [local count: 708669601]:
   deleteIf_thisNode.1_9 = deleteIf_thisNode;
   _10 = &MEM[(struct AttrImpl *)deleteIf_thisNode.1_9].D.2378;
   _11 = MEM[(struct AttrImpl *)deleteIf_thisNode.1_9].D.2378._vptr.NodeImpl;
   _12 = MEM[(int (*) () *)_11 + 8B];
   OBJ_TYPE_REF(_12;(struct NodeImpl)_10->1) (_10); [tail call]

-  <bb 4> [local count: 1073741824]:
+  <bb 6> [local count: 1073741824]:
   return;

 }