// asmcheck // Copyright 2020 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style // license that can be found in the LICENSE file. package codegen // This file contains codegen tests related to boolean simplifications/optimizations. func convertNeq0B(x uint8, c bool) bool { // amd64:"ANDL\t[$]1",-"SETNE" // ppc64x:"ANDCC",-"CMPW",-"ISEL" b := x&1 != 0 return c && b } func convertNeq0W(x uint16, c bool) bool { // amd64:"ANDL\t[$]1",-"SETNE" // ppc64x:"ANDCC",-"CMPW",-"ISEL" b := x&1 != 0 return c && b } func convertNeq0L(x uint32, c bool) bool { // amd64:"ANDL\t[$]1",-"SETB" // ppc64x:"ANDCC",-"CMPW",-"ISEL" b := x&1 != 0 return c && b } func convertNeq0Q(x uint64, c bool) bool { // amd64:"ANDL\t[$]1",-"SETB" // ppc64x:"ANDCC",-"CMP",-"ISEL" b := x&1 != 0 return c && b } func convertNeqBool32(x uint32) bool { // ppc64x:"ANDCC",-"CMPW",-"ISEL" return x&1 != 0 } func convertEqBool32(x uint32) bool { // ppc64x:"ANDCC",-"CMPW","XOR",-"ISEL" return x&1 == 0 } func convertNeqBool64(x uint64) bool { // ppc64x:"ANDCC",-"CMP",-"ISEL" return x&1 != 0 } func convertEqBool64(x uint64) bool { // ppc64x:"ANDCC","XOR",-"CMP",-"ISEL" return x&1 == 0 } func TestSetEq64(x uint64, y uint64) bool { // ppc64x/power10:"SETBC\tCR0EQ",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBC\tCR0EQ" // ppc64x/power8:"CMP","ISEL",-"SETBC\tCR0EQ" b := x == y return b } func TestSetNeq64(x uint64, y uint64) bool { // ppc64x/power10:"SETBCR\tCR0EQ",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBCR\tCR0EQ" // ppc64x/power8:"CMP","ISEL",-"SETBCR\tCR0EQ" b := x != y return b } func TestSetLt64(x uint64, y uint64) bool { // ppc64x/power10:"SETBC\tCR0GT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBC\tCR0GT" // ppc64x/power8:"CMP","ISEL",-"SETBC\tCR0GT" b := x < y return b } func TestSetLe64(x uint64, y uint64) bool { // ppc64x/power10:"SETBCR\tCR0LT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBCR\tCR0LT" // ppc64x/power8:"CMP","ISEL",-"SETBCR\tCR0LT" b := x <= y return b } func TestSetGt64(x uint64, y uint64) bool { // ppc64x/power10:"SETBC\tCR0LT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBC\tCR0LT" // ppc64x/power8:"CMP","ISEL",-"SETBC\tCR0LT" b := x > y return b } func TestSetGe64(x uint64, y uint64) bool { // ppc64x/power10:"SETBCR\tCR0GT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBCR\tCR0GT" // ppc64x/power8:"CMP","ISEL",-"SETBCR\tCR0GT" b := x >= y return b } func TestSetLtFp64(x float64, y float64) bool { // ppc64x/power10:"SETBC\tCR0LT",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBC\tCR0LT" // ppc64x/power8:"FCMP","ISEL",-"SETBC\tCR0LT" b := x < y return b } func TestSetLeFp64(x float64, y float64) bool { // ppc64x/power10:"SETBC\tCR0LT","SETBC\tCR0EQ","OR",-"ISEL",-"ISEL" // ppc64x/power9:"ISEL","ISEL",-"SETBC\tCR0LT",-"SETBC\tCR0EQ","OR" // ppc64x/power8:"ISEL","ISEL",-"SETBC\tCR0LT",-"SETBC\tCR0EQ","OR" b := x <= y return b } func TestSetGtFp64(x float64, y float64) bool { // ppc64x/power10:"SETBC\tCR0LT",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBC\tCR0LT" // ppc64x/power8:"FCMP","ISEL",-"SETBC\tCR0LT" b := x > y return b } func TestSetGeFp64(x float64, y float64) bool { // ppc64x/power10:"SETBC\tCR0LT","SETBC\tCR0EQ","OR",-"ISEL",-"ISEL" // ppc64x/power9:"ISEL","ISEL",-"SETBC\tCR0LT",-"SETBC\tCR0EQ","OR" // ppc64x/power8:"ISEL","ISEL",-"SETBC\tCR0LT",-"SETBC\tCR0EQ","OR" b := x >= y return b } func TestSetInvEq64(x uint64, y uint64) bool { // ppc64x/power10:"SETBCR\tCR0EQ",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBCR\tCR0EQ" // ppc64x/power8:"CMP","ISEL",-"SETBCR\tCR0EQ" b := !(x == y) return b } func TestSetInvNeq64(x uint64, y uint64) bool { // ppc64x/power10:"SETBC\tCR0EQ",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBC\tCR0EQ" // ppc64x/power8:"CMP","ISEL",-"SETBC\tCR0EQ" b := !(x != y) return b } func TestSetInvLt64(x uint64, y uint64) bool { // ppc64x/power10:"SETBCR\tCR0GT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBCR\tCR0GT" // ppc64x/power8:"CMP","ISEL",-"SETBCR\tCR0GT" b := !(x < y) return b } func TestSetInvLe64(x uint64, y uint64) bool { // ppc64x/power10:"SETBC\tCR0LT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBC\tCR0LT" // ppc64x/power8:"CMP","ISEL",-"SETBC\tCR0LT" b := !(x <= y) return b } func TestSetInvGt64(x uint64, y uint64) bool { // ppc64x/power10:"SETBCR\tCR0LT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBCR\tCR0LT" // ppc64x/power8:"CMP","ISEL",-"SETBCR\tCR0LT" b := !(x > y) return b } func TestSetInvGe64(x uint64, y uint64) bool { // ppc64x/power10:"SETBC\tCR0GT",-"ISEL" // ppc64x/power9:"CMP","ISEL",-"SETBC\tCR0GT" // ppc64x/power8:"CMP","ISEL",-"SETBC\tCR0GT" b := !(x >= y) return b } func TestSetInvEqFp64(x float64, y float64) bool { // ppc64x/power10:"SETBCR\tCR0EQ",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBCR\tCR0EQ" // ppc64x/power8:"FCMP","ISEL",-"SETBCR\tCR0EQ" b := !(x == y) return b } func TestSetInvNeqFp64(x float64, y float64) bool { // ppc64x/power10:"SETBC\tCR0EQ",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBC\tCR0EQ" // ppc64x/power8:"FCMP","ISEL",-"SETBC\tCR0EQ" b := !(x != y) return b } func TestSetInvLtFp64(x float64, y float64) bool { // ppc64x/power10:"SETBCR\tCR0LT",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBCR\tCR0LT" // ppc64x/power8:"FCMP","ISEL",-"SETBCR\tCR0LT" b := !(x < y) return b } func TestSetInvLeFp64(x float64, y float64) bool { // ppc64x/power10:"SETBC\tCR0LT",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBC\tCR0LT" // ppc64x/power8:"FCMP","ISEL",-"SETBC\tCR0LT" b := !(x <= y) return b } func TestSetInvGtFp64(x float64, y float64) bool { // ppc64x/power10:"SETBCR\tCR0LT",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBCR\tCR0LT" // ppc64x/power8:"FCMP","ISEL",-"SETBCR\tCR0LT" b := !(x > y) return b } func TestSetInvGeFp64(x float64, y float64) bool { // ppc64x/power10:"SETBC\tCR0LT",-"ISEL" // ppc64x/power9:"FCMP","ISEL",-"SETBC\tCR0LT" // ppc64x/power8:"FCMP","ISEL",-"SETBC\tCR0LT" b := !(x >= y) return b }