| ; RUN: llc -mtriple=x86_64-apple-darwin11 < %s | FileCheck %s |
| |
| ; Check that the cases which lead to unreachable are checked after "10" |
| |
| define void @test1(i32 %x) nounwind uwtable ssp { |
| entry: |
| switch i32 %x, label %if.end7 [ |
| i32 0, label %if.then |
| i32 10, label %if.then2 |
| i32 20, label %if.then5 |
| ] |
| |
| ; CHECK: test1: |
| ; CHECK-NOT: unr |
| ; CHECK: cmpl $10 |
| ; CHECK: bar |
| ; CHECK: cmpl $20 |
| |
| if.then: |
| tail call void @unr(i32 23) noreturn nounwind |
| unreachable |
| |
| if.then2: |
| tail call void @bar(i32 42) nounwind |
| br label %if.end7 |
| |
| if.then5: |
| tail call void @unr(i32 5) noreturn nounwind |
| unreachable |
| |
| if.end7: |
| ret void |
| } |
| |
| declare void @unr(i32) noreturn |
| |
| declare void @bar(i32) |
