| Nick Lewycky | 75080ff | 2014-02-20 23:00:15 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -always-inline -instcombine -S | FileCheck %s |
| 2 | |||||
| 3 | define internal void @foo(i16*) alwaysinline { | ||||
| 4 | ret void | ||||
| 5 | } | ||||
| 6 | |||||
| 7 | define void @bar() noinline noreturn { | ||||
| 8 | unreachable | ||||
| 9 | } | ||||
| 10 | |||||
| 11 | define void @test() { | ||||
| 12 | br i1 false, label %then, label %else | ||||
| 13 | |||||
| 14 | then: | ||||
| 15 | call void @bar() | ||||
| 16 | unreachable | ||||
| 17 | |||||
| 18 | else: | ||||
| 19 | ; CHECK-NOT: call | ||||
| 20 | call void bitcast (void (i16*)* @foo to void (i8*)*) (i8* null) | ||||
| 21 | ret void | ||||
| 22 | } | ||||
| 23 | |||||