(branch-on-bit): New patterns.

From-SVN: r3764

diff --git a/gcc/config/pa/pa.md b/gcc/config/pa/pa.md
index 0f220c8e08b1805ea3ed72d4a0825c5ab7cd2cf2..831107c7ec7660da03fcfd39db1c3355c175330a 100644 (file)
--- a/gcc/config/pa/pa.md
+++ b/gcc/config/pa/pa.md
@@ -720,6 +720,59 @@
                                      (const_int 1)
                                      (const_int 2)))])
 
+;; Branch on bit patterns
+
+(define_insn ""
+  [(set (pc)
+       (if_then_else
+        (ne (zero_extract:SI (match_operand:SI 0 "register_operand" "r")
+                             (const_int 1)
+                             (match_operand:SI 1 "uint5_operand" ""))
+            (const_int 0))
+        (match_operand 2 "pc_or_label_operand" "")
+        (match_operand 3 "pc_or_label_operand" "")))]
+  ""
+  "*
+{
+  if (operands[3] == pc_rtx)
+    return (get_attr_length (insn) == 1
+           ? \"bb,< %0,%1,%2%#\" : \"extrs,>= %0,%1,1,0\;bl %2,0%#\");
+  else
+    return (get_attr_length (insn) == 1
+           ? \"bb,>= %0,%1,%3%#\" : \"extrs,< %0,%1,1,0\;bl %3,0%#\");
+}"
+  [(set_attr "type" "cbranch")
+   (set (attr "length") (if_then_else (lt (abs (minus (match_dup 0)
+                                                     (plus (pc) (const_int 2))))
+                                         (const_int 1023))
+                                     (const_int 1)
+                                     (const_int 2)))])
+
+(define_insn ""
+  [(set (pc)
+       (if_then_else
+        (eq (zero_extract:SI (match_operand:SI 0 "register_operand" "r")
+                             (const_int 1)
+                             (match_operand:SI 1 "uint5_operand" ""))
+            (const_int 0))
+        (match_operand 2 "pc_or_label_operand" "")
+        (match_operand 3 "pc_or_label_operand" "")))]
+  ""
+  "*
+{
+  if (operands[3] == pc_rtx)
+    return (get_attr_length (insn) == 1
+           ? \"bb,>= %0,%1,%2%#\" : \"extrs,< %0,%1,1,0\;bl %2,0%#\");
+  else
+    return (get_attr_length (insn) == 1
+           ? \"bb,< %0,%1,%3%#\" : \"extrs,>= %0,%1,1,0\;bl %3,0%#\");
+}"
+  [(set_attr "type" "cbranch")
+   (set (attr "length") (if_then_else (lt (abs (minus (match_dup 0)
+                                                     (plus (pc) (const_int 2))))
+                                         (const_int 1023))
+                                     (const_int 1)
+                                     (const_int 2)))])
 ;; Floating point branches
 
 (define_insn ""