1  /* { dg-do compile } */
       2  /* { dg-additional-options "-O3 -std=c99" } */
       3  /* { dg-final { check-function-bodies "**" "" "" { target { le } } } } */
       4  
       5  #include <stdint.h>
       6  
       7  #pragma GCC target "+nosve"
       8  
       9  /*
      10  ** draw_bitmap1:
      11  ** ...
      12  ** 	addhn	v[0-9]+.8b, v[0-9]+.8h, v[0-9]+.8h
      13  ** 	addhn	v[0-9]+.8b, v[0-9]+.8h, v[0-9]+.8h
      14  ** 	uaddw	v[0-9]+.8h, v[0-9]+.8h, v[0-9]+.8b
      15  ** 	uaddw	v[0-9]+.8h, v[0-9]+.8h, v[0-9]+.8b
      16  ** 	uzp2	v[0-9]+.16b, v[0-9]+.16b, v[0-9]+.16b
      17  ** ...
      18  */
      19  void draw_bitmap1(uint8_t* restrict pixel, uint8_t level, int n)
      20  {
      21    for (int i = 0; i < (n & -16); i+=1)
      22      pixel[i] = (pixel[i] * level) / 0xff;
      23  }
      24  
      25  void draw_bitmap2(uint8_t* restrict pixel, uint8_t level, int n)
      26  {
      27    for (int i = 0; i < (n & -16); i+=1)
      28      pixel[i] = (pixel[i] * level) / 0xfe;
      29  }
      30  
      31  /*
      32  ** draw_bitmap3:
      33  ** ...
      34  ** 	addhn	v[0-9]+.4h, v[0-9]+.4s, v[0-9]+.4s
      35  ** 	addhn	v[0-9]+.4h, v[0-9]+.4s, v[0-9]+.4s
      36  ** 	uaddw	v[0-9]+.4s, v[0-9]+.4s, v[0-9]+.4h
      37  ** 	uaddw	v[0-9]+.4s, v[0-9]+.4s, v[0-9]+.4h
      38  ** 	uzp2	v[0-9]+.8h, v[0-9]+.8h, v[0-9]+.8h
      39  ** ...
      40  */
      41  void draw_bitmap3(uint16_t* restrict pixel, uint16_t level, int n)
      42  {
      43    for (int i = 0; i < (n & -16); i+=1)
      44      pixel[i] = (pixel[i] * level) / 0xffffU;
      45  }
      46  
      47  /*
      48  ** draw_bitmap4:
      49  ** ...
      50  ** 	addhn	v[0-9]+.2s, v[0-9]+.2d, v[0-9]+.2d
      51  ** 	addhn	v[0-9]+.2s, v[0-9]+.2d, v[0-9]+.2d
      52  ** 	uaddw	v[0-9]+.2d, v[0-9]+.2d, v[0-9]+.2s
      53  ** 	uaddw	v[0-9]+.2d, v[0-9]+.2d, v[0-9]+.2s
      54  ** 	uzp2	v[0-9]+.4s, v[0-9]+.4s, v[0-9]+.4s
      55  ** ...
      56  */
      57  void draw_bitmap4(uint32_t* restrict pixel, uint32_t level, int n)
      58  {
      59    for (int i = 0; i < (n & -16); i+=1)
      60      pixel[i] = (pixel[i] * (uint64_t)level) / 0xffffffffUL;
      61  }