| ; RUN: llvm-as < %s | opt -adce -disable-output |
| %G = external global int* |
| |
| implementation ; Functions: |
| |
| declare void %Fn(int*) |
| |
| int %main(int %argc.1, sbyte** %argv.1) { |
| entry: ; No predecessors! |
| br label %endif.42 |
| |
| endif.42: ; preds = %entry, %shortcirc_done.12, %then.66, %endif.42 |
| br bool false, label %endif.65, label %endif.42 |
| |
| then.66: ; preds = %shortcirc_done.12 |
| call void %Fn( int* %tmp.2846) |
| br label %endif.42 |
| |
| endif.65: ; preds = %endif.42 |
| %tmp.2846 = load int** %G |
| br bool false, label %shortcirc_next.12, label %shortcirc_done.12 |
| |
| shortcirc_next.12: ; preds = %endif.65 |
| br label %shortcirc_done.12 |
| |
| shortcirc_done.12: ; preds = %endif.65, %shortcirc_next.12 |
| br bool false, label %then.66, label %endif.42 |
| } |