| ; Test CFG simplify removal of branch instructions. |
| ; |
| ; RUN: opt < %s -simplifycfg -S | FileCheck %s |
| |
| define void @test1() { |
| br label %1 |
| ret void |
| ; CHECK: @test1 |
| ; CHECK-NEXT: ret void |
| } |
| |
| define void @test2() { |
| ret void |
| ret void |
| ; CHECK: @test2 |
| ; CHECK-NEXT: ret void |
| ; CHECK-NEXT: } |
| } |
| |
| define void @test3(i1 %T) { |
| br i1 %T, label %1, label %1 |
| ret void |
| ; CHECK: @test3 |
| ; CHECK-NEXT: ret void |
| } |
| |
| |
| ; PR5795 |
| define void @test5(i32 %A) { |
| switch i32 %A, label %return [ |
| i32 2, label %1 |
| i32 10, label %2 |
| ] |
| |
| ret void |
| |
| ret void |
| |
| return: ; preds = %entry |
| ret void |
| ; CHECK: @test5 |
| ; CHECK-NEXT: ret void |
| } |