llvm/test/CodeGen/X86/parity.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=-popcnt | FileCheck %s --check-prefixes=X86,X86-NOPOPCNT
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=-popcnt | FileCheck %s --check-prefixes=X64,X64-NOPOPCNT
   4 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+popcnt | FileCheck %s --check-prefixes=X86,X86-POPCNT
   5 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+popcnt | FileCheck %s --check-prefixes=X64,X64-POPCNT
   6
   7 define i4 @parity_4(i4 %x) {
   8 ; X86-LABEL: parity_4:
   9 ; X86:       # %bb.0:
  10 ; X86-NEXT:    testb $15, {{[0-9]+}}(%esp)
  11 ; X86-NEXT:    setnp %al
  12 ; X86-NEXT:    retl
  13 ;
  14 ; X64-LABEL: parity_4:
  15 ; X64:       # %bb.0:
  16 ; X64-NEXT:    testb $15, %dil
  17 ; X64-NEXT:    setnp %al
  18 ; X64-NEXT:    retq
  19   %1 = tail call i4 @llvm.ctpop.i4(i4 %x)
  20   %2 = and i4 %1, 1
  21   ret i4 %2
  22 }
  23
  24 define i8 @parity_8(i8 %x) {
  25 ; X86-LABEL: parity_8:
  26 ; X86:       # %bb.0:
  27 ; X86-NEXT:    cmpb $0, {{[0-9]+}}(%esp)
  28 ; X86-NEXT:    setnp %al
  29 ; X86-NEXT:    retl
  30 ;
  31 ; X64-LABEL: parity_8:
  32 ; X64:       # %bb.0:
  33 ; X64-NEXT:    testb %dil, %dil
  34 ; X64-NEXT:    setnp %al
  35 ; X64-NEXT:    retq
  36   %1 = tail call i8 @llvm.ctpop.i8(i8 %x)
  37   %2 = and i8 %1, 1
  38   ret i8 %2
  39 }
  40
  41 define i16 @parity_16(i16 %x) {
  42 ; X86-NOPOPCNT-LABEL: parity_16:
  43 ; X86-NOPOPCNT:       # %bb.0:
  44 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  45 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
  46 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
  47 ; X86-NOPOPCNT-NEXT:    setnp %al
  48 ; X86-NOPOPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
  49 ; X86-NOPOPCNT-NEXT:    retl
  50 ;
  51 ; X64-NOPOPCNT-LABEL: parity_16:
  52 ; X64-NOPOPCNT:       # %bb.0:
  53 ; X64-NOPOPCNT-NEXT:    movl %edi, %ecx
  54 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
  55 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
  56 ; X64-NOPOPCNT-NEXT:    setnp %al
  57 ; X64-NOPOPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
  58 ; X64-NOPOPCNT-NEXT:    retq
  59 ;
  60 ; X86-POPCNT-LABEL: parity_16:
  61 ; X86-POPCNT:       # %bb.0:
  62 ; X86-POPCNT-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
  63 ; X86-POPCNT-NEXT:    popcntl %eax, %eax
  64 ; X86-POPCNT-NEXT:    andl $1, %eax
  65 ; X86-POPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
  66 ; X86-POPCNT-NEXT:    retl
  67 ;
  68 ; X64-POPCNT-LABEL: parity_16:
  69 ; X64-POPCNT:       # %bb.0:
  70 ; X64-POPCNT-NEXT:    movzwl %di, %eax
  71 ; X64-POPCNT-NEXT:    popcntl %eax, %eax
  72 ; X64-POPCNT-NEXT:    andl $1, %eax
  73 ; X64-POPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
  74 ; X64-POPCNT-NEXT:    retq
  75   %1 = tail call i16 @llvm.ctpop.i16(i16 %x)
  76   %2 = and i16 %1, 1
  77   ret i16 %2
  78 }
  79
  80 define i16 @parity_16_load(ptr %x) {
  81 ; X86-NOPOPCNT-LABEL: parity_16_load:
  82 ; X86-NOPOPCNT:       # %bb.0:
  83 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
  84 ; X86-NOPOPCNT-NEXT:    movzwl (%eax), %ecx
  85 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
  86 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
  87 ; X86-NOPOPCNT-NEXT:    setnp %al
  88 ; X86-NOPOPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
  89 ; X86-NOPOPCNT-NEXT:    retl
  90 ;
  91 ; X64-NOPOPCNT-LABEL: parity_16_load:
  92 ; X64-NOPOPCNT:       # %bb.0:
  93 ; X64-NOPOPCNT-NEXT:    movzwl (%rdi), %ecx
  94 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
  95 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
  96 ; X64-NOPOPCNT-NEXT:    setnp %al
  97 ; X64-NOPOPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
  98 ; X64-NOPOPCNT-NEXT:    retq
  99 ;
 100 ; X86-POPCNT-LABEL: parity_16_load:
 101 ; X86-POPCNT:       # %bb.0:
 102 ; X86-POPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 103 ; X86-POPCNT-NEXT:    movzwl (%eax), %eax
 104 ; X86-POPCNT-NEXT:    popcntl %eax, %eax
 105 ; X86-POPCNT-NEXT:    andl $1, %eax
 106 ; X86-POPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
 107 ; X86-POPCNT-NEXT:    retl
 108 ;
 109 ; X64-POPCNT-LABEL: parity_16_load:
 110 ; X64-POPCNT:       # %bb.0:
 111 ; X64-POPCNT-NEXT:    movzwl (%rdi), %eax
 112 ; X64-POPCNT-NEXT:    popcntl %eax, %eax
 113 ; X64-POPCNT-NEXT:    andl $1, %eax
 114 ; X64-POPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
 115 ; X64-POPCNT-NEXT:    retq
 116   %1 = load i16, ptr %x
 117   %2 = tail call i16 @llvm.ctpop.i16(i16 %1)
 118   %3 = and i16 %2, 1
 119   ret i16 %3
 120 }
 121
 122 define i17 @parity_17(i17 %x) {
 123 ; X86-NOPOPCNT-LABEL: parity_17:
 124 ; X86-NOPOPCNT:       # %bb.0:
 125 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 126 ; X86-NOPOPCNT-NEXT:    movl %ecx, %eax
 127 ; X86-NOPOPCNT-NEXT:    andl $131071, %eax # imm = 0x1FFFF
 128 ; X86-NOPOPCNT-NEXT:    movl %eax, %edx
 129 ; X86-NOPOPCNT-NEXT:    shrl $16, %edx
 130 ; X86-NOPOPCNT-NEXT:    xorl %eax, %edx
 131 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
 132 ; X86-NOPOPCNT-NEXT:    xorb %dl, %ch
 133 ; X86-NOPOPCNT-NEXT:    setnp %al
 134 ; X86-NOPOPCNT-NEXT:    retl
 135 ;
 136 ; X64-NOPOPCNT-LABEL: parity_17:
 137 ; X64-NOPOPCNT:       # %bb.0:
 138 ; X64-NOPOPCNT-NEXT:    movl %edi, %eax
 139 ; X64-NOPOPCNT-NEXT:    andl $131071, %eax # imm = 0x1FFFF
 140 ; X64-NOPOPCNT-NEXT:    movl %eax, %ecx
 141 ; X64-NOPOPCNT-NEXT:    shrl $16, %ecx
 142 ; X64-NOPOPCNT-NEXT:    xorl %eax, %ecx
 143 ; X64-NOPOPCNT-NEXT:    shrl $8, %edi
 144 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
 145 ; X64-NOPOPCNT-NEXT:    xorb %cl, %dil
 146 ; X64-NOPOPCNT-NEXT:    setnp %al
 147 ; X64-NOPOPCNT-NEXT:    retq
 148 ;
 149 ; X86-POPCNT-LABEL: parity_17:
 150 ; X86-POPCNT:       # %bb.0:
 151 ; X86-POPCNT-NEXT:    movl $131071, %eax # imm = 0x1FFFF
 152 ; X86-POPCNT-NEXT:    andl {{[0-9]+}}(%esp), %eax
 153 ; X86-POPCNT-NEXT:    popcntl %eax, %eax
 154 ; X86-POPCNT-NEXT:    andl $1, %eax
 155 ; X86-POPCNT-NEXT:    retl
 156 ;
 157 ; X64-POPCNT-LABEL: parity_17:
 158 ; X64-POPCNT:       # %bb.0:
 159 ; X64-POPCNT-NEXT:    andl $131071, %edi # imm = 0x1FFFF
 160 ; X64-POPCNT-NEXT:    popcntl %edi, %eax
 161 ; X64-POPCNT-NEXT:    andl $1, %eax
 162 ; X64-POPCNT-NEXT:    retq
 163   %1 = tail call i17 @llvm.ctpop.i17(i17 %x)
 164   %2 = and i17 %1, 1
 165   ret i17 %2
 166 }
 167
 168 define i32 @parity_32(i32 %x) {
 169 ; X86-NOPOPCNT-LABEL: parity_32:
 170 ; X86-NOPOPCNT:       # %bb.0:
 171 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 172 ; X86-NOPOPCNT-NEXT:    movl %eax, %ecx
 173 ; X86-NOPOPCNT-NEXT:    shrl $16, %ecx
 174 ; X86-NOPOPCNT-NEXT:    xorl %eax, %ecx
 175 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
 176 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
 177 ; X86-NOPOPCNT-NEXT:    setnp %al
 178 ; X86-NOPOPCNT-NEXT:    retl
 179 ;
 180 ; X64-NOPOPCNT-LABEL: parity_32:
 181 ; X64-NOPOPCNT:       # %bb.0:
 182 ; X64-NOPOPCNT-NEXT:    movl %edi, %ecx
 183 ; X64-NOPOPCNT-NEXT:    shrl $16, %ecx
 184 ; X64-NOPOPCNT-NEXT:    xorl %edi, %ecx
 185 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
 186 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
 187 ; X64-NOPOPCNT-NEXT:    setnp %al
 188 ; X64-NOPOPCNT-NEXT:    retq
 189 ;
 190 ; X86-POPCNT-LABEL: parity_32:
 191 ; X86-POPCNT:       # %bb.0:
 192 ; X86-POPCNT-NEXT:    popcntl {{[0-9]+}}(%esp), %eax
 193 ; X86-POPCNT-NEXT:    andl $1, %eax
 194 ; X86-POPCNT-NEXT:    retl
 195 ;
 196 ; X64-POPCNT-LABEL: parity_32:
 197 ; X64-POPCNT:       # %bb.0:
 198 ; X64-POPCNT-NEXT:    popcntl %edi, %eax
 199 ; X64-POPCNT-NEXT:    andl $1, %eax
 200 ; X64-POPCNT-NEXT:    retq
 201   %1 = tail call i32 @llvm.ctpop.i32(i32 %x)
 202   %2 = and i32 %1, 1
 203   ret i32 %2
 204 }
 205
 206 define i64 @parity_64(i64 %x) {
 207 ; X86-NOPOPCNT-LABEL: parity_64:
 208 ; X86-NOPOPCNT:       # %bb.0:
 209 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 210 ; X86-NOPOPCNT-NEXT:    xorl {{[0-9]+}}(%esp), %eax
 211 ; X86-NOPOPCNT-NEXT:    movl %eax, %ecx
 212 ; X86-NOPOPCNT-NEXT:    shrl $16, %ecx
 213 ; X86-NOPOPCNT-NEXT:    xorl %eax, %ecx
 214 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
 215 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
 216 ; X86-NOPOPCNT-NEXT:    setnp %al
 217 ; X86-NOPOPCNT-NEXT:    xorl %edx, %edx
 218 ; X86-NOPOPCNT-NEXT:    retl
 219 ;
 220 ; X64-NOPOPCNT-LABEL: parity_64:
 221 ; X64-NOPOPCNT:       # %bb.0:
 222 ; X64-NOPOPCNT-NEXT:    movq %rdi, %rax
 223 ; X64-NOPOPCNT-NEXT:    shrq $32, %rax
 224 ; X64-NOPOPCNT-NEXT:    xorl %edi, %eax
 225 ; X64-NOPOPCNT-NEXT:    movl %eax, %ecx
 226 ; X64-NOPOPCNT-NEXT:    shrl $16, %ecx
 227 ; X64-NOPOPCNT-NEXT:    xorl %eax, %ecx
 228 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
 229 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
 230 ; X64-NOPOPCNT-NEXT:    setnp %al
 231 ; X64-NOPOPCNT-NEXT:    retq
 232 ;
 233 ; X86-POPCNT-LABEL: parity_64:
 234 ; X86-POPCNT:       # %bb.0:
 235 ; X86-POPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 236 ; X86-POPCNT-NEXT:    xorl {{[0-9]+}}(%esp), %eax
 237 ; X86-POPCNT-NEXT:    popcntl %eax, %eax
 238 ; X86-POPCNT-NEXT:    andl $1, %eax
 239 ; X86-POPCNT-NEXT:    xorl %edx, %edx
 240 ; X86-POPCNT-NEXT:    retl
 241 ;
 242 ; X64-POPCNT-LABEL: parity_64:
 243 ; X64-POPCNT:       # %bb.0:
 244 ; X64-POPCNT-NEXT:    popcntq %rdi, %rax
 245 ; X64-POPCNT-NEXT:    andl $1, %eax
 246 ; X64-POPCNT-NEXT:    retq
 247   %1 = tail call i64 @llvm.ctpop.i64(i64 %x)
 248   %2 = and i64 %1, 1
 249   ret i64 %2
 250 }
 251
 252 define i32 @parity_64_trunc(i64 %x) {
 253 ; X86-NOPOPCNT-LABEL: parity_64_trunc:
 254 ; X86-NOPOPCNT:       # %bb.0:
 255 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 256 ; X86-NOPOPCNT-NEXT:    xorl {{[0-9]+}}(%esp), %eax
 257 ; X86-NOPOPCNT-NEXT:    movl %eax, %ecx
 258 ; X86-NOPOPCNT-NEXT:    shrl $16, %ecx
 259 ; X86-NOPOPCNT-NEXT:    xorl %eax, %ecx
 260 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
 261 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
 262 ; X86-NOPOPCNT-NEXT:    setnp %al
 263 ; X86-NOPOPCNT-NEXT:    retl
 264 ;
 265 ; X64-NOPOPCNT-LABEL: parity_64_trunc:
 266 ; X64-NOPOPCNT:       # %bb.0:
 267 ; X64-NOPOPCNT-NEXT:    movq %rdi, %rax
 268 ; X64-NOPOPCNT-NEXT:    shrq $32, %rax
 269 ; X64-NOPOPCNT-NEXT:    xorl %edi, %eax
 270 ; X64-NOPOPCNT-NEXT:    movl %eax, %ecx
 271 ; X64-NOPOPCNT-NEXT:    shrl $16, %ecx
 272 ; X64-NOPOPCNT-NEXT:    xorl %eax, %ecx
 273 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
 274 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
 275 ; X64-NOPOPCNT-NEXT:    setnp %al
 276 ; X64-NOPOPCNT-NEXT:    retq
 277 ;
 278 ; X86-POPCNT-LABEL: parity_64_trunc:
 279 ; X86-POPCNT:       # %bb.0:
 280 ; X86-POPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 281 ; X86-POPCNT-NEXT:    xorl {{[0-9]+}}(%esp), %eax
 282 ; X86-POPCNT-NEXT:    popcntl %eax, %eax
 283 ; X86-POPCNT-NEXT:    andl $1, %eax
 284 ; X86-POPCNT-NEXT:    retl
 285 ;
 286 ; X64-POPCNT-LABEL: parity_64_trunc:
 287 ; X64-POPCNT:       # %bb.0:
 288 ; X64-POPCNT-NEXT:    popcntq %rdi, %rax
 289 ; X64-POPCNT-NEXT:    andl $1, %eax
 290 ; X64-POPCNT-NEXT:    # kill: def $eax killed $eax killed $rax
 291 ; X64-POPCNT-NEXT:    retq
 292   %1 = tail call i64 @llvm.ctpop.i64(i64 %x)
 293   %2 = trunc i64 %1 to i32
 294   %3 = and i32 %2, 1
 295   ret i32 %3
 296 }
 297
 298 define i8 @parity_32_trunc(i32 %x) {
 299 ; X86-NOPOPCNT-LABEL: parity_32_trunc:
 300 ; X86-NOPOPCNT:       # %bb.0:
 301 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 302 ; X86-NOPOPCNT-NEXT:    movl %eax, %ecx
 303 ; X86-NOPOPCNT-NEXT:    shrl $16, %ecx
 304 ; X86-NOPOPCNT-NEXT:    xorl %eax, %ecx
 305 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
 306 ; X86-NOPOPCNT-NEXT:    setnp %al
 307 ; X86-NOPOPCNT-NEXT:    retl
 308 ;
 309 ; X64-NOPOPCNT-LABEL: parity_32_trunc:
 310 ; X64-NOPOPCNT:       # %bb.0:
 311 ; X64-NOPOPCNT-NEXT:    movl %edi, %eax
 312 ; X64-NOPOPCNT-NEXT:    shrl $16, %eax
 313 ; X64-NOPOPCNT-NEXT:    xorl %edi, %eax
 314 ; X64-NOPOPCNT-NEXT:    xorb %ah, %al
 315 ; X64-NOPOPCNT-NEXT:    setnp %al
 316 ; X64-NOPOPCNT-NEXT:    retq
 317 ;
 318 ; X86-POPCNT-LABEL: parity_32_trunc:
 319 ; X86-POPCNT:       # %bb.0:
 320 ; X86-POPCNT-NEXT:    popcntl {{[0-9]+}}(%esp), %eax
 321 ; X86-POPCNT-NEXT:    andl $1, %eax
 322 ; X86-POPCNT-NEXT:    # kill: def $al killed $al killed $eax
 323 ; X86-POPCNT-NEXT:    retl
 324 ;
 325 ; X64-POPCNT-LABEL: parity_32_trunc:
 326 ; X64-POPCNT:       # %bb.0:
 327 ; X64-POPCNT-NEXT:    popcntl %edi, %eax
 328 ; X64-POPCNT-NEXT:    andl $1, %eax
 329 ; X64-POPCNT-NEXT:    # kill: def $al killed $al killed $eax
 330 ; X64-POPCNT-NEXT:    retq
 331   %1 = tail call i32 @llvm.ctpop.i32(i32 %x)
 332   %2 = trunc i32 %1 to i8
 333   %3 = and i8 %2, 1
 334   ret i8 %3
 335 }
 336
 337 define i16 @parity_16_zexti8(i8 %x) {
 338 ; X86-LABEL: parity_16_zexti8:
 339 ; X86:       # %bb.0:
 340 ; X86-NEXT:    xorl %eax, %eax
 341 ; X86-NEXT:    cmpb $0, {{[0-9]+}}(%esp)
 342 ; X86-NEXT:    setnp %al
 343 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 344 ; X86-NEXT:    retl
 345 ;
 346 ; X64-LABEL: parity_16_zexti8:
 347 ; X64:       # %bb.0:
 348 ; X64-NEXT:    xorl %eax, %eax
 349 ; X64-NEXT:    testb %dil, %dil
 350 ; X64-NEXT:    setnp %al
 351 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 352 ; X64-NEXT:    retq
 353   %a = zext i8 %x to i16
 354   %b = tail call i16 @llvm.ctpop.i16(i16 %a)
 355   %c = and i16 %b, 1
 356   ret i16 %c
 357 }
 358
 359 define i16 @parity_16_mask255(i16 %x) {
 360 ; X86-LABEL: parity_16_mask255:
 361 ; X86:       # %bb.0:
 362 ; X86-NEXT:    xorl %eax, %eax
 363 ; X86-NEXT:    cmpb $0, {{[0-9]+}}(%esp)
 364 ; X86-NEXT:    setnp %al
 365 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 366 ; X86-NEXT:    retl
 367 ;
 368 ; X64-LABEL: parity_16_mask255:
 369 ; X64:       # %bb.0:
 370 ; X64-NEXT:    xorl %eax, %eax
 371 ; X64-NEXT:    testb %dil, %dil
 372 ; X64-NEXT:    setnp %al
 373 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 374 ; X64-NEXT:    retq
 375   %a = and i16 %x, 255
 376   %b = tail call i16 @llvm.ctpop.i16(i16 %a)
 377   %c = and i16 %b, 1
 378   ret i16 %c
 379 }
 380
 381 define i16 @parity_16_mask15(i16 %x) {
 382 ; X86-LABEL: parity_16_mask15:
 383 ; X86:       # %bb.0:
 384 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %ecx
 385 ; X86-NEXT:    xorl %eax, %eax
 386 ; X86-NEXT:    testb $15, %cl
 387 ; X86-NEXT:    setnp %al
 388 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 389 ; X86-NEXT:    retl
 390 ;
 391 ; X64-LABEL: parity_16_mask15:
 392 ; X64:       # %bb.0:
 393 ; X64-NEXT:    xorl %eax, %eax
 394 ; X64-NEXT:    testb $15, %dil
 395 ; X64-NEXT:    setnp %al
 396 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 397 ; X64-NEXT:    retq
 398   %a = and i16 %x, 15
 399   %b = tail call i16 @llvm.ctpop.i16(i16 %a)
 400   %c = and i16 %b, 1
 401   ret i16 %c
 402 }
 403
 404 define i16 @parity_16_shift(i16 %0) {
 405 ; X86-NOPOPCNT-LABEL: parity_16_shift:
 406 ; X86-NOPOPCNT:       # %bb.0:
 407 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 408 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
 409 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
 410 ; X86-NOPOPCNT-NEXT:    setnp %al
 411 ; X86-NOPOPCNT-NEXT:    addl %eax, %eax
 412 ; X86-NOPOPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
 413 ; X86-NOPOPCNT-NEXT:    retl
 414 ;
 415 ; X64-NOPOPCNT-LABEL: parity_16_shift:
 416 ; X64-NOPOPCNT:       # %bb.0:
 417 ; X64-NOPOPCNT-NEXT:    movl %edi, %ecx
 418 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
 419 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
 420 ; X64-NOPOPCNT-NEXT:    setnp %al
 421 ; X64-NOPOPCNT-NEXT:    addl %eax, %eax
 422 ; X64-NOPOPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
 423 ; X64-NOPOPCNT-NEXT:    retq
 424 ;
 425 ; X86-POPCNT-LABEL: parity_16_shift:
 426 ; X86-POPCNT:       # %bb.0:
 427 ; X86-POPCNT-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 428 ; X86-POPCNT-NEXT:    popcntl %eax, %eax
 429 ; X86-POPCNT-NEXT:    andl $1, %eax
 430 ; X86-POPCNT-NEXT:    addl %eax, %eax
 431 ; X86-POPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
 432 ; X86-POPCNT-NEXT:    retl
 433 ;
 434 ; X64-POPCNT-LABEL: parity_16_shift:
 435 ; X64-POPCNT:       # %bb.0:
 436 ; X64-POPCNT-NEXT:    movzwl %di, %eax
 437 ; X64-POPCNT-NEXT:    popcntl %eax, %eax
 438 ; X64-POPCNT-NEXT:    andl $1, %eax
 439 ; X64-POPCNT-NEXT:    addl %eax, %eax
 440 ; X64-POPCNT-NEXT:    # kill: def $ax killed $ax killed $eax
 441 ; X64-POPCNT-NEXT:    retq
 442   %2 = tail call i16 @llvm.ctpop.i16(i16 %0)
 443   %3 = shl nuw nsw i16 %2, 1
 444   %4 = and i16 %3, 2
 445   ret i16 %4
 446 }
 447
 448 define i32 @parity_32_zexti8(i8 %x) {
 449 ; X86-LABEL: parity_32_zexti8:
 450 ; X86:       # %bb.0:
 451 ; X86-NEXT:    xorl %eax, %eax
 452 ; X86-NEXT:    cmpb $0, {{[0-9]+}}(%esp)
 453 ; X86-NEXT:    setnp %al
 454 ; X86-NEXT:    retl
 455 ;
 456 ; X64-LABEL: parity_32_zexti8:
 457 ; X64:       # %bb.0:
 458 ; X64-NEXT:    xorl %eax, %eax
 459 ; X64-NEXT:    testb %dil, %dil
 460 ; X64-NEXT:    setnp %al
 461 ; X64-NEXT:    retq
 462   %a = zext i8 %x to i32
 463   %b = tail call i32 @llvm.ctpop.i32(i32 %a)
 464   %c = and i32 %b, 1
 465   ret i32 %c
 466 }
 467
 468 define i32 @parity_32_mask255(i32 %x) {
 469 ; X86-LABEL: parity_32_mask255:
 470 ; X86:       # %bb.0:
 471 ; X86-NEXT:    xorl %eax, %eax
 472 ; X86-NEXT:    cmpb $0, {{[0-9]+}}(%esp)
 473 ; X86-NEXT:    setnp %al
 474 ; X86-NEXT:    retl
 475 ;
 476 ; X64-LABEL: parity_32_mask255:
 477 ; X64:       # %bb.0:
 478 ; X64-NEXT:    xorl %eax, %eax
 479 ; X64-NEXT:    testb %dil, %dil
 480 ; X64-NEXT:    setnp %al
 481 ; X64-NEXT:    retq
 482   %a = and i32 %x, 255
 483   %b = tail call i32 @llvm.ctpop.i32(i32 %a)
 484   %c = and i32 %b, 1
 485   ret i32 %c
 486 }
 487
 488 define i32 @parity_32_mask15(i32 %x) {
 489 ; X86-LABEL: parity_32_mask15:
 490 ; X86:       # %bb.0:
 491 ; X86-NEXT:    xorl %eax, %eax
 492 ; X86-NEXT:    testb $15, {{[0-9]+}}(%esp)
 493 ; X86-NEXT:    setnp %al
 494 ; X86-NEXT:    retl
 495 ;
 496 ; X64-LABEL: parity_32_mask15:
 497 ; X64:       # %bb.0:
 498 ; X64-NEXT:    xorl %eax, %eax
 499 ; X64-NEXT:    testb $15, %dil
 500 ; X64-NEXT:    setnp %al
 501 ; X64-NEXT:    retq
 502   %a = and i32 %x, 15
 503   %b = tail call i32 @llvm.ctpop.i32(i32 %a)
 504   %c = and i32 %b, 1
 505   ret i32 %c
 506 }
 507
 508 define i32 @parity_32_shift(i32 %0) {
 509 ; X86-NOPOPCNT-LABEL: parity_32_shift:
 510 ; X86-NOPOPCNT:       # %bb.0:
 511 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 512 ; X86-NOPOPCNT-NEXT:    movl %eax, %ecx
 513 ; X86-NOPOPCNT-NEXT:    shrl $16, %ecx
 514 ; X86-NOPOPCNT-NEXT:    xorl %eax, %ecx
 515 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
 516 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
 517 ; X86-NOPOPCNT-NEXT:    setnp %al
 518 ; X86-NOPOPCNT-NEXT:    addl %eax, %eax
 519 ; X86-NOPOPCNT-NEXT:    retl
 520 ;
 521 ; X64-NOPOPCNT-LABEL: parity_32_shift:
 522 ; X64-NOPOPCNT:       # %bb.0:
 523 ; X64-NOPOPCNT-NEXT:    movl %edi, %ecx
 524 ; X64-NOPOPCNT-NEXT:    shrl $16, %ecx
 525 ; X64-NOPOPCNT-NEXT:    xorl %edi, %ecx
 526 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
 527 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
 528 ; X64-NOPOPCNT-NEXT:    setnp %al
 529 ; X64-NOPOPCNT-NEXT:    addl %eax, %eax
 530 ; X64-NOPOPCNT-NEXT:    retq
 531 ;
 532 ; X86-POPCNT-LABEL: parity_32_shift:
 533 ; X86-POPCNT:       # %bb.0:
 534 ; X86-POPCNT-NEXT:    popcntl {{[0-9]+}}(%esp), %eax
 535 ; X86-POPCNT-NEXT:    andl $1, %eax
 536 ; X86-POPCNT-NEXT:    addl %eax, %eax
 537 ; X86-POPCNT-NEXT:    retl
 538 ;
 539 ; X64-POPCNT-LABEL: parity_32_shift:
 540 ; X64-POPCNT:       # %bb.0:
 541 ; X64-POPCNT-NEXT:    popcntl %edi, %eax
 542 ; X64-POPCNT-NEXT:    andl $1, %eax
 543 ; X64-POPCNT-NEXT:    addl %eax, %eax
 544 ; X64-POPCNT-NEXT:    retq
 545   %2 = tail call i32 @llvm.ctpop.i32(i32 %0)
 546   %3 = shl nuw nsw i32 %2, 1
 547   %4 = and i32 %3, 2
 548   ret i32 %4
 549 }
 550
 551 define i64 @parity_64_zexti8(i8 %x) {
 552 ; X86-LABEL: parity_64_zexti8:
 553 ; X86:       # %bb.0:
 554 ; X86-NEXT:    xorl %eax, %eax
 555 ; X86-NEXT:    cmpb $0, {{[0-9]+}}(%esp)
 556 ; X86-NEXT:    setnp %al
 557 ; X86-NEXT:    xorl %edx, %edx
 558 ; X86-NEXT:    retl
 559 ;
 560 ; X64-LABEL: parity_64_zexti8:
 561 ; X64:       # %bb.0:
 562 ; X64-NEXT:    xorl %eax, %eax
 563 ; X64-NEXT:    testb %dil, %dil
 564 ; X64-NEXT:    setnp %al
 565 ; X64-NEXT:    retq
 566   %a = zext i8 %x to i64
 567   %b = tail call i64 @llvm.ctpop.i64(i64 %a)
 568   %c = and i64 %b, 1
 569   ret i64 %c
 570 }
 571
 572 define i64 @parity_64_mask255(i64 %x) {
 573 ; X86-LABEL: parity_64_mask255:
 574 ; X86:       # %bb.0:
 575 ; X86-NEXT:    xorl %eax, %eax
 576 ; X86-NEXT:    cmpb $0, {{[0-9]+}}(%esp)
 577 ; X86-NEXT:    setnp %al
 578 ; X86-NEXT:    xorl %edx, %edx
 579 ; X86-NEXT:    retl
 580 ;
 581 ; X64-LABEL: parity_64_mask255:
 582 ; X64:       # %bb.0:
 583 ; X64-NEXT:    xorl %eax, %eax
 584 ; X64-NEXT:    testb %dil, %dil
 585 ; X64-NEXT:    setnp %al
 586 ; X64-NEXT:    retq
 587   %a = and i64 %x, 255
 588   %b = tail call i64 @llvm.ctpop.i64(i64 %a)
 589   %c = and i64 %b, 1
 590   ret i64 %c
 591 }
 592
 593 define i64 @parity_64_mask15(i64 %x) {
 594 ; X86-LABEL: parity_64_mask15:
 595 ; X86:       # %bb.0:
 596 ; X86-NEXT:    xorl %eax, %eax
 597 ; X86-NEXT:    testb $15, {{[0-9]+}}(%esp)
 598 ; X86-NEXT:    setnp %al
 599 ; X86-NEXT:    xorl %edx, %edx
 600 ; X86-NEXT:    retl
 601 ;
 602 ; X64-LABEL: parity_64_mask15:
 603 ; X64:       # %bb.0:
 604 ; X64-NEXT:    xorl %eax, %eax
 605 ; X64-NEXT:    testb $15, %dil
 606 ; X64-NEXT:    setnp %al
 607 ; X64-NEXT:    retq
 608   %a = and i64 %x, 15
 609   %b = tail call i64 @llvm.ctpop.i64(i64 %a)
 610   %c = and i64 %b, 1
 611   ret i64 %c
 612 }
 613
 614 define i64 @parity_64_shift(i64 %0) {
 615 ; X86-NOPOPCNT-LABEL: parity_64_shift:
 616 ; X86-NOPOPCNT:       # %bb.0:
 617 ; X86-NOPOPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 618 ; X86-NOPOPCNT-NEXT:    xorl {{[0-9]+}}(%esp), %eax
 619 ; X86-NOPOPCNT-NEXT:    movl %eax, %ecx
 620 ; X86-NOPOPCNT-NEXT:    shrl $16, %ecx
 621 ; X86-NOPOPCNT-NEXT:    xorl %eax, %ecx
 622 ; X86-NOPOPCNT-NEXT:    xorl %eax, %eax
 623 ; X86-NOPOPCNT-NEXT:    xorb %ch, %cl
 624 ; X86-NOPOPCNT-NEXT:    setnp %al
 625 ; X86-NOPOPCNT-NEXT:    addl %eax, %eax
 626 ; X86-NOPOPCNT-NEXT:    xorl %edx, %edx
 627 ; X86-NOPOPCNT-NEXT:    retl
 628 ;
 629 ; X64-NOPOPCNT-LABEL: parity_64_shift:
 630 ; X64-NOPOPCNT:       # %bb.0:
 631 ; X64-NOPOPCNT-NEXT:    movq %rdi, %rax
 632 ; X64-NOPOPCNT-NEXT:    shrq $32, %rax
 633 ; X64-NOPOPCNT-NEXT:    xorl %edi, %eax
 634 ; X64-NOPOPCNT-NEXT:    movl %eax, %ecx
 635 ; X64-NOPOPCNT-NEXT:    shrl $16, %ecx
 636 ; X64-NOPOPCNT-NEXT:    xorl %eax, %ecx
 637 ; X64-NOPOPCNT-NEXT:    xorl %eax, %eax
 638 ; X64-NOPOPCNT-NEXT:    xorb %ch, %cl
 639 ; X64-NOPOPCNT-NEXT:    setnp %al
 640 ; X64-NOPOPCNT-NEXT:    addl %eax, %eax
 641 ; X64-NOPOPCNT-NEXT:    retq
 642 ;
 643 ; X86-POPCNT-LABEL: parity_64_shift:
 644 ; X86-POPCNT:       # %bb.0:
 645 ; X86-POPCNT-NEXT:    movl {{[0-9]+}}(%esp), %eax
 646 ; X86-POPCNT-NEXT:    xorl {{[0-9]+}}(%esp), %eax
 647 ; X86-POPCNT-NEXT:    popcntl %eax, %eax
 648 ; X86-POPCNT-NEXT:    andl $1, %eax
 649 ; X86-POPCNT-NEXT:    addl %eax, %eax
 650 ; X86-POPCNT-NEXT:    xorl %edx, %edx
 651 ; X86-POPCNT-NEXT:    retl
 652 ;
 653 ; X64-POPCNT-LABEL: parity_64_shift:
 654 ; X64-POPCNT:       # %bb.0:
 655 ; X64-POPCNT-NEXT:    popcntq %rdi, %rax
 656 ; X64-POPCNT-NEXT:    andl $1, %eax
 657 ; X64-POPCNT-NEXT:    addl %eax, %eax
 658 ; X64-POPCNT-NEXT:    retq
 659   %2 = tail call i64 @llvm.ctpop.i64(i64 %0)
 660   %3 = shl nuw nsw i64 %2, 1
 661   %4 = and i64 %3, 2
 662   ret i64 %4
 663 }
 664
 665 declare i4 @llvm.ctpop.i4(i4 %x)
 666 declare i8 @llvm.ctpop.i8(i8 %x)
 667 declare i16 @llvm.ctpop.i16(i16 %x)
 668 declare i17 @llvm.ctpop.i17(i17 %x)
 669 declare i32 @llvm.ctpop.i32(i32 %x)
 670 declare i64 @llvm.ctpop.i64(i64 %x)