Thanks .. but it appears that --dopartial also requires --domakeCFG (?)
I would rather not convert whiles into gotos, which is what I assume
makeCFG would do.
Gabriel Kerneis wrote on 11/23/2013 07:05:44 PM:
> > I have an example for which CIL produced the following code fragment:
> >
> >
I have an example for which CIL produced the following code fragment:
unsigned long *x;
...
if (sizeof(*x) < 4UL) {
}
Would it be possible for CIL to evaluate this expression and eliminate the
"if" ?
Thanks,
Dave
--
S
The attached file fails to compile when processed by cilly (1.6) with the
--keepunused flag set.
> cilly -c --keepunused fail.c -o fail.o
I suspect that CIL is not evaluating builtin_types_compatible_p
correctly/at all.
Note, too, the warning 'CALL in constant"
fail.c
int foo () {
The following patch to Cilly.pm seems to fix this problem:
1993c1993
< '-include$' => { ONEMORE => 1, TYPE => "PREPROC" },
---
> '-include$' => { ONEMORE => 1, TYPE => "EARLY_PREPROC" },
dagr...@rockwellcollins.com wrote on 02/11/2013 09:14:33 AM:
>
> The attached files
The attached files can be compiled in gcc as:
> gcc -c test.c -include test.h
The same invocation of cilly, however, fails.
The invocation of cilly:
> cilly -c test.c -include test.h
Results in (essentially) the following sequence of events:
gcc -E -include test.h test.c -o tmp1.i
cilly.asm.e
gcc supports the following invocation syntax:
gcc -xc -
The first flag tells gcc to treat the input as C.
The second (the lone dash) means read the input to be compiled from stdin.
Would it be possible to modify cilly to support the lone dash option
syntax?
(I'm trying to compile Xen using CI
