Basile STARYNKEVITCH wrote:
> Ning Wang wrote:
>> Hi all,
>>
>> I'm working on a project to compile C to C--.  My compiler can 
>> compile c99 compliant code.  I want to regenerate C code from C-- 
>> code as a means to test the complier.
>> If you have written a C-- to C translator, or are aware where I can 
>> find one, could you please kindly let me know? 
>
> I believe it should not be possible in the general case, because C-- 
> has some feature (like tailrecursion) missing in C.
>
>
(It seems my previous post didn't go through. Sorry, if you get 
duplicate posts)

Tailrecursion can be translated into loop right?

Ok,  I want to use my front-end + C-- backend to generate executable 
code and verify the compilation from C to C-- is correct.  Combining a 
C-- to C translator and GCC is the easiest way to get a good C-- 
backend.  Alternatively, I can use qc-- as the backend.  How is the 
status of qc--? Can I use it to verify the correctness of my front-end? 

Best,
Ning

_______________________________________________
Cminusminus mailing list
[email protected]
https://cminusminus.org/mailman/listinfo/cminusminus

Reply via email to