Some generated builtins being ignored?

[krame505]

For example, all the __sync_fetch_and_... functions, which are provided by GCC, are indicated as 'ignored' by comments in GeneratedBuiltins.sv. The builtins generator is the one part of ableC that I haven't worked on in the past or been able to figure out on my own, @tedinski are you able to shed some light on what needs to be done here? I am asking because I am wanting to use these intrinsics in an actual project I am developing with ableC, and dealing with this has been kind of a pain.

[tedinski]

I don't really remember anything. Just glancing at it, I think it's because they have t on them which the def file comments describe as "signature is meaningless, use custom typechecking"

So (insert shrug emoji here), we just never got around to figuring out what to do about those.

[krame505]

Ah, I see. I did work around this for now by just defining wrapper functions for these intrinsics in a C file that gets linked with the compiled ableC code, but I'll leave this open in case we figure out a better solution in the future.