llvm dev - Mar 2015 - [LLVMdev] Google Summer of Code FP Range checks

Hi,

I am interested in applying to LLVM as part Google Summer of Code 2015. I have
been going through LLVM code since about 4 months now, and while going though
mailing list discussions I found particular interest in the point raised by Arch
Robinson in January about the development of a floating point range check pass
in LLVM.

I have been in touch with Arch as well as Hal Finkel about this and I wanted to
know the feedback from the general community about this project, especially as
being part of Summer of Code.

I have currently looked at integer range analysis papers and also the David
Goldberg paper on floating point arithmetic. I have also gone through the rough
code that was posted on the mailing list by Arch, which sets up a basic lattice
for the range checks. I feel that with enough effort during the course of the
Summer of Code program I should be able to get a good enough implementation in
LLVM.

Please let me know your thoughts on the same.

Thank You
Aditya V Kamath
Undergraduate Student,
IIT Hyderabad ODF Medak,
Yeddumailaram,
Hyderabad 502205

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150313/dd74e674/attachment.html>

----- Original Message -----
> From: "Aditya Kamath" <cs11b001+llvmdev at iith.ac.in>
> To: llvmdev at cs.uiuc.edu
> Sent: Thursday, March 12, 2015 2:01:08 PM
> Subject: [LLVMdev] Google Summer of Code FP Range checks
> 
> 
> Hi,
> 
> 
> I am interested in applying to LLVM as part Google Summer of Code
> 2015. I have been going through LLVM code since about 4 months now,
> and while going though mailing list discussions I found particular
> interest in the point raised by Arch Robinson in January about the
> development of a floating point range check pass in LLVM.
> 
> 
> I have been in touch with Arch as well as Hal Finkel about this and I
> wanted to know the feedback from the general community about this
> project, especially as being part of Summer of Code.
> 
> 
> I have currently looked at integer range analysis papers and also the
> David Goldberg paper on floating point arithmetic. I have also gone
> through the rough code that was posted on the mailing list by Arch,
> which sets up a basic lattice for the range checks. I feel that with
> enough effort during the course of the Summer of Code program I
> should be able to get a good enough implementation in LLVM.
> 
This is essentially enhancing LVI (and the passes that use it, JumpThreading and
CorrelatedValuePropagation) to handle floating-point ranges, correct? Or do you
have something else in mind?

 -Hal
> 
> Please let me know your thoughts on the same.
> 
> 
> Thank You
> 
> 
> Aditya V Kamath
> Undergraduate Student,
> IIT Hyderabad ODF Medak,
> Yeddumailaram,
> Hyderabad 502205
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
> 
-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory

Hi,

Yes I will be enhancing LVI and the passes that use it.
I am currently going through the code of LVI and have a basic understanding at
this point of time.

Also I will be sending a draft of my GSoC proposal to the mailing list for
comments.

Thanks
Aditya V Kamath
Undergraduate Student,
IIT Hyderabad ODF Medak,
Yeddumailaram,
Hyderabad 502205
> On 16-Mar-2015, at 11:04 pm, Hal Finkel <hfinkel at anl.gov> wrote:
> 
> ----- Original Message -----
>> From: "Aditya Kamath" <cs11b001+llvmdev at iith.ac.in>
>> To: llvmdev at cs.uiuc.edu
>> Sent: Thursday, March 12, 2015 2:01:08 PM
>> Subject: [LLVMdev] Google Summer of Code FP Range checks
>> 
>> 
>> Hi,
>> 
>> 
>> I am interested in applying to LLVM as part Google Summer of Code
>> 2015. I have been going through LLVM code since about 4 months now,
>> and while going though mailing list discussions I found particular
>> interest in the point raised by Arch Robinson in January about the
>> development of a floating point range check pass in LLVM.
>> 
>> 
>> I have been in touch with Arch as well as Hal Finkel about this and I
>> wanted to know the feedback from the general community about this
>> project, especially as being part of Summer of Code.
>> 
>> 
>> I have currently looked at integer range analysis papers and also the
>> David Goldberg paper on floating point arithmetic. I have also gone
>> through the rough code that was posted on the mailing list by Arch,
>> which sets up a basic lattice for the range checks. I feel that with
>> enough effort during the course of the Summer of Code program I
>> should be able to get a good enough implementation in LLVM.
>> 
> 
> This is essentially enhancing LVI (and the passes that use it,
JumpThreading and CorrelatedValuePropagation) to handle floating-point ranges,
correct? Or do you have something else in mind?
> 
> -Hal
> 
>> 
>> Please let me know your thoughts on the same.
>> 
>> 
>> Thank You
>> 
>> 
>> Aditya V Kamath
>> Undergraduate Student,
>> IIT Hyderabad ODF Medak,
>> Yeddumailaram,
>> Hyderabad 502205
>> 
>> _______________________________________________
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu <mailto:LLVMdev at cs.uiuc.edu>        
http://llvm.cs.uiuc.edu <http://llvm.cs.uiuc.edu/>
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
<http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev>
>> 
> 
> -- 
> Hal Finkel
> Assistant Computational Scientist
> Leadership Computing Facility
> Argonne National Laboratory
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150317/08449678/attachment.html>