1 /* { dg-do compile { target { ! x32 } } } */
2 /* { dg-options "-O2 -mgeneral-regs-only -mno-cld -mno-iamcu -mmpx" } */
5 __attribute__((no_caller_saved_registers
))
7 { /* { dg-message "MPX instructions aren't allowed in function with no_caller_saved_registers attribute" } */