search for: domagoj

...@inproceedings{erosa94taming, author = {Ana M. Erosa and Laurie J. Hendren}, title = {Taming Control Flow: A Structured Approach to Eliminating Goto Statements.}, booktitle = {ICCL}, year = {1994}, pages = {229--240}, } Cheers, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

On 8/29/07, Domagoj Babic <babic.domagoj at gmail.com> wrote: > Seung, > > On 8/25/07, Chris Lattner <sabre at nondot.org> wrote: > > Ok. Note that LLVM can represent irreducible loops. You can handle > > this through code duplication. > > -Chris > > > If you are willi...

Daniel, On 8/30/07, Daniel Berlin <dberlin at dberlin.org> wrote: > On 8/29/07, Domagoj Babic <babic.domagoj at gmail.com> wrote: > > Seung, > > > > On 8/25/07, Chris Lattner <sabre at nondot.org> wrote: > > > Ok. Note that LLVM can represent irreducible loops. You can handle > > > this through code duplication. > > > -Chris &...

...-gcc/configure --disable-shared --prefix=$LLVM_INSTALL \ --enable-languages=c,c++ --enable-llvm=$LLVM_OBJ \ --program-prefix=llvm- --enable-checking --disable-multilib llvm-gcc4 README.LLVM doesn't mention that --disable-multilib is required for amd64. I guess that should be updated. Domagoj

...something working by mid January. Until then, directly using the LLVM linking facilities to handle the bytecode is probably the best if not only option. -Chandler PS: I'm still kinda new, so someone else may come along and correct me, but that's the best I can figure out... On 12/10/06, Domagoj Babic <babic.domagoj at gmail.com> wrote: > > Hi, > > I'm trying to compile some apps with the new llvm-gcc4 on amd64 linux > to .bc files, rather than to the native code. The same process I used to > build those apps before with llvm-gcc3 doesn't work: > > 1)...

On Sep 29, 2006, at 2:05 PM, Domagoj Babic wrote: > > Check out scc_* iterators. Also note that the call graph > is not aware of the indirect calls, so you will need to write your > own CG implementation if you need to handle function pointers > soundly. > Chris, is this true? If so, it seems like a bad property...

...are not strictly based on LLVM, but could provide valuable ideas for further LLVM development, or are interesting from software analysis perspective. As I suggested in the channel, a poll on llvm.org could actually be a simpler and faster way to gauge the interest and expectations. Regards, Domagoj Babic

...and llvm as you are on amd64 linux. I am currently running into the error "Did not get a target machine!" on the first file compiled by xgcc. Did you encounter this error at all? Also, what distribution did you use? GCC version, and target triple? Thanks, -Chandler Carruth On 12/10/06, Domagoj Babic <babic.domagoj at gmail.com> wrote: > > Hi all, > > I spent several hours today trying to compile llvm-gcc4 from svn and llvm > from > cvs on amd64 linux. In the case anyone else decides to try the same, this > could ease your pain: > > 1) check out llvm, llvm...

...-- If I execute the last command manually with llvm-ld, removing -shared and -Wl, it goes through. So, obviously I'm doing something wrong. What do I need to change in the build process to compile the same apps I could compile before with llvm-gcc3 to bc files? Thx in advance, Domagoj

Chandler/Domagoj, On Sun, 2006-12-10 at 10:53 -0500, Chandler Carruth wrote: > Unless I'm missing something, the problem lies directly with the fact > that you are trying to do a link-stage operation with the GCC > frontend. GCC, by default, probably runs "ld" or another system > linker,...

On Oct 2, 2007, at 1:03 AM, Domagoj Babic wrote: > Hi all, > > I have the same problem. My guess is that when a structure > is passed as a parameter, you cast it into an array for optimization > reasons (less parameters, less stack space). This is not an optimization. This behavior is to be ABI complaint when emitt...

...does not check the usage of library functions (for instance, if external library function foo dereferences a pointer, Calysto can't figure that out unless the code for foo was compiled into the same module). Specification of external libraries will be done by early Aug. Regards, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

...3 Bug: ?? Explanation: choose_dh (dh.c:111) calls fopen twice (@120). If the first call to fopen fails (returns NULL), but the second one succeeds, fgets (@129) is called with f==NULL. ------------------------------------------ Can anyone confirm that this is a potential issue? Thx, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

...[llvm-tv/.makeall] Error 2 make[1]: Leaving directory `/storage/llvm-src/llvm/projects/llvm-tv/tools' make: *** [all] Error 1 wx-config --version says: 2.5.3 Another thing related to llvm-tv: it seems it's missing Makefile.common.in. I used suitably modified sample Makefile.common.in. Domagoj -- ___________________________________________________ Play 100s of games for FREE! http://games.mail.com/

...isOrNullUp(P)) && "Pass available but not found! " "Perhaps this is a module pass requiring a function pass?"' failed. opt((anonymous namespace)::PrintStackTrace()+0x18)[0x8706558] opt((anonymous namespace)::SignalHandler(int)+0xfe)[0x87067e0] and so on... Thx. Domagoj -- ___________________________________________________ Play 100s of games for FREE! http://games.mail.com/

Hi, > On Tue, 2 May 2006, Domagoj D wrote: > > Why are these two passes conflicting: UnifyFunctionExitNodes and LowerSwitch? > > Because they invalidate each other. Neither preserves the other. > > -Chris I thought so. However, it's not clear to me why "preservation" is required at all? That'...

...of any ways. If you write something like fun() { int x; if (x > 100) { ... } else { ... } } LLVM generates a boolean temporary that compares (uninitialized) value of x with 100. Second, if it already can appear, isn't that a bug that should be reported by the compiler? Domagoj -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20060607/eac27aea/attachment.html>

On Fri, 29 Sep 2006, Vikram Adve wrote: > On Sep 29, 2006, at 2:05 PM, Domagoj Babic wrote: >> Check out scc_* iterators. Also note that the call graph >> is not aware of the indirect calls, so you will need to write your >> own CG implementation if you need to handle function pointers >> soundly. > Chris, is this true? If so, it seems like a bad p...

...disable it (my guess is that this should be doable by passing some parameter to llvm-gcc)? If there is no way to disable it, could anyone suggest where should I look into the code and whether you would accept a patch that would add an option that disables the optimization? Thank you, -- Domagoj Babic http://www.domagoj.info/ http://www.calysto.org/

On 4/9/07, Domagoj Babic <babic.domagoj at gmail.com> wrote: > > > Traditionally, such analyses have been considered too expensive to be > practical, and were mostly an academic curiosity. The core of the > problem is the lack of adequate automated decision procedures which > could quickly det...