1; RUN: opt -S -sccp < %s | FileCheck %s 2 3; Make sure we always consider the default edge executable for a switch 4; with no cases. 5declare void @foo() 6define void @test1() { 7; CHECK: define void @test1 8; CHECK: call void @foo() 9 switch i32 undef, label %d [] 10d: 11 call void @foo() 12 ret void 13} 14