SRA generates uninitialized var use

2011-06-18 Thread Xinliang David Li
Compiling the test case in the patch with -O2 -m32 without the fix, the program will abort. The problem is a var decl whose address is taken is not marked as addressable leading to bad SSA update (missing VUSE). (the triaging used the the .after and .after_cleanup dump diff and found the

Re: Improve DSE in the presence of calls

2011-06-18 Thread Ramana Radhakrishnan
This seems to have triggered http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49452 on arm-linux-gnueabi Might well be a DUP of PR49429 but I haven't looked at it yet. cheers Ramana

[Ada] Fix compilation error on constant passed as memory operand to Asm

2011-06-18 Thread Eric Botcazou
This prevents the compiler from rejecting a constant passed as memory operand to an Asm statement. While this may seem to be a questionable construct, it can be generated by the front-end in specific cases. Tested on i586-suse-linux, applied on the mainline. 2011-06-18 Eric Botcazou

[Ada] Fix bugs with volatile and components of aggregate types

2011-06-18 Thread Eric Botcazou
This is the usual problem of volatile accesses not preserved under (heavy) optimization. In Ada, we can put pragma Volatile on components of composite types without putting it on the enclosing type itself, but this doesn't really work when you're starting to optimize. Mostly gigi changes, but

Re: [testsuite] dg-final object-size: fail if file does not exist

2011-06-18 Thread Mike Stump
On Jun 16, 2011, at 5:26 PM, Janis Johnson wrote: This new fix to object-size, used within dg-final, continues to report static test errors as ERROR, but reports problems detected at runtime as UNRESOLVED, writing the reason to the log file. I'm confident that a missing object file should

[RFC, ARM] Convert thumb1 prologue completely to rtl

2011-06-18 Thread Richard Henderson
I couldn't find anything terribly tricky about the conversion. The existing push_mult pattern would service thumb1 with just a tweak or two to the memory predicate and the length. The existing emit_multi_reg_push wasn't set up to handle a complete switch of registers for unwind info. I thought

Re: Improve jump threading #5 of N

2011-06-18 Thread H.J. Lu
On Wed, Jun 15, 2011 at 9:26 PM, Jeff Law l...@redhat.com wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 So as I've mentioned previously, I've been working on a relatively small change to the jump threading code which would allow it to duplicate a join block when doing so allows us

[PATCH] backport r175089/r175108 to gcc-4_5-branch

2011-06-18 Thread Jack Howarth
Since the common config/mh-darwin file doesn't exist on gcc-4_5-branch, the following patch creates a config/mh-x86-darwin to allow r175089 and r175108 to be effectively backported. This change is worthwhile to provide darwin11 users access to dragonegg (since dragonegg doesn't build on gcc