llvm/test/CodeGen/AArch64/parity.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-linux-gnu | FileCheck %s
; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-linux-gnu -mattr=+cssc | FileCheck %s -check-prefix=CHECK-CSSC

define i4 @parity_4(i4 %x) {
; CHECK-LABEL: parity_4:
; CHECK:       // %bb.0:
; CHECK-NEXT:    and w8, w0, #0xf
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_4:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    and w8, w0, #0xf
; CHECK-CSSC-NEXT:    cnt w8, w8
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i4 @llvm.ctpop.i4(i4 %x)
  %2 = and i4 %1, 1
  ret i4 %2
}

define i8 @parity_8(i8 %x) {
; CHECK-LABEL: parity_8:
; CHECK:       // %bb.0:
; CHECK-NEXT:    and w8, w0, #0xff
; CHECK-NEXT:    eor w8, w8, w8, lsr #4
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_8:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    and w8, w0, #0xff
; CHECK-CSSC-NEXT:    cnt w8, w8
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i8 @llvm.ctpop.i8(i8 %x)
  %2 = and i8 %1, 1
  ret i8 %2
}

define i16 @parity_16(i16 %x) {
; CHECK-LABEL: parity_16:
; CHECK:       // %bb.0:
; CHECK-NEXT:    and w8, w0, #0xffff
; CHECK-NEXT:    eor w8, w8, w8, lsr #8
; CHECK-NEXT:    eor w8, w8, w8, lsr #4
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_16:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    and w8, w0, #0xffff
; CHECK-CSSC-NEXT:    cnt w8, w8
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i16 @llvm.ctpop.i16(i16 %x)
  %2 = and i16 %1, 1
  ret i16 %2
}

define i17 @parity_17(i17 %x) {
; CHECK-LABEL: parity_17:
; CHECK:       // %bb.0:
; CHECK-NEXT:    and w8, w0, #0x1ffff
; CHECK-NEXT:    eor w9, w8, w8, lsr #16
; CHECK-NEXT:    eor w8, w9, w8, lsr #8
; CHECK-NEXT:    eor w8, w8, w8, lsr #4
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_17:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    and w8, w0, #0x1ffff
; CHECK-CSSC-NEXT:    cnt w8, w8
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i17 @llvm.ctpop.i17(i17 %x)
  %2 = and i17 %1, 1
  ret i17 %2
}

define i32 @parity_32(i32 %x) {
; CHECK-LABEL: parity_32:
; CHECK:       // %bb.0:
; CHECK-NEXT:    eor w8, w0, w0, lsr #16
; CHECK-NEXT:    eor w8, w8, w8, lsr #8
; CHECK-NEXT:    eor w8, w8, w8, lsr #4
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_32:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    cnt w8, w0
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i32 @llvm.ctpop.i32(i32 %x)
  %2 = and i32 %1, 1
  ret i32 %2
}

define i64 @parity_64(i64 %x) {
; CHECK-LABEL: parity_64:
; CHECK:       // %bb.0:
; CHECK-NEXT:    fmov d0, x0
; CHECK-NEXT:    cnt v0.8b, v0.8b
; CHECK-NEXT:    addv b0, v0.8b
; CHECK-NEXT:    fmov x8, d0
; CHECK-NEXT:    and x0, x8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_64:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    cnt x8, x0
; CHECK-CSSC-NEXT:    and x0, x8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i64 @llvm.ctpop.i64(i64 %x)
  %2 = and i64 %1, 1
  ret i64 %2
}

define i128 @parity_128(i128 %x) {
; CHECK-LABEL: parity_128:
; CHECK:       // %bb.0:
; CHECK-NEXT:    fmov d0, x0
; CHECK-NEXT:    mov v0.d[1], x1
; CHECK-NEXT:    mov x1, xzr
; CHECK-NEXT:    cnt v0.16b, v0.16b
; CHECK-NEXT:    addv b0, v0.16b
; CHECK-NEXT:    fmov x8, d0
; CHECK-NEXT:    and x0, x8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_128:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    eor x8, x0, x1
; CHECK-CSSC-NEXT:    mov x1, xzr
; CHECK-CSSC-NEXT:    cnt x8, x8
; CHECK-CSSC-NEXT:    and x0, x8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i128 @llvm.ctpop.i128(i128 %x)
  %2 = and i128 %1, 1
  ret i128 %2
}

define i32 @parity_64_trunc(i64 %x) {
; CHECK-LABEL: parity_64_trunc:
; CHECK:       // %bb.0:
; CHECK-NEXT:    fmov d0, x0
; CHECK-NEXT:    cnt v0.8b, v0.8b
; CHECK-NEXT:    addv b0, v0.8b
; CHECK-NEXT:    fmov w8, s0
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_64_trunc:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    cnt x8, x0
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i64 @llvm.ctpop.i64(i64 %x)
  %2 = trunc i64 %1 to i32
  %3 = and i32 %2, 1
  ret i32 %3
}

define i8 @parity_32_trunc(i32 %x) {
; CHECK-LABEL: parity_32_trunc:
; CHECK:       // %bb.0:
; CHECK-NEXT:    eor w8, w0, w0, lsr #16
; CHECK-NEXT:    eor w8, w8, w8, lsr #8
; CHECK-NEXT:    eor w8, w8, w8, lsr #4
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_32_trunc:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    cnt w8, w0
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %1 = tail call i32 @llvm.ctpop.i32(i32 %x)
  %2 = trunc i32 %1 to i8
  %3 = and i8 %2, 1
  ret i8 %3
}

define i32 @parity_8_zext(i8 %x) {
; CHECK-LABEL: parity_8_zext:
; CHECK:       // %bb.0:
; CHECK-NEXT:    and w8, w0, #0xff
; CHECK-NEXT:    eor w8, w8, w8, lsr #4
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_8_zext:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    and w8, w0, #0xff
; CHECK-CSSC-NEXT:    cnt w8, w8
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %a = zext i8 %x to i32
  %b = tail call i32 @llvm.ctpop.i32(i32 %a)
  %c = and i32 %b, 1
  ret i32 %c
}

define i32 @parity_8_mask(i32 %x) {
; CHECK-LABEL: parity_8_mask:
; CHECK:       // %bb.0:
; CHECK-NEXT:    and w8, w0, #0xff
; CHECK-NEXT:    eor w8, w8, w8, lsr #4
; CHECK-NEXT:    eor w8, w8, w8, lsr #2
; CHECK-NEXT:    eor w8, w8, w8, lsr #1
; CHECK-NEXT:    and w0, w8, #0x1
; CHECK-NEXT:    ret
;
; CHECK-CSSC-LABEL: parity_8_mask:
; CHECK-CSSC:       // %bb.0:
; CHECK-CSSC-NEXT:    and w8, w0, #0xff
; CHECK-CSSC-NEXT:    cnt w8, w8
; CHECK-CSSC-NEXT:    and w0, w8, #0x1
; CHECK-CSSC-NEXT:    ret
  %a = and i32 %x, 255
  %b = tail call i32 @llvm.ctpop.i32(i32 %a)
  %c = and i32 %b, 1
  ret i32 %c
}

declare i4 @llvm.ctpop.i4(i4 %x)
declare i8 @llvm.ctpop.i8(i8 %x)
declare i16 @llvm.ctpop.i16(i16 %x)
declare i17 @llvm.ctpop.i17(i17 %x)
declare i32 @llvm.ctpop.i32(i32 %x)
declare i64 @llvm.ctpop.i64(i64 %x)
declare i128 @llvm.ctpop.i128(i128 %x)