xxeval-and-nand.ll | Explore in Territory

; RUN: llc -verify-machineinstrs -mcpu=pwr10 -mtriple=powerpc64le-unknown-unknown \
; RUN:   -ppc-asm-full-reg-names --ppc-vsr-nums-as-vr < %s | FileCheck %s

; Function Attrs: nounwind
; CHECK-LABEL: and_not
; CHECK:         xxlandc v2, v2, v3
; CHECK-NEXT:    blr
define dso_local <4 x i32> @and_not(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %neg = xor <4 x i32> %B, <i32 -1, i32 -1, i32 -1, i32 -1>
  %and = and <4 x i32> %neg, %A
  ret <4 x i32> %and
}

; Function Attrs: nounwind
; CHECK-LABEL: and_and8
; CHECK:         xxeval v2, v3, v2, v4, 1
; CHECK-NEXT:    blr
define dso_local <16 x i8> @and_and8(<16 x i8> %A, <16 x i8> %B, <16 x i8> %C) local_unnamed_addr #0 {
entry:
  %and = and <16 x i8> %B, %A
  %and1 = and <16 x i8> %and, %C
  ret <16 x i8> %and1
}

; Function Attrs: nounwind
; CHECK-LABEL: and_and16
; CHECK:         xxeval v2, v3, v2, v4, 1
; CHECK-NEXT:    blr
define dso_local <8 x i16> @and_and16(<8 x i16> %A, <8 x i16> %B, <8 x i16> %C) local_unnamed_addr #0 {
entry:
  %and = and <8 x i16> %B, %A
  %and1 = and <8 x i16> %and, %C
  ret <8 x i16> %and1
}

; Function Attrs: nounwind
; CHECK-LABEL: and_and32
; CHECK:         xxeval v2, v3, v2, v4, 1
; CHECK-NEXT:    blr
define dso_local <4 x i32> @and_and32(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %and = and <4 x i32> %B, %A
  %and1 = and <4 x i32> %and, %C
  ret <4 x i32> %and1
}

; Function Attrs: nounwind
; CHECK-LABEL: and_and64
; CHECK:         xxeval v2, v3, v2, v4, 1
; CHECK-NEXT:    blr
define dso_local <2 x i64> @and_and64(<2 x i64> %A, <2 x i64> %B, <2 x i64> %C) local_unnamed_addr #0 {
entry:
  %and = and <2 x i64> %B, %A
  %and1 = and <2 x i64> %and, %C
  ret <2 x i64> %and1
}

; Function Attrs: nounwind
; CHECK-LABEL: and_nand
; CHECK:         xxeval v2, v2, v4, v3, 14
; CHECK-NEXT:    blr
define dso_local <4 x i32> @and_nand(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %and = and <4 x i32> %C, %B
  %neg = xor <4 x i32> %and, <i32 -1, i32 -1, i32 -1, i32 -1>
  %and1 = and <4 x i32> %neg, %A
  ret <4 x i32> %and1
}

; Function Attrs: nounwind
; CHECK-LABEL: and_or
; CHECK:         xxeval v2, v2, v4, v3, 7
; CHECK-NEXT:    blr
define dso_local <4 x i32> @and_or(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %or = or <4 x i32> %C, %B
  %and = and <4 x i32> %or, %A
  ret <4 x i32> %and
}

; Function Attrs: nounwind
; CHECK-LABEL: and_nor
; CHECK:         xxeval v2, v2, v4, v3, 8
; CHECK-NEXT:    blr
define dso_local <4 x i32> @and_nor(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %or = or <4 x i32> %C, %B
  %neg = xor <4 x i32> %or, <i32 -1, i32 -1, i32 -1, i32 -1>
  %and = and <4 x i32> %neg, %A
  ret <4 x i32> %and
}

; Function Attrs: nounwind
; CHECK-LABEL: and_xor
; CHECK:         xxeval v2, v2, v4, v3, 6
; CHECK-NEXT:    blr
define dso_local <4 x i32> @and_xor(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %xor = xor <4 x i32> %C, %B
  %and = and <4 x i32> %xor, %A
  ret <4 x i32> %and
}

; Function Attrs: nounwind
; CHECK-LABEL: and_eqv
; CHECK:         xxeval v2, v2, v3, v4, 9
; CHECK-NEXT:    blr
define dso_local <4 x i32> @and_eqv(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %xor = xor <4 x i32> %B, <i32 -1, i32 -1, i32 -1, i32 -1>
  %neg = xor <4 x i32> %xor, %C
  %and = and <4 x i32> %neg, %A
  ret <4 x i32> %and
}

; Function Attrs: nounwind
; CHECK-LABEL: nand_nand
; CHECK:         xxeval v2, v2, v4, v3, 241
; CHECK-NEXT:    blr
define dso_local <4 x i32> @nand_nand(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %and = and <4 x i32> %C, %B
  %A.not = xor <4 x i32> %A, <i32 -1, i32 -1, i32 -1, i32 -1>
  %neg2 = or <4 x i32> %and, %A.not
  ret <4 x i32> %neg2
}

; Function Attrs: nounwind
; CHECK-LABEL: nand_and
; CHECK:         xxeval v2, v3, v2, v4, 254
; CHECK-NEXT:    blr
define dso_local <4 x i32> @nand_and(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %and = and <4 x i32> %B, %A
  %and1 = and <4 x i32> %and, %C
  %neg = xor <4 x i32> %and1, <i32 -1, i32 -1, i32 -1, i32 -1>
  ret <4 x i32> %neg
}

; Function Attrs: nounwind
; CHECK-LABEL: nand_xor
; CHECK:         xxeval v2, v2, v4, v3, 249
; CHECK-NEXT:    blr
define dso_local <4 x i32> @nand_xor(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %xor = xor <4 x i32> %C, %B
  %and = and <4 x i32> %xor, %A
  %neg = xor <4 x i32> %and, <i32 -1, i32 -1, i32 -1, i32 -1>
  ret <4 x i32> %neg
}

; Function Attrs: nounwind
; CHECK-LABEL: nand_eqv
; CHECK:         xxeval v2, v2, v4, v3, 246
; CHECK-NEXT:    blr
define dso_local <4 x i32> @nand_eqv(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %xor = xor <4 x i32> %C, %B
  %A.not = xor <4 x i32> %A, <i32 -1, i32 -1, i32 -1, i32 -1>
  %neg1 = or <4 x i32> %xor, %A.not
  ret <4 x i32> %neg1
}

; Function Attrs: nounwind
; CHECK-LABEL: nand_or
; CHECK:         xxeval v2, v2, v4, v3, 248
; CHECK-NEXT:    blr
define dso_local <4 x i32> @nand_or(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %or = or <4 x i32> %C, %B
  %and = and <4 x i32> %or, %A
  %neg = xor <4 x i32> %and, <i32 -1, i32 -1, i32 -1, i32 -1>
  ret <4 x i32> %neg
}

; Function Attrs: nounwind
; CHECK-LABEL: nand_nor
; CHECK:         xxeval v2, v2, v3, v4, 247
; CHECK-NEXT:    blr
define dso_local <4 x i32> @nand_nor(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) local_unnamed_addr #0 {
entry:
  %A.not = xor <4 x i32> %A, <i32 -1, i32 -1, i32 -1, i32 -1>
  %or = or <4 x i32> %A.not, %B
  %neg1 = or <4 x i32> %or, %C
  ret <4 x i32> %neg1
}

attributes #0 = { nounwind }
llvm/llvm/test/CodeGen/PowerPC/xxeval-and-nand.ll
