From: Kyrill Tkachov <kyrylo.tkachov@arm.com>
To: GCC Patches <gcc-patches@gcc.gnu.org>
Cc: Richard Earnshaw <Richard.Earnshaw@arm.com>,
Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
Subject: [PATCH][ARM][3/3] Implement negsicc, notsicc optabs
Date: Tue, 01 Sep 2015 15:10:00 -0000 [thread overview]
Message-ID: <55E5BFE9.7030301@arm.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1594 bytes --]
[Resending with patch attached]
Hi all,
This third patch implements the new optabs for arm.
Conveniently, we can reuse the recently refactored *if_neg_move pattern
and extend it to cover the conditional NOT case.
Although arm has conditional execution capabilities I have found that
performing the transformation from patch 1/3 early on benefits arm as well.
For example for code:
int
foonegsi (int a)
{
return a ? 25089992 : -25089992;
}
we currently generate:
movw r2, #55240
movw r3, #10296
cmp r0, #0
movt r2, 382
movt r3, 65153
movne r0, r2
moveq r0, r3
bx
whereas with this patch we generate:
movw r3, #10296
cmp r0, #0
movt r3, 65153
mov r0, r3
rsbne r0, r3, #0
bx lr
In SPEC2006 this doesn't trigger very often, so there were minimal code differences,
but overall I claim this patch is an improvement.
Bootstrapped and tested on arm-none-linux-gnueabihf.
Ok for trunk if the midend changes in 1/3 are approved?
Thanks,
Kyrill
2015-08-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
* config/arm/arm.md (<NOT_NEG_op>sicc): New define_expand.
(*if_neg_move): Rename to...
(*if_<NOT_NEG_op>_move): ... This. Use NOT_NEG code iterator.
* config/arm/iterators.md (NOT_NEG): New code iterator.
(NOT_NEG_op): New code attribute.
2015-08-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
* gcc.target/arm/cond_op_imm_1.c: New test.
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: arm-negcc-notcc.patch --]
[-- Type: text/x-patch; name=arm-negcc-notcc.patch, Size: 3605 bytes --]
commit 42353418133073915f23e910d0cd63299fbbffcf
Author: Kyrylo Tkachov <kyrylo.tkachov@arm.com>
Date: Fri Aug 14 13:42:51 2015 +0100
[ARM][3/3] Implement negsicc, notsicc optabs
diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md
index 3e7d97e..6f61bb3 100644
--- a/gcc/config/arm/arm.md
+++ b/gcc/config/arm/arm.md
@@ -10102,18 +10102,39 @@ (define_insn "*ifcompare_neg_move"
(set_attr "type" "multiple")]
)
-(define_insn_and_split "*if_neg_move"
+;; The negsicc and notsicc optabs.
+(define_expand "<NOT_NEG_op>sicc"
+ [(set (match_operand:SI 0 "s_register_operand" "")
+ (if_then_else:SI (match_operand 1 "arm_comparison_operator" "")
+ (NOT_NEG:SI (match_operand:SI 2 "s_register_operand" ""))
+ (match_operand:SI 3 "s_register_operand" "")))]
+ "TARGET_32BIT"
+ {
+ rtx ccreg;
+ enum rtx_code code = GET_CODE (operands[1]);
+
+ if (code == UNEQ || code == LTGT)
+ FAIL;
+
+ ccreg = arm_gen_compare_reg (code, XEXP (operands[1], 0),
+ XEXP (operands[1], 1), NULL);
+ operands[1] = gen_rtx_fmt_ee (code, VOIDmode, ccreg, const0_rtx);
+ }
+)
+
+
+(define_insn_and_split "*if_<NOT_NEG_op>_move"
[(set (match_operand:SI 0 "s_register_operand" "=l,r")
(if_then_else:SI
(match_operator 4 "arm_comparison_operator"
[(match_operand 3 "cc_register" "") (const_int 0)])
- (neg:SI (match_operand:SI 2 "s_register_operand" "l,r"))
+ (NOT_NEG:SI (match_operand:SI 2 "s_register_operand" "l,r"))
(match_operand:SI 1 "s_register_operand" "0,0")))]
"TARGET_32BIT"
"#"
"&& reload_completed"
[(cond_exec (match_op_dup 4 [(match_dup 3) (const_int 0)])
- (set (match_dup 0) (neg:SI (match_dup 2))))]
+ (set (match_dup 0) (NOT_NEG:SI (match_dup 2))))]
""
[(set_attr "conds" "use")
(set_attr "length" "4")
diff --git a/gcc/config/arm/iterators.md b/gcc/config/arm/iterators.md
index 1e7f3f1..db61613 100644
--- a/gcc/config/arm/iterators.md
+++ b/gcc/config/arm/iterators.md
@@ -193,6 +193,9 @@ (define_code_iterator COMPARISONS [eq gt ge le lt])
;; A list of ...
(define_code_iterator IOR_XOR [ior xor])
+;; Bitwise complement and negation
+(define_code_iterator NOT_NEG [not neg])
+
;; Operations on two halves of a quadword vector.
(define_code_iterator VQH_OPS [plus smin smax umin umax])
@@ -629,6 +632,8 @@ (define_code_attr VQH_type [(plus "add") (smin "minmax") (smax "minmax")
(define_code_attr VQH_sign [(plus "i") (smin "s") (smax "s") (umin "u")
(umax "u")])
+(define_code_attr NOT_NEG_op [(not "not") (neg "neg")])
+
(define_code_attr cnb [(ltu "CC_C") (geu "CC")])
(define_code_attr optab [(ltu "ltu") (geu "geu")])
diff --git a/gcc/testsuite/gcc.target/arm/cond_op_imm_1.c b/gcc/testsuite/gcc.target/arm/cond_op_imm_1.c
new file mode 100644
index 0000000..9d335e2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/cond_op_imm_1.c
@@ -0,0 +1,42 @@
+/* { dg-do run } */
+/* { dg-options "-save-temps -O2 -fno-inline" } */
+/* { dg-require-effective-target arm_cond_exec } */
+
+extern void abort (void);
+
+#define N 25089992
+
+int
+foonegsi (int a)
+{
+ return a ? N : -N;
+}
+
+int
+fooinvsi (int a)
+{
+ return a ? N : ~N;
+}
+
+
+
+int
+main (void)
+{
+ if (foonegsi (1) != N)
+ abort ();
+
+ if (foonegsi (0) != -N)
+ abort ();
+
+ if (fooinvsi (1) != N)
+ abort ();
+
+ if (fooinvsi (0) != ~N)
+ abort ();
+
+ return 0;
+}
+
+/* { dg-final { scan-assembler "rsbne" } } */
+/* { dg-final { scan-assembler "mvnne" } } */
next reply other threads:[~2015-09-01 15:10 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-01 15:10 Kyrill Tkachov [this message]
2015-09-10 9:17 ` Ramana Radhakrishnan
-- strict thread matches above, loose matches on Subject: below --
2015-09-01 15:04 Kyrill Tkachov
2015-09-01 15:09 ` pinskia
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=55E5BFE9.7030301@arm.com \
--to=kyrylo.tkachov@arm.com \
--cc=Richard.Earnshaw@arm.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=ramana.radhakrishnan@arm.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).