2016-12-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
+ * config/aarch64/aarch64.md: New define_split above bswap<mode>2.
+
+2016-12-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
+
* config/aarch64/aarch64.md: New define_split above insv<mode>.
2016-12-16 Jakub Jelinek <jakub@redhat.com>
[(set_attr "type" "bfx")]
)
+;; When the bit position and width of the equivalent extraction add up to 32
+;; we can use a W-reg LSL instruction taking advantage of the implicit
+;; zero-extension of the X-reg.
+(define_split
+ [(set (match_operand:DI 0 "register_operand")
+ (and:DI (ashift:DI (match_operand:DI 1 "register_operand")
+ (match_operand 2 "const_int_operand"))
+ (match_operand 3 "const_int_operand")))]
+ "aarch64_mask_and_shift_for_ubfiz_p (DImode, operands[3], operands[2])
+ && (INTVAL (operands[2]) + popcount_hwi (INTVAL (operands[3])))
+ == GET_MODE_BITSIZE (SImode)"
+ [(set (match_dup 0)
+ (zero_extend:DI (ashift:SI (match_dup 4) (match_dup 2))))]
+ {
+ operands[4] = gen_lowpart (SImode, operands[1]);
+ }
+)
+
(define_insn "bswap<mode>2"
[(set (match_operand:GPI 0 "register_operand" "=r")
(bswap:GPI (match_operand:GPI 1 "register_operand" "r")))]
2016-12-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
+ * gcc.target/aarch64/ubfiz_lsl_1.c: New test.
+
+2016-12-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
+
* gcc.target/aarch64/ubfx_lsr_1.c: New test.
2016-12-16 Jakub Jelinek <jakub@redhat.com>
--- /dev/null
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+/* Check that an X-reg UBFIZ can be simplified into a W-reg LSL. */
+
+long long
+f2 (long long x)
+{
+ return (x << 5) & 0xffffffff;
+}
+
+/* { dg-final { scan-assembler "lsl\tw" } } */
+/* { dg-final { scan-assembler-not "ubfiz\tx" } } */