| Kyle Butt | 0846e56 | 2016-10-11 20:36:43 +0000 | [diff] [blame] | 1 | ; RUN: llc -O2 %s -o - | FileCheck %s |
| 2 | target datalayout = "E-m:e-i64:64-n32:64" |
| 3 | target triple = "powerpc64-unknown-linux-gnu" |
| 4 | |
| 5 | ; Function Attrs: nounwind |
| 6 | declare void @llvm.lifetime.end(i64, i8* nocapture) #0 |
| 7 | |
| 8 | declare void @f1() |
| 9 | declare void @f2() |
| 10 | declare void @f3() |
| 11 | declare void @f4() |
| 12 | |
| 13 | ; Function Attrs: nounwind |
| 14 | ; CHECK-LABEL: tail_dup_fallthrough_with_branch |
| 15 | ; CHECK: # %entry |
| 16 | ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} |
| 17 | ; CHECK: # %entry |
| 18 | ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} |
| 19 | ; CHECK: # %sw.0 |
| 20 | ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} |
| 21 | ; CHECK: # %sw.1 |
| 22 | ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} |
| 23 | ; CHECK: # %sw.default |
| 24 | ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} |
| 25 | ; CHECK: # %if.then |
| 26 | ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} |
| 27 | ; CHECK: # %if.else |
| 28 | ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} |
| 29 | ; CHECK: .Lfunc_end0 |
| 30 | define fastcc void @tail_dup_fallthrough_with_branch(i32 %a, i1 %b) unnamed_addr #0 { |
| 31 | entry: |
| 32 | switch i32 %a, label %sw.default [ |
| 33 | i32 0, label %sw.0 |
| 34 | i32 1, label %sw.1 |
| 35 | ] |
| 36 | |
| 37 | sw.0: ; preds = %entry |
| 38 | call void @f1() #0 |
| 39 | br label %dup1 |
| 40 | |
| 41 | sw.1: ; preds = %entry |
| 42 | call void @f2() #0 |
| 43 | br label %dup1 |
| 44 | |
| 45 | sw.default: ; preds = %entry |
| 46 | br i1 %b, label %if.then, label %if.else |
| 47 | |
| 48 | if.then: ; preds = %sw.default |
| 49 | call void @f3() #0 |
| 50 | br label %dup2 |
| 51 | |
| 52 | if.else: ; preds = %sw.default |
| 53 | call void @f4() #0 |
| 54 | br label %dup2 |
| 55 | |
| 56 | dup1: ; preds = %sw.0, %sw.1 |
| 57 | call void @llvm.lifetime.end(i64 8, i8* nonnull undef) #0 |
| 58 | unreachable |
| 59 | |
| 60 | dup2: ; preds = %if.then, %if.else |
| 61 | call void @llvm.lifetime.end(i64 8, i8* nonnull undef) #0 |
| 62 | unreachable |
| 63 | } |
| 64 | |
| 65 | attributes #0 = { nounwind } |