Dear Nicolas, I'm curious why you are using ABCD in vmkit. Do you need any features from static array bounds checking? As far as I know, SAFECode has a number of implementation for that. Thanks. Haohui On Thu, 2009-06-04 at 20:48 +0200, Nicolas Geoffray wrote:> Dear Andre, > > That's great! Thanks for the blog. I am really looking forward into > using ABCD in vmkit! > > Cheers, > Nicolas > > Andre Tavares wrote: > > Dear Community, > > > > I'm working on a project for Google Summer of Code, to implement the > > ABCD and Bitwidth analysis in LLVM. I'm not going to extend the > > description of the project here, this link shows my proposal > > http://homepages.dcc.ufmg.br/~andrelct/projects/gsoc_2009/proposal. > > > > I have been in some discussions on this list about Ada and SSI that > > helped on my decisions up to this moment. > > > > This project is due to August, and during this period I will be posting > > my progress in a blog. If someone has interest in following my progress > > I welcome you to read the blog, and I would really appreciate any > > suggestion, critics and opinions on any aspect. I understand that every > > opinion is helpful. So the blog link is > > http://gsoc2009-andrelct.blogspot.com/. > > > > Best Regards, > > > > > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
Mai, Haohui wrote:> Dear Nicolas, > > I'm curious why you are using ABCD in vmkit. Do you need any features > from static array bounds checking? As far as I know, SAFECode has a > number of implementation for that. > > Thanks. > > Haohui > > On Thu, 2009-06-04 at 20:48 +0200, Nicolas Geoffray wrote: > >> Dear Andre, >> >> That's great! Thanks for the blog. I am really looking forward into >> using ABCD in vmkit! >> >> Cheers, >> Nicolas >> >> Andre Tavares wrote: >> >>> Dear Community, >>> >>> I'm working on a project for Google Summer of Code, to implement the >>> ABCD and Bitwidth analysis in LLVM. I'm not going to extend the >>> description of the project here, this link shows my proposal >>> http://homepages.dcc.ufmg.br/~andrelct/projects/gsoc_2009/proposal. >>> >>> I have been in some discussions on this list about Ada and SSI that >>> helped on my decisions up to this moment. >>> >>> This project is due to August, and during this period I will be posting >>> my progress in a blog. If someone has interest in following my progress >>> I welcome you to read the blog, and I would really appreciate any >>> suggestion, critics and opinions on any aspect. I understand that every >>> opinion is helpful. So the blog link is >>> http://gsoc2009-andrelct.blogspot.com/. >>> >>> Best Regards, >>> >>> >>> >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >> > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > >Sorry if my description was too short, but I will be removing unnecessary array bound checks, not creating them. -- Andre Tavares Master Student in Computer Science - UFMG - Brasil http://dcc.ufmg.br/~andrelct
By static array bounds checking, I mean eliminating array bounds checking which can be proved ``safe'' at compile-time. Well, even though there are a lot of approaches of doing this, I believe that having an implementation of ABCD would very useful. It would be even more useful if LLVM can have a general framework for doing static array bounds checking -- just like the aliasing framework. Haohui -----Original Message----- From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On Behalf Of Andre Tavares Sent: Thursday, June 04, 2009 8:33 PM To: LLVM Developers Mailing List Subject: Re: [LLVMdev] SSI and ABCD for LLVM Mai, Haohui wrote:> Dear Nicolas, > > I'm curious why you are using ABCD in vmkit. Do you need any features > from static array bounds checking? As far as I know, SAFECode has a > number of implementation for that. > > Thanks. > > Haohui > > On Thu, 2009-06-04 at 20:48 +0200, Nicolas Geoffray wrote: > >> Dear Andre, >> >> That's great! Thanks for the blog. I am really looking forward into >> using ABCD in vmkit! >> >> Cheers, >> Nicolas >> >> Andre Tavares wrote: >> >>> Dear Community, >>> >>> I'm working on a project for Google Summer of Code, to implement the >>> ABCD and Bitwidth analysis in LLVM. I'm not going to extend the >>> description of the project here, this link shows my proposal >>> http://homepages.dcc.ufmg.br/~andrelct/projects/gsoc_2009/proposal. >>> >>> I have been in some discussions on this list about Ada and SSI that >>> helped on my decisions up to this moment. >>> >>> This project is due to August, and during this period I will be posting >>> my progress in a blog. If someone has interest in following my progress >>> I welcome you to read the blog, and I would really appreciate any >>> suggestion, critics and opinions on any aspect. I understand that every >>> opinion is helpful. So the blog link is >>> http://gsoc2009-andrelct.blogspot.com/. >>> >>> Best Regards, >>> >>> >>> >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >> > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > >Sorry if my description was too short, but I will be removing unnecessary array bound checks, not creating them. -- Andre Tavares Master Student in Computer Science - UFMG - Brasil http://dcc.ufmg.br/~andrelct _______________________________________________ LLVM Developers mailing list LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev