[LLVMdev] Google Summer of Code FP Range checks
cs11b001+llvmdev at iith.ac.in
Tue Mar 17 11:25:07 PDT 2015
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.
Aditya V Kamath
IIT Hyderabad ODF Medak,
> 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
>> 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?
>> Please let me know your thoughts on the same.
>> Thank You
>> Aditya V Kamath
>> Undergraduate Student,
>> IIT Hyderabad ODF Medak,
>> 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...
More information about the llvm-dev