[llvm-commits] [llvm] r130877 - in /llvm/trunk: lib/CodeGen/MachineCSE.cpp test/CodeGen/Thumb2/thumb2-cbnz.ll test/CodeGen/X86/cmp-redundant.ll

[Eli Friedman]

On Thu, May 5, 2011 at 12:58 PM, Galina Kistanova <gkistanova at gmail.com> wrote:
> I will look at this.

Fortunately, I managed to get a testcase through other means;
hopefully this is working with r130925.

-Eli

> On Wed, May 4, 2011 at 5:35 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
>> On Wed, May 4, 2011 at 3:10 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
>>> Author: efriedma
>>> Date: Wed May  4 17:10:36 2011
>>> New Revision: 130877
>>>
>>> URL: http://llvm.org/viewvc/llvm-project?rev=130877&view=rev
>>> Log:
>>> Re-commit r130862 with a minor change to avoid an iterator running off the edge in some cases.
>>>
>>> Original message:
>>>
>>> Teach MachineCSE how to do simple cross-block CSE involving physregs.  This allows, for example, eliminating duplicate cmpl's on x86. Part of rdar://problem/8259436 .
>>>
>>>
>>
>> This is breaking a few of the buildbots with the following assertion:
>>
>> lib/CodeGen/LiveInterval.cpp:267: llvm::LiveRange*
>> llvm::LiveInterval::addRangeFrom(llvm::LiveRange, llvm::LiveRange*):
>> Assertion `B->end <= Start && "Cannot overlap two LiveRanges with
>> differing ValID's" " (did you def the same reg twice in a
>> MachineInstr?)"' failed.
>>
>> I'm not sure how to go about reproducing this, so it would be very
>> much appreciated if someone could send me a bitcode file where this
>> reproduces.
>>
>> Thanks,
>> Eli
>>
>> _______________________________________________
>> llvm-commits mailing list
>> llvm-commits at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>>
>