1  /* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
       2  
       3  #include "test_sve_acle.h"
       4  
       5  /*
       6  ** abalt_u32_tied1:
       7  **	uabalt	z0\.s, z4\.h, z5\.h
       8  **	ret
       9  */
      10  TEST_DUAL_Z (abalt_u32_tied1, svuint32_t, svuint16_t,
      11  	     z0 = svabalt_u32 (z0, z4, z5),
      12  	     z0 = svabalt (z0, z4, z5))
      13  
      14  /*
      15  ** abalt_u32_tied2:
      16  **	mov	(z[0-9]+)\.d, z0\.d
      17  **	movprfx	z0, z4
      18  **	uabalt	z0\.s, \1\.h, z1\.h
      19  **	ret
      20  */
      21  TEST_DUAL_Z_REV (abalt_u32_tied2, svuint32_t, svuint16_t,
      22  		 z0_res = svabalt_u32 (z4, z0, z1),
      23  		 z0_res = svabalt (z4, z0, z1))
      24  
      25  /*
      26  ** abalt_u32_tied3:
      27  **	mov	(z[0-9]+)\.d, z0\.d
      28  **	movprfx	z0, z4
      29  **	uabalt	z0\.s, z1\.h, \1\.h
      30  **	ret
      31  */
      32  TEST_DUAL_Z_REV (abalt_u32_tied3, svuint32_t, svuint16_t,
      33  		 z0_res = svabalt_u32 (z4, z1, z0),
      34  		 z0_res = svabalt (z4, z1, z0))
      35  
      36  /*
      37  ** abalt_u32_untied:
      38  **	movprfx	z0, z1
      39  **	uabalt	z0\.s, z4\.h, z5\.h
      40  **	ret
      41  */
      42  TEST_DUAL_Z (abalt_u32_untied, svuint32_t, svuint16_t,
      43  	     z0 = svabalt_u32 (z1, z4, z5),
      44  	     z0 = svabalt (z1, z4, z5))
      45  
      46  /*
      47  ** abalt_w0_u32_tied1:
      48  **	mov	(z[0-9]+\.h), w0
      49  **	uabalt	z0\.s, z4\.h, \1
      50  **	ret
      51  */
      52  TEST_DUAL_ZX (abalt_w0_u32_tied1, svuint32_t, svuint16_t, uint16_t,
      53  	      z0 = svabalt_n_u32 (z0, z4, x0),
      54  	      z0 = svabalt (z0, z4, x0))
      55  
      56  /*
      57  ** abalt_w0_u32_untied:: { xfail *-*-*}
      58  **	mov	(z[0-9]+\.h), w0
      59  **	movprfx	z0, z1
      60  **	uabalt	z0\.s, z4\.h, \1
      61  **	ret
      62  */
      63  TEST_DUAL_ZX (abalt_w0_u32_untied, svuint32_t, svuint16_t, uint16_t,
      64  	      z0 = svabalt_n_u32 (z1, z4, x0),
      65  	      z0 = svabalt (z1, z4, x0))
      66  
      67  /*
      68  ** abalt_11_u32_tied1:
      69  **	mov	(z[0-9]+\.h), #11
      70  **	uabalt	z0\.s, z4\.h, \1
      71  **	ret
      72  */
      73  TEST_DUAL_Z (abalt_11_u32_tied1, svuint32_t, svuint16_t,
      74  	     z0 = svabalt_n_u32 (z0, z4, 11),
      75  	     z0 = svabalt (z0, z4, 11))
      76  
      77  /*
      78  ** abalt_11_u32_untied:: { xfail *-*-*}
      79  **	mov	(z[0-9]+\.h), #11
      80  **	movprfx	z0, z1
      81  **	uabalt	z0\.s, z4\.h, \1
      82  **	ret
      83  */
      84  TEST_DUAL_Z (abalt_11_u32_untied, svuint32_t, svuint16_t,
      85  	     z0 = svabalt_n_u32 (z1, z4, 11),
      86  	     z0 = svabalt (z1, z4, 11))