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 --- 29 name: test 30 tracksRegLiveness: true 31 liveins: 32 - { reg: '$rdi' } 33 - { reg: '$rsi' } 34 body: | 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 $ssp, implicit $rsp, implicit $rdi, implicit $rsi, implicit $rdi, implicit-def $rdi, implicit $hsi, implicit-def $hsi, implicit $sih, implicit-def $sih, implicit $sil, implicit-def $sil, implicit $si, implicit-def $si, implicit $esi, implicit-def $esi, implicit $rsi, implicit-def $rsi, implicit $hdi, implicit-def $hdi, implicit $dih, implicit-def $dih, implicit $dil, implicit-def $dil, implicit $di, implicit-def $di, implicit $edi, implicit-def $edi 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: $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
