[LLVMdev] Google Summer of Code FP Range checks
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
> 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 http://llvm.cs.uiuc.edu
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory
More information about the llvm-dev