[LLVMdev] Google Summer of Code FP Range checks

Hal Finkel hfinkel at anl.gov
Mon Mar 16 10:34:52 PDT 2015

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


> 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

More information about the llvm-dev mailing list