This is the mail archive of the gcc-patches@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]

Re: PING fwprop and pr/19653

From: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>
To: Steven Bosscher <stevenb dot gcc at gmail dot com>
Cc: law at redhat dot com, gcc-patches at gcc dot gnu dot org, Bernd Schmidt <bernds_cb1 at t-online dot de>
Date: Tue, 14 Mar 2006 08:27:50 +0100
Subject: Re: PING fwprop and pr/19653
References: <440E93D0.80208@lu.unisi.ch> <440F6373.7070201@t-online.de> <200603092042.11941.steven@gcc.gnu.org> <1142270291.2408.15.camel@localhost.localdomain> <571f6b510603131034g26ecbfbcm1cbb60511b57e197@mail.gmail.com>

But because the CFG edge from S2 to
S3 is a critical edge, there is no place for jump bypassing to record
the implicit set. Jump bypassing can only record an implicit set for
S3 if there is only one CFG edge to S3.

Fixing that with a gross hack basically made RTL jump threading at -O2 a no-op for me.

Do we need a split-critical-edges pass on RTL?

Paolo

Follow-Ups:
- Re: PING fwprop and pr/19653
  - From: Steven Bosscher

References:
- PING fwprop and pr/19653
  - From: Paolo Bonzini
- Re: PING fwprop and pr/19653
  - From: Bernd Schmidt
- Re: PING fwprop and pr/19653
  - From: Steven Bosscher
- Re: PING fwprop and pr/19653
  - From: Jeffrey A Law
- Re: PING fwprop and pr/19653
  - From: Steven Bosscher

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