[LLVMdev] Google Summer of Code FP Range checks

[Hal Finkel]

----- 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