From: Dave Anglin Date: Mon, 27 Dec 2010 02:05:14 +0000 (+0000) Subject: PR gas/11395 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a64718d3b10db2e9c52e14df4e221b5f127edbff;p=binutils-gdb.git PR gas/11395 * config/tc-hppa.c (pa_ip): Set doubleword carry/borrow bit when a doubleword completer or doubleword condition is found in an add/sub instruction. Reject match for 'A'/'S' only if there is no condition and d bit is not set. * gas/hppa/basic/add2.s: Add test for a simple doubleword carry instruction. * gas/hppa/basic/sub2.s: Add tests for simple word and doubleword borrow instructions. * gas/hppa/basic/basic.exp: Update regexps for above. * opcode/hppa.h: Clear "d" bit in "add" and "sub" patterns. --- diff --git a/gas/ChangeLog b/gas/ChangeLog index 50216fde1f5..4f874804ce1 100644 --- a/gas/ChangeLog +++ b/gas/ChangeLog @@ -1,3 +1,11 @@ +2010-12-26 John David Anglin + + PR gas/11395 + * config/tc-hppa.c (pa_ip): Set doubleword carry/borrow bit when a + doubleword completer or doubleword condition is found in an add/sub + instruction. Reject match for 'A'/'S' only if there is no condition + and d bit is not set. + 2010-12-18 Mingjie Xing * config/tc-mips.c (insn_uses_reg): Handle the new flags diff --git a/gas/config/tc-hppa.c b/gas/config/tc-hppa.c index e55b2b45c14..b2c5076fda5 100644 --- a/gas/config/tc-hppa.c +++ b/gas/config/tc-hppa.c @@ -3758,6 +3758,8 @@ pa_ip (char *str) else break; + /* Set doubleword carry bit. */ + opcode |= 0x20; INSERT_FIELD_AND_CONTINUE (opcode, flag, 11); /* Handle 32 bit carry for ADD. */ @@ -3826,6 +3828,8 @@ pa_ip (char *str) else break; + /* Set doubleword borrow bit. */ + opcode |= 0x20; INSERT_FIELD_AND_CONTINUE (opcode, flag, 11); /* Handle 32 bit borrow for SUB. */ @@ -3970,11 +3974,13 @@ pa_ip (char *str) /* Handle an add condition. */ case 'A': /* PR gas/11395 - If we are looking for 64-bit add conditions and we - do not have the ",*" prefix, then we have no match. */ - if (*s != ',') + If we don't have a ",*" condition or "dc" completer, + then we have a doubleword carry match failure. */ + if (*s != ',' && !(opcode & 0x20)) break; + opcode |= 0x20; /* Fall through. */ + case 'a': cmpltr = 0; flag = 0; @@ -4142,6 +4148,14 @@ pa_ip (char *str) /* Handle a compare/subtract condition. */ case 'S': + /* PR gas/11395 + If we don't have a ",*" condition or "dc" completer, + then we have a doubleword carry match failure. */ + if (*s != ',' && !(opcode & 0x20)) + break; + opcode |= 0x20; + /* Fall through. */ + case 's': cmpltr = 0; flag = 0; diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog index 0cf93d6ed82..4c9dcd8e7c6 100644 --- a/gas/testsuite/ChangeLog +++ b/gas/testsuite/ChangeLog @@ -1,3 +1,12 @@ +2010-12-26 John David Anglin + + PR gas/11395 + * gas/hppa/basic/add2.s: Add test for a simple doubleword carry + instruction. + * gas/hppa/basic/sub2.s: Add tests for simple word and doubleword + borrow instructions. + * gas/hppa/basic/basic.exp: Update regexps for above. + 2010-12-18 Mingjie Xing * gas/mips/loongson-3a-2.s, gas/mips/loongson-3a-2.d, diff --git a/gas/testsuite/gas/hppa/basic/add2.s b/gas/testsuite/gas/hppa/basic/add2.s index c630a4c4c90..0c629524c84 100644 --- a/gas/testsuite/gas/hppa/basic/add2.s +++ b/gas/testsuite/gas/hppa/basic/add2.s @@ -92,5 +92,6 @@ add,tsv,dc,*ev %r4,%r5,%r6 ;; PR gas/11395: Check for the correct assembly - ;; of an unconditional 32-bit add instruction. + ;; of unconditional 32-bit and 64-bit add instructions. add %r1,%r1,%r1 + add,dc %r1,%r1,%r1 diff --git a/gas/testsuite/gas/hppa/basic/basic.exp b/gas/testsuite/gas/hppa/basic/basic.exp index f99ca7b1a6d..d5d61040686 100644 --- a/gas/testsuite/gas/hppa/basic/basic.exp +++ b/gas/testsuite/gas/hppa/basic/basic.exp @@ -675,6 +675,7 @@ proc do_add2 {} { -re "^ +\[0-9\]+ 0138 08A4DF26\[^\n\]*\n" { set x [expr $x+1] } -re "^ +\[0-9\]+ 013c 08A4FF26\[^\n\]*\n" { set x [expr $x+1] } -re "^ +\[0-9\]+ 0140 08210601\[^\n\]*\n" { set x [expr $x+1] } + -re "^ +\[0-9\]+ 0144 08210721\[^\n\]*\n" { set x [expr $x+1] } -re "\[^\n\]*\n" { } timeout { perror "timeout\n"; break } eof { break } @@ -686,7 +687,7 @@ proc do_add2 {} { gas_finish # Did we find what we were looking for? If not, flunk it. - if [expr $x==81] then { pass $testname } else { fail $testname } + if [expr $x==82] then { pass $testname } else { fail $testname } } proc do_sh1add {} { @@ -1582,6 +1583,8 @@ proc do_sub2 {} { -re "^ +\[0-9\]+ 0174 08A4BCE6\[^\n\]*\n" { set x [expr $x+1] } -re "^ +\[0-9\]+ 0178 08A4DCE6\[^\n\]*\n" { set x [expr $x+1] } -re "^ +\[0-9\]+ 017c 08A4FCE6\[^\n\]*\n" { set x [expr $x+1] } + -re "^ +\[0-9\]+ 0180 08210401\[^\n\]*\n" { set x [expr $x+1] } + -re "^ +\[0-9\]+ 0184 08210521\[^\n\]*\n" { set x [expr $x+1] } -re "\[^\n\]*\n" { } timeout { perror "timeout\n"; break } eof { break } @@ -1593,7 +1596,7 @@ proc do_sub2 {} { gas_finish # Did we find what we were looking for? If not, flunk it. - if [expr $x==96] then { pass $testname } else { fail $testname } + if [expr $x==98] then { pass $testname } else { fail $testname } } proc do_ds {} { diff --git a/gas/testsuite/gas/hppa/basic/sub2.s b/gas/testsuite/gas/hppa/basic/sub2.s index af0435eca6d..0f4cdb1b736 100644 --- a/gas/testsuite/gas/hppa/basic/sub2.s +++ b/gas/testsuite/gas/hppa/basic/sub2.s @@ -107,3 +107,9 @@ sub,tsv,tc,*>> %r4,%r5,%r6 sub,tsv,tc,*nsv %r4,%r5,%r6 sub,tsv,tc,*ev %r4,%r5,%r6 + + ;; PR gas/11395: Check for the correct assembly + ;; of unconditional 32-bit and 64-bit sub instructions. + sub %r1,%r1,%r1 + sub,db %r1,%r1,%r1 + diff --git a/include/ChangeLog b/include/ChangeLog index 1cff8930558..35b08b9e2ba 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,8 @@ +2010-12-26 John David Anglin + + PR gas/11395 + * opcode/hppa.h: Clear "d" bit in "add" and "sub" patterns. + 2010-11-25 Andreas Krebbel * opcode/s390.h (enum s390_opcode_cpu_val): Add S390_OPCODE_MAXCPU. diff --git a/include/opcode/hppa.h b/include/opcode/hppa.h index 8d767b4bc62..3927fcbc08a 100644 --- a/include/opcode/hppa.h +++ b/include/opcode/hppa.h @@ -634,20 +634,20 @@ static const struct pa_opcode pa_opcodes[] = { "addio", 0xb4000800, 0xfc000800, "?ai,b,x", pa10, 0}, { "addit", 0xb0000000, 0xfc000800, "?ai,b,x", pa10, 0}, { "addito", 0xb0000800, 0xfc000800, "?ai,b,x", pa10, 0}, -{ "add", 0x08000720, 0xfc0007e0, "cY?Ax,b,t", pa20, FLAG_STRICT}, +{ "add", 0x08000700, 0xfc0007e0, "cY?Ax,b,t", pa20, FLAG_STRICT}, { "add", 0x08000700, 0xfc0007e0, "cy?ax,b,t", pa10, FLAG_STRICT}, -{ "add", 0x08000220, 0xfc0003e0, "ca?Ax,b,t", pa20, FLAG_STRICT}, +{ "add", 0x08000200, 0xfc0003e0, "ca?Ax,b,t", pa20, FLAG_STRICT}, { "add", 0x08000200, 0xfc0003e0, "ca?ax,b,t", pa10, FLAG_STRICT}, { "add", 0x08000600, 0xfc000fe0, "?ax,b,t", pa10, 0}, { "addl", 0x08000a00, 0xfc000fe0, "?ax,b,t", pa10, 0}, { "addo", 0x08000e00, 0xfc000fe0, "?ax,b,t", pa10, 0}, { "addc", 0x08000700, 0xfc000fe0, "?ax,b,t", pa10, 0}, { "addco", 0x08000f00, 0xfc000fe0, "?ax,b,t", pa10, 0}, -{ "sub", 0x080004e0, 0xfc0007e0, "ct?Sx,b,t", pa20, FLAG_STRICT}, +{ "sub", 0x080004c0, 0xfc0007e0, "ct?Sx,b,t", pa20, FLAG_STRICT}, { "sub", 0x080004c0, 0xfc0007e0, "ct?sx,b,t", pa10, FLAG_STRICT}, -{ "sub", 0x08000520, 0xfc0007e0, "cB?Sx,b,t", pa20, FLAG_STRICT}, +{ "sub", 0x08000500, 0xfc0007e0, "cB?Sx,b,t", pa20, FLAG_STRICT}, { "sub", 0x08000500, 0xfc0007e0, "cb?sx,b,t", pa10, FLAG_STRICT}, -{ "sub", 0x08000420, 0xfc0007e0, "cv?Sx,b,t", pa20, FLAG_STRICT}, +{ "sub", 0x08000400, 0xfc0007e0, "cv?Sx,b,t", pa20, FLAG_STRICT}, { "sub", 0x08000400, 0xfc0007e0, "cv?sx,b,t", pa10, FLAG_STRICT}, { "sub", 0x08000400, 0xfc000fe0, "?sx,b,t", pa10, 0}, { "subo", 0x08000c00, 0xfc000fe0, "?sx,b,t", pa10, 0},