1  /* { dg-do compile } */
       2  /* { dg-require-effective-target powerpc_prefixed_addr } */
       3  /* { dg-options "-O2 -mdejagnu-cpu=power10" } */
       4  
       5  /* Test that PADDI is generated to add a large constant.  */
       6  unsigned long
       7  add (unsigned long a)
       8  {
       9    return a + 0x12345U;
      10  }
      11  
      12  /* { dg-final { scan-assembler     {\mpaddi\M} } } */
      13  /* { dg-final { scan-assembler-not {\maddi\M}  } } */
      14  /* { dg-final { scan-assembler-not {\maddis\M} } } */