/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" { target { ! ilp32 } } } } */

#include "test_sve_acle.h"

/*
** ld4_u8_base:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_u8_base, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0),
	   z0 = svld4 (p0, x0))

/*
** ld4_u8_index:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, x1\]
**	ret
*/
TEST_LOAD (ld4_u8_index, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 + x1),
	   z0 = svld4 (p0, x0 + x1))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_u8_1:
**	incb	x0
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_u8_1, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 + svcntb ()),
	   z0 = svld4 (p0, x0 + svcntb ()))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_u8_2:
**	incb	x0, all, mul #2
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_u8_2, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 + svcntb () * 2),
	   z0 = svld4 (p0, x0 + svcntb () * 2))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_u8_3:
**	incb	x0, all, mul #3
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_u8_3, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 + svcntb () * 3),
	   z0 = svld4 (p0, x0 + svcntb () * 3))

/*
** ld4_u8_4:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #4, mul vl\]
**	ret
*/
TEST_LOAD (ld4_u8_4, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 + svcntb () * 4),
	   z0 = svld4 (p0, x0 + svcntb () * 4))

/*
** ld4_u8_28:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #28, mul vl\]
**	ret
*/
TEST_LOAD (ld4_u8_28, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 + svcntb () * 28),
	   z0 = svld4 (p0, x0 + svcntb () * 28))

/*
** ld4_u8_32:
**	[^{]*
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, x[0-9]+\]
**	ret
*/
TEST_LOAD (ld4_u8_32, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 + svcntb () * 32),
	   z0 = svld4 (p0, x0 + svcntb () * 32))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_u8_m1:
**	decb	x0
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_u8_m1, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 - svcntb ()),
	   z0 = svld4 (p0, x0 - svcntb ()))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_u8_m2:
**	decb	x0, all, mul #2
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_u8_m2, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 - svcntb () * 2),
	   z0 = svld4 (p0, x0 - svcntb () * 2))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_u8_m3:
**	decb	x0, all, mul #3
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_u8_m3, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 - svcntb () * 3),
	   z0 = svld4 (p0, x0 - svcntb () * 3))

/*
** ld4_u8_m4:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #-4, mul vl\]
**	ret
*/
TEST_LOAD (ld4_u8_m4, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 - svcntb () * 4),
	   z0 = svld4 (p0, x0 - svcntb () * 4))

/*
** ld4_u8_m32:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #-32, mul vl\]
**	ret
*/
TEST_LOAD (ld4_u8_m32, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 - svcntb () * 32),
	   z0 = svld4 (p0, x0 - svcntb () * 32))

/*
** ld4_u8_m36:
**	[^{]*
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, x[0-9]+\]
**	ret
*/
TEST_LOAD (ld4_u8_m36, svuint8x4_t, uint8_t,
	   z0 = svld4_u8 (p0, x0 - svcntb () * 36),
	   z0 = svld4 (p0, x0 - svcntb () * 36))

/*
** ld4_vnum_u8_0:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_0, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, 0),
	   z0 = svld4_vnum (p0, x0, 0))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_vnum_u8_1:
**	incb	x0
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_1, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, 1),
	   z0 = svld4_vnum (p0, x0, 1))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_vnum_u8_2:
**	incb	x0, all, mul #2
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_2, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, 2),
	   z0 = svld4_vnum (p0, x0, 2))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_vnum_u8_3:
**	incb	x0, all, mul #3
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_3, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, 3),
	   z0 = svld4_vnum (p0, x0, 3))

/*
** ld4_vnum_u8_4:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #4, mul vl\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_4, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, 4),
	   z0 = svld4_vnum (p0, x0, 4))

/*
** ld4_vnum_u8_28:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #28, mul vl\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_28, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, 28),
	   z0 = svld4_vnum (p0, x0, 28))

/*
** ld4_vnum_u8_32:
**	[^{]*
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, x[0-9]+\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_32, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, 32),
	   z0 = svld4_vnum (p0, x0, 32))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_vnum_u8_m1:
**	decb	x0
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_m1, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, -1),
	   z0 = svld4_vnum (p0, x0, -1))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_vnum_u8_m2:
**	decb	x0, all, mul #2
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_m2, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, -2),
	   z0 = svld4_vnum (p0, x0, -2))

/* Moving the constant into a register would also be OK.  */
/*
** ld4_vnum_u8_m3:
**	decb	x0, all, mul #3
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_m3, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, -3),
	   z0 = svld4_vnum (p0, x0, -3))

/*
** ld4_vnum_u8_m4:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #-4, mul vl\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_m4, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, -4),
	   z0 = svld4_vnum (p0, x0, -4))

/*
** ld4_vnum_u8_m32:
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, #-32, mul vl\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_m32, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, -32),
	   z0 = svld4_vnum (p0, x0, -32))

/*
** ld4_vnum_u8_m36:
**	[^{]*
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, x[0-9]+\]
**	ret
*/
TEST_LOAD (ld4_vnum_u8_m36, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, -36),
	   z0 = svld4_vnum (p0, x0, -36))

/*
** ld4_vnum_u8_x1:
**	cntb	(x[0-9]+)
** (
**	madd	(x[0-9]+), (?:x1, \1|\1, x1), x0
**	ld4b	{z0\.b - z3\.b}, p0/z, \[\2\]
** |
**	mul	(x[0-9]+), (?:x1, \1|\1, x1)
**	ld4b	{z0\.b - z3\.b}, p0/z, \[x0, \3\]
** )
**	ret
*/
TEST_LOAD (ld4_vnum_u8_x1, svuint8x4_t, uint8_t,
	   z0 = svld4_vnum_u8 (p0, x0, x1),
	   z0 = svld4_vnum (p0, x0, x1))