This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: fix for pr47837
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 03/08/11 11:55, Diego Novillo wrote:
> On 03/08/2011 12:54 PM, Xinliang David Li wrote:
>> Please review the attached patch, it does some simplification of the
>> complicated logical or expressions (x1 or x2 or x3 ...) constructed
>> from control flow analysis into simpler form.
>>
>> Bootstraps and works on s390x for both testcases.
>>
>> Bootstraps on x86-64. Regression testing is on going (it takes forever
>> (whole night already) to finish possibly because the lto test in
>> c-torture ..).
>>
>> Ok for trunk?
>
> As a general comment, do you think we will start adding more and more of
> these special pattern matchers into uninit analysis? I'm wondering how
> much effort should we make into creating something more generic.
>
> Right now it's this pattern, but there may be others. It could grow
> pretty big and ugly.
We have a real problem in that our underlying analysis to eliminate
unexecutable edges is the CFG needs help, particularly for path
sensitive cases.
Given that I'm seeing a real interest in other analysis that ultimately
have problems similar to those for uninitialized variable analysis,
building too much goo into tree-ssa-uninit doesn't seem like a long term
solution.
Jeff
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/
iQEcBAEBAgAGBQJNdqfpAAoJEBRtltQi2kC7eaEH/RW9KeI/ak0ZuRa3q1vABWlz
ludq1GhcFC3PETXN7c89a9kfNF3fsSCEUrDWI+klddQVTuJW00915ZcK361Q9K91
ra/uGXJA1N2Uk/sVyb939Q3LkXtyCUrHGT/AIJe8e6FzXEZYCFt1UqOk5O0SVcqb
VNAkZIHagdrGkGBpdn0nyDwf8nJly9iLq6koBPX1gRKXfeboMRUBSno0smqRi4GA
91JLYRwLx/Xydwyxg4hPTdhDZZKWbLhr8exrdvJCJ/eFJBpqtyVVtt5yS+km6Gbv
xe/p/LOVfydNLgLeoAlEPrGIBmp/p5DOtg4MqLt51whJZ7TTveECwNdh3/57mXI=
=BIpv
-----END PGP SIGNATURE-----