diff options
| author | Philippe Mathieu-Daudé | 2021-02-04 19:29:02 +0100 |
|---|---|---|
| committer | Richard Henderson | 2021-02-05 21:24:14 +0100 |
| commit | 8e43c5a1f289ce002e9d26108af658c8d064dea1 (patch) | |
| tree | ee6b8aa8c99dc2675c303b04a745f7e914e31756 /ui/shader | |
| parent | Merge remote-tracking branch 'remotes/mst/tags/for_upstream' into staging (diff) | |
| download | qemu-8e43c5a1f289ce002e9d26108af658c8d064dea1.tar.gz qemu-8e43c5a1f289ce002e9d26108af658c8d064dea1.tar.xz qemu-8e43c5a1f289ce002e9d26108af658c8d064dea1.zip | |
tcg/s390: Fix compare instruction from extended-immediate facility
The code is currently comparing c2 to the type promotion of
uint32_t and int32_t. That is, the conversion rules are as:
(common_type) c2 == (common_type) (uint32_t)
(is_unsigned
? (uint32_t)c2
: (uint32_t)(int32_t)c2)
In the signed case we lose the desired sign extensions because
of the argument promotion rules of the ternary operator.
Solve the problem by doing the round-trip parsing through the
intermediate type and back to the desired common type (all at
one expression).
Fixes: a534bb15f30 ("tcg/s390: Use constant pool for cmpi")
Tested-by: Richard W.M. Jones <rjones@redhat.com>
Reviewed-by: David Hildenbrand <david@redhat.com>
Reported-by: Miroslav Rezanina <mrezanin@redhat.com>
Reported-by: Richard W.M. Jones <rjones@redhat.com>
Suggested-by: David Hildenbrand <david@redhat.com>
Suggested-by: Eric Blake <eblake@redhat.com>
Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Message-Id: <20210204182902.1742826-1-f4bug@amsat.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'ui/shader')
0 files changed, 0 insertions, 0 deletions