Skip to content
Snippets Groups Projects
Commit 0c585c8d authored by Jeff Law's avatar Jeff Law
Browse files

[to-be-committed,RISC-V] Improve single inverted bit extraction - v3

So this patch fixes a minor code generation inefficiency that (IIRC) the
RAU team discovered a while ago in spec.

If we want the inverted value of a single bit we can use bext to extract
the bit, then seq to invert the value (if viewed as a 0/1 truth value).

The RTL is fairly convoluted, but it's basically a right shift to get
the bit into position, bitwise-not then masking off all but the low bit.
So it's a 3->2 combine, hidden by the fact that and-not is a
define_insn_and_split, so it actually looks like a 2->2 combine.

We've run this through Ventana's internal CI (which includes
zba_zbb_zbs) and I've run it in my own tester (rv64gc, rv32gcv).  I'll
wait for the upstream CI to finish with positive results before pushing.

gcc/
	* config/riscv/bitmanip.md (bextseqzdisi): New patterns.

gcc/testsuite/

	* gcc.target/riscv/zbs-bext-2.c: New test.
	* gcc.target/riscv/zbs-bext.c: Fix one of the possible expectes sequences.
parent 8a9b159a
No related branches found
No related tags found
No related merge requests found
File added
...@@ -711,6 +711,49 @@ ...@@ -711,6 +711,49 @@
"bext\t%0,%1,%2" "bext\t%0,%1,%2"
[(set_attr "type" "bitmanip")]) [(set_attr "type" "bitmanip")])
;; This is a bext followed by a seqz. Normally this would be a 3->2 split
;; But the and-not pattern with a constant operand is a define_insn_and_split,
;; so this looks like a 2->2 split, which combine rejects. So implement it
;; as a define_insn_and_split as well.
(define_insn_and_split "*bextseqzdisi"
[(set (match_operand:DI 0 "register_operand" "=r")
(and:DI
(not:DI
(subreg:DI
(lshiftrt:SI
(match_operand:SI 1 "register_operand" "r")
(match_operand:QI 2 "register_operand" "r")) 0))
(const_int 1)))]
"TARGET_64BIT && TARGET_ZBS"
"#"
"&& 1"
[(set (match_dup 0)
(zero_extract:DI (match_dup 1)
(const_int 1)
(zero_extend:DI (match_dup 2))))
(set (match_dup 0) (eq:DI (match_dup 0) (const_int 0)))]
"operands[1] = gen_lowpart (word_mode, operands[1]);"
[(set_attr "type" "bitmanip")])
(define_insn_and_split "*bextseqzdisi"
[(set (match_operand:X 0 "register_operand" "=r")
(and:X
(not:X
(lshiftrt:X
(match_operand:X 1 "register_operand" "r")
(match_operand:QI 2 "register_operand" "r")))
(const_int 1)))]
"TARGET_ZBS"
"#"
"&& 1"
[(set (match_dup 0)
(zero_extract:X (match_dup 1)
(const_int 1)
(zero_extend:X (match_dup 2))))
(set (match_dup 0) (eq:X (match_dup 0) (const_int 0)))]
"operands[1] = gen_lowpart (word_mode, operands[1]);"
[(set_attr "type" "bitmanip")])
;; When performing `(a & (1UL << bitno)) ? 0 : -1` the combiner ;; When performing `(a & (1UL << bitno)) ? 0 : -1` the combiner
;; usually has the `bitno` typed as X-mode (i.e. no further ;; usually has the `bitno` typed as X-mode (i.e. no further
;; zero-extension is performed around the bitno). ;; zero-extension is performed around the bitno).
......
/* { dg-do compile } */
/* { dg-options "-march=rv64gc_zbs -mabi=lp64" } */
/* { dg-skip-if "" { *-*-* } { "-O0" "-Og" } } */
_Bool match(const int ch, int fMap) {
return ((fMap & (1<<(ch))) == 0);
}
_Bool match2(const int ch, int fMap) {
return ((fMap & (1UL<<(ch))) == 0);
}
/* { dg-final { scan-assembler-times "bext\t" 2 } } */
/* { dg-final { scan-assembler-times "seqz\t|xori\t" 2 } } */
/* { dg-final { scan-assembler-not "sraw\t" } } */
/* { dg-final { scan-assembler-not "not\t" } } */
/* { dg-final { scan-assembler-not "andi\t" } } */
...@@ -38,7 +38,7 @@ long bext64_4(long a, char bitno) ...@@ -38,7 +38,7 @@ long bext64_4(long a, char bitno)
/* { dg-final { scan-assembler-times "bexti\t" 1 } } */ /* { dg-final { scan-assembler-times "bexti\t" 1 } } */
/* { dg-final { scan-assembler-times "bext\t" 5 } } */ /* { dg-final { scan-assembler-times "bext\t" 5 } } */
/* { dg-final { scan-assembler-times "xori\t|snez\t" 1 } } */ /* { dg-final { scan-assembler-times "xori\t|seqz\t" 1 } } */
/* { dg-final { scan-assembler-times "addi\t" 1 } } */ /* { dg-final { scan-assembler-times "addi\t" 1 } } */
/* { dg-final { scan-assembler-times "neg\t" 1 } } */ /* { dg-final { scan-assembler-times "neg\t" 1 } } */
/* { dg-final { scan-assembler-not {\mandi} } } */ /* { dg-final { scan-assembler-not {\mandi} } } */
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment