[polly] r267559 - Allow unsigned comparisons

[Tobias Grosser via llvm-commits]

On 04/27/2016 02:56 PM, Johannes Doerfert wrote:
> On 04/27, Tobias Grosser wrote:
>> On 04/26/2016 04:33 PM, Johannes Doerfert via llvm-commits wrote:
>>> Author: jdoerfert
>>> Date: Tue Apr 26 09:33:12 2016
>>> New Revision: 267559
>>>
>>> URL: http://llvm.org/viewvc/llvm-project?rev=267559&view=rev
>>> Log:
>>> Allow unsigned comparisons
>>>
>>>   With this patch we will optimistically assume that the result of an unsigned
>>>   comparison is the same as the result of the same comparison interpreted as
>>>   signed.
>>
>> After this commit, I see a miscompile in
>> http://lab.llvm.org:8011/builders/perf-x86_64-penryn-O3-polly-before-vectorizer-unprofitable/builds/1716
> Thank you for noticing.
> 
>   1) I cannot reproduce this locally, queens works fine on my machine.
>   2) I just pushed a fixed that fixes a problem we currently have but we
>      have to see if it is related.
>   3) Can anybody else reproduce the problem locally?

I can reproduce this locally with the following command line:

mysandbox/bin/lnt runtest nt --sandbox /tmp --cc cmake_opt/bin/clang
--test-suite test-suite/ --only-test SingleSource/Benchmarks/Stanford
--cflag="-Xclang -load" --cflag="-Xclang
/home/grosser/Projects/polly/cmake_opt/lib/LLVMPolly.so"
--mllvm=-polly-position=before-vectorizer --mllvm=-polly
--mllvm=-polly-process-unprofitable

Does this help to reproduce this?

Best,
Tobias