llvm/test/CodeGen/X86/conditional-tailcall-pgso.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-linux   -show-mc-encoding | FileCheck %s --check-prefix=CHECK32
   3 ; RUN: llc < %s -mtriple=x86_64-linux -show-mc-encoding | FileCheck %s --check-prefix=CHECK64
   4 ; RUN: llc < %s -mtriple=x86_64-win32 -show-mc-encoding | FileCheck %s --check-prefix=WIN64
   5
   6 declare void @foo()
   7 declare void @bar()
   8
   9 define void @f(i32 %x, i32 %y) !prof !14 {
  10 ; CHECK32-LABEL: f:
  11 ; CHECK32:       # %bb.0: # %entry
  12 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x04]
  13 ; CHECK32-NEXT:    cmpl {{[0-9]+}}(%esp), %eax # encoding: [0x3b,0x44,0x24,0x08]
  14 ; CHECK32-NEXT:    jne bar@PLT # TAILCALL
  15 ; CHECK32-NEXT:    # encoding: [0x75,A]
  16 ; CHECK32-NEXT:    # fixup A - offset: 1, value: bar@PLT-1, kind: FK_PCRel_1
  17 ; CHECK32-NEXT:  # %bb.1: # %bb1
  18 ; CHECK32-NEXT:    jmp foo@PLT # TAILCALL
  19 ; CHECK32-NEXT:    # encoding: [0xeb,A]
  20 ; CHECK32-NEXT:    # fixup A - offset: 1, value: foo@PLT-1, kind: FK_PCRel_1
  21 ;
  22 ; CHECK64-LABEL: f:
  23 ; CHECK64:       # %bb.0: # %entry
  24 ; CHECK64-NEXT:    cmpl %esi, %edi # encoding: [0x39,0xf7]
  25 ; CHECK64-NEXT:    jne bar@PLT # TAILCALL
  26 ; CHECK64-NEXT:    # encoding: [0x75,A]
  27 ; CHECK64-NEXT:    # fixup A - offset: 1, value: bar@PLT-1, kind: FK_PCRel_1
  28 ; CHECK64-NEXT:  # %bb.1: # %bb1
  29 ; CHECK64-NEXT:    jmp foo@PLT # TAILCALL
  30 ; CHECK64-NEXT:    # encoding: [0xeb,A]
  31 ; CHECK64-NEXT:    # fixup A - offset: 1, value: foo@PLT-1, kind: FK_PCRel_1
  32 ;
  33 ; WIN64-LABEL: f:
  34 ; WIN64:       # %bb.0: # %entry
  35 ; WIN64-NEXT:    cmpl %edx, %ecx # encoding: [0x39,0xd1]
  36 ; WIN64-NEXT:    jne bar # TAILCALL
  37 ; WIN64-NEXT:    # encoding: [0x75,A]
  38 ; WIN64-NEXT:    # fixup A - offset: 1, value: bar-1, kind: FK_PCRel_1
  39 ; WIN64-NEXT:  # %bb.1: # %bb1
  40 ; WIN64-NEXT:    jmp foo # TAILCALL
  41 ; WIN64-NEXT:    # encoding: [0xeb,A]
  42 ; WIN64-NEXT:    # fixup A - offset: 1, value: foo-1, kind: FK_PCRel_1
  43 entry:
  44         %p = icmp eq i32 %x, %y
  45   br i1 %p, label %bb1, label %bb2
  46 bb1:
  47   tail call void @foo()
  48   ret void
  49 bb2:
  50   tail call void @bar()
  51   ret void
  52
  53 ; Check that the asm doesn't just look good, but uses the correct encoding.
  54 }
  55
  56 define void @f_non_leaf(i32 %x, i32 %y) !prof !14 {
  57 ; CHECK32-LABEL: f_non_leaf:
  58 ; CHECK32:       # %bb.0: # %entry
  59 ; CHECK32-NEXT:    pushl %ebx # encoding: [0x53]
  60 ; CHECK32-NEXT:    .cfi_def_cfa_offset 8
  61 ; CHECK32-NEXT:    .cfi_offset %ebx, -8
  62 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
  63 ; CHECK32-NEXT:    #APP
  64 ; CHECK32-NEXT:    #NO_APP
  65 ; CHECK32-NEXT:    cmpl {{[0-9]+}}(%esp), %eax # encoding: [0x3b,0x44,0x24,0x0c]
  66 ; CHECK32-NEXT:    jne .LBB1_2 # encoding: [0x75,A]
  67 ; CHECK32-NEXT:    # fixup A - offset: 1, value: .LBB1_2-1, kind: FK_PCRel_1
  68 ; CHECK32-NEXT:  # %bb.1: # %bb1
  69 ; CHECK32-NEXT:    popl %ebx # encoding: [0x5b]
  70 ; CHECK32-NEXT:    .cfi_def_cfa_offset 4
  71 ; CHECK32-NEXT:    jmp foo@PLT # TAILCALL
  72 ; CHECK32-NEXT:    # encoding: [0xeb,A]
  73 ; CHECK32-NEXT:    # fixup A - offset: 1, value: foo@PLT-1, kind: FK_PCRel_1
  74 ; CHECK32-NEXT:  .LBB1_2: # %bb2
  75 ; CHECK32-NEXT:    .cfi_def_cfa_offset 8
  76 ; CHECK32-NEXT:    popl %ebx # encoding: [0x5b]
  77 ; CHECK32-NEXT:    .cfi_def_cfa_offset 4
  78 ; CHECK32-NEXT:    jmp bar@PLT # TAILCALL
  79 ; CHECK32-NEXT:    # encoding: [0xeb,A]
  80 ; CHECK32-NEXT:    # fixup A - offset: 1, value: bar@PLT-1, kind: FK_PCRel_1
  81 ;
  82 ; CHECK64-LABEL: f_non_leaf:
  83 ; CHECK64:       # %bb.0: # %entry
  84 ; CHECK64-NEXT:    pushq %rbx # encoding: [0x53]
  85 ; CHECK64-NEXT:    .cfi_def_cfa_offset 16
  86 ; CHECK64-NEXT:    .cfi_offset %rbx, -16
  87 ; CHECK64-NEXT:    #APP
  88 ; CHECK64-NEXT:    #NO_APP
  89 ; CHECK64-NEXT:    cmpl %esi, %edi # encoding: [0x39,0xf7]
  90 ; CHECK64-NEXT:    jne .LBB1_2 # encoding: [0x75,A]
  91 ; CHECK64-NEXT:    # fixup A - offset: 1, value: .LBB1_2-1, kind: FK_PCRel_1
  92 ; CHECK64-NEXT:  # %bb.1: # %bb1
  93 ; CHECK64-NEXT:    popq %rbx # encoding: [0x5b]
  94 ; CHECK64-NEXT:    .cfi_def_cfa_offset 8
  95 ; CHECK64-NEXT:    jmp foo@PLT # TAILCALL
  96 ; CHECK64-NEXT:    # encoding: [0xeb,A]
  97 ; CHECK64-NEXT:    # fixup A - offset: 1, value: foo@PLT-1, kind: FK_PCRel_1
  98 ; CHECK64-NEXT:  .LBB1_2: # %bb2
  99 ; CHECK64-NEXT:    .cfi_def_cfa_offset 16
 100 ; CHECK64-NEXT:    popq %rbx # encoding: [0x5b]
 101 ; CHECK64-NEXT:    .cfi_def_cfa_offset 8
 102 ; CHECK64-NEXT:    jmp bar@PLT # TAILCALL
 103 ; CHECK64-NEXT:    # encoding: [0xeb,A]
 104 ; CHECK64-NEXT:    # fixup A - offset: 1, value: bar@PLT-1, kind: FK_PCRel_1
 105 ;
 106 ; WIN64-LABEL: f_non_leaf:
 107 ; WIN64:       # %bb.0: # %entry
 108 ; WIN64-NEXT:    pushq %rbx # encoding: [0x53]
 109 ; WIN64-NEXT:    .seh_pushreg %rbx
 110 ; WIN64-NEXT:    .seh_endprologue
 111 ; WIN64-NEXT:    #APP
 112 ; WIN64-NEXT:    #NO_APP
 113 ; WIN64-NEXT:    cmpl %edx, %ecx # encoding: [0x39,0xd1]
 114 ; WIN64-NEXT:    jne .LBB1_2 # encoding: [0x75,A]
 115 ; WIN64-NEXT:    # fixup A - offset: 1, value: .LBB1_2-1, kind: FK_PCRel_1
 116 ; WIN64-NEXT:  # %bb.1: # %bb1
 117 ; WIN64-NEXT:    popq %rbx # encoding: [0x5b]
 118 ; WIN64-NEXT:    jmp foo # TAILCALL
 119 ; WIN64-NEXT:    # encoding: [0xeb,A]
 120 ; WIN64-NEXT:    # fixup A - offset: 1, value: foo-1, kind: FK_PCRel_1
 121 ; WIN64-NEXT:  .LBB1_2: # %bb2
 122 ; WIN64-NEXT:    nop # encoding: [0x90]
 123 ; WIN64-NEXT:    popq %rbx # encoding: [0x5b]
 124 ; WIN64-NEXT:    jmp bar # TAILCALL
 125 ; WIN64-NEXT:    # encoding: [0xeb,A]
 126 ; WIN64-NEXT:    # fixup A - offset: 1, value: bar-1, kind: FK_PCRel_1
 127 ; WIN64-NEXT:    .seh_endproc
 128 entry:
 129   ; Force %ebx to be spilled on the stack, turning this into
 130   ; not a "leaf" function for Win64.
 131   tail call void asm sideeffect "", "~{ebx}"()
 132
 133         %p = icmp eq i32 %x, %y
 134   br i1 %p, label %bb1, label %bb2
 135 bb1:
 136   tail call void @foo()
 137   ret void
 138 bb2:
 139   tail call void @bar()
 140   ret void
 141
 142 }
 143
 144 declare x86_thiscallcc zeroext i1 @baz(ptr, i32)
 145 define x86_thiscallcc zeroext i1 @BlockPlacementTest(ptr %this, i32 %x) !prof !14 {
 146 ; CHECK32-LABEL: BlockPlacementTest:
 147 ; CHECK32:       # %bb.0: # %entry
 148 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %edx # encoding: [0x8b,0x54,0x24,0x04]
 149 ; CHECK32-NEXT:    testb $42, %dl # encoding: [0xf6,0xc2,0x2a]
 150 ; CHECK32-NEXT:    je .LBB2_3 # encoding: [0x74,A]
 151 ; CHECK32-NEXT:    # fixup A - offset: 1, value: .LBB2_3-1, kind: FK_PCRel_1
 152 ; CHECK32-NEXT:  # %bb.1: # %land.rhs
 153 ; CHECK32-NEXT:    movb $1, %al # encoding: [0xb0,0x01]
 154 ; CHECK32-NEXT:    testb $44, %dl # encoding: [0xf6,0xc2,0x2c]
 155 ; CHECK32-NEXT:    je baz@PLT # TAILCALL
 156 ; CHECK32-NEXT:    # encoding: [0x74,A]
 157 ; CHECK32-NEXT:    # fixup A - offset: 1, value: baz@PLT-1, kind: FK_PCRel_1
 158 ; CHECK32-NEXT:  .LBB2_2: # %land.end
 159 ; CHECK32-NEXT:    # kill: def $al killed $al killed $eax
 160 ; CHECK32-NEXT:    retl $4 # encoding: [0xc2,0x04,0x00]
 161 ; CHECK32-NEXT:  .LBB2_3:
 162 ; CHECK32-NEXT:    xorl %eax, %eax # encoding: [0x31,0xc0]
 163 ; CHECK32-NEXT:    jmp .LBB2_2 # encoding: [0xeb,A]
 164 ; CHECK32-NEXT:    # fixup A - offset: 1, value: .LBB2_2-1, kind: FK_PCRel_1
 165 ;
 166 ; CHECK64-LABEL: BlockPlacementTest:
 167 ; CHECK64:       # %bb.0: # %entry
 168 ; CHECK64-NEXT:    testb $42, %sil # encoding: [0x40,0xf6,0xc6,0x2a]
 169 ; CHECK64-NEXT:    je .LBB2_3 # encoding: [0x74,A]
 170 ; CHECK64-NEXT:    # fixup A - offset: 1, value: .LBB2_3-1, kind: FK_PCRel_1
 171 ; CHECK64-NEXT:  # %bb.1: # %land.rhs
 172 ; CHECK64-NEXT:    movb $1, %al # encoding: [0xb0,0x01]
 173 ; CHECK64-NEXT:    testb $44, %sil # encoding: [0x40,0xf6,0xc6,0x2c]
 174 ; CHECK64-NEXT:    je baz@PLT # TAILCALL
 175 ; CHECK64-NEXT:    # encoding: [0x74,A]
 176 ; CHECK64-NEXT:    # fixup A - offset: 1, value: baz@PLT-1, kind: FK_PCRel_1
 177 ; CHECK64-NEXT:  .LBB2_2: # %land.end
 178 ; CHECK64-NEXT:    # kill: def $al killed $al killed $eax
 179 ; CHECK64-NEXT:    retq # encoding: [0xc3]
 180 ; CHECK64-NEXT:  .LBB2_3:
 181 ; CHECK64-NEXT:    xorl %eax, %eax # encoding: [0x31,0xc0]
 182 ; CHECK64-NEXT:    jmp .LBB2_2 # encoding: [0xeb,A]
 183 ; CHECK64-NEXT:    # fixup A - offset: 1, value: .LBB2_2-1, kind: FK_PCRel_1
 184 ;
 185 ; WIN64-LABEL: BlockPlacementTest:
 186 ; WIN64:       # %bb.0: # %entry
 187 ; WIN64-NEXT:    testb $42, %dl # encoding: [0xf6,0xc2,0x2a]
 188 ; WIN64-NEXT:    je .LBB2_3 # encoding: [0x74,A]
 189 ; WIN64-NEXT:    # fixup A - offset: 1, value: .LBB2_3-1, kind: FK_PCRel_1
 190 ; WIN64-NEXT:  # %bb.1: # %land.rhs
 191 ; WIN64-NEXT:    movb $1, %al # encoding: [0xb0,0x01]
 192 ; WIN64-NEXT:    testb $44, %dl # encoding: [0xf6,0xc2,0x2c]
 193 ; WIN64-NEXT:    je baz # TAILCALL
 194 ; WIN64-NEXT:    # encoding: [0x74,A]
 195 ; WIN64-NEXT:    # fixup A - offset: 1, value: baz-1, kind: FK_PCRel_1
 196 ; WIN64-NEXT:  .LBB2_2: # %land.end
 197 ; WIN64-NEXT:    # kill: def $al killed $al killed $eax
 198 ; WIN64-NEXT:    retq # encoding: [0xc3]
 199 ; WIN64-NEXT:  .LBB2_3:
 200 ; WIN64-NEXT:    xorl %eax, %eax # encoding: [0x31,0xc0]
 201 ; WIN64-NEXT:    jmp .LBB2_2 # encoding: [0xeb,A]
 202 ; WIN64-NEXT:    # fixup A - offset: 1, value: .LBB2_2-1, kind: FK_PCRel_1
 203 entry:
 204   %and = and i32 %x, 42
 205   %tobool = icmp eq i32 %and, 0
 206   br i1 %tobool, label %land.end, label %land.rhs
 207
 208 land.rhs:
 209   %and6 = and i32 %x, 44
 210   %tobool7 = icmp eq i32 %and6, 0
 211   br i1 %tobool7, label %lor.rhs, label %land.end
 212
 213 lor.rhs:
 214   %call = tail call x86_thiscallcc zeroext i1 @baz(ptr %this, i32 %x) #2
 215   br label %land.end
 216
 217 land.end:
 218   %0 = phi i1 [ false, %entry ], [ true, %land.rhs ], [ %call, %lor.rhs ]
 219   ret i1 %0
 220
 221 ; Make sure machine block placement isn't confused by the conditional tail call,
 222 ; but sees that it can fall through to the next block.
 223 }
 224
 225 !llvm.module.flags = !{!0}
 226 !0 = !{i32 1, !"ProfileSummary", !1}
 227 !1 = !{!2, !3, !4, !5, !6, !7, !8, !9}
 228 !2 = !{!"ProfileFormat", !"InstrProf"}
 229 !3 = !{!"TotalCount", i64 10000}
 230 !4 = !{!"MaxCount", i64 10}
 231 !5 = !{!"MaxInternalCount", i64 1}
 232 !6 = !{!"MaxFunctionCount", i64 1000}
 233 !7 = !{!"NumCounts", i64 3}
 234 !8 = !{!"NumFunctions", i64 3}
 235 !9 = !{!"DetailedSummary", !10}
 236 !10 = !{!11, !12, !13}
 237 !11 = !{i32 10000, i64 100, i32 1}
 238 !12 = !{i32 999000, i64 100, i32 1}
 239 !13 = !{i32 999999, i64 1, i32 2}
 240 !14 = !{!"function_entry_count", i64 0}