2018-04-30 06:27:50 -06:00
|
|
|
// asmcheck
|
|
|
|
|
|
|
|
// Copyright 2018 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
|
|
|
|
|
|
|
|
// ------------------ //
|
|
|
|
// masked shifts //
|
|
|
|
// ------------------ //
|
|
|
|
|
|
|
|
func lshMask64x64(v int64, s uint64) int64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN",-"ISEL"
|
|
|
|
// ppc64:"ANDCC",-"ORN",-"ISEL"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v << (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask64Ux64(v uint64, s uint64) uint64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN",-"ISEL"
|
|
|
|
// ppc64:"ANDCC",-"ORN",-"ISEL"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v >> (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask64x64(v int64, s uint64) int64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-ORN",-"ISEL"
|
|
|
|
// ppc64:"ANDCC",-"ORN",-"ISEL"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v >> (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func lshMask32x64(v int32, s uint64) int32 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ISEL",-"ORN"
|
|
|
|
// ppc64:"ISEL",-"ORN"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v << (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask32Ux64(v uint32, s uint64) uint32 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ISEL",-"ORN"
|
|
|
|
// ppc64:"ISEL",-"ORN"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v >> (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask32x64(v int32, s uint64) int32 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ISEL",-"ORN"
|
|
|
|
// ppc64:"ISEL",-"ORN"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v >> (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func lshMask64x32(v int64, s uint32) int64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN"
|
|
|
|
// ppc64:"ANDCC",-"ORN"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v << (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask64Ux32(v uint64, s uint32) uint64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN"
|
|
|
|
// ppc64:"ANDCC",-"ORN"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v >> (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask64x32(v int64, s uint32) int64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN",-"ISEL"
|
|
|
|
// ppc64:"ANDCC",-"ORN",-"ISEL"
|
2019-03-13 14:52:17 -06:00
|
|
|
return v >> (s & 63)
|
2018-04-30 06:27:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func lshMask64x32Ext(v int64, s int32) int64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN",-"ISEL"
|
|
|
|
// ppc64:"ANDCC",-"ORN",-"ISEL"
|
2018-04-30 06:27:50 -06:00
|
|
|
return v << uint(s&63)
|
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask64Ux32Ext(v uint64, s int32) uint64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN",-"ISEL"
|
|
|
|
// ppc64:"ANDCC",-"ORN",-"ISEL"
|
2018-04-30 06:27:50 -06:00
|
|
|
return v >> uint(s&63)
|
|
|
|
}
|
|
|
|
|
|
|
|
func rshMask64x32Ext(v int64, s int32) int64 {
|
|
|
|
// s390x:-".*AND",-".*MOVDGE"
|
2020-04-01 08:30:05 -06:00
|
|
|
// ppc64le:"ANDCC",-"ORN",-"ISEL"
|
|
|
|
// ppc64:"ANDCC",-"ORN",-"ISEL"
|
2018-04-30 06:27:50 -06:00
|
|
|
return v >> uint(s&63)
|
|
|
|
}
|
|
|
|
|
2019-03-13 14:53:38 -06:00
|
|
|
// --------------- //
|
|
|
|
// signed shifts //
|
|
|
|
// --------------- //
|
|
|
|
|
|
|
|
// We do want to generate a test + panicshift for these cases.
|
|
|
|
func lshSigned(v8 int8, v16 int16, v32 int32, v64 int64, x int) {
|
|
|
|
// amd64:"TESTB"
|
|
|
|
_ = x << v8
|
|
|
|
// amd64:"TESTW"
|
|
|
|
_ = x << v16
|
|
|
|
// amd64:"TESTL"
|
|
|
|
_ = x << v32
|
|
|
|
// amd64:"TESTQ"
|
|
|
|
_ = x << v64
|
|
|
|
}
|
|
|
|
|
|
|
|
// We want to avoid generating a test + panicshift for these cases.
|
|
|
|
func lshSignedMasked(v8 int8, v16 int16, v32 int32, v64 int64, x int) {
|
|
|
|
// amd64:-"TESTB"
|
|
|
|
_ = x << (v8 & 7)
|
|
|
|
// amd64:-"TESTW"
|
|
|
|
_ = x << (v16 & 15)
|
|
|
|
// amd64:-"TESTL"
|
|
|
|
_ = x << (v32 & 31)
|
|
|
|
// amd64:-"TESTQ"
|
|
|
|
_ = x << (v64 & 63)
|
|
|
|
}
|
|
|
|
|
2018-04-30 06:27:50 -06:00
|
|
|
// ------------------ //
|
|
|
|
// bounded shifts //
|
|
|
|
// ------------------ //
|
|
|
|
|
2019-06-16 04:37:55 -06:00
|
|
|
func rshGuarded64(v int64, s uint) int64 {
|
2018-04-30 06:27:50 -06:00
|
|
|
if s < 64 {
|
2019-06-16 04:37:55 -06:00
|
|
|
// s390x:-".*AND",-".*MOVDGE" wasm:-"Select",-".*LtU"
|
2018-04-30 06:27:50 -06:00
|
|
|
return v >> s
|
|
|
|
}
|
|
|
|
panic("shift too large")
|
|
|
|
}
|
|
|
|
|
|
|
|
func rshGuarded64U(v uint64, s uint) uint64 {
|
|
|
|
if s < 64 {
|
2019-06-16 04:37:55 -06:00
|
|
|
// s390x:-".*AND",-".*MOVDGE" wasm:-"Select",-".*LtU"
|
2018-04-30 06:27:50 -06:00
|
|
|
return v >> s
|
|
|
|
}
|
|
|
|
panic("shift too large")
|
|
|
|
}
|
|
|
|
|
2019-06-16 04:37:55 -06:00
|
|
|
func lshGuarded64(v int64, s uint) int64 {
|
2018-04-30 06:27:50 -06:00
|
|
|
if s < 64 {
|
2019-06-16 04:37:55 -06:00
|
|
|
// s390x:-".*AND",-".*MOVDGE" wasm:-"Select",-".*LtU"
|
2018-04-30 06:27:50 -06:00
|
|
|
return v << s
|
|
|
|
}
|
|
|
|
panic("shift too large")
|
|
|
|
}
|
2020-03-26 14:01:40 -06:00
|
|
|
|
2020-08-31 07:43:40 -06:00
|
|
|
func checkUnneededTrunc(tab *[100000]uint32, d uint64, v uint32, h uint16, b byte) (uint32, uint64) {
|
|
|
|
|
|
|
|
// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
|
|
|
// ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
|
|
|
f := tab[byte(v)^b]
|
|
|
|
// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-10-23 11:12:34 -06:00
|
|
|
// ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-08-31 07:43:40 -06:00
|
|
|
f += tab[byte(v)&b]
|
|
|
|
// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-10-23 11:12:34 -06:00
|
|
|
// ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-08-31 07:43:40 -06:00
|
|
|
f += tab[byte(v)|b]
|
|
|
|
// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-10-23 11:12:34 -06:00
|
|
|
// ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-08-31 07:43:40 -06:00
|
|
|
f += tab[uint16(v)&h]
|
|
|
|
// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-10-23 11:12:34 -06:00
|
|
|
// ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-08-31 07:43:40 -06:00
|
|
|
f += tab[uint16(v)^h]
|
|
|
|
// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-10-23 11:12:34 -06:00
|
|
|
// ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
|
2020-08-31 07:43:40 -06:00
|
|
|
f += tab[uint16(v)|h]
|
|
|
|
// ppc64le:-".*AND",-"RLDICR",".*CLRLSLDI"
|
|
|
|
// ppc64:-".*AND",-"RLDICR",".*CLRLSLDI"
|
|
|
|
f += tab[v&0xff]
|
|
|
|
// ppc64le:-".*AND",".*CLRLSLWI"
|
2020-10-23 11:12:34 -06:00
|
|
|
// ppc64:-".*AND",".*CLRLSLWI"
|
|
|
|
f += 2 * uint32(uint16(d))
|
2020-08-31 07:43:40 -06:00
|
|
|
// ppc64le:-".*AND",-"RLDICR",".*CLRLSLDI"
|
|
|
|
// ppc64:-".*AND",-"RLDICR",".*CLRLSLDI"
|
2020-10-23 11:12:34 -06:00
|
|
|
g := 2 * uint64(uint32(d))
|
2020-08-31 07:43:40 -06:00
|
|
|
return f, g
|
|
|
|
}
|
|
|
|
|
2020-09-23 09:06:39 -06:00
|
|
|
func checkCombinedShifts(v8 uint8, v16 uint16, v32 uint32, x32 int32, v64 uint64) (uint8, uint16, uint32, uint64, int64) {
|
2020-08-31 07:43:40 -06:00
|
|
|
|
|
|
|
// ppc64le:-"AND","CLRLSLWI"
|
|
|
|
// ppc64:-"AND","CLRLSLWI"
|
2020-10-23 11:12:34 -06:00
|
|
|
f := (v8 & 0xF) << 2
|
2020-09-28 16:20:12 -06:00
|
|
|
// ppc64le:"CLRLSLWI"
|
|
|
|
// ppc64:"CLRLSLWI"
|
2020-10-23 11:12:34 -06:00
|
|
|
f += byte(v16) << 3
|
2020-08-31 07:43:40 -06:00
|
|
|
// ppc64le:-"AND","CLRLSLWI"
|
|
|
|
// ppc64:-"AND","CLRLSLWI"
|
|
|
|
g := (v16 & 0xFF) << 3
|
|
|
|
// ppc64le:-"AND","CLRLSLWI"
|
|
|
|
// ppc64:-"AND","CLRLSLWI"
|
|
|
|
h := (v32 & 0xFFFFF) << 2
|
2020-09-28 16:20:12 -06:00
|
|
|
// ppc64le:"CLRLSLDI"
|
|
|
|
// ppc64:"CLRLSLDI"
|
2020-08-31 07:43:40 -06:00
|
|
|
i := (v64 & 0xFFFFFFFF) << 5
|
2020-09-28 16:20:12 -06:00
|
|
|
// ppc64le:-"CLRLSLDI"
|
|
|
|
// ppc64:-"CLRLSLDI"
|
|
|
|
i += (v64 & 0xFFFFFFF) << 38
|
|
|
|
// ppc64le/power9:-"CLRLSLDI"
|
|
|
|
// ppc64/power9:-"CLRLSLDI"
|
|
|
|
i += (v64 & 0xFFFF00) << 10
|
2020-09-23 09:06:39 -06:00
|
|
|
// ppc64le/power9:-"SLD","EXTSWSLI"
|
|
|
|
// ppc64/power9:-"SLD","EXTSWSLI"
|
2020-10-23 11:12:34 -06:00
|
|
|
j := int64(x32+32) * 8
|
2020-09-23 09:06:39 -06:00
|
|
|
return f, g, h, i, j
|
2020-08-31 07:43:40 -06:00
|
|
|
}
|
|
|
|
|
2020-03-26 14:01:40 -06:00
|
|
|
func checkWidenAfterShift(v int64, u uint64) (int64, uint64) {
|
|
|
|
|
|
|
|
// ppc64le:-".*MOVW"
|
2020-10-23 11:12:34 -06:00
|
|
|
f := int32(v >> 32)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:".*MOVW"
|
2020-10-23 11:12:34 -06:00
|
|
|
f += int32(v >> 31)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:-".*MOVH"
|
2020-10-23 11:12:34 -06:00
|
|
|
g := int16(v >> 48)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:".*MOVH"
|
2020-10-23 11:12:34 -06:00
|
|
|
g += int16(v >> 30)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:-".*MOVH"
|
2020-10-23 11:12:34 -06:00
|
|
|
g += int16(f >> 16)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:-".*MOVB"
|
2020-10-23 11:12:34 -06:00
|
|
|
h := int8(v >> 56)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:".*MOVB"
|
2020-10-23 11:12:34 -06:00
|
|
|
h += int8(v >> 28)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:-".*MOVB"
|
2020-10-23 11:12:34 -06:00
|
|
|
h += int8(f >> 24)
|
2020-03-26 14:01:40 -06:00
|
|
|
// ppc64le:".*MOVB"
|
2020-10-23 11:12:34 -06:00
|
|
|
h += int8(f >> 16)
|
|
|
|
return int64(h), uint64(g)
|
|
|
|
}
|
|
|
|
|
|
|
|
func checkShiftAndMask32(v []uint32) {
|
|
|
|
i := 0
|
|
|
|
|
|
|
|
// ppc64le: "RLWNM\t[$]24, R[0-9]+, [$]1044480, R[0-9]+"
|
|
|
|
// ppc64: "RLWNM\t[$]24, R[0-9]+, [$]1044480, R[0-9]+"
|
|
|
|
v[i] = (v[i] & 0xFF00000) >> 8
|
|
|
|
i++
|
|
|
|
// ppc64le: "RLWNM\t[$]26, R[0-9]+, [$]1020, R[0-9]+"
|
|
|
|
// ppc64: "RLWNM\t[$]26, R[0-9]+, [$]1020, R[0-9]+"
|
|
|
|
v[i] = (v[i] & 0xFF00) >> 6
|
|
|
|
i++
|
|
|
|
// ppc64le: "MOVW\tR0"
|
|
|
|
// ppc64: "MOVW\tR0"
|
|
|
|
v[i] = (v[i] & 0xFF) >> 8
|
|
|
|
i++
|
|
|
|
// ppc64le: "MOVW\tR0"
|
|
|
|
// ppc64: "MOVW\tR0"
|
|
|
|
v[i] = (v[i] & 0xF000000) >> 28
|
|
|
|
i++
|
|
|
|
// ppc64le: "RLWNM\t[$]26, R[0-9]+, [$]255, R[0-9]+"
|
|
|
|
// ppc64: "RLWNM\t[$]26, R[0-9]+, [$]255, R[0-9]+"
|
|
|
|
v[i] = (v[i] >> 6) & 0xFF
|
|
|
|
i++
|
|
|
|
// ppc64le: "RLWNM\t[$]26, R[0-9]+, [$]1044480, R[0-9]+"
|
|
|
|
// ppc64: "RLWNM\t[$]26, R[0-9]+, [$]1044480, R[0-9]+"
|
|
|
|
v[i] = (v[i] >> 6) & 0xFF000
|
|
|
|
i++
|
|
|
|
// ppc64le: "MOVW\tR0"
|
|
|
|
// ppc64: "MOVW\tR0"
|
|
|
|
v[i] = (v[i] >> 20) & 0xFF000
|
|
|
|
i++
|
|
|
|
// ppc64le: "MOVW\tR0"
|
|
|
|
// ppc64: "MOVW\tR0"
|
|
|
|
v[i] = (v[i] >> 24) & 0xFF00
|
|
|
|
i++
|
|
|
|
}
|
|
|
|
|
|
|
|
func checkMergedShifts32(a [256]uint32, b [256]uint64, u uint32, v uint32) {
|
|
|
|
//ppc64le: -"CLRLSLDI", "RLWNM\t[$]10, R[0-9]+, [$]1020, R[0-9]+"
|
|
|
|
//ppc64: -"CLRLSLDI", "RLWNM\t[$]10, R[0-9]+, [$]1020, R[0-9]+"
|
|
|
|
a[0] = a[uint8(v>>24)]
|
|
|
|
//ppc64le: -"CLRLSLDI", "RLWNM\t[$]11, R[0-9]+, [$]2040, R[0-9]+"
|
|
|
|
//ppc64: -"CLRLSLDI", "RLWNM\t[$]11, R[0-9]+, [$]2040, R[0-9]+"
|
|
|
|
b[0] = b[uint8(v>>24)]
|
|
|
|
//ppc64le: -"CLRLSLDI", "RLWNM\t[$]15, R[0-9]+, [$]2040, R[0-9]+"
|
|
|
|
//ppc64: -"CLRLSLDI", "RLWNM\t[$]15, R[0-9]+, [$]2040, R[0-9]+"
|
|
|
|
b[1] = b[(v>>20)&0xFF]
|
|
|
|
//ppc64le: -"SLD", "RLWNM\t[$]10, R[0-9]+, [$]1016, R[0-9]+"
|
|
|
|
//ppc64: -"SLD", "RLWNM\t[$]10, R[0-9]+, [$]1016, R[0-9]+"
|
|
|
|
b[2] = b[v>>25]
|
2020-03-26 14:01:40 -06:00
|
|
|
}
|