diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 379be0a35103..71728b74ae52 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,25 @@ +2017-08-31 Richard Sandiford + Alan Hayward + David Sherwood + + * config/aarch64/aarch64-modes.def: Remove 32-, 48- and 64-byte + vector modes. + * config/aarch64/iterators.md (VRL2, VRL3, VRL4): Delete. + * config/aarch64/aarch64.md (UNSPEC_LD2_DREG, UNSPEC_LD3_DREG) + (UNSPEC_LD4_DREG): New unspecs. + * config/aarch64/aarch64-simd.md (aarch64_ld2_dreg_le) + (aarch64_ld2_dreg_be): Replace with... + (aarch64_ld2_dreg): ...this pattern and use the new DREG + unspec. + (aarch64_ld3_dreg_le) + (aarch64_ld3_dreg_be): Replace with... + (aarch64_ld3_dreg): ...this pattern and use the new DREG + unspec. + (aarch64_ld4_dreg_le) + (aarch64_ld4_dreg_be): Replace with... + (aarch64_ld4_dreg): ...this pattern and use the new DREG + unspec. + 2017-08-30 Bill Schmidt PR tree-optimization/81987 diff --git a/gcc/config/aarch64/aarch64-modes.def b/gcc/config/aarch64/aarch64-modes.def index 45f7a44b90d0..195976c223aa 100644 --- a/gcc/config/aarch64/aarch64-modes.def +++ b/gcc/config/aarch64/aarch64-modes.def @@ -44,15 +44,5 @@ INT_MODE (OI, 32); INT_MODE (CI, 48); INT_MODE (XI, 64); -/* Vector modes for register lists. */ -VECTOR_MODES (INT, 32); /* V32QI V16HI V8SI V4DI. */ -VECTOR_MODES (FLOAT, 32); /* V8SF V4DF. */ - -VECTOR_MODES (INT, 48); /* V32QI V16HI V8SI V4DI. */ -VECTOR_MODES (FLOAT, 48); /* V8SF V4DF. */ - -VECTOR_MODES (INT, 64); /* V32QI V16HI V8SI V4DI. */ -VECTOR_MODES (FLOAT, 64); /* V8SF V4DF. */ - /* Quad float: 128-bit floating mode for long doubles. */ FLOAT_MODE (TF, 16, ieee_quad_format); diff --git a/gcc/config/aarch64/aarch64-simd.md b/gcc/config/aarch64/aarch64-simd.md index f3e084f8778d..f7609616c34d 100644 --- a/gcc/config/aarch64/aarch64-simd.md +++ b/gcc/config/aarch64/aarch64-simd.md @@ -4963,278 +4963,62 @@ DONE; }) -(define_insn "aarch64_ld2_dreg_le" +(define_insn "aarch64_ld2_dreg" [(set (match_operand:OI 0 "register_operand" "=w") - (subreg:OI - (vec_concat: - (vec_concat: - (unspec:VD - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD2) - (vec_duplicate:VD (const_int 0))) - (vec_concat: - (unspec:VD [(match_dup 1)] - UNSPEC_LD2) - (vec_duplicate:VD (const_int 0)))) 0))] - "TARGET_SIMD && !BYTES_BIG_ENDIAN" + (unspec:OI [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv") + (unspec:VD [(const_int 0)] UNSPEC_VSTRUCTDUMMY)] + UNSPEC_LD2_DREG))] + "TARGET_SIMD" "ld2\\t{%S0. - %T0.}, %1" [(set_attr "type" "neon_load2_2reg")] ) -(define_insn "aarch64_ld2_dreg_be" +(define_insn "aarch64_ld2_dreg" [(set (match_operand:OI 0 "register_operand" "=w") - (subreg:OI - (vec_concat: - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD2)) - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD [(match_dup 1)] - UNSPEC_LD2))) 0))] - "TARGET_SIMD && BYTES_BIG_ENDIAN" - "ld2\\t{%S0. - %T0.}, %1" - [(set_attr "type" "neon_load2_2reg")] -) - -(define_insn "aarch64_ld2_dreg_le" - [(set (match_operand:OI 0 "register_operand" "=w") - (subreg:OI - (vec_concat: - (vec_concat: - (unspec:DX - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD2) - (const_int 0)) - (vec_concat: - (unspec:DX [(match_dup 1)] - UNSPEC_LD2) - (const_int 0))) 0))] - "TARGET_SIMD && !BYTES_BIG_ENDIAN" + (unspec:OI [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv") + (unspec:DX [(const_int 0)] UNSPEC_VSTRUCTDUMMY)] + UNSPEC_LD2_DREG))] + "TARGET_SIMD" "ld1\\t{%S0.1d - %T0.1d}, %1" [(set_attr "type" "neon_load1_2reg")] ) -(define_insn "aarch64_ld2_dreg_be" - [(set (match_operand:OI 0 "register_operand" "=w") - (subreg:OI - (vec_concat: - (vec_concat: - (const_int 0) - (unspec:DX - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD2)) - (vec_concat: - (const_int 0) - (unspec:DX [(match_dup 1)] - UNSPEC_LD2))) 0))] - "TARGET_SIMD && BYTES_BIG_ENDIAN" - "ld1\\t{%S0.1d - %T0.1d}, %1" - [(set_attr "type" "neon_load1_2reg")] -) - -(define_insn "aarch64_ld3_dreg_le" +(define_insn "aarch64_ld3_dreg" [(set (match_operand:CI 0 "register_operand" "=w") - (subreg:CI - (vec_concat: - (vec_concat: - (vec_concat: - (unspec:VD - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD3) - (vec_duplicate:VD (const_int 0))) - (vec_concat: - (unspec:VD [(match_dup 1)] - UNSPEC_LD3) - (vec_duplicate:VD (const_int 0)))) - (vec_concat: - (unspec:VD [(match_dup 1)] - UNSPEC_LD3) - (vec_duplicate:VD (const_int 0)))) 0))] - "TARGET_SIMD && !BYTES_BIG_ENDIAN" + (unspec:CI [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv") + (unspec:VD [(const_int 0)] UNSPEC_VSTRUCTDUMMY)] + UNSPEC_LD3_DREG))] + "TARGET_SIMD" "ld3\\t{%S0. - %U0.}, %1" [(set_attr "type" "neon_load3_3reg")] ) -(define_insn "aarch64_ld3_dreg_be" +(define_insn "aarch64_ld3_dreg" [(set (match_operand:CI 0 "register_operand" "=w") - (subreg:CI - (vec_concat: - (vec_concat: - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD3)) - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD [(match_dup 1)] - UNSPEC_LD3))) - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD [(match_dup 1)] - UNSPEC_LD3))) 0))] - "TARGET_SIMD && BYTES_BIG_ENDIAN" - "ld3\\t{%S0. - %U0.}, %1" - [(set_attr "type" "neon_load3_3reg")] -) - -(define_insn "aarch64_ld3_dreg_le" - [(set (match_operand:CI 0 "register_operand" "=w") - (subreg:CI - (vec_concat: - (vec_concat: - (vec_concat: - (unspec:DX - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD3) - (const_int 0)) - (vec_concat: - (unspec:DX [(match_dup 1)] - UNSPEC_LD3) - (const_int 0))) - (vec_concat: - (unspec:DX [(match_dup 1)] - UNSPEC_LD3) - (const_int 0))) 0))] - "TARGET_SIMD && !BYTES_BIG_ENDIAN" + (unspec:CI [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv") + (unspec:DX [(const_int 0)] UNSPEC_VSTRUCTDUMMY)] + UNSPEC_LD3_DREG))] + "TARGET_SIMD" "ld1\\t{%S0.1d - %U0.1d}, %1" [(set_attr "type" "neon_load1_3reg")] ) -(define_insn "aarch64_ld3_dreg_be" - [(set (match_operand:CI 0 "register_operand" "=w") - (subreg:CI - (vec_concat: - (vec_concat: - (vec_concat: - (const_int 0) - (unspec:DX - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD3)) - (vec_concat: - (const_int 0) - (unspec:DX [(match_dup 1)] - UNSPEC_LD3))) - (vec_concat: - (const_int 0) - (unspec:DX [(match_dup 1)] - UNSPEC_LD3))) 0))] - "TARGET_SIMD && BYTES_BIG_ENDIAN" - "ld1\\t{%S0.1d - %U0.1d}, %1" - [(set_attr "type" "neon_load1_3reg")] -) - -(define_insn "aarch64_ld4_dreg_le" +(define_insn "aarch64_ld4_dreg" [(set (match_operand:XI 0 "register_operand" "=w") - (subreg:XI - (vec_concat: - (vec_concat: - (vec_concat: - (unspec:VD - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD4) - (vec_duplicate:VD (const_int 0))) - (vec_concat: - (unspec:VD [(match_dup 1)] - UNSPEC_LD4) - (vec_duplicate:VD (const_int 0)))) - (vec_concat: - (vec_concat: - (unspec:VD [(match_dup 1)] - UNSPEC_LD4) - (vec_duplicate:VD (const_int 0))) - (vec_concat: - (unspec:VD [(match_dup 1)] - UNSPEC_LD4) - (vec_duplicate:VD (const_int 0))))) 0))] - "TARGET_SIMD && !BYTES_BIG_ENDIAN" + (unspec:XI [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv") + (unspec:VD [(const_int 0)] UNSPEC_VSTRUCTDUMMY)] + UNSPEC_LD4_DREG))] + "TARGET_SIMD" "ld4\\t{%S0. - %V0.}, %1" [(set_attr "type" "neon_load4_4reg")] ) -(define_insn "aarch64_ld4_dreg_be" +(define_insn "aarch64_ld4_dreg" [(set (match_operand:XI 0 "register_operand" "=w") - (subreg:XI - (vec_concat: - (vec_concat: - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD4)) - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD [(match_dup 1)] - UNSPEC_LD4))) - (vec_concat: - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD [(match_dup 1)] - UNSPEC_LD4)) - (vec_concat: - (vec_duplicate:VD (const_int 0)) - (unspec:VD [(match_dup 1)] - UNSPEC_LD4)))) 0))] - "TARGET_SIMD && BYTES_BIG_ENDIAN" - "ld4\\t{%S0. - %V0.}, %1" - [(set_attr "type" "neon_load4_4reg")] -) - -(define_insn "aarch64_ld4_dreg_le" - [(set (match_operand:XI 0 "register_operand" "=w") - (subreg:XI - (vec_concat: - (vec_concat: - (vec_concat: - (unspec:DX - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD4) - (const_int 0)) - (vec_concat: - (unspec:DX [(match_dup 1)] - UNSPEC_LD4) - (const_int 0))) - (vec_concat: - (vec_concat: - (unspec:DX [(match_dup 1)] - UNSPEC_LD4) - (const_int 0)) - (vec_concat: - (unspec:DX [(match_dup 1)] - UNSPEC_LD4) - (const_int 0)))) 0))] - "TARGET_SIMD && !BYTES_BIG_ENDIAN" - "ld1\\t{%S0.1d - %V0.1d}, %1" - [(set_attr "type" "neon_load1_4reg")] -) - -(define_insn "aarch64_ld4_dreg_be" - [(set (match_operand:XI 0 "register_operand" "=w") - (subreg:XI - (vec_concat: - (vec_concat: - (vec_concat: - (const_int 0) - (unspec:DX - [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv")] - UNSPEC_LD4)) - (vec_concat: - (const_int 0) - (unspec:DX [(match_dup 1)] - UNSPEC_LD4))) - (vec_concat: - (vec_concat: - (const_int 0) - (unspec:DX [(match_dup 1)] - UNSPEC_LD4)) - (vec_concat: - (const_int 0) - (unspec:DX [(match_dup 1)] - UNSPEC_LD4)))) 0))] - "TARGET_SIMD && BYTES_BIG_ENDIAN" + (unspec:XI [(match_operand:BLK 1 "aarch64_simd_struct_operand" "Utv") + (unspec:DX [(const_int 0)] UNSPEC_VSTRUCTDUMMY)] + UNSPEC_LD4_DREG))] + "TARGET_SIMD" "ld1\\t{%S0.1d - %V0.1d}, %1" [(set_attr "type" "neon_load1_4reg")] ) @@ -5248,12 +5032,7 @@ rtx mem = gen_rtx_MEM (BLKmode, operands[1]); set_mem_size (mem, * 8); - if (BYTES_BIG_ENDIAN) - emit_insn (gen_aarch64_ld_dreg_be (operands[0], - mem)); - else - emit_insn (gen_aarch64_ld_dreg_le (operands[0], - mem)); + emit_insn (gen_aarch64_ld_dreg (operands[0], mem)); DONE; }) diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md index c1bca07308d8..7552bf36ba29 100644 --- a/gcc/config/aarch64/aarch64.md +++ b/gcc/config/aarch64/aarch64.md @@ -98,10 +98,13 @@ UNSPEC_GOTTINYTLS UNSPEC_LD1 UNSPEC_LD2 + UNSPEC_LD2_DREG UNSPEC_LD2_DUP UNSPEC_LD3 + UNSPEC_LD3_DREG UNSPEC_LD3_DUP UNSPEC_LD4 + UNSPEC_LD4_DREG UNSPEC_LD4_DUP UNSPEC_LD2_LANE UNSPEC_LD3_LANE diff --git a/gcc/config/aarch64/iterators.md b/gcc/config/aarch64/iterators.md index cceb57525c7a..c8cb54f71ab0 100644 --- a/gcc/config/aarch64/iterators.md +++ b/gcc/config/aarch64/iterators.md @@ -711,21 +711,6 @@ ;; ld..._lane and st..._lane operations. (define_mode_attr nregs [(OI "2") (CI "3") (XI "4")]) -(define_mode_attr VRL2 [(V8QI "V32QI") (V4HI "V16HI") - (V4HF "V16HF") - (V2SI "V8SI") (V2SF "V8SF") - (DI "V4DI") (DF "V4DF")]) - -(define_mode_attr VRL3 [(V8QI "V48QI") (V4HI "V24HI") - (V4HF "V24HF") - (V2SI "V12SI") (V2SF "V12SF") - (DI "V6DI") (DF "V6DF")]) - -(define_mode_attr VRL4 [(V8QI "V64QI") (V4HI "V32HI") - (V4HF "V32HF") - (V2SI "V16SI") (V2SF "V16SF") - (DI "V8DI") (DF "V8DF")]) - ;; Mode for atomic operation suffixes (define_mode_attr atomic_sfx [(QI "b") (HI "h") (SI "") (DI "")])