[llvm-commits] [PATCH] Re: Solicit code review (change to CodeGen)
NAKAMURA Takumi
geek4civic at gmail.com
Sun Oct 14 00:54:18 PDT 2012
Please prune trailing whitespaces.
It passed selfhosting, for me.
http://bb.pgr.jp/builders/clang-3stage-x86_64-linux/builds/657
http://bb.pgr.jp/builders/clang-3stage-cygwin/builds/352
...Takumi
2012/10/13 Shuxin Yang <shuxin.llvm at gmail.com>:
> Hi,
>
> My previous change has a bug: I negated the condition code of a CMOV,
> and go ahead creating a new CMOV using the *ORIGINAL* condition code.
>
> This diff.patch passes the tests of "make check-all -C <buildroot>test",
> the SingleSource and MultiSource testing under projects/test_suite/.
>
> Thanks
>
> Shuxin
>
>
>
> On 10/10/12 1:20 PM, Shuxin Yang wrote:
>>
>> Hi,
>>
>> The attached is the fix to radar://11663049. The optimization can be
>> outlined by following rules:
>>
>> (select (x != c), e, c) -> select (x != c), e, x),
>> (select (x == c), c, e) -> select (x == c), x, e)
>> where the <c> is an integer constant.
>>
>> The reason for this change is that : on x86,
>> conditional-move-from-constant needs two instructions;
>> however, conditional-move-from-register need only one instruction.
>>
>> While the LowerSELECT() sounds to be the most convenient place for this
>> optimization, it turns out to be a bad place.The reason is that by replacing
>> the constant <c> with a symbolic value, it obscure some
>> instruction-combining opportunities which would otherwise be very easy to
>> spot. For that reason, I have to postpone the change to last
>> instruction-combining phase.
>>
>> The change passes the test of "make check-all -C <build-root/test" and
>> "make -C project/test-suite/SingleSource".
>>
>> Thanks
>> Shuxin
>
>
>
> _______________________________________________
> 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