Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / CodeGen / PowerPC / duplicate-returns-for-tailcall.ll
blobee67d55f82fe61f4cce9ace403f97b5dd3b0c4e2
1 ; RUN: llc -verify-machineinstrs -mcpu=pwr8 -stop-after codegenprepare -mtriple=powerpc64le-unknown-gnu-linux  < %s | FileCheck %s
2 ; RUN: llc -verify-machineinstrs -mcpu=pwr8 -stop-after codegenprepare -mtriple=powerpc64-unknown-gnu-linux  < %s | FileCheck %s
4 ; Function Attrs: noinline norecurse nounwind readnone
5 define hidden signext i32 @call1(i32 signext %a, i32 signext %b, i32 signext %c) local_unnamed_addr #0 {
6 entry:
7   %add = add nsw i32 %b, %a
8   %add1 = add nsw i32 %add, %c
9   ret i32 %add1
12 ; Function Attrs: nounwind
13 define signext i32 @test(i32 signext %a, i32 signext %b, i32 signext %c) local_unnamed_addr #1 {
14 entry:
15   %cmp = icmp eq i32 %a, %b
16   br i1 %cmp, label %if.then, label %if.end
18 if.then:                                          ; preds = %entry
19   %call = tail call signext i32 @call1(i32 signext %a, i32 signext %b, i32 signext %c)
20   br label %return
21 ; The return should get duplciated here to enable a tail-call opportunity.
22 ; CHECK-LABEL: if.then:
23 ; CHECK-NEXT:  %[[T1:[a-zA-Z0-9]+]] = tail call signext i32 @call1
24 ; CHECK-NEXT:  ret i32 %[[T1]]
26 if.end:                                           ; preds = %entry
27   %cmp1 = icmp slt i32 %a, %b
28   br i1 %cmp1, label %if.then2, label %if.end4
30 if.then2:                                         ; preds = %if.end
31   %call3 = tail call signext i32 @call2(i32 signext %a, i32 signext %b, i32 signext %c) #3
32   br label %return
33 ; No duplication here since we cannot tail-call an external function anyway.
34 ; CHECK-LABEL: if.then2:
35 ; CHECK-NEXT:  tail call signext i32 @call2
36 ; CHECK-NEXT:  br
38 if.end4:                                          ; preds = %if.end
39   %cmp5 = icmp sgt i32 %b, %c
40   br i1 %cmp5, label %if.then6, label %return
42 if.then6:                                         ; preds = %if.end4
43   %call7 = tail call fastcc signext i32 @call3(i32 signext %a, i32 signext %b, i32 signext %c)
44   br label %return
45 ; tail calling a fastcc function from a ccc function is supported.
46 ; CHECK-LABEL: if.then6:
47 ; CHECK:       %[[T2:[a-zA-Z0-9]+]] = tail call fastcc signext i32 @call3
48 ; CHECK-NEXT:  ret i32 %[[T2]]
50 return:                                           ; preds = %if.end4, %if.then6, %if.then2, %if.then
51   %retval.0 = phi i32 [ %call, %if.then ], [ %call3, %if.then2 ], [ %call7, %if.then6 ], [ %c, %if.end4 ]
52   ret i32 %retval.0
55 declare signext i32 @call2(i32 signext, i32 signext, i32 signext) local_unnamed_addr #2
57 ; Function Attrs: noinline norecurse nounwind readnone
58 define internal fastcc signext i32 @call3(i32 signext %a, i32 signext %b, i32 signext %c) unnamed_addr #0 {
59 entry:
60   %mul = mul nsw i32 %b, %a
61   %mul1 = mul nsw i32 %mul, %c
62   ret i32 %mul1