procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

AArch64 - Improve MOVI handling (4/5)

Browse source 
From-SVN: r199657
This commit is contained in:
Ian Bolton 2013-06-04 16:19:17 +00:00 • committed by Ian Bolton
parent 48063b9d41
commit 81c2dfb933
4 changed files with 28 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
gcc/ChangeLog
View file

@ -1,3 +1,17 @@
2013-06-04 Ian Bolton <ian.bolton@arm.com>
* config/aarch64/aarch64.c (simd_immediate_info): Remove
element_char member.
(sizetochar): Return signed char.
(aarch64_simd_valid_immediate): Remove elchar and other
unnecessary variables.
(aarch64_output_simd_mov_immediate): Take rtx instead of &rtx.
Calculate element_char as required.
* config/aarch64/aarch64-protos.h: Update and move prototype
for aarch64_output_simd_mov_immediate.
* config/aarch64/aarch64-simd.md (*aarch64_simd_mov<mode>):
Update arguments.
2013-06-04 Ian Bolton <ian.bolton@arm.com>
* config/aarch64/aarch64.c (simd_immediate_info): Struct to hold

3
gcc/config/aarch64/aarch64-protos.h
View file

@ -149,6 +149,7 @@ bool aarch64_legitimate_pic_operand_p (rtx);
bool aarch64_move_imm (HOST_WIDE_INT, enum machine_mode);
bool aarch64_mov_operand_p (rtx, enum aarch64_symbol_context,
enum machine_mode);
char *aarch64_output_simd_mov_immediate (rtx, enum machine_mode, unsigned);
bool aarch64_pad_arg_upward (enum machine_mode, const_tree);
bool aarch64_pad_reg_upward (enum machine_mode, const_tree, bool);
bool aarch64_regno_ok_for_base_p (int, bool);
@ -259,6 +260,4 @@ extern void aarch64_split_combinev16qi (rtx operands[3]);
extern void aarch64_expand_vec_perm (rtx target, rtx op0, rtx op1, rtx sel);
extern bool
aarch64_expand_vec_perm_const (rtx target, rtx op0, rtx op1, rtx sel);
char* aarch64_output_simd_mov_immediate (rtx *, enum machine_mode, unsigned);
#endif /* GCC_AARCH64_PROTOS_H */

4
gcc/config/aarch64/aarch64-simd.md
View file

@ -409,7 +409,7 @@
case 4: return "ins\t%0.d[0], %1";
case 5: return "mov\t%0, %1";
case 6:
return aarch64_output_simd_mov_immediate (&operands[1],
return aarch64_output_simd_mov_immediate (operands[1],
<MODE>mode, 64);
default: gcc_unreachable ();
}
@ -440,7 +440,7 @@
case 5:
return "#";
case 6:
return aarch64_output_simd_mov_immediate (&operands[1], <MODE>mode, 128);
return aarch64_output_simd_mov_immediate (operands[1], <MODE>mode, 128);
default:
gcc_unreachable ();
}

29
gcc/config/aarch64/aarch64.c
View file

@ -92,7 +92,6 @@ struct simd_immediate_info
rtx value;
int shift;
int element_width;
unsigned char element_char;
bool mvn;
};
@ -6103,7 +6102,7 @@ aarch64_mangle_type (const_tree type)
}
/* Return the equivalent letter for size. */
static unsigned char
static char
sizetochar (int size)
{
switch (size)
@ -6164,7 +6163,6 @@ aarch64_simd_valid_immediate (rtx op, enum machine_mode mode, bool inverse,
{ \
immtype = (CLASS); \
elsize = (ELSIZE); \
elchar = sizetochar (elsize); \
eshift = (SHIFT); \
emvn = (NEG); \
break; \
@ -6173,25 +6171,20 @@ aarch64_simd_valid_immediate (rtx op, enum machine_mode mode, bool inverse,
unsigned int i, elsize = 0, idx = 0, n_elts = CONST_VECTOR_NUNITS (op);
unsigned int innersize = GET_MODE_SIZE (GET_MODE_INNER (mode));
unsigned char bytes[16];
unsigned char elchar = 0;
int immtype = -1, matches;
unsigned int invmask = inverse ? 0xff : 0;
int eshift, emvn;
if (GET_MODE_CLASS (mode) == MODE_VECTOR_FLOAT)
{
bool simd_imm_zero = aarch64_simd_imm_zero_p (op, mode);
int elem_width = GET_MODE_BITSIZE (GET_MODE (CONST_VECTOR_ELT (op, 0)));
if (!(simd_imm_zero
|| aarch64_vect_float_const_representable_p (op)))
if (! (aarch64_simd_imm_zero_p (op, mode)
|| aarch64_vect_float_const_representable_p (op)))
return false;
if (info)
{
info->value = CONST_VECTOR_ELT (op, 0);
info->element_width = elem_width;
info->element_char = sizetochar (elem_width);
info->element_width = GET_MODE_BITSIZE (GET_MODE (info->value));
info->mvn = false;
info->shift = 0;
}
@ -6299,7 +6292,6 @@ aarch64_simd_valid_immediate (rtx op, enum machine_mode mode, bool inverse,
if (info)
{
info->element_width = elsize;
info->element_char = elchar;
info->mvn = emvn != 0;
info->shift = eshift;
@ -7230,7 +7222,7 @@ aarch64_float_const_representable_p (rtx x)
}
char*
aarch64_output_simd_mov_immediate (rtx *const_vector,
aarch64_output_simd_mov_immediate (rtx const_vector,
enum machine_mode mode,
unsigned width)
{
@ -7238,16 +7230,17 @@ aarch64_output_simd_mov_immediate (rtx *const_vector,
static char templ[40];
const char *mnemonic;
unsigned int lane_count = 0;
char element_char;
struct simd_immediate_info info;
/* This will return true to show const_vector is legal for use as either
a AdvSIMD MOVI instruction (or, implicitly, MVNI) immediate. It will
also update INFO to show how the immediate should be generated. */
is_valid = aarch64_simd_valid_immediate (*const_vector, mode, false, &info);
is_valid = aarch64_simd_valid_immediate (const_vector, mode, false, &info);
gcc_assert (is_valid);
gcc_assert (info.element_width != 0);
element_char = sizetochar (info.element_width);
lane_count = width / info.element_width;
mode = GET_MODE_INNER (mode);
@ -7269,7 +7262,7 @@ aarch64_output_simd_mov_immediate (rtx *const_vector,
snprintf (templ, sizeof (templ), "fmov\t%%d0, %s", float_buf);
else
snprintf (templ, sizeof (templ), "fmov\t%%0.%d%c, %s",
lane_count, info.element_char, float_buf);
lane_count, element_char, float_buf);
return templ;
}
}
@ -7281,11 +7274,11 @@ aarch64_output_simd_mov_immediate (rtx *const_vector,
mnemonic, UINTVAL (info.value));
else if (info.shift)
snprintf (templ, sizeof (templ), "%s\t%%0.%d%c, " HOST_WIDE_INT_PRINT_HEX
", lsl %d", mnemonic, lane_count, info.element_char,
", lsl %d", mnemonic, lane_count, element_char,
UINTVAL (info.value), info.shift);
else
snprintf (templ, sizeof (templ), "%s\t%%0.%d%c, " HOST_WIDE_INT_PRINT_HEX,
mnemonic, lane_count, info.element_char, UINTVAL (info.value));
mnemonic, lane_count, element_char, UINTVAL (info.value));
return templ;
}