Hi,

I found that in tcg/tcg.h, we have following definitions:

typedef int TCGv_i32;
typedef int TCGv_i64;


Is that correct? Why do we have the same definition for 64bit and 32
bit types? Doesnt TCGv_i64 suppose to be 64 bit?

Thanks,
Jun


Reply via email to