From: Paul Iannetta <piannetta@kalrayinc.com>
Date: Mon, 4 Sep 2023 13:31:53 +0000 (+0200)
Subject: kvx: gas: fix the detection of negative powers of 2
X-Git-Tag: gdb-15-branchpoint~939
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=04e46d3bd9a2fff58de16af6b45f387b330bcd88;p=thirdparty%2Fbinutils-gdb.git

kvx: gas: fix the detection of negative powers of 2

The detection of negative powers of 2 was wrong and could lead to
well-formed bundles ending up taking more syllables than necessary.

gas/ChangeLog:

	* config/kvx-parse.c (get_token_class): Use the signed value.
	* testsuite/gas/kvx/np2-detection.d: New test.
	* testsuite/gas/kvx/np2-detection.s: New test.
---

diff --git a/gas/config/kvx-parse.c b/gas/config/kvx-parse.c
index 5cfb1fb676c..0825b182319 100644
--- a/gas/config/kvx-parse.c
+++ b/gas/config/kvx-parse.c
@@ -525,7 +525,7 @@ get_token_class (struct token_s *token, struct token_classes *classes, int insn_
 	   : strtoull (tok + (tok[0] == '-') + (tok[0] == '+'), NULL, 0));
       int64_t val = uval;
       int64_t pval = val < 0 ? -uval : uval;
-      int neg_power2_p = val < 0 && !(uval & (uval - 1));
+      int neg_power2_p = val < 0 && !(pval & (pval - 1));
       unsigned len = pval ? 8 * sizeof (pval) - __builtin_clzll (pval) : 0;
       while (class[cur].class_id != -1
 	     && ((unsigned) (class[cur].sz < 0
diff --git a/gas/testsuite/gas/kvx/np2-detection.d b/gas/testsuite/gas/kvx/np2-detection.d
new file mode 100644
index 00000000000..b612277f6fd
--- /dev/null
+++ b/gas/testsuite/gas/kvx/np2-detection.d
@@ -0,0 +1,14 @@
+#as: -march=kv3-1
+#source: np2-detection.s
+#objdump: -d
+
+.*\/np2-detection.o:     file format elf64-kvx
+
+
+Disassembly of section .text:
+
+0000000000000000 <.text>:
+   0:	00 80 00 e1                                     	addd \$r0 = \$r0, -512 \(0xfffffe00\)
+   4:	00 00 00 e0                                     	make \$r0 = 0 \(0x0\)
+   8:	c0 ff 00 e0 c0 ff 00 e0 ff ff df 97             	make \$r0 = 9223372034707292159 \(0x7fffffff7fffffff\)
+  14:	ff ff ff 93 ff ff df 9f ff ff ff 1b             	make \$r0 = 9223372034707292159 \(0x7fffffff7fffffff\);;
diff --git a/gas/testsuite/gas/kvx/np2-detection.s b/gas/testsuite/gas/kvx/np2-detection.s
new file mode 100644
index 00000000000..dfc3c264101
--- /dev/null
+++ b/gas/testsuite/gas/kvx/np2-detection.s
@@ -0,0 +1,5 @@
+	addd $r0 = $r0, -512
+	make $r0 = 0x7fffffff7fffffff
+	make $r0 = 0x7fffffff7fffffff
+	make $r0 = 0
+;;