[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / tail-dup-branch-to-fallthrough.ll
blob3ff4753200ef60b62676d174aacaa4af976731ee
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"
5 ; Function Attrs: nounwind
6 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #0
8 declare void @f1()
9 declare void @f2()
10 declare void @f3()
11 declare void @f4()
13 ; Function Attrs: nounwind
14 ; CHECK-LABEL: tail_dup_fallthrough_with_branch
15 ; CHECK: # %bb.{{[0-9]+}}: # %entry
16 ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
17 ; CHECK: # %bb.{{[0-9]+}}: # %entry
18 ; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
19 ; CHECK: # %bb.{{[0-9]+}}: # %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: # %bb.{{[0-9]+}}: # %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   ]
37 sw.0:                                         ; preds = %entry
38   call void @f1() #0
39   br label %dup1
41 sw.1:                                         ; preds = %entry
42   call void @f2() #0
43   br label %dup1
45 sw.default:                                   ; preds = %entry
46   br i1 %b, label %if.then, label %if.else
48 if.then:                                      ; preds = %sw.default
49   call void @f3() #0
50   br label %dup2
52 if.else:                                      ; preds = %sw.default
53   call void @f4() #0
54   br label %dup2
56 dup1:                                         ; preds = %sw.0, %sw.1
57   call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull undef) #0
58   unreachable
60 dup2:                                         ; preds = %if.then, %if.else
61   call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull undef) #0
62   unreachable
65 attributes #0 = { nounwind }