> 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.
Ah, if only this were true! If you succeed, we would surely like a copy. > 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? Quite solid on x86. Back ends for other platforms are in unknown states, not to be relied upon. There is also a very portable interpreter which could be used to verify correctness. Reuben Olinsky built quite a few useful debugging features into it. It's part of the QC-- distribution. Norman _______________________________________________ Cminusminus mailing list [email protected] https://cminusminus.org/mailman/listinfo/cminusminus
