158 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=-popcnt,+sse2 | FileCheck %s --check-prefix=NOPOPCNT3; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+popcnt,+sse2 | FileCheck %s --check-prefix=POPCNT4 5define i1 @noncanonical_parity(<16 x i1> %x) {6; NOPOPCNT-LABEL: noncanonical_parity:7; NOPOPCNT: # %bb.0:8; NOPOPCNT-NEXT: psllw $7, %xmm09; NOPOPCNT-NEXT: pmovmskb %xmm0, %eax10; NOPOPCNT-NEXT: xorb %ah, %al11; NOPOPCNT-NEXT: setnp %al12; NOPOPCNT-NEXT: retq13;14; POPCNT-LABEL: noncanonical_parity:15; POPCNT: # %bb.0:16; POPCNT-NEXT: psllw $7, %xmm017; POPCNT-NEXT: pmovmskb %xmm0, %eax18; POPCNT-NEXT: popcntl %eax, %eax19; POPCNT-NEXT: andl $1, %eax20; POPCNT-NEXT: # kill: def $al killed $al killed $eax21; POPCNT-NEXT: retq22 %r = call i1 @llvm.vector.reduce.xor.v16i1(<16 x i1> %x)23 ret i1 %r24}25define i1 @canonical_parity(<16 x i1> %x) {26; NOPOPCNT-LABEL: canonical_parity:27; NOPOPCNT: # %bb.0:28; NOPOPCNT-NEXT: psllw $7, %xmm029; NOPOPCNT-NEXT: pmovmskb %xmm0, %eax30; NOPOPCNT-NEXT: xorb %ah, %al31; NOPOPCNT-NEXT: setnp %al32; NOPOPCNT-NEXT: retq33;34; POPCNT-LABEL: canonical_parity:35; POPCNT: # %bb.0:36; POPCNT-NEXT: psllw $7, %xmm037; POPCNT-NEXT: pmovmskb %xmm0, %eax38; POPCNT-NEXT: popcntl %eax, %eax39; POPCNT-NEXT: andl $1, %eax40; POPCNT-NEXT: # kill: def $al killed $al killed $eax41; POPCNT-NEXT: retq42 %i1 = bitcast <16 x i1> %x to i1643 %i2 = call i16 @llvm.ctpop.i16(i16 %i1)44 %i3 = and i16 %i2, 145 %i4 = icmp ne i16 %i3, 046 ret i1 %i447}48define i1 @canonical_parity_noncanonical_pred(<16 x i1> %x) {49; NOPOPCNT-LABEL: canonical_parity_noncanonical_pred:50; NOPOPCNT: # %bb.0:51; NOPOPCNT-NEXT: psllw $7, %xmm052; NOPOPCNT-NEXT: pmovmskb %xmm0, %eax53; NOPOPCNT-NEXT: movl %eax, %ecx54; NOPOPCNT-NEXT: shrl %ecx55; NOPOPCNT-NEXT: andl $21845, %ecx # imm = 0x555556; NOPOPCNT-NEXT: subl %ecx, %eax57; NOPOPCNT-NEXT: movl %eax, %ecx58; NOPOPCNT-NEXT: andl $13107, %ecx # imm = 0x333359; NOPOPCNT-NEXT: shrl $2, %eax60; NOPOPCNT-NEXT: andl $13107, %eax # imm = 0x333361; NOPOPCNT-NEXT: addl %ecx, %eax62; NOPOPCNT-NEXT: movl %eax, %ecx63; NOPOPCNT-NEXT: shrl $4, %ecx64; NOPOPCNT-NEXT: addl %eax, %ecx65; NOPOPCNT-NEXT: andl $3855, %ecx # imm = 0xF0F66; NOPOPCNT-NEXT: movl %ecx, %eax67; NOPOPCNT-NEXT: shrl $8, %eax68; NOPOPCNT-NEXT: addl %ecx, %eax69; NOPOPCNT-NEXT: # kill: def $al killed $al killed $eax70; NOPOPCNT-NEXT: retq71;72; POPCNT-LABEL: canonical_parity_noncanonical_pred:73; POPCNT: # %bb.0:74; POPCNT-NEXT: psllw $7, %xmm075; POPCNT-NEXT: pmovmskb %xmm0, %eax76; POPCNT-NEXT: popcntl %eax, %eax77; POPCNT-NEXT: # kill: def $al killed $al killed $eax78; POPCNT-NEXT: retq79 %i1 = bitcast <16 x i1> %x to i1680 %i2 = call i16 @llvm.ctpop.i16(i16 %i1)81 %i3 = and i16 %i2, 182 %i4 = icmp eq i16 %i3, 183 ret i1 %i484}85 86define i1 @noncanonical_nonparity(<16 x i1> %x) {87; NOPOPCNT-LABEL: noncanonical_nonparity:88; NOPOPCNT: # %bb.0:89; NOPOPCNT-NEXT: psllw $7, %xmm090; NOPOPCNT-NEXT: pmovmskb %xmm0, %eax91; NOPOPCNT-NEXT: xorb %ah, %al92; NOPOPCNT-NEXT: setp %al93; NOPOPCNT-NEXT: retq94;95; POPCNT-LABEL: noncanonical_nonparity:96; POPCNT: # %bb.0:97; POPCNT-NEXT: psllw $7, %xmm098; POPCNT-NEXT: pmovmskb %xmm0, %eax99; POPCNT-NEXT: popcntl %eax, %eax100; POPCNT-NEXT: andl $1, %eax101; POPCNT-NEXT: xorb $1, %al102; POPCNT-NEXT: # kill: def $al killed $al killed $eax103; POPCNT-NEXT: retq104 %r.inv = call i1 @llvm.vector.reduce.xor.v16i1(<16 x i1> %x)105 %r = xor i1 %r.inv, -1106 ret i1 %r107}108define i1 @canonical_nonparity(<16 x i1> %x) {109; NOPOPCNT-LABEL: canonical_nonparity:110; NOPOPCNT: # %bb.0:111; NOPOPCNT-NEXT: psllw $7, %xmm0112; NOPOPCNT-NEXT: pmovmskb %xmm0, %eax113; NOPOPCNT-NEXT: xorb %ah, %al114; NOPOPCNT-NEXT: setp %al115; NOPOPCNT-NEXT: retq116;117; POPCNT-LABEL: canonical_nonparity:118; POPCNT: # %bb.0:119; POPCNT-NEXT: psllw $7, %xmm0120; POPCNT-NEXT: pmovmskb %xmm0, %eax121; POPCNT-NEXT: popcntl %eax, %eax122; POPCNT-NEXT: testb $1, %al123; POPCNT-NEXT: sete %al124; POPCNT-NEXT: retq125 %i1 = bitcast <16 x i1> %x to i16126 %i2 = call i16 @llvm.ctpop.i16(i16 %i1)127 %i3 = and i16 %i2, 1128 %i4 = icmp eq i16 %i3, 0129 ret i1 %i4130}131define i1 @canonical_nonparity_noncanonical_pred(<16 x i1> %x) {132; NOPOPCNT-LABEL: canonical_nonparity_noncanonical_pred:133; NOPOPCNT: # %bb.0:134; NOPOPCNT-NEXT: psllw $7, %xmm0135; NOPOPCNT-NEXT: pmovmskb %xmm0, %eax136; NOPOPCNT-NEXT: xorb %ah, %al137; NOPOPCNT-NEXT: setp %al138; NOPOPCNT-NEXT: retq139;140; POPCNT-LABEL: canonical_nonparity_noncanonical_pred:141; POPCNT: # %bb.0:142; POPCNT-NEXT: psllw $7, %xmm0143; POPCNT-NEXT: pmovmskb %xmm0, %eax144; POPCNT-NEXT: popcntl %eax, %eax145; POPCNT-NEXT: andl $1, %eax146; POPCNT-NEXT: xorb $1, %al147; POPCNT-NEXT: # kill: def $al killed $al killed $eax148; POPCNT-NEXT: retq149 %i1 = bitcast <16 x i1> %x to i16150 %i2 = call i16 @llvm.ctpop.i16(i16 %i1)151 %i3 = and i16 %i2, 1152 %i4 = icmp ne i16 %i3, 1153 ret i1 %i4154}155 156declare i1 @llvm.vector.reduce.xor.v16i1(<16 x i1>)157declare i16 @llvm.ctpop.i16(i16)158