; RUN: opt -S -sccp < %s | FileCheck %s | |
; Make sure we always consider the default edge executable for a switch | |
; with no cases. | |
declare void @foo() | |
define void @test1() { | |
; CHECK: define void @test1 | |
; CHECK: call void @foo() | |
switch i32 undef, label %d [] | |
d: | |
call void @foo() | |
ret void | |
} |