gcc/testsuite/gcc.target/alpha/target-max-2.c

/* { dg-do compile } */
/* { dg-options "-mcpu=pca56" } */

#ifndef __alpha_max__
# error "MAX disabled"
#endif