[LLVMdev] Google Summer of Code FP Range checks

[Aditya Kamath]

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>