Re: [Qemu-devel] [PATCH v6 00/35] cmpxchg-based emulation of atomics

[Emilio G. Cota]

On Tue, Oct 18, 2016 at 09:28:10 +0100, Alex Bennée wrote:
> Emilio G. Cota <address@hidden> writes:
> > I have not tested the ARM bits. I just tested aarch64 and it works, though.
> >
> > I put the scripts online so that others can easily generate natively the 
> > ck_pr
> > tests. If you have an architecture I don't have access to (e.g. ARM, Alpha),
> > please send me the resulting tarball (the ck_pr.sh script takes care of 
> > everything)
> > and I'll upload it with the others:
> >
> >   http://braap.org/qemu/ck/
> 
> I built this with your script on an debian:armhf image (powered by qemu
> ;-)

Thanks! I uploaded it to the URL above.

The arm bits indeed trip TCG up:

/data/src/qemu (atomic-6 *$)$ for prog in \
        $(find img/arm/ck_pr-armv7l/regressions/ck_pr/validate/ \
                -executable -name 'ck_pr*' -type f); \
        do \
                arm-linux-user/qemu-arm $prog || break; \
        done
qemu-arm: /data/src/qemu/tcg/tcg.c:653: tcg_temp_free_internal: Assertion 
`ts->temp_allocated != 0' failed.
qemu: uncaught target signal 11 (Segmentation fault) - core dumped
Segmentation fault (core dumped)
/data/src/qemu (atomic-6 *$)$

Thanks,

                Emilio