On 18 November 2013 13:43, Claudio Fontana <claudio.font...@linaro.org> wrote: > We are using gen_rotr_i32, but passing tcg_shift, which is a TCGv_i64. > I remember I had compilation failures in the past when I tried something > similar, > so my understanding is that this can work with a certain compiler under > certain compiler options, > but is not guaranteed to work in all cases.
It's a debug option -- if you build with --enable-debug then TCGv_i32/TCGv_i64 mismatches should always cause compile failures. -- PMM