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. Please let me know your thoughts on the same. Thank You Aditya V Kamath Undergraduate Student, IIT Hyderabad ODF Medak, Yeddumailaram, Hyderabad 502205 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150313/dd74e674/attachment.html>
----- 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
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>