* sparse-llvm outstanding fixes
@ 2017-03-13 12:08 Dibyendu Majumdar
2017-03-13 19:04 ` Dibyendu Majumdar
0 siblings, 1 reply; 3+ messages in thread
From: Dibyendu Majumdar @ 2017-03-13 12:08 UTC (permalink / raw)
To: Linux-Sparse
Hi,
This is just a summary of the fixes that are not yet in any patch series:
+ Incorrect generation of GEP offsets due to offset being unsigned.
+ op_fpcast implementation
+ op_setval implementation
+ Fix for variadic function call based upon type information in pseudo values
+ Fix for local variables and simple assignments, including support
for floating type values.
Regards
Dibyendu
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: sparse-llvm outstanding fixes
2017-03-13 12:08 sparse-llvm outstanding fixes Dibyendu Majumdar
@ 2017-03-13 19:04 ` Dibyendu Majumdar
2017-03-26 22:14 ` Dibyendu Majumdar
0 siblings, 1 reply; 3+ messages in thread
From: Dibyendu Majumdar @ 2017-03-13 19:04 UTC (permalink / raw)
To: Linux-Sparse
On 13 March 2017 at 12:08, Dibyendu Majumdar <mobile@majumdar.org.uk> wrote:
> Hi,
>
> This is just a summary of the fixes that are not yet in any patch series:
>
> + Incorrect generation of GEP offsets due to offset being unsigned.
> + op_fpcast implementation
> + op_setval implementation
> + Fix for variadic function call based upon type information in pseudo values
> + Fix for local variables and simple assignments, including support
> for floating type values.
>
Also function ptr call syntax of the type (*f)() results in wrong
linearized output. There is no fix for this yet.
Regards
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: sparse-llvm outstanding fixes
2017-03-13 19:04 ` Dibyendu Majumdar
@ 2017-03-26 22:14 ` Dibyendu Majumdar
0 siblings, 0 replies; 3+ messages in thread
From: Dibyendu Majumdar @ 2017-03-26 22:14 UTC (permalink / raw)
To: Linux-Sparse; +Cc: Luc Van Oostenryck, Christopher Li
Hi,
I have been reviewing and have selectively merged changes from the
latest v5 LLVM fix series. There are still some issues that are
outstanding:
On 13 March 2017 at 19:04, Dibyendu Majumdar <mobile@majumdar.org.uk> wrote:
>> This is just a summary of the fixes that are not yet in any patch series:
>>
>> + Incorrect generation of GEP offsets due to offset being unsigned.
>> + Support for local variables is missing (local variables get declared as global)
> + function ptr call syntax of the type (*f)() results in wrong linearized output.
+ Initialization of local objects must zero out the object before
executing instructions to initialize.
+ The simplification of instructions that are of type floating should
be disabled to ensure correct output.
+ The simplification phase generates incorrect code when a variable is
initialized in a branch and the usage is such that variable is
initialized prior to use.
+ The handling of floats is not yet complete in sparse-llvm
I am not able to test the published version of sparse-llvm as it is
missing some of the fixes are not present.
Thanks and Regards
Dibyendu
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2017-03-26 22:15 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-03-13 12:08 sparse-llvm outstanding fixes Dibyendu Majumdar
2017-03-13 19:04 ` Dibyendu Majumdar
2017-03-26 22:14 ` Dibyendu Majumdar
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.