[Bug sim/27483] aarch64: adds test failing when adding 0x80000000 & 0xffffffff

["wilson at gcc dot gnu.org" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=27483

Jim Wilson <wilson at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |wilson at gcc dot gnu.org

--- Comment #1 from Jim Wilson <wilson at gcc dot gnu.org> ---
It works for me.

Testing adds.s on machine aarch64.
Executing on host: /scratch/jimw/FOSS/COMBINED-TREE/X-aarch64-elf/gas/as-new
..\
/../../combined/sim/testsuite/aarch64/adds.s 
-I../../../combined/sim/testsuite\
/aarch64  -o adds.s.o    (timeout = 300)
spawn -ignore SIGHUP /scratch/jimw/FOSS/COMBINED-TREE/X-aarch64-elf/gas/as-new
\
../../../combined/sim/testsuite/aarch64/adds.s
-I../../../combined/sim/testsuit\
e/aarch64 -o adds.s.o^M
Executing on host: /scratch/jimw/FOSS/COMBINED-TREE/X-aarch64-elf/ld/ld-new
add\
s.s.o   -o adds.s.x    (timeout = 300)
spawn -ignore SIGHUP /scratch/jimw/FOSS/COMBINED-TREE/X-aarch64-elf/ld/ld-new
a\
dds.s.o -o adds.s.x^M
/scratch/jimw/FOSS/COMBINED-TREE/X-aarch64-elf/sim/testsuite/../aarch64/run   
\
 adds.s.x
spawn
/scratch/jimw/FOSS/COMBINED-TREE/X-aarch64-elf/sim/testsuite/../aarch64/r\
un adds.s.x^M
pass^M
PASS: aarch64 adds.s

Trying a trace, I see
insn:      pc = 400030 instr = 52b00000
reg:      GR[ 0] changes from                2 to         80000000
insn:      pc = 400034 instr = 12800001
insn:      pc = 400038 instr = 2b010002
reg:      GR[ 2] changes from                1 to         7fffffff
reg:      CPSR changes from --C- to --CV
insn:      pc = 40003c instr = 54000b27
insn:      pc = 400040 instr = 12800020

I've probably never tested it anywhere other than x86-64 host though.  Maybe
there is a subtle bug that only shows up on other hosts.  Or maybe it doesn't
work on a 32-bit host.

The flags should be set in set_flags_for_add32 where it does
  if (sresult != result)
    flags |= V;

I get this

(gdb) print/x sresult
$15 = 0xffffffff7fffffff
(gdb) print/x result
$16 = 0x7fffffff
(gdb) print sresult != result
$17 = 1

-- 
You are receiving this mail because:
You are on the CC list for the bug.