[PATCH] Improve machine code correctness in codegen

Matthias Braun mbraun at apple.com
Thu Oct 3 11:02:10 PDT 2013

On Oct 3, 2013, at 10:52 AM, Eric Christopher <echristo at gmail.com> wrote:

> The standard mechanism is one patch per email. Also, usually more
> description as well.
I hope the descriptions in the commit-messages are enough. Here they are again:

* fix bad kill flags after if conversion:
If the true block had kill flags on registers being used in the false
block, then these kill flags must be removed after if conversion.

* fix post ra scheduler setting wrong kill flags in bundles
The PostRA scheduler only looked at the BUNDLE marker instruction, which
resulted in invalid kill flags inside the bundle. This version changes
it so the kill flags are set inside the bundle at the latest bundle
instruction possible.

* MachineVerifier: allow physreg use if just a subreg is defined
We can't mark partially undefined registers, so we have to allow reading
a register in the machine verifier if just parts of a register are


> -eric
> On Thu, Oct 3, 2013 at 10:44 AM, Matthias Braun <mbraun at apple.com> wrote:
>> The attached patches improve code correctness (in the sense of -verify-machineinstrs) in codegen. This mainly improves the situation for the arm backend. Please review, thanks.
>> Greetings
>>        Matthias
>> _______________________________________________
>> llvm-commits mailing list
>> llvm-commits at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

More information about the llvm-commits mailing list