| Eli Friedman | 1fc291f | 2011-08-16 21:12:35 +0000 | [diff] [blame] | 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 | } | ||||