mirror of
				https://github.com/golang/go.git
				synced 2025-10-31 16:50:58 +00:00 
			
		
		
		
	 a424f6e45e
			
		
	
	
		a424f6e45e
		
	
	
	
	
		
			
			This adds support for the extswsli instruction which combines extsw followed by a shift. New benchmark demonstrates the improvement: name old time/op new time/op delta ExtShift 1.34µs ± 0% 1.30µs ± 0% -3.15% (p=0.057 n=4+3) Change-Id: I21b410676fdf15d20e0cbbaa75d7c6dcd3bbb7b0 Reviewed-on: https://go-review.googlesource.com/c/go/+/257017 Run-TryBot: Lynn Boger <laboger@linux.vnet.ibm.com> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Carlos Eduardo Seo <carlos.seo@gmail.com> Trust: Lynn Boger <laboger@linux.vnet.ibm.com>
		
			
				
	
	
		
			232 lines
		
	
	
	
		
			5.7 KiB
		
	
	
	
		
			Go
		
	
	
	
	
	
			
		
		
	
	
			232 lines
		
	
	
	
		
			5.7 KiB
		
	
	
	
		
			Go
		
	
	
	
	
	
| // 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"
 | |
| 	// ppc64le:"ANDCC",-"ORN",-"ISEL"
 | |
| 	// ppc64:"ANDCC",-"ORN",-"ISEL"
 | |
| 	return v << (s & 63)
 | |
| }
 | |
| 
 | |
| func rshMask64Ux64(v uint64, s uint64) uint64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-"ORN",-"ISEL"
 | |
| 	// ppc64:"ANDCC",-"ORN",-"ISEL"
 | |
| 	return v >> (s & 63)
 | |
| }
 | |
| 
 | |
| func rshMask64x64(v int64, s uint64) int64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-ORN",-"ISEL"
 | |
| 	// ppc64:"ANDCC",-"ORN",-"ISEL"
 | |
| 	return v >> (s & 63)
 | |
| }
 | |
| 
 | |
| func lshMask32x64(v int32, s uint64) int32 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ISEL",-"ORN"
 | |
| 	// ppc64:"ISEL",-"ORN"
 | |
| 	return v << (s & 63)
 | |
| }
 | |
| 
 | |
| func rshMask32Ux64(v uint32, s uint64) uint32 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ISEL",-"ORN"
 | |
| 	// ppc64:"ISEL",-"ORN"
 | |
| 	return v >> (s & 63)
 | |
| }
 | |
| 
 | |
| func rshMask32x64(v int32, s uint64) int32 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ISEL",-"ORN"
 | |
| 	// ppc64:"ISEL",-"ORN"
 | |
| 	return v >> (s & 63)
 | |
| }
 | |
| 
 | |
| func lshMask64x32(v int64, s uint32) int64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-"ORN"
 | |
| 	// ppc64:"ANDCC",-"ORN"
 | |
| 	return v << (s & 63)
 | |
| }
 | |
| 
 | |
| func rshMask64Ux32(v uint64, s uint32) uint64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-"ORN"
 | |
| 	// ppc64:"ANDCC",-"ORN"
 | |
| 	return v >> (s & 63)
 | |
| }
 | |
| 
 | |
| func rshMask64x32(v int64, s uint32) int64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-"ORN",-"ISEL"
 | |
| 	// ppc64:"ANDCC",-"ORN",-"ISEL"
 | |
| 	return v >> (s & 63)
 | |
| }
 | |
| 
 | |
| func lshMask64x32Ext(v int64, s int32) int64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-"ORN",-"ISEL"
 | |
| 	// ppc64:"ANDCC",-"ORN",-"ISEL"
 | |
| 	return v << uint(s&63)
 | |
| }
 | |
| 
 | |
| func rshMask64Ux32Ext(v uint64, s int32) uint64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-"ORN",-"ISEL"
 | |
| 	// ppc64:"ANDCC",-"ORN",-"ISEL"
 | |
| 	return v >> uint(s&63)
 | |
| }
 | |
| 
 | |
| func rshMask64x32Ext(v int64, s int32) int64 {
 | |
| 	// s390x:-".*AND",-".*MOVDGE"
 | |
| 	// ppc64le:"ANDCC",-"ORN",-"ISEL"
 | |
| 	// ppc64:"ANDCC",-"ORN",-"ISEL"
 | |
| 	return v >> uint(s&63)
 | |
| }
 | |
| 
 | |
| // --------------- //
 | |
| //  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)
 | |
| }
 | |
| 
 | |
| // ------------------ //
 | |
| //   bounded shifts   //
 | |
| // ------------------ //
 | |
| 
 | |
| func rshGuarded64(v int64, s uint) int64 {
 | |
| 	if s < 64 {
 | |
| 		// s390x:-".*AND",-".*MOVDGE" wasm:-"Select",-".*LtU"
 | |
| 		return v >> s
 | |
| 	}
 | |
| 	panic("shift too large")
 | |
| }
 | |
| 
 | |
| func rshGuarded64U(v uint64, s uint) uint64 {
 | |
| 	if s < 64 {
 | |
| 		// s390x:-".*AND",-".*MOVDGE" wasm:-"Select",-".*LtU"
 | |
| 		return v >> s
 | |
| 	}
 | |
| 	panic("shift too large")
 | |
| }
 | |
| 
 | |
| func lshGuarded64(v int64, s uint) int64 {
 | |
| 	if s < 64 {
 | |
| 		// s390x:-".*AND",-".*MOVDGE" wasm:-"Select",-".*LtU"
 | |
| 		return v << s
 | |
| 	}
 | |
| 	panic("shift too large")
 | |
| }
 | |
| 
 | |
| 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"
 | |
|         // ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
| 	f += tab[byte(v)&b]
 | |
| 	// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
|         // ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
| 	f += tab[byte(v)|b]
 | |
| 	// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
|         // ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
| 	f += tab[uint16(v)&h]
 | |
| 	// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
|         // ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
| 	f += tab[uint16(v)^h]
 | |
| 	// ppc64le:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
|         // ppc64:-".*RLWINM",-".*RLDICR",".*CLRLSLDI"
 | |
| 	f += tab[uint16(v)|h]
 | |
| 	// ppc64le:-".*AND",-"RLDICR",".*CLRLSLDI"
 | |
| 	// ppc64:-".*AND",-"RLDICR",".*CLRLSLDI"
 | |
| 	f += tab[v&0xff]
 | |
| 	// ppc64le:-".*AND",".*CLRLSLWI"
 | |
|         // ppc64:-".*AND",".*CLRLSLWI"
 | |
|         f += 2*uint32(uint16(d))
 | |
| 	// ppc64le:-".*AND",-"RLDICR",".*CLRLSLDI"
 | |
| 	// ppc64:-".*AND",-"RLDICR",".*CLRLSLDI"
 | |
| 	g := 2*uint64(uint32(d))
 | |
| 	return f, g
 | |
| }
 | |
| 
 | |
| func checkCombinedShifts(v8 uint8, v16 uint16, v32 uint32, x32 int32, v64 uint64) (uint8, uint16, uint32, uint64, int64) {
 | |
| 
 | |
| 	// ppc64le:-"AND","CLRLSLWI"
 | |
| 	// ppc64:-"AND","CLRLSLWI"
 | |
| 	f := (v8 &0xF) << 2
 | |
| 	// ppc64le:-"AND","CLRLSLWI"
 | |
|         // ppc64:-"AND","CLRLSLWI"
 | |
| 	f += byte(v16)<<3
 | |
| 	// ppc64le:-"AND","CLRLSLWI"
 | |
| 	// ppc64:-"AND","CLRLSLWI"
 | |
| 	g := (v16 & 0xFF) << 3
 | |
| 	// ppc64le:-"AND","CLRLSLWI"
 | |
| 	// ppc64:-"AND","CLRLSLWI"
 | |
| 	h := (v32 & 0xFFFFF) << 2
 | |
| 	// ppc64le:-"AND","CLRLSLWI"
 | |
|         // ppc64:-"AND","CLRLSLWI"
 | |
| 	h += uint32(v64)<<4
 | |
| 	// ppc64le:-"AND","CLRLSLDI"
 | |
| 	// ppc64:-"AND","CLRLSLDI"
 | |
| 	i := (v64 & 0xFFFFFFFF) << 5
 | |
| 	// ppc64le/power9:-"SLD","EXTSWSLI"
 | |
| 	// ppc64/power9:-"SLD","EXTSWSLI"
 | |
| 	j := int64(x32+32)*8
 | |
| 	return f, g, h, i, j
 | |
| }
 | |
| 
 | |
| func checkWidenAfterShift(v int64, u uint64) (int64, uint64) {
 | |
| 
 | |
| 	// ppc64le:-".*MOVW"
 | |
| 	f := int32(v>>32)
 | |
| 	// ppc64le:".*MOVW"
 | |
| 	f += int32(v>>31)
 | |
| 	// ppc64le:-".*MOVH"
 | |
| 	g := int16(v>>48)
 | |
| 	// ppc64le:".*MOVH"
 | |
| 	g += int16(v>>30)
 | |
| 	// ppc64le:-".*MOVH"
 | |
| 	g += int16(f>>16)
 | |
| 	// ppc64le:-".*MOVB"
 | |
| 	h := int8(v>>56)
 | |
| 	// ppc64le:".*MOVB"
 | |
| 	h += int8(v>>28)
 | |
| 	// ppc64le:-".*MOVB"
 | |
| 	h += int8(f>>24)
 | |
| 	// ppc64le:".*MOVB"
 | |
| 	h += int8(f>>16)
 | |
| 	return int64(h),uint64(g)
 | |
| }
 |