Displaying 11 results from an estimated 11 matches for "macbookpro3".
Did you mean:
macbookpro
2016 Jul 01
0
Path condition propagation
...eater && b) {
> if (n1 == n2) {
> return false; // unreachable
> }
> }
> return true;
> }
>
> The line marked unreachable cannot be reached, however currently LLVM does
> not optimize it out
?????
Yes it does.
[dannyb at dannyb-macbookpro3 18:39:18] ~/sources/llvm
(git-svn)-[newgvn-predicates]- :( $ clang -c -emit-llvm ~/greater.c -O1
[dannyb at dannyb-macbookpro3 18:39:22] ~/sources/llvm
(git-svn)-[newgvn-predicates]- :) $ debug-build/bin/llvm-dis greater.bc
[dannyb at dannyb-macbookpro3 18:39:24] ~/sources/llvm
(git-svn)-[newgvn-pr...
2016 Jul 01
3
Path condition propagation
Hi all,
Consider this C code:
#include <stdbool.h>
bool func(int n1, int n2, bool b) {
bool greater = n1 > n2;
if (greater && b) {
if (n1 == n2) {
return false; // unreachable
}
}
return true;
}
The line marked unreachable cannot be reached, however currently LLVM does not optimize it out. I believe this is because LLVM does not
2016 Jul 01
3
Path condition propagation
...r with GVN but it doesn't seem to help for this modified
test case either.
Carlos, in answer to your original question, you may want to see if you can
make LLVM get this case by modifying processCmp in
lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
-- Sean Silva
> [dannyb at dannyb-macbookpro3 18:39:18] ~/sources/llvm
> (git-svn)-[newgvn-predicates]- :( $ clang -c -emit-llvm ~/greater.c -O1
> [dannyb at dannyb-macbookpro3 18:39:22] ~/sources/llvm
> (git-svn)-[newgvn-predicates]- :) $ debug-build/bin/llvm-dis greater.bc
> [dannyb at dannyb-macbookpro3 18:39:24] ~/sources/llvm...
2016 Jul 03
2
Path condition propagation
...r.
>>
>> Carlos, in answer to your original question, you may want to see if you
>> can make LLVM get this case by modifying processCmp in
>> lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
>>
>> -- Sean Silva
>>
>>
>>> [dannyb at dannyb-macbookpro3 18:39:18] ~/sources/llvm
>>> (git-svn)-[newgvn-predicates]- :( $ clang -c -emit-llvm ~/greater.c -O1
>>> [dannyb at dannyb-macbookpro3 18:39:22] ~/sources/llvm
>>> (git-svn)-[newgvn-predicates]- :) $ debug-build/bin/llvm-dis greater.bc
>>> [dannyb at dannyb-macbo...
2016 Jul 03
2
Path condition propagation
...in answer to your original question, you may want to see if you
>>> can make LLVM get this case by modifying processCmp in
>>> lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
>>>
>>> -- Sean Silva
>>>
>>>
>>>> [dannyb at dannyb-macbookpro3 18:39:18] ~/sources/llvm
>>>> (git-svn)-[newgvn-predicates]- :( $ clang -c -emit-llvm ~/greater.c -O1
>>>> [dannyb at dannyb-macbookpro3 18:39:22] ~/sources/llvm
>>>> (git-svn)-[newgvn-predicates]- :) $ debug-build/bin/llvm-dis greater.bc
>>>> [dannyb...
2016 Jul 01
2
Path condition propagation
...r this modified
> test case either.
>
> Carlos, in answer to your original question, you may want to see if you
> can make LLVM get this case by modifying processCmp in
> lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
>
> -- Sean Silva
>
>
>> [dannyb at dannyb-macbookpro3 18:39:18] ~/sources/llvm
>> (git-svn)-[newgvn-predicates]- :( $ clang -c -emit-llvm ~/greater.c -O1
>> [dannyb at dannyb-macbookpro3 18:39:22] ~/sources/llvm
>> (git-svn)-[newgvn-predicates]- :) $ debug-build/bin/llvm-dis greater.bc
>> [dannyb at dannyb-macbookpro3 18:39:24]...
2016 Aug 12
4
Invoke loop vectorizer
...t; test.c
>
> #define SIZE 128
>
> void bar(int *restrict A, int* restrict B,int K) {
>
> #pragma clang loop vectorize(enable) vectorize_width(2) unroll_count(8)
>
> for (int i = 0; i < SIZE; ++i)
>
> A[i] += B[i] + K;
>
> }
>
> [dannyb at dannyb-macbookpro3 11:37:20] ~ :) $ clang -O3 test.c -c
> -save-temps
> [dannyb at dannyb-macbookpro3 11:38:28] ~ :) $ pcregrep -i "^\s*p"
> test.s|less
> pushq %rbp
> pshufd $68, %xmm0, %xmm0 ## xmm0 = xmm0[0,1,0,1]
> pslldq $8, %xmm1 ## xm...
2016 Jul 04
2
Path condition propagation
...question, you may want to see if you
>>>> can make LLVM get this case by modifying processCmp in
>>>> lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
>>>>
>>>> -- Sean Silva
>>>>
>>>>
>>>>> [dannyb at dannyb-macbookpro3 18:39:18] ~/sources/llvm
>>>>> (git-svn)-[newgvn-predicates]- :( $ clang -c -emit-llvm ~/greater.c -O1
>>>>> [dannyb at dannyb-macbookpro3 18:39:22] ~/sources/llvm
>>>>> (git-svn)-[newgvn-predicates]- :) $ debug-build/bin/llvm-dis greater.bc
>>>...
2016 Aug 12
2
Invoke loop vectorizer
Hi Daniel,
I increased the size of your test to be 128 but -stats still shows no loop
optimized...
Xiaochu
On Aug 12, 2016 11:11 AM, "Daniel Berlin" <dberlin at dberlin.org> wrote:
> It's not possible to know that A and B don't alias in this example. It's
> almost certainly not profitable to add a runtime check given the size of
> the loop.
>
>
>
2016 Aug 19
3
OT: Cloning llvm repo over low speed connection != fun
19.08.2016, 18:30, "Renato Golin via llvm-dev" <llvm-dev at lists.llvm.org>:
> On 19 August 2016 at 16:22, C Bergström <llvm-dev at lists.llvm.org> wrote:
>> Have you ever stayed in a non-hilton hotel while traveling? I don't
>> mean couch surfing, but just average place.. I'd even add some above
>> average places to the list and when you get
2015 Aug 27
19
[Bug 91779] New: MacBookPro3, 1 (NV84) fails to load nouveau on linux 4.1 -- Invalid ROM contents
https://bugs.freedesktop.org/show_bug.cgi?id=91779
Bug ID: 91779
Summary: MacBookPro3,1 (NV84) fails to load nouveau on linux
4.1 -- Invalid ROM contents
Product: xorg
Version: unspecified
Hardware: Other
OS: All
Status: NEW
Severity: normal
Priority: medium
Component: Driver...