/* { dg-do run } */
#include "../../gcc.dg/ia64-sync-1.c"