1  /* { dg-skip-if "incompatible options" { arm*-*-* } { "-march=*" } { "-march=armv7-a" } } */
       2  /* { dg-skip-if "-mpure-code supports M-profile only" { *-*-* } { "-mpure-code" } } */
       3  /* { dg-options "-O2 -mcpu=cortex-a8" }  */
       4  /* { dg-final { scan-assembler "cmp\tr\[0-9\]*, r\[0-9\]*, asr #31" } } */
       5  
       6  typedef int SItype __attribute__ ((mode (SI)));
       7  typedef int DItype __attribute__ ((mode (DI)));
       8  void abort (void);
       9  
      10  SItype
      11  __mulvsi3 (SItype a, SItype b)
      12  {
      13    const DItype w = (DItype) a * (DItype) b;
      14    if ((SItype) (w >> (4 * 8)) != (SItype) w >> ((4 * 8) - 1))
      15      abort ();
      16    return w;
      17  }