| Eli Friedman | 56f2f21 | 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() { | ||||
| Stephen Lin | a76289a | 2013-07-14 01:50:49 +0000 | [diff] [blame] | 7 | ; CHECK-LABEL: define void @test1( |
| Eli Friedman | 56f2f21 | 2011-08-16 21:12:35 +0000 | [diff] [blame] | 8 | ; CHECK: call void @foo() |
| 9 | switch i32 undef, label %d [] | ||||
| 10 | d: | ||||
| 11 | call void @foo() | ||||
| 12 | ret void | ||||
| 13 | } | ||||