PowerPC conditional branch test

Adds a new test checking conditional branch BO values.

	* testsuite/gas/ppc/bc.s,
	* testsuite/gas/ppc/bcat.d,
	* testsuite/gas/ppc/bcaterr.d,
	* testsuite/gas/ppc/bcaterr.l,
	* testsuite/gas/ppc/bcy.d,
	* testsuite/gas/ppc/bcyerr.d,
	* testsuite/gas/ppc/bcyerr.l: New tests.
	* testsuite/gas/ppc/ppc.exp: Run them.

9 files changed, 421 insertions, 0 deletions

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 7086732..669dd39 100644
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,5 +1,16 @@
 2019-04-05  Alan Modra  <amodra@gmail.com>
 
+	* testsuite/gas/ppc/bc.s,
+	* testsuite/gas/ppc/bcat.d,
+	* testsuite/gas/ppc/bcaterr.d,
+	* testsuite/gas/ppc/bcaterr.l,
+	* testsuite/gas/ppc/bcy.d,
+	* testsuite/gas/ppc/bcyerr.d,
+	* testsuite/gas/ppc/bcyerr.l: New tests.
+	* testsuite/gas/ppc/ppc.exp: Run them.
+
+2019-04-05  Alan Modra  <amodra@gmail.com>
+
 	* testsuite/gas/ppc/476.d: Remove trailing spaces.
 	* testsuite/gas/ppc/a2.d: Likewise.
 	* testsuite/gas/ppc/booke.d: Likewise.
diff --git a/gas/testsuite/gas/ppc/bc.s b/gas/testsuite/gas/ppc/bc.s
new file mode 100644
index 0000000..2459455
--- /dev/null
+++ b/gas/testsuite/gas/ppc/bc.s
@@ -0,0 +1,154 @@
+ .macro err op:vararg
+  .ifndef AT
+   .ifndef Y
+    \op
+   .endif
+  .endif
+ .endm
+
+ .macro errat op:vararg
+  .ifndef AT
+   \op
+  .endif
+ .endm
+
+ .macro erry op:vararg
+  .ifndef Y
+   \op
+  .endif
+ .endm
+
+ .text
+	bc 0,0,.
+ errat	bc 1,0,.	# z bit
+	bc 2,0,.
+ errat	bc 3,0,.	# z bit
+	bc 4,0,.
+ errat	bc 5,0,.	# at = 01 reserved
+ erry	bc 6,0,.	# z bit
+ erry	bc 7,0,.	# z bit
+	bc 8,0,.
+ errat	bc 9,0,.	# z bit
+	bc 10,0,.
+ errat	bc 11,0,.	# z bit
+	bc 12,0,.
+ errat	bc 13,0,.	# at = 01 reserved
+ erry	bc 14,0,.	# z bit
+ erry	bc 15,0,.	# z bit
+	bc 16,0,.
+ errat	bc 17,0,.	# at = 01 reserved
+	bc 18,0,.
+ errat	bc 19,0,.	# at = 01 reserved
+	bc 20,0,.
+ err	bc 21,0,.	# z bit
+ err	bc 22,0,.	# z bit
+ err	bc 23,0,.	# z bit
+ erry	bc 24,0,.	# z bit
+ erry	bc 25,0,.	# z bit
+ erry	bc 26,0,.	# z bit
+ erry	bc 27,0,.	# z bit
+ err	bc 28,0,.	# z bit
+ err	bc 29,0,.	# z bit
+ err	bc 30,0,.	# z bit
+ err	bc 31,0,.	# z bit
+
+ err	bcctr 0,0
+ err	bcctr 1,0
+ err	bcctr 2,0
+ err	bcctr 3,0
+	bcctr 4,0
+ errat	bcctr 5,0
+ erry	bcctr 6,0
+ erry	bcctr 7,0
+ err	bcctr 8,0
+ err	bcctr 9,0
+ err	bcctr 10,0
+ err	bcctr 11,0
+	bcctr 12,0
+ errat	bcctr 13,0
+ erry	bcctr 14,0
+ erry	bcctr 15,0
+ err	bcctr 16,0
+ err	bcctr 17,0
+ err	bcctr 18,0
+ err	bcctr 19,0
+	bcctr 20,0
+ err	bcctr 21,0
+ err	bcctr 22,0
+ err	bcctr 23,0
+ err	bcctr 24,0
+ err	bcctr 25,0
+ err	bcctr 26,0
+ err	bcctr 27,0
+ err	bcctr 28,0
+ err	bcctr 29,0
+ err	bcctr 30,0
+ err	bcctr 31,0
+
+	bclr 0,0
+ errat	bclr 1,0
+	bclr 2,0
+ errat	bclr 3,0
+	bclr 4,0
+ errat	bclr 5,0
+ erry	bclr 6,0
+ erry	bclr 7,0
+	bclr 8,0
+ errat	bclr 9,0
+	bclr 10,0
+ errat	bclr 11,0
+	bclr 12,0
+ errat	bclr 13,0
+ erry	bclr 14,0
+ erry	bclr 15,0
+	bclr 16,0
+ errat	bclr 17,0
+	bclr 18,0
+ errat	bclr 19,0
+	bclr 20,0
+ err	bclr 21,0
+ err	bclr 22,0
+ err	bclr 23,0
+ erry	bclr 24,0
+ erry	bclr 25,0
+ erry	bclr 26,0
+ erry	bclr 27,0
+ err	bclr 28,0
+ err	bclr 29,0
+ err	bclr 30,0
+ err	bclr 31,0
+
+ .ifdef POWER8
+	bctar 0,0
+ errat	bctar 1,0
+	bctar 2,0
+ errat	bctar 3,0
+	bctar 4,0
+ errat	bctar 5,0
+	bctar 6,0
+	bctar 7,0
+	bctar 8,0
+ errat	bctar 9,0
+	bctar 10,0
+ errat	bctar 11,0
+	bctar 12,0
+ errat	bctar 13,0
+	bctar 14,0
+	bctar 15,0
+	bctar 16,0
+ errat	bctar 17,0
+	bctar 18,0
+ errat	bctar 19,0
+	bctar 20,0
+ errat	bctar 21,0
+ errat	bctar 22,0
+ errat	bctar 23,0
+	bctar 24,0
+	bctar 25,0
+	bctar 26,0
+	bctar 27,0
+ errat	bctar 28,0
+ errat	bctar 29,0
+ errat	bctar 30,0
+ errat	bctar 31,0
+ .endif
diff --git a/gas/testsuite/gas/ppc/bcat.d b/gas/testsuite/gas/ppc/bcat.d
new file mode 100644
index 0000000..56d55ec
--- /dev/null
+++ b/gas/testsuite/gas/ppc/bcat.d
@@ -0,0 +1,68 @@
+#source: bc.s
+#as: -mpower8 --defsym POWER8=1 --defsym AT=1
+#objdump: -d -Mpower8
+
+.*:     file format .*
+
+Disassembly of section \.text:
+
+0+ <\.text>:
+   0:	(40 00 00 00|00 00 00 40) 	bdnzf   lt,0 .*
+   4:	(40 40 00 00|00 00 40 40) 	bdzf    lt,4 .*
+   8:	(40 80 00 00|00 00 80 40) 	bge     8 .*
+   c:	(40 c0 00 00|00 00 c0 40) 	bge-    c .*
+  10:	(40 e0 00 00|00 00 e0 40) 	bge\+    10 .*
+  14:	(41 00 00 00|00 00 00 41) 	bdnzt   lt,14 .*
+  18:	(41 40 00 00|00 00 40 41) 	bdzt    lt,18 .*
+  1c:	(41 80 00 00|00 00 80 41) 	blt     1c .*
+  20:	(41 c0 00 00|00 00 c0 41) 	blt-    20 .*
+  24:	(41 e0 00 00|00 00 e0 41) 	blt\+    24 .*
+  28:	(42 00 00 00|00 00 00 42) 	bdnz    28 .*
+  2c:	(42 40 00 00|00 00 40 42) 	bdz     2c .*
+  30:	(42 80 00 00|00 00 80 42) 	bc      20,lt,30 .*
+  34:	(43 00 00 00|00 00 00 43) 	bdnz-   34 .*
+  38:	(43 20 00 00|00 00 20 43) 	bdnz\+   38 .*
+  3c:	(43 40 00 00|00 00 40 43) 	bdz-    3c .*
+  40:	(43 60 00 00|00 00 60 43) 	bdz\+    40 .*
+  44:	(4c 80 04 20|20 04 80 4c) 	bgectr
+  48:	(4c c0 04 20|20 04 c0 4c) 	bgectr-
+  4c:	(4c e0 04 20|20 04 e0 4c) 	bgectr\+
+  50:	(4d 80 04 20|20 04 80 4d) 	bltctr
+  54:	(4d c0 04 20|20 04 c0 4d) 	bltctr-
+  58:	(4d e0 04 20|20 04 e0 4d) 	bltctr\+
+  5c:	(4e 80 04 20|20 04 80 4e) 	bctr
+  60:	(4c 00 00 20|20 00 00 4c) 	bdnzflr lt
+  64:	(4c 40 00 20|20 00 40 4c) 	bdzflr  lt
+  68:	(4c 80 00 20|20 00 80 4c) 	bgelr
+  6c:	(4c c0 00 20|20 00 c0 4c) 	bgelr-
+  70:	(4c e0 00 20|20 00 e0 4c) 	bgelr\+
+  74:	(4d 00 00 20|20 00 00 4d) 	bdnztlr lt
+  78:	(4d 40 00 20|20 00 40 4d) 	bdztlr  lt
+  7c:	(4d 80 00 20|20 00 80 4d) 	bltlr
+  80:	(4d c0 00 20|20 00 c0 4d) 	bltlr-
+  84:	(4d e0 00 20|20 00 e0 4d) 	bltlr\+
+  88:	(4e 00 00 20|20 00 00 4e) 	bdnzlr
+  8c:	(4e 40 00 20|20 00 40 4e) 	bdzlr
+  90:	(4e 80 00 20|20 00 80 4e) 	blr
+  94:	(4f 00 00 20|20 00 00 4f) 	bdnzlr-
+  98:	(4f 20 00 20|20 00 20 4f) 	bdnzlr\+
+  9c:	(4f 40 00 20|20 00 40 4f) 	bdzlr-
+  a0:	(4f 60 00 20|20 00 60 4f) 	bdzlr\+
+  a4:	(4c 00 04 60|60 04 00 4c) 	bdnzftar lt
+  a8:	(4c 40 04 60|60 04 40 4c) 	bdzftar lt
+  ac:	(4c 80 04 60|60 04 80 4c) 	bgetar
+  b0:	(4c c0 04 60|60 04 c0 4c) 	bgetar-
+  b4:	(4c e0 04 60|60 04 e0 4c) 	bgetar\+
+  b8:	(4d 00 04 60|60 04 00 4d) 	bdnzttar lt
+  bc:	(4d 40 04 60|60 04 40 4d) 	bdzttar lt
+  c0:	(4d 80 04 60|60 04 80 4d) 	blttar
+  c4:	(4d c0 04 60|60 04 c0 4d) 	blttar-
+  c8:	(4d e0 04 60|60 04 e0 4d) 	blttar\+
+  cc:	(4e 00 04 60|60 04 00 4e) 	bdnztar
+  d0:	(4e 40 04 60|60 04 40 4e) 	bdztar
+  d4:	(4e 80 04 60|60 04 80 4e) 	btar
+  d8:	(4f 00 04 60|60 04 00 4f) 	bdnztar-
+  dc:	(4f 20 04 60|60 04 20 4f) 	bdnztar\+
+  e0:	(4f 40 04 60|60 04 40 4f) 	bdztar-
+  e4:	(4f 60 04 60|60 04 60 4f) 	bdztar\+
+#pass
diff --git a/gas/testsuite/gas/ppc/bcaterr.d b/gas/testsuite/gas/ppc/bcaterr.d
new file mode 100644
index 0000000..b7bde0b
--- /dev/null
+++ b/gas/testsuite/gas/ppc/bcaterr.d
@@ -0,0 +1,3 @@
+#source: bc.s
+#as: -mpower8 --defsym POWER8=1
+#error_output: bcaterr.l
diff --git a/gas/testsuite/gas/ppc/bcaterr.l b/gas/testsuite/gas/ppc/bcaterr.l
new file mode 100644
index 0000000..9986c8c
--- /dev/null
+++ b/gas/testsuite/gas/ppc/bcaterr.l
@@ -0,0 +1,71 @@
+.*: Assembler messages:
+.*:23: Error: .*
+.*:25: Error: .*
+.*:27: Error: .*
+.*:31: Error: .*
+.*:33: Error: .*
+.*:35: Error: .*
+.*:39: Error: .*
+.*:41: Error: .*
+.*:43: Error: .*
+.*:44: Error: .*
+.*:45: Error: .*
+.*:50: Error: .*
+.*:51: Error: .*
+.*:52: Error: .*
+.*:53: Error: .*
+.*:55: Error: .*
+.*:56: Error: .*
+.*:57: Error: .*
+.*:58: Error: .*
+.*:60: Error: .*
+.*:63: Error: .*
+.*:64: Error: .*
+.*:65: Error: .*
+.*:66: Error: .*
+.*:68: Error: .*
+.*:71: Error: .*
+.*:72: Error: .*
+.*:73: Error: .*
+.*:74: Error: .*
+.*:76: Error: .*
+.*:77: Error: .*
+.*:78: Error: .*
+.*:79: Error: .*
+.*:80: Error: .*
+.*:81: Error: .*
+.*:82: Error: .*
+.*:83: Error: .*
+.*:84: Error: .*
+.*:85: Error: .*
+.*:86: Error: .*
+.*:89: Error: .*
+.*:91: Error: .*
+.*:93: Error: .*
+.*:97: Error: .*
+.*:99: Error: .*
+.*:101: Error: .*
+.*:105: Error: .*
+.*:107: Error: .*
+.*:109: Error: .*
+.*:110: Error: .*
+.*:111: Error: .*
+.*:116: Error: .*
+.*:117: Error: .*
+.*:118: Error: .*
+.*:119: Error: .*
+.*:123: Error: .*
+.*:125: Error: .*
+.*:127: Error: .*
+.*:131: Error: .*
+.*:133: Error: .*
+.*:135: Error: .*
+.*:139: Error: .*
+.*:141: Error: .*
+.*:143: Error: .*
+.*:144: Error: .*
+.*:145: Error: .*
+.*:150: Error: .*
+.*:151: Error: .*
+.*:152: Error: .*
+.*:153: Error: .*
diff --git a/gas/testsuite/gas/ppc/bcy.d b/gas/testsuite/gas/ppc/bcy.d
new file mode 100644
index 0000000..d0efd64
--- /dev/null
+++ b/gas/testsuite/gas/ppc/bcy.d
@@ -0,0 +1,49 @@
+#source: bc.s
+#as: -mppc --defsym Y=1
+#objdump: -d -Mppc
+
+.*:     file format .*
+
+Disassembly of section \.text:
+
+0+ <\.text>:
+   0:	(40 00 00 00|00 00 00 40) 	bdnzf-  lt,0 .*
+   4:	(40 20 00 00|00 00 20 40) 	bdnzf\+  lt,4 .*
+   8:	(40 40 00 00|00 00 40 40) 	bdzf-   lt,8 .*
+   c:	(40 60 00 00|00 00 60 40) 	bdzf\+   lt,c .*
+  10:	(40 80 00 00|00 00 80 40) 	bge-    10 .*
+  14:	(40 a0 00 00|00 00 a0 40) 	bge\+    14 .*
+  18:	(41 00 00 00|00 00 00 41) 	bdnzt-  lt,18 .*
+  1c:	(41 20 00 00|00 00 20 41) 	bdnzt\+  lt,1c .*
+  20:	(41 40 00 00|00 00 40 41) 	bdzt-   lt,20 .*
+  24:	(41 60 00 00|00 00 60 41) 	bdzt\+   lt,24 .*
+  28:	(41 80 00 00|00 00 80 41) 	blt-    28 .*
+  2c:	(41 a0 00 00|00 00 a0 41) 	blt\+    2c .*
+  30:	(42 00 00 00|00 00 00 42) 	bdnz-   30 .*
+  34:	(42 20 00 00|00 00 20 42) 	bdnz\+   34 .*
+  38:	(42 40 00 00|00 00 40 42) 	bdz-    38 .*
+  3c:	(42 60 00 00|00 00 60 42) 	bdz\+    3c .*
+  40:	(42 80 00 00|00 00 80 42) 	bc      20,lt,40 .*
+  44:	(4c 80 04 20|20 04 80 4c) 	bgectr-
+  48:	(4c a0 04 20|20 04 a0 4c) 	bgectr\+
+  4c:	(4d 80 04 20|20 04 80 4d) 	bltctr-
+  50:	(4d a0 04 20|20 04 a0 4d) 	bltctr\+
+  54:	(4e 80 04 20|20 04 80 4e) 	bctr
+  58:	(4c 00 00 20|20 00 00 4c) 	bdnzflr- lt
+  5c:	(4c 20 00 20|20 00 20 4c) 	bdnzflr\+ lt
+  60:	(4c 40 00 20|20 00 40 4c) 	bdzflr- lt
+  64:	(4c 60 00 20|20 00 60 4c) 	bdzflr\+ lt
+  68:	(4c 80 00 20|20 00 80 4c) 	bgelr-
+  6c:	(4c a0 00 20|20 00 a0 4c) 	bgelr\+
+  70:	(4d 00 00 20|20 00 00 4d) 	bdnztlr- lt
+  74:	(4d 20 00 20|20 00 20 4d) 	bdnztlr\+ lt
+  78:	(4d 40 00 20|20 00 40 4d) 	bdztlr- lt
+  7c:	(4d 60 00 20|20 00 60 4d) 	bdztlr\+ lt
+  80:	(4d 80 00 20|20 00 80 4d) 	bltlr-
+  84:	(4d a0 00 20|20 00 a0 4d) 	bltlr\+
+  88:	(4e 00 00 20|20 00 00 4e) 	bdnzlr-
+  8c:	(4e 20 00 20|20 00 20 4e) 	bdnzlr\+
+  90:	(4e 40 00 20|20 00 40 4e) 	bdzlr-
+  94:	(4e 60 00 20|20 00 60 4e) 	bdzlr\+
+  98:	(4e 80 00 20|20 00 80 4e) 	blr
+#pass
diff --git a/gas/testsuite/gas/ppc/bcyerr.d b/gas/testsuite/gas/ppc/bcyerr.d
new file mode 100644
index 0000000..bafdec5
--- /dev/null
+++ b/gas/testsuite/gas/ppc/bcyerr.d
@@ -0,0 +1,3 @@
+#source: bc.s
+#as: -mppc
+#error_output: bcyerr.l
diff --git a/gas/testsuite/gas/ppc/bcyerr.l b/gas/testsuite/gas/ppc/bcyerr.l
new file mode 100644
index 0000000..099f76b
--- /dev/null
+++ b/gas/testsuite/gas/ppc/bcyerr.l
@@ -0,0 +1,58 @@
+.*: Assembler messages:
+.*:28: Error: .*
+.*:29: Error: .*
+.*:36: Error: .*
+.*:37: Error: .*
+.*:43: Error: .*
+.*:44: Error: .*
+.*:45: Error: .*
+.*:46: Error: .*
+.*:47: Error: .*
+.*:48: Error: .*
+.*:49: Error: .*
+.*:50: Error: .*
+.*:51: Error: .*
+.*:52: Error: .*
+.*:53: Error: .*
+.*:55: Error: .*
+.*:56: Error: .*
+.*:57: Error: .*
+.*:58: Error: .*
+.*:61: Error: .*
+.*:62: Error: .*
+.*:63: Error: .*
+.*:64: Error: .*
+.*:65: Error: .*
+.*:66: Error: .*
+.*:69: Error: .*
+.*:70: Error: .*
+.*:71: Error: .*
+.*:72: Error: .*
+.*:73: Error: .*
+.*:74: Error: .*
+.*:76: Error: .*
+.*:77: Error: .*
+.*:78: Error: .*
+.*:79: Error: .*
+.*:80: Error: .*
+.*:81: Error: .*
+.*:82: Error: .*
+.*:83: Error: .*
+.*:84: Error: .*
+.*:85: Error: .*
+.*:86: Error: .*
+.*:94: Error: .*
+.*:95: Error: .*
+.*:102: Error: .*
+.*:103: Error: .*
+.*:109: Error: .*
+.*:110: Error: .*
+.*:111: Error: .*
+.*:112: Error: .*
+.*:113: Error: .*
+.*:114: Error: .*
+.*:115: Error: .*
+.*:116: Error: .*
+.*:117: Error: .*
+.*:118: Error: .*
+.*:119: Error: .*
diff --git a/gas/testsuite/gas/ppc/ppc.exp b/gas/testsuite/gas/ppc/ppc.exp
index f82dbf1..62d67a3 100644
--- a/gas/testsuite/gas/ppc/ppc.exp
+++ b/gas/testsuite/gas/ppc/ppc.exp
@@ -22,6 +22,10 @@ if { ![istarget "powerpc*-*-*"] && ![istarget "rs6000-*-*"] } then {
     return
 }
 
+run_dump_test "bcyerr"
+run_dump_test "bcy"
+run_dump_test "bcaterr"
+run_dump_test "bcat"
 run_dump_test "regnames"
 run_dump_test "misalign"
 run_dump_test "misalign2"