This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug tree-optimization/29716] [4.2/4.3 Regression] Wrong code with arrays



------- Comment #3 from pinskia at gcc dot gnu dot org  2006-11-04 22:18 -------
(In reply to comment #2)
> Starting with DOM we have
No, DOM is not related to the problem.
Before alias2:
  # SFT.3_31 = PHI <SFT.3_22(3), SFT.3_3(2)>;
  # SFT.2_30 = PHI <SFT.2_21(3), SFT.2_5(2)>;
  # SFT.1_29 = PHI <SFT.1_20(3), SFT.1_7(2)>;
  # i_28 = PHI <i_13(3), &a[2](2)>;
<L0>:;
  #   VUSE <t_10>;
  t.0_11 = t;
  D.1536_12 = t.0_11 + 1;
  #   SFT.1_20 = V_MAY_DEF <SFT.1_29>;
  #   SFT.2_21 = V_MAY_DEF <SFT.2_30>;
  #   SFT.3_22 = V_MAY_DEF <SFT.3_31>;
  *i_28 = D.1536_12;
  i_13 = i_28 - 4B;
  if (&a < i_13) goto <L0>; else goto <L2>;


After alias2:
  # SFT.3_31 = PHI <SFT.3_31(3), SFT.3_3(2)>;
  # SFT.2_30 = PHI <SFT.2_30(3), SFT.2_5(2)>;
  # SFT.1_29 = PHI <SFT.1_20(3), SFT.1_7(2)>;
  # i_28 = PHI <i_13(3), &a[2](2)>;
<L0>:;
  #   VUSE <t_10>;
  t.0_11 = t;
  D.1536_12 = t.0_11 + 1;
  #   SFT.1_20 = V_MAY_DEF <SFT.1_29>;
  *i_28 = D.1536_12;
  i_13 = i_28 - 4B;
  if (&a < i_13) goto <L0>; else goto <L2>;


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|law at gcc dot gnu dot org  |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29716


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]