; RUN: as < %s | dis void %test() { invoke void %test() to label %Next except label %Next Next: ret void }