[avr] PR114975: Better 8-bit parity detection.
Checks
Context |
Check |
Description |
linaro-tcwg-bot/tcwg_gcc_build--master-arm |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_gcc_check--master-arm |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_gcc_build--master-aarch64 |
success
|
Testing passed
|
Commit Message
Add a combine pattern for parity detection.
Ok for master?
Johann
AVR: target/114975 - Add combine-pattern for __parityqi2.
PR target/114975
gcc/
* config/avr/avr.md: Add combine pattern for
8-bit parity detection.
gcc/testsuite/
* gcc.target/avr/pr114975-parity.c: New test.
Comments
On 5/7/24 11:23 AM, Georg-Johann Lay wrote:
> Add a combine pattern for parity detection.
>
> Ok for master?
>
> Johann
>
> AVR: target/114975 - Add combine-pattern for __parityqi2.
>
> PR target/114975
> gcc/
> * config/avr/avr.md: Add combine pattern for
> 8-bit parity detection.
>
> gcc/testsuite/
> * gcc.target/avr/pr114975-parity.c: New test.
OK
jeff
@@ -8418,7 +8418,22 @@ (define_insn_and_split "*parityhi2"
(set (match_dup 0)
(reg:HI 24))])
-(define_insn_and_split "*parityqihi2"
+(define_insn_and_split "*parityqihi2.1"
+ [(set (match_operand:HI 0 "register_operand" "=r")
+ (zero_extend:HI
+ (parity:QI (match_operand:QI 1 "register_operand" "r"))))
+ (clobber (reg:HI 24))]
+ "!reload_completed"
+ { gcc_unreachable(); }
+ "&& 1"
+ [(set (reg:QI 24)
+ (match_dup 1))
+ (set (reg:HI 24)
+ (zero_extend:HI (parity:QI (reg:QI 24))))
+ (set (match_dup 0)
+ (reg:HI 24))])
+
+(define_insn_and_split "*parityqihi2.2"
[(set (match_operand:HI 0 "register_operand" "=r")
(parity:HI (match_operand:QI 1 "register_operand" "r")))
(clobber (reg:HI 24))]
new file mode 100644
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-Os" } */
+
+typedef __UINT8_TYPE__ uint8_t;
+
+uint8_t use_pary1 (int y, uint8_t x)
+{
+ return 1 + __builtin_parity (x);
+}
+
+uint8_t use_pary2 (uint8_t x)
+{
+ x += 1;
+ return 1 - __builtin_parity (x);
+}
+
+/* { dg-final { scan-assembler-times "__parityqi2" 2 } } */