From: Dominic P <[email protected]> Cover the rotr_i32 (ARM ror) and rotl_i32 (i386 roll) forms fixed by the previous patch. Both tests fail without it.
Signed-off-by: Dominic P <[email protected]> Signed-off-by: Richard Henderson <[email protected]> Message-ID: <[email protected]> --- tests/tcg/arm/test-arm-opt-ror.c | 21 +++++++++++++++++++++ tests/tcg/i386/test-i386-opt-rol.c | 21 +++++++++++++++++++++ tests/tcg/arm/meson.build | 1 + tests/tcg/i386/meson.build | 1 + 4 files changed, 44 insertions(+) create mode 100644 tests/tcg/arm/test-arm-opt-ror.c create mode 100644 tests/tcg/i386/test-i386-opt-rol.c diff --git a/tests/tcg/arm/test-arm-opt-ror.c b/tests/tcg/arm/test-arm-opt-ror.c new file mode 100644 index 00000000000..2579168a131 --- /dev/null +++ b/tests/tcg/arm/test-arm-opt-ror.c @@ -0,0 +1,21 @@ +/* SPDX-License-Identifier: GPL-2.0-or-later */ +/* Regression test for tcg optimize vs sign bit repetitions after rotate. */ + +#include <assert.h> + +int main(void) +{ + /* Load from memory so that TCG does not see a constant. */ + volatile int v = 3; + int x = v, gt; + + asm("sxtb %1, %1\n\t" + "ror %1, %1, #1\n\t" + "sxtb %1, %1\n\t" + "cmp %1, #0\n\t" + "movle %0, #0\n\t" + "movgt %0, #1" + : "=r"(gt), "+r"(x) : : "cc"); + assert(gt); + return 0; +} diff --git a/tests/tcg/i386/test-i386-opt-rol.c b/tests/tcg/i386/test-i386-opt-rol.c new file mode 100644 index 00000000000..e0393147e17 --- /dev/null +++ b/tests/tcg/i386/test-i386-opt-rol.c @@ -0,0 +1,21 @@ +/* SPDX-License-Identifier: GPL-2.0-or-later */ +/* Regression test for tcg optimize vs sign bit repetitions after rotate. */ + +#include <assert.h> + +int main(void) +{ + /* Load from memory so that TCG does not see a constant. */ + volatile int v = 3; + int x = v; + char test; + + asm("movsbl %b1, %1\n\t" + "roll $31, %1\n\t" + "movsbl %b1, %1\n\t" + "testl %1, %1\n\t" + "setg %0" + : "=q"(test), "+q"(x)); + assert(test); + return 0; +} diff --git a/tests/tcg/arm/meson.build b/tests/tcg/arm/meson.build index 8f70411dfd6..fd82b5c7a63 100644 --- a/tests/tcg/arm/meson.build +++ b/tests/tcg/arm/meson.build @@ -39,6 +39,7 @@ tests += { }, 'pcalign-a32.c': {'cflags': ['-marm']}, 'issue4448.c': {}, + 'test-arm-opt-ror.c': {'cflags': ['-marm']}, } # Vector SHA1 diff --git a/tests/tcg/i386/meson.build b/tests/tcg/i386/meson.build index 38723d7f8df..84bd68067a5 100644 --- a/tests/tcg/i386/meson.build +++ b/tests/tcg/i386/meson.build @@ -28,6 +28,7 @@ tests += { 'test-i386-fxtract.c': {}, 'test-i386-fyl2x.c': {}, 'test-i386-fyl2xp1.c': {}, + 'test-i386-opt-rol.c': {}, 'test-i386-opt-shr.c': {}, 'test-i386-pcmpistri.c': {'cflags': ['-msse4.2']}, 'test-i386-pseudo-denormal.c': {}, -- 2.53.0
