; 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 | |
} |