1# RUN: llc -mtriple x86_64-- -verify-machineinstrs -run-pass branch-folder -o - %s | FileCheck %s
2
3# Check the TCRETURNdi64cc optimization.
4
5--- |
6  target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
7
8  define i64 @test(i64 %arg, i8* %arg1) optsize {
9    %tmp = icmp ult i64 %arg, 100
10    br i1 %tmp, label %1, label %4
11
12    %tmp3 = icmp ult i64 %arg, 10
13    br i1 %tmp3, label %2, label %3
14
15    %tmp5 = tail call i64 @f1(i8* %arg1, i64 %arg)
16    ret i64 %tmp5
17
18    %tmp7 = tail call i64 @f2(i8* %arg1, i64 %arg)
19    ret i64 %tmp7
20
21    ret i64 123
22  }
23
24  declare i64 @f1(i8*, i64)
25  declare i64 @f2(i8*, i64)
26
27...
28---
29name: test
30tracksRegLiveness: true
31liveins:
32  - { reg: '%rdi' }
33  - { reg: '%rsi' }
34body:             |
35  bb.0:
36    successors: %bb.1, %bb.4
37    liveins: %rdi, %rsi
38
39    %rax = COPY %rdi
40    CMP64ri8 %rax, 99, implicit-def %eflags
41    JA_1 %bb.4, implicit %eflags
42    JMP_1 %bb.1
43
44  ; CHECK: bb.1:
45  ; CHECK-NEXT: successors: %bb.2({{[^)]+}}){{$}}
46  ; CHECK-NEXT: liveins: %rax, %rsi
47  ; CHECK-NEXT: {{^  $}}
48  ; CHECK-NEXT: %rdi = COPY %rsi
49  ; CHECK-NEXT: %rsi = COPY %rax
50  ; CHECK-NEXT: CMP64ri8 %rax, 9, implicit-def %eflags
51  ; CHECK-NEXT: TCRETURNdi64cc @f1, 0, 3, csr_64, implicit %rsp, implicit %eflags, implicit %rsp, implicit %rdi, implicit %rsi
52
53  bb.1:
54    successors: %bb.2, %bb.3
55    liveins: %rax, %rsi
56
57    CMP64ri8 %rax, 9, implicit-def %eflags
58    JA_1 %bb.3, implicit %eflags
59    JMP_1 %bb.2
60
61  bb.2:
62    liveins: %rax, %rsi
63
64    %rdi = COPY %rsi
65    %rsi = COPY %rax
66
67    TCRETURNdi64 @f1, 0, csr_64, implicit %rsp, implicit %rdi, implicit %rsi
68
69  ; CHECK: bb.2:
70  ; CHECK-NEXT: liveins: %rax, %rdi, %rsi
71  ; CHECK-NEXT: {{^  $}}
72  ; CHECK-NEXT: TCRETURNdi64 @f2, 0, csr_64, implicit %rsp, implicit %rdi, implicit %rsi
73
74  bb.3:
75    liveins: %rax, %rsi
76
77    %rdi = COPY %rsi
78    %rsi = COPY %rax
79    TCRETURNdi64 @f2, 0, csr_64, implicit %rsp, implicit %rdi, implicit %rsi
80
81  bb.4:
82    dead %eax = MOV32ri64 123, implicit-def %rax
83    RET 0, %rax
84
85...
86