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

#include "test_sve_acle.h"

/*
** whilerw_rr_s32:
**	whilerw	p0\.s, x0, x1
**	ret
*/
TEST_COMPARE_S (whilerw_rr_s32, const int32_t *,
		p0 = svwhilerw_s32 (x0, x1),
		p0 = svwhilerw (x0, x1))

/*
** whilerw_0r_s32:
**	whilerw	p0\.s, xzr, x1
**	ret
*/
TEST_COMPARE_S (whilerw_0r_s32, const int32_t *,
		p0 = svwhilerw_s32 ((const int32_t *) 0, x1),
		p0 = svwhilerw ((const int32_t *) 0, x1))

/*
** whilerw_cr_s32:
**	mov	(x[0-9]+), #?1073741824
**	whilerw	p0\.s, \1, x1
**	ret
*/
TEST_COMPARE_S (whilerw_cr_s32, const int32_t *,
		p0 = svwhilerw_s32 ((const int32_t *) 1073741824, x1),
		p0 = svwhilerw ((const int32_t *) 1073741824, x1))

/*
** whilerw_r0_s32:
**	whilerw	p0\.s, x0, xzr
**	ret
*/
TEST_COMPARE_S (whilerw_r0_s32, const int32_t *,
		p0 = svwhilerw_s32 (x0, (const int32_t *) 0),
		p0 = svwhilerw (x0, (const int32_t *) 0))

/*
** whilerw_rc_s32:
**	mov	(x[0-9]+), #?1073741824
**	whilerw	p0\.s, x0, \1
**	ret
*/
TEST_COMPARE_S (whilerw_rc_s32, const int32_t *,
		p0 = svwhilerw_s32 (x0, (const int32_t *) 1073741824),
		p0 = svwhilerw (x0, (const int32_t *) 1073741824))