; RUN: llvm-as < %s -o /dev/null -f



void %test(int %X) {
  switch int %X, label %dest []
dest:
  ret void
}