Displaying 20 results from an estimated 300 matches similar to: "[LLVMdev] Bugfix: SCCP"
2009 Nov 10
0
[LLVMdev] Bugfix: SCCP
On Nov 10, 2009, at 6:58 AM, Stephan Reiter wrote:
> The SCCP pass was failing an assertion that I traced back to
> SCCPSolver::visitExtractValueInst. getStructValueState was used on the
> aggregate operand even if it had no structure type. I added a check to
> use getStructValueState for structs and getValueState for other
> operands.
>
> This behavior was introduced in
2006 May 10
2
[LLVMdev] SCCP
Chris Lattner wrote:
> On Tue, 9 May 2006, Nick Lewycky wrote:
>
>> For an analysis pass, I'm interested in reading the lattice values
>> calculated by SCCP. Should I split the current SCCP optimization into an
>> analysis piece and the optimization that depends on it, so that I can
>> use its analysis results?
>
> SCCP is already split into an SCCPSolver
2006 May 10
0
[LLVMdev] SCCP
On Tue, 9 May 2006, Nick Lewycky wrote:
>>> For an analysis pass, I'm interested in reading the lattice values
>>> calculated by SCCP. Should I split the current SCCP optimization into an
>>> analysis piece and the optimization that depends on it, so that I can
>>> use its analysis results?
>>
>> SCCP is already split into an SCCPSolver class
2006 May 10
2
[LLVMdev] SCCP
For an analysis pass, I'm interested in reading the lattice values
calculated by SCCP. Should I split the current SCCP optimization into an
analysis piece and the optimization that depends on it, so that I can
use its analysis results?
Nick Lewycky
2006 May 10
0
[LLVMdev] SCCP
On Tue, 9 May 2006, Nick Lewycky wrote:
> For an analysis pass, I'm interested in reading the lattice values
> calculated by SCCP. Should I split the current SCCP optimization into an
> analysis piece and the optimization that depends on it, so that I can
> use its analysis results?
SCCP is already split into an SCCPSolver class that is used by the SCCP
and IPSCCP classes. You
2006 May 10
2
[LLVMdev] SCCP
Chris Lattner wrote:
> On Tue, 9 May 2006, Nick Lewycky wrote:
>
>>>> For an analysis pass, I'm interested in reading the lattice values
>>>> calculated by SCCP. Should I split the current SCCP optimization
>>>> into an
>>>> analysis piece and the optimization that depends on it, so that I can
>>>> use its analysis results?
2006 May 10
0
[LLVMdev] SCCP
On Tue, 9 May 2006, Nick Lewycky wrote:
>> You could do that, but SCCPSolver isn't really useful to mainline LLVM
>> for anything other than SCCP and IPSCCP, so we don't need it in a public
>> header. Out of curiosity, what are you looking to use the latice values
>> for? Why not just run SCCP and then look at the transformed code?
>
> I was planning to
2006 May 10
2
[LLVMdev] SCCP
Chris Lattner wrote:
> On Tue, 9 May 2006, Nick Lewycky wrote:
>
>>> You could do that, but SCCPSolver isn't really useful to mainline LLVM
>>> for anything other than SCCP and IPSCCP, so we don't need it in a public
>>> header. Out of curiosity, what are you looking to use the latice values
>>> for? Why not just run SCCP and then look at the
2019 Jun 28
2
Conflicts with custom passes
Hi list,
I am making a simple custom pass that inserts print function calls for each instruction, so that compiled programs print out all llvm instructions on the dynamic path.
For example, (conceptually)
printf(“%s”, “x = x + 1”); // inserted code
x = y + 1; // original code
But it seems that there are some conflicts with existing optimization paths. When I compile a program with the custom
2006 May 10
0
[LLVMdev] SCCP
On Wed, 10 May 2006, Nick Lewycky wrote:
>> Then just run the SCCP pass, and check to see if any operands satisfy
>> the predicate "isa<UndefValue>(V)". LLVM explicitly represents
>> undefined values.
>
> I have a case where it doesn't, but perhaps the SCCP pass isn't to blame:
>
> extern void write_char(int);
>
> const char foo[4] =
2016 Dec 31
0
SCCP is not always correct in presence of undef (+ proposed fix)
Hi David,
Looking at the original bug, it seems like a straightforward
undef-propagation bug to me -- SCCP was folding "or undef, constant"
to "undef", which is wrong. Why is changing that not the fix? That
is, some variant of
diff --git a/lib/Transforms/Scalar/SCCP.cpp b/lib/Transforms/Scalar/SCCP.cpp
index 8a6be97..45f1241 100644
--- a/lib/Transforms/Scalar/SCCP.cpp
+++
2016 Dec 31
4
SCCP is not always correct in presence of undef (+ proposed fix)
On Fri, Dec 30, 2016, 9:04 PM Sanjoy Das via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> Hi David,
>
> Looking at the original bug, it seems like a straightforward
> undef-propagation bug to me -- SCCP was folding "or undef, constant"
> to "undef", which is wrong. Why is changing that not the fix? That
> is, some variant of
>
You would still
2011 Jan 03
1
[LLVMdev] Erasing dead blocks
Dear LLVM developers,
I have a question regarding the IPSCCP class and the handling of dead blocks:
The file lib/Transforms/Scalar/SCCP.cpp of llvm 2.8 from contains some
code to deal with a dead block which could not be folded (line
1909ff). This happens when a user of this dead block is a branch or
switch with an undef condition. The action taken than is to replace
this terminator with an
2016 Dec 30
5
SCCP is not always correct in presence of undef (+ proposed fix)
Hi.
I'm sending this email to -dev as this may be of interest of
many/people may have opinions/want to try the change before it goes in
to report problems.
I've been recently working on a patch to integrate `undef` in the SCCP
solver, in the hope of fixing a tail of latent bugs in SCCP which
remained uncovered for many years. I think this is a decent time to
propose, so that it can
2006 May 10
2
[LLVMdev] SCCP
Chris Lattner wrote:
> On Wed, 10 May 2006, Nick Lewycky wrote:
>
>>> Then just run the SCCP pass, and check to see if any operands satisfy
>>> the predicate "isa<UndefValue>(V)". LLVM explicitly represents
>>> undefined values.
>>
>>
>> I have a case where it doesn't, but perhaps the SCCP pass isn't to blame:
>>
2008 Jul 01
4
[LLVMdev] llvm/tools/lto* rename heads up
Devang removed the old llvm/tools/lto directory and renamed lto2 ->
lto. The end result of this is that 'svn up' may complain. If you
get an error about this from svn, just do:
$ rm -rf llvm/tools/lto*
$ svn up llvm/tools
to fix it,
-Chris
2016 Dec 31
0
SCCP is not always correct in presence of undef (+ proposed fix)
Hi,
On Fri, Dec 30, 2016 at 9:23 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>
>
> On Fri, Dec 30, 2016, 9:04 PM Sanjoy Das via llvm-dev
> <llvm-dev at lists.llvm.org> wrote:
>>
>> Hi David,
>>
>> Looking at the original bug, it seems like a straightforward
>> undef-propagation bug to me -- SCCP was folding "or undef, constant"
2009 Sep 27
2
[LLVMdev] llvm-db status
I found that llvm-db is the front end for lib/Debugger.
I would like to ask you if there is anyone who is actively working on
this problem,
and if you any specific directions/goals/wish list
~Ioannis
On Sep 27, 6:41 pm, Chris Lattner <clatt... at apple.com> wrote:
> On Sep 27, 2009, at 3:34 PM, idoud wrote:
>
>
>
> > Hi,
>
> > I would like to ask what is the
2008 Jul 01
0
[LLVMdev] llvm/tools/lto* rename heads up
I have experienced this with a svn 1.5 client but not with 1.4.6.
Did anybody see this with a 1.4.6 (or older) client?
Btw. what is the server version?
Anyway this seems to be a bug in subversion.
Cheers,
Gabor
PS: http://subversion.tigris.org/servlets/ReadMsg?list=users&msgNo=79361
On Jul 1, 5:27 am, Chris Lattner <clatt... at apple.com> wrote:
> Devang removed the old
2009 Sep 28
0
[LLVMdev] llvm-db status
No one is working on it or even thinking about it. It is so far from
being useful that it should probably just be removed.
-Chris
On Sep 27, 2009, at 4:29 PM, idoud <doudalis at gmail.com> wrote:
> I found that llvm-db is the front end for lib/Debugger.
>
> I would like to ask you if there is anyone who is actively working on
> this problem,
> and if you any specific