| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* | |
| * arch/alpha/lib/ev67-strchr.S | |
| * 21264 version contributed by Rick Gorton <rick.gorton@alpha-processor.com> | |
| * | |
| * Return the address of a given character within a null-terminated | |
| * string, or null if it is not found. | |
| * | |
| * Much of the information about 21264 scheduling/coding comes from: | |
| * Compiler Writer's Guide for the Alpha 21264 | |
| * abbreviated as 'CWG' in other comments here | |
| * ftp.digital.com/pub/Digital/info/semiconductor/literature/dsc-library.html | |
| * Scheduling notation: | |
| * E - either cluster | |
| * U - upper subcluster; U0 - subcluster U0; U1 - subcluster U1 | |
| * L - lower subcluster; L0 - subcluster L0; L1 - subcluster L1 | |
| * Try not to change the actual algorithm if possible for consistency. | |
| */ | |
| #include <linux/export.h> | |
| #include <asm/regdef.h> | |
| .set noreorder | |
| .set noat | |
| .align 4 | |
| .globl strchr | |
| .ent strchr | |
| strchr: | |
| .frame sp, 0, ra | |
| .prologue 0 | |
| ldq_u t0, 0(a0) # L : load first quadword Latency=3 | |
| and a1, 0xff, t3 # E : 00000000000000ch | |
| insbl a1, 1, t5 # U : 000000000000ch00 | |
| insbl a1, 7, a2 # U : ch00000000000000 | |
| insbl t3, 6, a3 # U : 00ch000000000000 | |
| or t5, t3, a1 # E : 000000000000chch | |
| andnot a0, 7, v0 # E : align our loop pointer | |
| lda t4, -1 # E : build garbage mask | |
| mskqh t4, a0, t4 # U : only want relevant part of first quad | |
| or a2, a3, a2 # E : chch000000000000 | |
| inswl a1, 2, t5 # E : 00000000chch0000 | |
| inswl a1, 4, a3 # E : 0000chch00000000 | |
| or a1, a2, a1 # E : chch00000000chch | |
| or a3, t5, t5 # E : 0000chchchch0000 | |
| cmpbge zero, t0, t2 # E : bits set iff byte == zero | |
| cmpbge zero, t4, t4 # E : bits set iff byte is garbage | |
| /* This quad is _very_ serialized. Lots of stalling happens */ | |
| or t5, a1, a1 # E : chchchchchchchch | |
| xor t0, a1, t1 # E : make bytes == c zero | |
| cmpbge zero, t1, t3 # E : bits set iff byte == c | |
| or t2, t3, t0 # E : bits set iff char match or zero match | |
| andnot t0, t4, t0 # E : clear garbage bits | |
| cttz t0, a2 # U0 : speculative (in case we get a match) | |
| nop # E : | |
| bne t0, $found # U : | |
| /* | |
| * Yuk. This loop is going to stall like crazy waiting for the | |
| * data to be loaded. Not much can be done about it unless it's | |
| * unrolled multiple times - is that safe to do in kernel space? | |
| * Or would exception handling recovery code do the trick here? | |
| */ | |
| $loop: ldq t0, 8(v0) # L : Latency=3 | |
| addq v0, 8, v0 # E : | |
| xor t0, a1, t1 # E : | |
| cmpbge zero, t0, t2 # E : bits set iff byte == 0 | |
| cmpbge zero, t1, t3 # E : bits set iff byte == c | |
| or t2, t3, t0 # E : | |
| cttz t3, a2 # U0 : speculative (in case we get a match) | |
| beq t0, $loop # U : | |
| $found: negq t0, t1 # E : clear all but least set bit | |
| and t0, t1, t0 # E : | |
| and t0, t3, t1 # E : bit set iff byte was the char | |
| addq v0, a2, v0 # E : Add in the bit number from above | |
| cmoveq t1, $31, v0 # E : Two mapping slots, latency = 2 | |
| nop | |
| nop | |
| ret # L0 : | |
| .end strchr | |
| EXPORT_SYMBOL(strchr) |