| ; RUN: llvm-upgrade < %s | llvm-as | opt -prune-eh | llvm-dis | not grep invoke | |
| implementation | |
| internal void %foo() { | |
| ret void ; does not throw | |
| } | |
| int %caller() { | |
| invoke void %foo() to label %Normal except label %Except | |
| Normal: | |
| ret int 0 | |
| Except: | |
| ret int 1 | |
| } |