test/CodeGen/X86/tbm-intrinsics-fast-isel.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -fast-isel -mtriple=i686-unknown-unknown -mattr=+tbm | FileCheck %s --check-prefix=X32
   3 ; RUN: llc < %s -fast-isel -mtriple=x86_64-unknown-unknown -mattr=+tbm | FileCheck %s --check-prefix=X64
   4
   5 ; NOTE: This should use IR equivalent to what is generated by clang/test/CodeGen/tbm-builtins.c
   6
   7 define i32 @test__bextri_u32(i32 %a0) {
   8 ; X32-LABEL: test__bextri_u32:
   9 ; X32:       # BB#0:
  10 ; X32-NEXT:    bextr $1, {{[0-9]+}}(%esp), %eax
  11 ; X32-NEXT:    retl
  12 ;
  13 ; X64-LABEL: test__bextri_u32:
  14 ; X64:       # BB#0:
  15 ; X64-NEXT:    bextr $1, %edi, %eax
  16 ; X64-NEXT:    retq
  17   %1 = call i32 @llvm.x86.tbm.bextri.u32(i32 %a0, i32 1)
  18   ret i32 %1
  19 }
  20
  21 define i32 @test__blcfill_u32(i32 %a0) {
  22 ; X32-LABEL: test__blcfill_u32:
  23 ; X32:       # BB#0:
  24 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  25 ; X32-NEXT:    leal 1(%ecx), %eax
  26 ; X32-NEXT:    andl %ecx, %eax
  27 ; X32-NEXT:    retl
  28 ;
  29 ; X64-LABEL: test__blcfill_u32:
  30 ; X64:       # BB#0:
  31 ; X64-NEXT:    # kill: %EDI<def> %EDI<kill> %RDI<def>
  32 ; X64-NEXT:    leal 1(%rdi), %eax
  33 ; X64-NEXT:    andl %edi, %eax
  34 ; X64-NEXT:    retq
  35   %1 = add i32 %a0, 1
  36   %2 = and i32 %a0, %1
  37   ret i32 %2
  38 }
  39
  40 define i32 @test__blci_u32(i32 %a0) {
  41 ; X32-LABEL: test__blci_u32:
  42 ; X32:       # BB#0:
  43 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  44 ; X32-NEXT:    leal 1(%ecx), %eax
  45 ; X32-NEXT:    xorl $-1, %eax
  46 ; X32-NEXT:    orl %ecx, %eax
  47 ; X32-NEXT:    retl
  48 ;
  49 ; X64-LABEL: test__blci_u32:
  50 ; X64:       # BB#0:
  51 ; X64-NEXT:    # kill: %EDI<def> %EDI<kill> %RDI<def>
  52 ; X64-NEXT:    leal 1(%rdi), %eax
  53 ; X64-NEXT:    xorl $-1, %eax
  54 ; X64-NEXT:    orl %edi, %eax
  55 ; X64-NEXT:    retq
  56   %1 = add i32 %a0, 1
  57   %2 = xor i32 %1, -1
  58   %3 = or i32 %a0, %2
  59   ret i32 %3
  60 }
  61
  62 define i32 @test__blcic_u32(i32 %a0) {
  63 ; X32-LABEL: test__blcic_u32:
  64 ; X32:       # BB#0:
  65 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  66 ; X32-NEXT:    movl %eax, %ecx
  67 ; X32-NEXT:    xorl $-1, %ecx
  68 ; X32-NEXT:    addl $1, %eax
  69 ; X32-NEXT:    andl %ecx, %eax
  70 ; X32-NEXT:    retl
  71 ;
  72 ; X64-LABEL: test__blcic_u32:
  73 ; X64:       # BB#0:
  74 ; X64-NEXT:    movl %edi, %eax
  75 ; X64-NEXT:    xorl $-1, %eax
  76 ; X64-NEXT:    addl $1, %edi
  77 ; X64-NEXT:    andl %eax, %edi
  78 ; X64-NEXT:    movl %edi, %eax
  79 ; X64-NEXT:    retq
  80   %1 = xor i32 %a0, -1
  81   %2 = add i32 %a0, 1
  82   %3 = and i32 %1, %2
  83   ret i32 %3
  84 }
  85
  86 define i32 @test__blcmsk_u32(i32 %a0) {
  87 ; X32-LABEL: test__blcmsk_u32:
  88 ; X32:       # BB#0:
  89 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  90 ; X32-NEXT:    leal 1(%ecx), %eax
  91 ; X32-NEXT:    xorl %ecx, %eax
  92 ; X32-NEXT:    retl
  93 ;
  94 ; X64-LABEL: test__blcmsk_u32:
  95 ; X64:       # BB#0:
  96 ; X64-NEXT:    # kill: %EDI<def> %EDI<kill> %RDI<def>
  97 ; X64-NEXT:    leal 1(%rdi), %eax
  98 ; X64-NEXT:    xorl %edi, %eax
  99 ; X64-NEXT:    retq
 100   %1 = add i32 %a0, 1
 101   %2 = xor i32 %a0, %1
 102   ret i32 %2
 103 }
 104
 105 define i32 @test__blcs_u32(i32 %a0) {
 106 ; X32-LABEL: test__blcs_u32:
 107 ; X32:       # BB#0:
 108 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 109 ; X32-NEXT:    leal 1(%ecx), %eax
 110 ; X32-NEXT:    orl %ecx, %eax
 111 ; X32-NEXT:    retl
 112 ;
 113 ; X64-LABEL: test__blcs_u32:
 114 ; X64:       # BB#0:
 115 ; X64-NEXT:    # kill: %EDI<def> %EDI<kill> %RDI<def>
 116 ; X64-NEXT:    leal 1(%rdi), %eax
 117 ; X64-NEXT:    orl %edi, %eax
 118 ; X64-NEXT:    retq
 119   %1 = add i32 %a0, 1
 120   %2 = or i32 %a0, %1
 121   ret i32 %2
 122 }
 123
 124 define i32 @test__blsfill_u32(i32 %a0) {
 125 ; X32-LABEL: test__blsfill_u32:
 126 ; X32:       # BB#0:
 127 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 128 ; X32-NEXT:    movl %ecx, %eax
 129 ; X32-NEXT:    subl $1, %eax
 130 ; X32-NEXT:    orl %ecx, %eax
 131 ; X32-NEXT:    retl
 132 ;
 133 ; X64-LABEL: test__blsfill_u32:
 134 ; X64:       # BB#0:
 135 ; X64-NEXT:    movl %edi, %eax
 136 ; X64-NEXT:    subl $1, %eax
 137 ; X64-NEXT:    orl %edi, %eax
 138 ; X64-NEXT:    retq
 139   %1 = sub i32 %a0, 1
 140   %2 = or i32 %a0, %1
 141   ret i32 %2
 142 }
 143
 144 define i32 @test__blsic_u32(i32 %a0) {
 145 ; X32-LABEL: test__blsic_u32:
 146 ; X32:       # BB#0:
 147 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 148 ; X32-NEXT:    movl %eax, %ecx
 149 ; X32-NEXT:    xorl $-1, %ecx
 150 ; X32-NEXT:    subl $1, %eax
 151 ; X32-NEXT:    orl %ecx, %eax
 152 ; X32-NEXT:    retl
 153 ;
 154 ; X64-LABEL: test__blsic_u32:
 155 ; X64:       # BB#0:
 156 ; X64-NEXT:    movl %edi, %eax
 157 ; X64-NEXT:    xorl $-1, %eax
 158 ; X64-NEXT:    subl $1, %edi
 159 ; X64-NEXT:    orl %eax, %edi
 160 ; X64-NEXT:    movl %edi, %eax
 161 ; X64-NEXT:    retq
 162   %1 = xor i32 %a0, -1
 163   %2 = sub i32 %a0, 1
 164   %3 = or i32 %1, %2
 165   ret i32 %3
 166 }
 167
 168 define i32 @test__t1mskc_u32(i32 %a0) {
 169 ; X32-LABEL: test__t1mskc_u32:
 170 ; X32:       # BB#0:
 171 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 172 ; X32-NEXT:    movl %eax, %ecx
 173 ; X32-NEXT:    xorl $-1, %ecx
 174 ; X32-NEXT:    addl $1, %eax
 175 ; X32-NEXT:    orl %ecx, %eax
 176 ; X32-NEXT:    retl
 177 ;
 178 ; X64-LABEL: test__t1mskc_u32:
 179 ; X64:       # BB#0:
 180 ; X64-NEXT:    movl %edi, %eax
 181 ; X64-NEXT:    xorl $-1, %eax
 182 ; X64-NEXT:    addl $1, %edi
 183 ; X64-NEXT:    orl %eax, %edi
 184 ; X64-NEXT:    movl %edi, %eax
 185 ; X64-NEXT:    retq
 186   %1 = xor i32 %a0, -1
 187   %2 = add i32 %a0, 1
 188   %3 = or i32 %1, %2
 189   ret i32 %3
 190 }
 191
 192 define i32 @test__tzmsk_u32(i32 %a0) {
 193 ; X32-LABEL: test__tzmsk_u32:
 194 ; X32:       # BB#0:
 195 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 196 ; X32-NEXT:    movl %eax, %ecx
 197 ; X32-NEXT:    xorl $-1, %ecx
 198 ; X32-NEXT:    subl $1, %eax
 199 ; X32-NEXT:    andl %ecx, %eax
 200 ; X32-NEXT:    retl
 201 ;
 202 ; X64-LABEL: test__tzmsk_u32:
 203 ; X64:       # BB#0:
 204 ; X64-NEXT:    movl %edi, %eax
 205 ; X64-NEXT:    xorl $-1, %eax
 206 ; X64-NEXT:    subl $1, %edi
 207 ; X64-NEXT:    andl %eax, %edi
 208 ; X64-NEXT:    movl %edi, %eax
 209 ; X64-NEXT:    retq
 210   %1 = xor i32 %a0, -1
 211   %2 = sub i32 %a0, 1
 212   %3 = and i32 %1, %2
 213   ret i32 %3
 214 }
 215
 216 declare i32 @llvm.x86.tbm.bextri.u32(i32, i32)