Re: [CIL users] ?: with no side-effects

2011-01-20 Thread Wei Hu
Did you forget to attach the patch? On Thu, Jan 20, 2011 at 4:41 PM, Elnatan Reisner wrote: > A '?:' expression, when occurring as a standalone statement, gets expanded > into an 'if' statement, even if there are no side-effects in either branch. > This patch fixes that by simply eliminating the

[CIL users] C99 complex support?

2010-04-27 Thread Wei Hu
Does anyone have a patch for complex support? I searched in my mail archive and found Kristis Makris's patch for _Bool support. I guess a similar patch shouldn't be too hard, but wanted to see if anyone already had one. A simple test case is as follows: int main() { double _Complex a; return 0;

[CIL users] Local typedef and old-style function argument declarations: error on name conflicts?

2010-04-27 Thread Wei Hu
CIL failed to parse SPEC CPU 2006 403.gcc benchmark: cilly -c -o c-common.o -DSPEC_CPU -DNDEBUG -I. -O0 c-common.c gcc -D_GNUCC -E -DSPEC_CPU -DNDEBUG -I. -O0 -DCIL=1 c-common.c -o /tmp/cil-QEu7J5vy.i /home/wh5a/cil/obj/x86_LINUX/cilly.byte.exe --out /tmp/cil-aQStSCFi.cil.c /tmp/c

Re: [CIL users] CIL homepage down?

2010-04-09 Thread Wei Hu
On Fri, Apr 9, 2010 at 9:32 AM, Gabriel Kerneis wrote: > On Fri, Apr 09, 2010 at 09:24:43AM -0400, Wei Hu wrote: >> http://cil.sourceforge.net/ works fine. > > But does not contain the online doc AFAICS. Are you sure? I just checked and the doc has been moved to http://www.

Re: [CIL users] CIL homepage down?

2010-04-09 Thread Wei Hu
http://cil.sourceforge.net/ works fine. On Fri, Apr 9, 2010 at 2:07 AM, Gabriel Kerneis wrote: > On Wed, Mar 24, 2010 at 09:57:06PM -0400, Vinai Sundaram wrote: >> I have problems accessing the homepage at >> http://hal.cs.berkeley.edu/cil/ >> Has the homepage moved to a different location or the

Re: [CIL users] CIL perfomance issues

2009-05-26 Thread Wei Hu
I'm curious, how do you track the upstream svn changes using darcs? I find that git interoperates with svn very well, so I'm using git to manage my local copy of cil. On Tue, May 26, 2009 at 1:02 PM, Gabriel Kerneis wrote: > Hi, > > I've been suffering performance issues with CIL recently. 30% of