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. 5 declare void @foo() 6 define void @test1() { 7 ; CHECK: define void @test1 8 ; CHECK: call void @foo() 9 switch i32 undef, label %d [] 10 d: 11 call void @foo() 12 ret void 13 } 14
