/* { dg-options "-O3 -mcpu=v10.0 -mxl-pattern-compare" } */

volatile int m1, m2, m3;
volatile long l1, l2;
volatile long long llp;
volatile unsigned int u1, u2, u3;

volatile unsigned long ul1, ul2;
volatile unsigned long long ullp;

int test_mul () {

  /* { dg-final { scan-assembler-not "mul\tr" } } */
    m1 = m2 * m3 ;

  /* { dg-final { scan-assembler-not "muli" } } */
    m3 = m1 * 1234 ;    

  /* { dg-final { scan-assembler-not "mulh" } } */
    llp = ((long long)l1 * l2);

  /* { dg-final { scan-assembler-not "mulhu" } } */
    ullp = ((unsigned long long)ul1 * ul2);

  /* { dg-final { scan-assembler-not "mulhsu" } } */
    llp = ((long long)l1 * ul2);        

  /* { dg-final { scan-assembler-not "bslli" } } */
    m3 = m2 << 25;

  /* { dg-final { scan-assembler-not "bsll" } } */
    m2 = m1 << m3;

  /* { dg-final { scan-assembler-not "bsrai" } } */
    m3 = m2 >> 25;

  /* { dg-final { scan-assembler-not "bsra" } } */
    m2 = m1 >> m3;

  /* { dg-final { scan-assembler-not "idiv" } } */
    m1 = m2 / m1;

  /* { dg-final { scan-assembler-not "idivu" } } */
    u1 = u2 / u3;    

  /* { dg-final { scan-assembler "pcmpne" } } */
    m3 = (m3 != m1);

  /* { dg-final { scan-assembler "pcmpeq" } } */
    return (m1 == m2);
}

