12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771 |
- /*
- * Copyright (C) 2008 Apple Inc. All rights reserved.
- * Copyright (C) 2010 MIPS Technologies, Inc. All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY MIPS TECHNOLOGIES, INC. ``AS IS'' AND ANY
- * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL MIPS TECHNOLOGIES, INC. OR
- * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
- * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
- * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
- * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
- * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
- #ifndef MacroAssemblerMIPS_h
- #define MacroAssemblerMIPS_h
- #if ENABLE(ASSEMBLER) && CPU(MIPS)
- #include "AbstractMacroAssembler.h"
- #include "MIPSAssembler.h"
- namespace JSC {
- class MacroAssemblerMIPS : public AbstractMacroAssembler<MIPSAssembler> {
- public:
- typedef MIPSRegisters::FPRegisterID FPRegisterID;
- MacroAssemblerMIPS()
- : m_fixedWidth(false)
- {
- }
- static bool isCompactPtrAlignedAddressOffset(ptrdiff_t value)
- {
- return value >= -2147483647 - 1 && value <= 2147483647;
- }
- static const Scale ScalePtr = TimesFour;
- // For storing immediate number
- static const RegisterID immTempRegister = MIPSRegisters::t0;
- // For storing data loaded from the memory
- static const RegisterID dataTempRegister = MIPSRegisters::t1;
- // For storing address base
- static const RegisterID addrTempRegister = MIPSRegisters::t2;
- // For storing compare result
- static const RegisterID cmpTempRegister = MIPSRegisters::t3;
- // FP temp register
- static const FPRegisterID fpTempRegister = MIPSRegisters::f16;
- static const int MaximumCompactPtrAlignedAddressOffset = 0x7FFFFFFF;
- enum RelationalCondition {
- Equal,
- NotEqual,
- Above,
- AboveOrEqual,
- Below,
- BelowOrEqual,
- GreaterThan,
- GreaterThanOrEqual,
- LessThan,
- LessThanOrEqual
- };
- enum ResultCondition {
- Overflow,
- Signed,
- PositiveOrZero,
- Zero,
- NonZero
- };
- enum DoubleCondition {
- DoubleEqual,
- DoubleNotEqual,
- DoubleGreaterThan,
- DoubleGreaterThanOrEqual,
- DoubleLessThan,
- DoubleLessThanOrEqual,
- DoubleEqualOrUnordered,
- DoubleNotEqualOrUnordered,
- DoubleGreaterThanOrUnordered,
- DoubleGreaterThanOrEqualOrUnordered,
- DoubleLessThanOrUnordered,
- DoubleLessThanOrEqualOrUnordered
- };
- static const RegisterID stackPointerRegister = MIPSRegisters::sp;
- static const RegisterID returnAddressRegister = MIPSRegisters::ra;
- // Integer arithmetic operations:
- //
- // Operations are typically two operand - operation(source, srcDst)
- // For many operations the source may be an TrustedImm32, the srcDst operand
- // may often be a memory location (explictly described using an Address
- // object).
- void add32(RegisterID src, RegisterID dest)
- {
- m_assembler.addu(dest, dest, src);
- }
- void add32(RegisterID op1, RegisterID op2, RegisterID dest)
- {
- m_assembler.addu(dest, op1, op2);
- }
- void add32(TrustedImm32 imm, RegisterID dest)
- {
- add32(imm, dest, dest);
- }
- void add32(TrustedImm32 imm, RegisterID src, RegisterID dest)
- {
- if (imm.m_value >= -32768 && imm.m_value <= 32767
- && !m_fixedWidth) {
- /*
- addiu dest, src, imm
- */
- m_assembler.addiu(dest, src, imm.m_value);
- } else {
- /*
- li immTemp, imm
- addu dest, src, immTemp
- */
- move(imm, immTempRegister);
- m_assembler.addu(dest, src, immTempRegister);
- }
- }
- void add32(RegisterID src, TrustedImm32 imm, RegisterID dest)
- {
- add32(imm, src, dest);
- }
- void add32(TrustedImm32 imm, Address address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- lw dataTemp, offset(base)
- li immTemp, imm
- addu dataTemp, dataTemp, immTemp
- sw dataTemp, offset(base)
- */
- m_assembler.lw(dataTempRegister, address.base, address.offset);
- if (imm.m_value >= -32768 && imm.m_value <= 32767
- && !m_fixedWidth)
- m_assembler.addiu(dataTempRegister, dataTempRegister, imm.m_value);
- else {
- move(imm, immTempRegister);
- m_assembler.addu(dataTempRegister, dataTempRegister, immTempRegister);
- }
- m_assembler.sw(dataTempRegister, address.base, address.offset);
- } else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- lw dataTemp, (offset & 0xffff)(addrTemp)
- li immtemp, imm
- addu dataTemp, dataTemp, immTemp
- sw dataTemp, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lw(dataTempRegister, addrTempRegister, address.offset);
- if (imm.m_value >= -32768 && imm.m_value <= 32767 && !m_fixedWidth)
- m_assembler.addiu(dataTempRegister, dataTempRegister, imm.m_value);
- else {
- move(imm, immTempRegister);
- m_assembler.addu(dataTempRegister, dataTempRegister, immTempRegister);
- }
- m_assembler.sw(dataTempRegister, addrTempRegister, address.offset);
- }
- }
- void add32(Address src, RegisterID dest)
- {
- load32(src, dataTempRegister);
- add32(dataTempRegister, dest);
- }
- void add32(AbsoluteAddress src, RegisterID dest)
- {
- load32(src.m_ptr, dataTempRegister);
- add32(dataTempRegister, dest);
- }
- void add32(RegisterID src, Address dest)
- {
- if (dest.offset >= -32768 && dest.offset <= 32767 && !m_fixedWidth) {
- /*
- lw dataTemp, offset(base)
- addu dataTemp, dataTemp, src
- sw dataTemp, offset(base)
- */
- m_assembler.lw(dataTempRegister, dest.base, dest.offset);
- m_assembler.addu(dataTempRegister, dataTempRegister, src);
- m_assembler.sw(dataTempRegister, dest.base, dest.offset);
- } else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- lw dataTemp, (offset & 0xffff)(addrTemp)
- addu dataTemp, dataTemp, src
- sw dataTemp, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (dest.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, dest.base);
- m_assembler.lw(dataTempRegister, addrTempRegister, dest.offset);
- m_assembler.addu(dataTempRegister, dataTempRegister, src);
- m_assembler.sw(dataTempRegister, addrTempRegister, dest.offset);
- }
- }
- void add32(TrustedImm32 imm, AbsoluteAddress address)
- {
- /*
- li addrTemp, address
- li immTemp, imm
- lw cmpTemp, 0(addrTemp)
- addu dataTemp, cmpTemp, immTemp
- sw dataTemp, 0(addrTemp)
- */
- move(TrustedImmPtr(address.m_ptr), addrTempRegister);
- m_assembler.lw(cmpTempRegister, addrTempRegister, 0);
- if (imm.m_value >= -32768 && imm.m_value <= 32767 && !m_fixedWidth)
- m_assembler.addiu(dataTempRegister, cmpTempRegister, imm.m_value);
- else {
- move(imm, immTempRegister);
- m_assembler.addu(dataTempRegister, cmpTempRegister, immTempRegister);
- }
- m_assembler.sw(dataTempRegister, addrTempRegister, 0);
- }
- void add64(TrustedImm32 imm, AbsoluteAddress address)
- {
- /*
- add32(imm, address)
- sltu immTemp, dataTemp, cmpTemp # set carry-in bit
- lw dataTemp, 4(addrTemp)
- addiu dataTemp, imm.m_value >> 31 ? -1 : 0
- addu dataTemp, dataTemp, immTemp
- sw dataTemp, 4(addrTemp)
- */
- add32(imm, address);
- m_assembler.sltu(immTempRegister, dataTempRegister, cmpTempRegister);
- m_assembler.lw(dataTempRegister, addrTempRegister, 4);
- if (imm.m_value >> 31)
- m_assembler.addiu(dataTempRegister, dataTempRegister, -1);
- m_assembler.addu(dataTempRegister, dataTempRegister, immTempRegister);
- m_assembler.sw(dataTempRegister, addrTempRegister, 4);
- }
- void and32(Address src, RegisterID dest)
- {
- load32(src, dataTempRegister);
- and32(dataTempRegister, dest);
- }
- void and32(RegisterID src, RegisterID dest)
- {
- m_assembler.andInsn(dest, dest, src);
- }
- void and32(RegisterID op1, RegisterID op2, RegisterID dest)
- {
- m_assembler.andInsn(dest, op1, op2);
- }
- void and32(TrustedImm32 imm, RegisterID dest)
- {
- if (!imm.m_value && !m_fixedWidth)
- move(MIPSRegisters::zero, dest);
- else if (imm.m_value > 0 && imm.m_value < 65535 && !m_fixedWidth)
- m_assembler.andi(dest, dest, imm.m_value);
- else {
- /*
- li immTemp, imm
- and dest, dest, immTemp
- */
- move(imm, immTempRegister);
- m_assembler.andInsn(dest, dest, immTempRegister);
- }
- }
- void and32(TrustedImm32 imm, RegisterID src, RegisterID dest)
- {
- if (!imm.m_value && !m_fixedWidth)
- move(MIPSRegisters::zero, dest);
- else if (imm.m_value > 0 && imm.m_value < 65535 && !m_fixedWidth)
- m_assembler.andi(dest, src, imm.m_value);
- else {
- move(imm, immTempRegister);
- m_assembler.andInsn(dest, src, immTempRegister);
- }
- }
- void lshift32(RegisterID shiftAmount, RegisterID dest)
- {
- m_assembler.sllv(dest, dest, shiftAmount);
- }
- void lshift32(RegisterID src, RegisterID shiftAmount, RegisterID dest)
- {
- m_assembler.sllv(dest, src, shiftAmount);
- }
- void lshift32(TrustedImm32 imm, RegisterID dest)
- {
- move(imm, immTempRegister);
- m_assembler.sllv(dest, dest, immTempRegister);
- }
- void lshift32(RegisterID src, TrustedImm32 imm, RegisterID dest)
- {
- move(imm, immTempRegister);
- m_assembler.sllv(dest, src, immTempRegister);
- }
- void mul32(RegisterID src, RegisterID dest)
- {
- m_assembler.mul(dest, dest, src);
- }
- void mul32(RegisterID op1, RegisterID op2, RegisterID dest)
- {
- m_assembler.mul(dest, op1, op2);
- }
- void mul32(TrustedImm32 imm, RegisterID src, RegisterID dest)
- {
- if (!imm.m_value && !m_fixedWidth)
- move(MIPSRegisters::zero, dest);
- else if (imm.m_value == 1 && !m_fixedWidth)
- move(src, dest);
- else {
- /*
- li dataTemp, imm
- mul dest, src, dataTemp
- */
- move(imm, dataTempRegister);
- m_assembler.mul(dest, src, dataTempRegister);
- }
- }
- void neg32(RegisterID srcDest)
- {
- m_assembler.subu(srcDest, MIPSRegisters::zero, srcDest);
- }
- void or32(RegisterID src, RegisterID dest)
- {
- m_assembler.orInsn(dest, dest, src);
- }
- void or32(RegisterID op1, RegisterID op2, RegisterID dest)
- {
- m_assembler.orInsn(dest, op1, op2);
- }
- void or32(TrustedImm32 imm, RegisterID dest)
- {
- if (!imm.m_value && !m_fixedWidth)
- return;
- if (imm.m_value > 0 && imm.m_value < 65535
- && !m_fixedWidth) {
- m_assembler.ori(dest, dest, imm.m_value);
- return;
- }
- /*
- li dataTemp, imm
- or dest, dest, dataTemp
- */
- move(imm, dataTempRegister);
- m_assembler.orInsn(dest, dest, dataTempRegister);
- }
- void or32(TrustedImm32 imm, RegisterID src, RegisterID dest)
- {
- if (!imm.m_value && !m_fixedWidth)
- return;
- if (imm.m_value > 0 && imm.m_value < 65535 && !m_fixedWidth) {
- m_assembler.ori(dest, src, imm.m_value);
- return;
- }
- /*
- li dataTemp, imm
- or dest, src, dataTemp
- */
- move(imm, dataTempRegister);
- m_assembler.orInsn(dest, src, dataTempRegister);
- }
- void or32(RegisterID src, AbsoluteAddress dest)
- {
- load32(dest.m_ptr, dataTempRegister);
- m_assembler.orInsn(dataTempRegister, dataTempRegister, src);
- store32(dataTempRegister, dest.m_ptr);
- }
- void rshift32(RegisterID shiftAmount, RegisterID dest)
- {
- m_assembler.srav(dest, dest, shiftAmount);
- }
- void rshift32(RegisterID src, RegisterID shiftAmount, RegisterID dest)
- {
- m_assembler.srav(dest, src, shiftAmount);
- }
- void rshift32(TrustedImm32 imm, RegisterID dest)
- {
- m_assembler.sra(dest, dest, imm.m_value);
- }
- void rshift32(RegisterID src, TrustedImm32 imm, RegisterID dest)
- {
- m_assembler.sra(dest, src, imm.m_value);
- }
- void urshift32(RegisterID shiftAmount, RegisterID dest)
- {
- m_assembler.srlv(dest, dest, shiftAmount);
- }
- void urshift32(RegisterID src, RegisterID shiftAmount, RegisterID dest)
- {
- m_assembler.srlv(dest, src, shiftAmount);
- }
- void urshift32(TrustedImm32 imm, RegisterID dest)
- {
- m_assembler.srl(dest, dest, imm.m_value);
- }
- void urshift32(RegisterID src, TrustedImm32 imm, RegisterID dest)
- {
- m_assembler.srl(dest, src, imm.m_value);
- }
- void sub32(RegisterID src, RegisterID dest)
- {
- m_assembler.subu(dest, dest, src);
- }
- void sub32(RegisterID op1, RegisterID op2, RegisterID dest)
- {
- m_assembler.subu(dest, op1, op2);
- }
- void sub32(TrustedImm32 imm, RegisterID dest)
- {
- if (imm.m_value >= -32767 && imm.m_value <= 32768
- && !m_fixedWidth) {
- /*
- addiu dest, src, imm
- */
- m_assembler.addiu(dest, dest, -imm.m_value);
- } else {
- /*
- li immTemp, imm
- subu dest, src, immTemp
- */
- move(imm, immTempRegister);
- m_assembler.subu(dest, dest, immTempRegister);
- }
- }
- void sub32(RegisterID src, TrustedImm32 imm, RegisterID dest)
- {
- if (imm.m_value >= -32767 && imm.m_value <= 32768
- && !m_fixedWidth) {
- /*
- addiu dest, src, imm
- */
- m_assembler.addiu(dest, src, -imm.m_value);
- } else {
- /*
- li immTemp, imm
- subu dest, src, immTemp
- */
- move(imm, immTempRegister);
- m_assembler.subu(dest, src, immTempRegister);
- }
- }
- void sub32(TrustedImm32 imm, Address address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- lw dataTemp, offset(base)
- li immTemp, imm
- subu dataTemp, dataTemp, immTemp
- sw dataTemp, offset(base)
- */
- m_assembler.lw(dataTempRegister, address.base, address.offset);
- if (imm.m_value >= -32767 && imm.m_value <= 32768 && !m_fixedWidth)
- m_assembler.addiu(dataTempRegister, dataTempRegister, -imm.m_value);
- else {
- move(imm, immTempRegister);
- m_assembler.subu(dataTempRegister, dataTempRegister, immTempRegister);
- }
- m_assembler.sw(dataTempRegister, address.base, address.offset);
- } else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- lw dataTemp, (offset & 0xffff)(addrTemp)
- li immtemp, imm
- subu dataTemp, dataTemp, immTemp
- sw dataTemp, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lw(dataTempRegister, addrTempRegister, address.offset);
- if (imm.m_value >= -32767 && imm.m_value <= 32768
- && !m_fixedWidth)
- m_assembler.addiu(dataTempRegister, dataTempRegister, -imm.m_value);
- else {
- move(imm, immTempRegister);
- m_assembler.subu(dataTempRegister, dataTempRegister, immTempRegister);
- }
- m_assembler.sw(dataTempRegister, addrTempRegister, address.offset);
- }
- }
- void sub32(Address src, RegisterID dest)
- {
- load32(src, dataTempRegister);
- sub32(dataTempRegister, dest);
- }
- void sub32(TrustedImm32 imm, AbsoluteAddress address)
- {
- /*
- li addrTemp, address
- li immTemp, imm
- lw dataTemp, 0(addrTemp)
- subu dataTemp, dataTemp, immTemp
- sw dataTemp, 0(addrTemp)
- */
- move(TrustedImmPtr(address.m_ptr), addrTempRegister);
- m_assembler.lw(dataTempRegister, addrTempRegister, 0);
- if (imm.m_value >= -32767 && imm.m_value <= 32768 && !m_fixedWidth)
- m_assembler.addiu(dataTempRegister, dataTempRegister, -imm.m_value);
- else {
- move(imm, immTempRegister);
- m_assembler.subu(dataTempRegister, dataTempRegister, immTempRegister);
- }
- m_assembler.sw(dataTempRegister, addrTempRegister, 0);
- }
- void xor32(RegisterID src, RegisterID dest)
- {
- m_assembler.xorInsn(dest, dest, src);
- }
- void xor32(RegisterID op1, RegisterID op2, RegisterID dest)
- {
- m_assembler.xorInsn(dest, op1, op2);
- }
- void xor32(TrustedImm32 imm, RegisterID dest)
- {
- if (imm.m_value == -1) {
- m_assembler.nor(dest, dest, MIPSRegisters::zero);
- return;
- }
- /*
- li immTemp, imm
- xor dest, dest, immTemp
- */
- move(imm, immTempRegister);
- m_assembler.xorInsn(dest, dest, immTempRegister);
- }
- void xor32(TrustedImm32 imm, RegisterID src, RegisterID dest)
- {
- if (imm.m_value == -1) {
- m_assembler.nor(dest, src, MIPSRegisters::zero);
- return;
- }
- /*
- li immTemp, imm
- xor dest, dest, immTemp
- */
- move(imm, immTempRegister);
- m_assembler.xorInsn(dest, src, immTempRegister);
- }
- void sqrtDouble(FPRegisterID src, FPRegisterID dst)
- {
- m_assembler.sqrtd(dst, src);
- }
-
- void absDouble(FPRegisterID, FPRegisterID)
- {
- RELEASE_ASSERT_NOT_REACHED();
- }
- ConvertibleLoadLabel convertibleLoadPtr(Address address, RegisterID dest)
- {
- ConvertibleLoadLabel result(this);
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- lw dest, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lw(dest, addrTempRegister, address.offset);
- return result;
- }
- // Memory access operations:
- //
- // Loads are of the form load(address, destination) and stores of the form
- // store(source, address). The source for a store may be an TrustedImm32. Address
- // operand objects to loads and store will be implicitly constructed if a
- // register is passed.
- /* Need to use zero-extened load byte for load8. */
- void load8(ImplicitAddress address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth)
- m_assembler.lbu(dest, address.base, address.offset);
- else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- lbu dest, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lbu(dest, addrTempRegister, address.offset);
- }
- }
- void load8(BaseIndex address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lbu dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lbu(dest, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- lbu dest, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.lbu(dest, addrTempRegister, address.offset);
- }
- }
- void load8Signed(BaseIndex address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lb dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lb(dest, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- lb dest, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.lb(dest, addrTempRegister, address.offset);
- }
- }
- void load32(ImplicitAddress address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth)
- m_assembler.lw(dest, address.base, address.offset);
- else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- lw dest, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lw(dest, addrTempRegister, address.offset);
- }
- }
- void load32(BaseIndex address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lw dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lw(dest, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- lw dest, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.lw(dest, addrTempRegister, address.offset);
- }
- }
- void load16Unaligned(BaseIndex address, RegisterID dest)
- {
- load16(address, dest);
- }
- void load32WithUnalignedHalfWords(BaseIndex address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32764
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- (Big-Endian)
- lwl dest, address.offset(addrTemp)
- lwr dest, address.offset+3(addrTemp)
- (Little-Endian)
- lwl dest, address.offset+3(addrTemp)
- lwr dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- #if CPU(BIG_ENDIAN)
- m_assembler.lwl(dest, addrTempRegister, address.offset);
- m_assembler.lwr(dest, addrTempRegister, address.offset + 3);
- #else
- m_assembler.lwl(dest, addrTempRegister, address.offset + 3);
- m_assembler.lwr(dest, addrTempRegister, address.offset);
- #endif
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, address.offset >> 16
- ori immTemp, immTemp, address.offset & 0xffff
- addu addrTemp, addrTemp, immTemp
- (Big-Endian)
- lw dest, 0(at)
- lw dest, 3(at)
- (Little-Endian)
- lw dest, 3(at)
- lw dest, 0(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, address.offset >> 16);
- m_assembler.ori(immTempRegister, immTempRegister, address.offset);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- #if CPU(BIG_ENDIAN)
- m_assembler.lwl(dest, addrTempRegister, 0);
- m_assembler.lwr(dest, addrTempRegister, 3);
- #else
- m_assembler.lwl(dest, addrTempRegister, 3);
- m_assembler.lwr(dest, addrTempRegister, 0);
- #endif
- }
- }
- void load32(const void* address, RegisterID dest)
- {
- /*
- li addrTemp, address
- lw dest, 0(addrTemp)
- */
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.lw(dest, addrTempRegister, 0);
- }
- DataLabel32 load32WithAddressOffsetPatch(Address address, RegisterID dest)
- {
- m_fixedWidth = true;
- /*
- lui addrTemp, address.offset >> 16
- ori addrTemp, addrTemp, address.offset & 0xffff
- addu addrTemp, addrTemp, address.base
- lw dest, 0(addrTemp)
- */
- DataLabel32 dataLabel(this);
- move(TrustedImm32(address.offset), addrTempRegister);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lw(dest, addrTempRegister, 0);
- m_fixedWidth = false;
- return dataLabel;
- }
-
- DataLabelCompact load32WithCompactAddressOffsetPatch(Address address, RegisterID dest)
- {
- DataLabelCompact dataLabel(this);
- load32WithAddressOffsetPatch(address, dest);
- return dataLabel;
- }
- /* Need to use zero-extened load half-word for load16. */
- void load16(ImplicitAddress address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth)
- m_assembler.lhu(dest, address.base, address.offset);
- else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- lhu dest, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lhu(dest, addrTempRegister, address.offset);
- }
- }
- /* Need to use zero-extened load half-word for load16. */
- void load16(BaseIndex address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lhu dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lhu(dest, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- lhu dest, (address.offset & 0xffff)(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.lhu(dest, addrTempRegister, address.offset);
- }
- }
- void load16Signed(BaseIndex address, RegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lh dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lh(dest, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- lh dest, (address.offset & 0xffff)(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.lh(dest, addrTempRegister, address.offset);
- }
- }
- DataLabel32 store32WithAddressOffsetPatch(RegisterID src, Address address)
- {
- m_fixedWidth = true;
- /*
- lui addrTemp, address.offset >> 16
- ori addrTemp, addrTemp, address.offset & 0xffff
- addu addrTemp, addrTemp, address.base
- sw src, 0(addrTemp)
- */
- DataLabel32 dataLabel(this);
- move(TrustedImm32(address.offset), addrTempRegister);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.sw(src, addrTempRegister, 0);
- m_fixedWidth = false;
- return dataLabel;
- }
- void store8(RegisterID src, BaseIndex address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- sb src, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.sb(src, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- sb src, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.sb(src, addrTempRegister, address.offset);
- }
- }
- void store8(TrustedImm32 imm, void* address)
- {
- /*
- li immTemp, imm
- li addrTemp, address
- sb src, 0(addrTemp)
- */
- if (!imm.m_value && !m_fixedWidth) {
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.sb(MIPSRegisters::zero, addrTempRegister, 0);
- } else {
- move(imm, immTempRegister);
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.sb(immTempRegister, addrTempRegister, 0);
- }
- }
- void store16(RegisterID src, BaseIndex address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- sh src, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.sh(src, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- sh src, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.sh(src, addrTempRegister, address.offset);
- }
- }
- void store32(RegisterID src, ImplicitAddress address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth)
- m_assembler.sw(src, address.base, address.offset);
- else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- sw src, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.sw(src, addrTempRegister, address.offset);
- }
- }
- void store32(RegisterID src, BaseIndex address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- sw src, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.sw(src, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- sw src, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.sw(src, addrTempRegister, address.offset);
- }
- }
- void store32(TrustedImm32 imm, ImplicitAddress address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- if (!imm.m_value)
- m_assembler.sw(MIPSRegisters::zero, address.base, address.offset);
- else {
- move(imm, immTempRegister);
- m_assembler.sw(immTempRegister, address.base, address.offset);
- }
- } else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- sw immTemp, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- if (!imm.m_value && !m_fixedWidth)
- m_assembler.sw(MIPSRegisters::zero, addrTempRegister, address.offset);
- else {
- move(imm, immTempRegister);
- m_assembler.sw(immTempRegister, addrTempRegister, address.offset);
- }
- }
- }
- void store32(TrustedImm32 imm, BaseIndex address)
- {
- if (address.offset >= -32768 && address.offset <= 32767 && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- sw src, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- if (!imm.m_value)
- m_assembler.sw(MIPSRegisters::zero, addrTempRegister, address.offset);
- else {
- move(imm, immTempRegister);
- m_assembler.sw(immTempRegister, addrTempRegister, address.offset);
- }
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- sw src, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- if (!imm.m_value && !m_fixedWidth)
- m_assembler.sw(MIPSRegisters::zero, addrTempRegister, address.offset);
- else {
- move(imm, immTempRegister);
- m_assembler.sw(immTempRegister, addrTempRegister, address.offset);
- }
- }
- }
- void store32(RegisterID src, const void* address)
- {
- /*
- li addrTemp, address
- sw src, 0(addrTemp)
- */
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.sw(src, addrTempRegister, 0);
- }
- void store32(TrustedImm32 imm, const void* address)
- {
- /*
- li immTemp, imm
- li addrTemp, address
- sw src, 0(addrTemp)
- */
- if (!imm.m_value && !m_fixedWidth) {
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.sw(MIPSRegisters::zero, addrTempRegister, 0);
- } else {
- move(imm, immTempRegister);
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.sw(immTempRegister, addrTempRegister, 0);
- }
- }
- // Floating-point operations:
- static bool supportsFloatingPoint()
- {
- #if WTF_MIPS_DOUBLE_FLOAT
- return true;
- #else
- return false;
- #endif
- }
- static bool supportsFloatingPointTruncate()
- {
- #if WTF_MIPS_DOUBLE_FLOAT && WTF_MIPS_ISA_AT_LEAST(2)
- return true;
- #else
- return false;
- #endif
- }
- static bool supportsFloatingPointSqrt()
- {
- #if WTF_MIPS_DOUBLE_FLOAT && WTF_MIPS_ISA_AT_LEAST(2)
- return true;
- #else
- return false;
- #endif
- }
- static bool supportsFloatingPointAbs() { return false; }
- // Stack manipulation operations:
- //
- // The ABI is assumed to provide a stack abstraction to memory,
- // containing machine word sized units of data. Push and pop
- // operations add and remove a single register sized unit of data
- // to or from the stack. Peek and poke operations read or write
- // values on the stack, without moving the current stack position.
- void pop(RegisterID dest)
- {
- m_assembler.lw(dest, MIPSRegisters::sp, 0);
- m_assembler.addiu(MIPSRegisters::sp, MIPSRegisters::sp, 4);
- }
- void push(RegisterID src)
- {
- m_assembler.addiu(MIPSRegisters::sp, MIPSRegisters::sp, -4);
- m_assembler.sw(src, MIPSRegisters::sp, 0);
- }
- void push(Address address)
- {
- load32(address, dataTempRegister);
- push(dataTempRegister);
- }
- void push(TrustedImm32 imm)
- {
- move(imm, immTempRegister);
- push(immTempRegister);
- }
- // Register move operations:
- //
- // Move values in registers.
- void move(TrustedImm32 imm, RegisterID dest)
- {
- if (!imm.m_value && !m_fixedWidth)
- move(MIPSRegisters::zero, dest);
- else if (m_fixedWidth) {
- m_assembler.lui(dest, imm.m_value >> 16);
- m_assembler.ori(dest, dest, imm.m_value);
- } else
- m_assembler.li(dest, imm.m_value);
- }
- void move(RegisterID src, RegisterID dest)
- {
- if (src != dest || m_fixedWidth)
- m_assembler.move(dest, src);
- }
- void move(TrustedImmPtr imm, RegisterID dest)
- {
- move(TrustedImm32(imm), dest);
- }
- void swap(RegisterID reg1, RegisterID reg2)
- {
- move(reg1, immTempRegister);
- move(reg2, reg1);
- move(immTempRegister, reg2);
- }
- void signExtend32ToPtr(RegisterID src, RegisterID dest)
- {
- if (src != dest || m_fixedWidth)
- move(src, dest);
- }
- void zeroExtend32ToPtr(RegisterID src, RegisterID dest)
- {
- if (src != dest || m_fixedWidth)
- move(src, dest);
- }
- // Forwards / external control flow operations:
- //
- // This set of jump and conditional branch operations return a Jump
- // object which may linked at a later point, allow forwards jump,
- // or jumps that will require external linkage (after the code has been
- // relocated).
- //
- // For branches, signed <, >, <= and >= are denoted as l, g, le, and ge
- // respecitvely, for unsigned comparisons the names b, a, be, and ae are
- // used (representing the names 'below' and 'above').
- //
- // Operands to the comparision are provided in the expected order, e.g.
- // jle32(reg1, TrustedImm32(5)) will branch if the value held in reg1, when
- // treated as a signed 32bit value, is less than or equal to 5.
- //
- // jz and jnz test whether the first operand is equal to zero, and take
- // an optional second operand of a mask under which to perform the test.
- Jump branch8(RelationalCondition cond, Address left, TrustedImm32 right)
- {
- // Make sure the immediate value is unsigned 8 bits.
- ASSERT(!(right.m_value & 0xFFFFFF00));
- load8(left, dataTempRegister);
- move(right, immTempRegister);
- return branch32(cond, dataTempRegister, immTempRegister);
- }
- void compare8(RelationalCondition cond, Address left, TrustedImm32 right, RegisterID dest)
- {
- // Make sure the immediate value is unsigned 8 bits.
- ASSERT(!(right.m_value & 0xFFFFFF00));
- load8(left, dataTempRegister);
- move(right, immTempRegister);
- compare32(cond, dataTempRegister, immTempRegister, dest);
- }
- Jump branch8(RelationalCondition cond, BaseIndex left, TrustedImm32 right)
- {
- ASSERT(!(right.m_value & 0xFFFFFF00));
- load8(left, dataTempRegister);
- // Be careful that the previous load8() uses immTempRegister.
- // So, we need to put move() after load8().
- move(right, immTempRegister);
- return branch32(cond, dataTempRegister, immTempRegister);
- }
- Jump branch32(RelationalCondition cond, RegisterID left, RegisterID right)
- {
- if (cond == Equal)
- return branchEqual(left, right);
- if (cond == NotEqual)
- return branchNotEqual(left, right);
- if (cond == Above) {
- m_assembler.sltu(cmpTempRegister, right, left);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == AboveOrEqual) {
- m_assembler.sltu(cmpTempRegister, left, right);
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Below) {
- m_assembler.sltu(cmpTempRegister, left, right);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == BelowOrEqual) {
- m_assembler.sltu(cmpTempRegister, right, left);
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == GreaterThan) {
- m_assembler.slt(cmpTempRegister, right, left);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == GreaterThanOrEqual) {
- m_assembler.slt(cmpTempRegister, left, right);
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == LessThan) {
- m_assembler.slt(cmpTempRegister, left, right);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == LessThanOrEqual) {
- m_assembler.slt(cmpTempRegister, right, left);
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- Jump branch32(RelationalCondition cond, RegisterID left, TrustedImm32 right)
- {
- move(right, immTempRegister);
- return branch32(cond, left, immTempRegister);
- }
- Jump branch32(RelationalCondition cond, RegisterID left, Address right)
- {
- load32(right, dataTempRegister);
- return branch32(cond, left, dataTempRegister);
- }
- Jump branch32(RelationalCondition cond, Address left, RegisterID right)
- {
- load32(left, dataTempRegister);
- return branch32(cond, dataTempRegister, right);
- }
- Jump branch32(RelationalCondition cond, Address left, TrustedImm32 right)
- {
- load32(left, dataTempRegister);
- move(right, immTempRegister);
- return branch32(cond, dataTempRegister, immTempRegister);
- }
- Jump branch32(RelationalCondition cond, BaseIndex left, TrustedImm32 right)
- {
- load32(left, dataTempRegister);
- // Be careful that the previous load32() uses immTempRegister.
- // So, we need to put move() after load32().
- move(right, immTempRegister);
- return branch32(cond, dataTempRegister, immTempRegister);
- }
- Jump branch32WithUnalignedHalfWords(RelationalCondition cond, BaseIndex left, TrustedImm32 right)
- {
- load32WithUnalignedHalfWords(left, dataTempRegister);
- // Be careful that the previous load32WithUnalignedHalfWords()
- // uses immTempRegister.
- // So, we need to put move() after load32WithUnalignedHalfWords().
- move(right, immTempRegister);
- return branch32(cond, dataTempRegister, immTempRegister);
- }
- Jump branch32(RelationalCondition cond, AbsoluteAddress left, RegisterID right)
- {
- load32(left.m_ptr, dataTempRegister);
- return branch32(cond, dataTempRegister, right);
- }
- Jump branch32(RelationalCondition cond, AbsoluteAddress left, TrustedImm32 right)
- {
- load32(left.m_ptr, dataTempRegister);
- move(right, immTempRegister);
- return branch32(cond, dataTempRegister, immTempRegister);
- }
- Jump branchTest32(ResultCondition cond, RegisterID reg, RegisterID mask)
- {
- ASSERT((cond == Zero) || (cond == NonZero));
- m_assembler.andInsn(cmpTempRegister, reg, mask);
- if (cond == Zero)
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- Jump branchTest32(ResultCondition cond, RegisterID reg, TrustedImm32 mask = TrustedImm32(-1))
- {
- ASSERT((cond == Zero) || (cond == NonZero));
- if (mask.m_value == -1 && !m_fixedWidth) {
- if (cond == Zero)
- return branchEqual(reg, MIPSRegisters::zero);
- return branchNotEqual(reg, MIPSRegisters::zero);
- }
- move(mask, immTempRegister);
- return branchTest32(cond, reg, immTempRegister);
- }
- Jump branchTest32(ResultCondition cond, Address address, TrustedImm32 mask = TrustedImm32(-1))
- {
- load32(address, dataTempRegister);
- return branchTest32(cond, dataTempRegister, mask);
- }
- Jump branchTest32(ResultCondition cond, BaseIndex address, TrustedImm32 mask = TrustedImm32(-1))
- {
- load32(address, dataTempRegister);
- return branchTest32(cond, dataTempRegister, mask);
- }
- Jump branchTest8(ResultCondition cond, Address address, TrustedImm32 mask = TrustedImm32(-1))
- {
- load8(address, dataTempRegister);
- return branchTest32(cond, dataTempRegister, mask);
- }
- Jump branchTest8(ResultCondition cond, AbsoluteAddress address, TrustedImm32 mask = TrustedImm32(-1))
- {
- move(TrustedImmPtr(address.m_ptr), dataTempRegister);
- load8(Address(dataTempRegister), dataTempRegister);
- return branchTest32(cond, dataTempRegister, mask);
- }
- Jump jump()
- {
- return branchEqual(MIPSRegisters::zero, MIPSRegisters::zero);
- }
- void jump(RegisterID target)
- {
- move(target, MIPSRegisters::t9);
- m_assembler.jr(MIPSRegisters::t9);
- m_assembler.nop();
- }
- void jump(Address address)
- {
- m_fixedWidth = true;
- load32(address, MIPSRegisters::t9);
- m_assembler.jr(MIPSRegisters::t9);
- m_assembler.nop();
- m_fixedWidth = false;
- }
- void jump(AbsoluteAddress address)
- {
- m_fixedWidth = true;
- load32(address.m_ptr, MIPSRegisters::t9);
- m_assembler.jr(MIPSRegisters::t9);
- m_assembler.nop();
- m_fixedWidth = false;
- }
- void moveDoubleToInts(FPRegisterID src, RegisterID dest1, RegisterID dest2)
- {
- m_assembler.vmov(dest1, dest2, src);
- }
- void moveIntsToDouble(RegisterID src1, RegisterID src2, FPRegisterID dest, FPRegisterID scratch)
- {
- UNUSED_PARAM(scratch);
- m_assembler.vmov(dest, src1, src2);
- }
- // Arithmetic control flow operations:
- //
- // This set of conditional branch operations branch based
- // on the result of an arithmetic operation. The operation
- // is performed as normal, storing the result.
- //
- // * jz operations branch if the result is zero.
- // * jo operations branch if the (signed) arithmetic
- // operation caused an overflow to occur.
- Jump branchAdd32(ResultCondition cond, RegisterID src, RegisterID dest)
- {
- ASSERT((cond == Overflow) || (cond == Signed) || (cond == PositiveOrZero) || (cond == Zero) || (cond == NonZero));
- if (cond == Overflow) {
- /*
- move dest, dataTemp
- xor cmpTemp, dataTemp, src
- bltz cmpTemp, No_overflow # diff sign bit -> no overflow
- addu dest, dataTemp, src
- xor cmpTemp, dest, dataTemp
- bgez cmpTemp, No_overflow # same sign big -> no overflow
- nop
- b Overflow
- nop
- nop
- nop
- nop
- nop
- No_overflow:
- */
- move(dest, dataTempRegister);
- m_assembler.xorInsn(cmpTempRegister, dataTempRegister, src);
- m_assembler.bltz(cmpTempRegister, 10);
- m_assembler.addu(dest, dataTempRegister, src);
- m_assembler.xorInsn(cmpTempRegister, dest, dataTempRegister);
- m_assembler.bgez(cmpTempRegister, 7);
- m_assembler.nop();
- return jump();
- }
- if (cond == Signed) {
- add32(src, dest);
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == PositiveOrZero) {
- add32(src, dest);
- // Check if dest is not negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero) {
- add32(src, dest);
- return branchEqual(dest, MIPSRegisters::zero);
- }
- if (cond == NonZero) {
- add32(src, dest);
- return branchNotEqual(dest, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- Jump branchAdd32(ResultCondition cond, RegisterID op1, RegisterID op2, RegisterID dest)
- {
- ASSERT((cond == Overflow) || (cond == Signed) || (cond == PositiveOrZero) || (cond == Zero) || (cond == NonZero));
- if (cond == Overflow) {
- /*
- move dataTemp, op1
- xor cmpTemp, dataTemp, op2
- bltz cmpTemp, No_overflow # diff sign bit -> no overflow
- addu dest, dataTemp, op2
- xor cmpTemp, dest, dataTemp
- bgez cmpTemp, No_overflow # same sign big -> no overflow
- nop
- b Overflow
- nop
- nop
- nop
- nop
- nop
- No_overflow:
- */
- move(op1, dataTempRegister);
- m_assembler.xorInsn(cmpTempRegister, dataTempRegister, op2);
- m_assembler.bltz(cmpTempRegister, 10);
- m_assembler.addu(dest, dataTempRegister, op2);
- m_assembler.xorInsn(cmpTempRegister, dest, dataTempRegister);
- m_assembler.bgez(cmpTempRegister, 7);
- m_assembler.nop();
- return jump();
- }
- if (cond == Signed) {
- add32(op1, op2, dest);
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == PositiveOrZero) {
- add32(op1, op2, dest);
- // Check if dest is not negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero) {
- add32(op1, op2, dest);
- return branchEqual(dest, MIPSRegisters::zero);
- }
- if (cond == NonZero) {
- add32(op1, op2, dest);
- return branchNotEqual(dest, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- Jump branchAdd32(ResultCondition cond, TrustedImm32 imm, RegisterID dest)
- {
- move(imm, immTempRegister);
- return branchAdd32(cond, immTempRegister, dest);
- }
- Jump branchAdd32(ResultCondition cond, RegisterID src, TrustedImm32 imm, RegisterID dest)
- {
- move(imm, immTempRegister);
- move(src, dest);
- return branchAdd32(cond, immTempRegister, dest);
- }
- Jump branchAdd32(ResultCondition cond, TrustedImm32 imm, AbsoluteAddress dest)
- {
- ASSERT((cond == Overflow) || (cond == Signed) || (cond == PositiveOrZero) || (cond == Zero) || (cond == NonZero));
- if (cond == Overflow) {
- /*
- move dataTemp, dest
- xori cmpTemp, dataTemp, imm
- bltz cmpTemp, No_overflow # diff sign bit -> no overflow
- addiu dataTemp, dataTemp, imm
- move dest, dataTemp
- xori cmpTemp, dataTemp, imm
- bgez cmpTemp, No_overflow # same sign big -> no overflow
- nop
- b Overflow
- nop
- nop
- nop
- nop
- nop
- No_overflow:
- */
- if (imm.m_value >= -32768 && imm.m_value <= 32767 && !m_fixedWidth) {
- load32(dest.m_ptr, dataTempRegister);
- m_assembler.xori(cmpTempRegister, dataTempRegister, imm.m_value);
- m_assembler.bltz(cmpTempRegister, 10);
- m_assembler.addiu(dataTempRegister, dataTempRegister, imm.m_value);
- store32(dataTempRegister, dest.m_ptr);
- m_assembler.xori(cmpTempRegister, dataTempRegister, imm.m_value);
- m_assembler.bgez(cmpTempRegister, 7);
- m_assembler.nop();
- } else {
- load32(dest.m_ptr, dataTempRegister);
- move(imm, immTempRegister);
- m_assembler.xorInsn(cmpTempRegister, dataTempRegister, immTempRegister);
- m_assembler.bltz(cmpTempRegister, 10);
- m_assembler.addiu(dataTempRegister, dataTempRegister, immTempRegister);
- store32(dataTempRegister, dest.m_ptr);
- m_assembler.xori(cmpTempRegister, dataTempRegister, immTempRegister);
- m_assembler.bgez(cmpTempRegister, 7);
- m_assembler.nop();
- }
- return jump();
- }
- move(imm, immTempRegister);
- load32(dest.m_ptr, dataTempRegister);
- add32(immTempRegister, dataTempRegister);
- store32(dataTempRegister, dest.m_ptr);
- if (cond == Signed) {
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dataTempRegister, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == PositiveOrZero) {
- // Check if dest is not negative.
- m_assembler.slt(cmpTempRegister, dataTempRegister, MIPSRegisters::zero);
- return branchEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero)
- return branchEqual(dataTempRegister, MIPSRegisters::zero);
- if (cond == NonZero)
- return branchNotEqual(dataTempRegister, MIPSRegisters::zero);
- ASSERT(0);
- return Jump();
- }
- Jump branchMul32(ResultCondition cond, RegisterID src1, RegisterID src2, RegisterID dest)
- {
- ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
- if (cond == Overflow) {
- /*
- mult src, dest
- mfhi dataTemp
- mflo dest
- sra addrTemp, dest, 31
- beq dataTemp, addrTemp, No_overflow # all sign bits (bit 63 to bit 31) are the same -> no overflow
- nop
- b Overflow
- nop
- nop
- nop
- nop
- nop
- No_overflow:
- */
- m_assembler.mult(src1, src2);
- m_assembler.mfhi(dataTempRegister);
- m_assembler.mflo(dest);
- m_assembler.sra(addrTempRegister, dest, 31);
- m_assembler.beq(dataTempRegister, addrTempRegister, 7);
- m_assembler.nop();
- return jump();
- }
- if (cond == Signed) {
- mul32(src1, src2, dest);
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero) {
- mul32(src1, src2, dest);
- return branchEqual(dest, MIPSRegisters::zero);
- }
- if (cond == NonZero) {
- mul32(src1, src2, dest);
- return branchNotEqual(dest, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- Jump branchMul32(ResultCondition cond, RegisterID src, RegisterID dest)
- {
- ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
- if (cond == Overflow) {
- /*
- mult src, dest
- mfhi dataTemp
- mflo dest
- sra addrTemp, dest, 31
- beq dataTemp, addrTemp, No_overflow # all sign bits (bit 63 to bit 31) are the same -> no overflow
- nop
- b Overflow
- nop
- nop
- nop
- nop
- nop
- No_overflow:
- */
- m_assembler.mult(src, dest);
- m_assembler.mfhi(dataTempRegister);
- m_assembler.mflo(dest);
- m_assembler.sra(addrTempRegister, dest, 31);
- m_assembler.beq(dataTempRegister, addrTempRegister, 7);
- m_assembler.nop();
- return jump();
- }
- if (cond == Signed) {
- mul32(src, dest);
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero) {
- mul32(src, dest);
- return branchEqual(dest, MIPSRegisters::zero);
- }
- if (cond == NonZero) {
- mul32(src, dest);
- return branchNotEqual(dest, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- Jump branchMul32(ResultCondition cond, TrustedImm32 imm, RegisterID src, RegisterID dest)
- {
- move(imm, immTempRegister);
- return branchMul32(cond, immTempRegister, src, dest);
- }
- Jump branchSub32(ResultCondition cond, RegisterID src, RegisterID dest)
- {
- ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
- if (cond == Overflow) {
- /*
- move dest, dataTemp
- xor cmpTemp, dataTemp, src
- bgez cmpTemp, No_overflow # same sign bit -> no overflow
- subu dest, dataTemp, src
- xor cmpTemp, dest, dataTemp
- bgez cmpTemp, No_overflow # same sign bit -> no overflow
- nop
- b Overflow
- nop
- nop
- nop
- nop
- nop
- No_overflow:
- */
- move(dest, dataTempRegister);
- m_assembler.xorInsn(cmpTempRegister, dataTempRegister, src);
- m_assembler.bgez(cmpTempRegister, 10);
- m_assembler.subu(dest, dataTempRegister, src);
- m_assembler.xorInsn(cmpTempRegister, dest, dataTempRegister);
- m_assembler.bgez(cmpTempRegister, 7);
- m_assembler.nop();
- return jump();
- }
- if (cond == Signed) {
- sub32(src, dest);
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero) {
- sub32(src, dest);
- return branchEqual(dest, MIPSRegisters::zero);
- }
- if (cond == NonZero) {
- sub32(src, dest);
- return branchNotEqual(dest, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- Jump branchSub32(ResultCondition cond, TrustedImm32 imm, RegisterID dest)
- {
- move(imm, immTempRegister);
- return branchSub32(cond, immTempRegister, dest);
- }
- Jump branchSub32(ResultCondition cond, RegisterID src, TrustedImm32 imm, RegisterID dest)
- {
- move(imm, immTempRegister);
- return branchSub32(cond, src, immTempRegister, dest);
- }
- Jump branchSub32(ResultCondition cond, RegisterID op1, RegisterID op2, RegisterID dest)
- {
- ASSERT((cond == Overflow) || (cond == Signed) || (cond == Zero) || (cond == NonZero));
- if (cond == Overflow) {
- /*
- move dataTemp, op1
- xor cmpTemp, dataTemp, op2
- bgez cmpTemp, No_overflow # same sign bit -> no overflow
- subu dest, dataTemp, op2
- xor cmpTemp, dest, dataTemp
- bgez cmpTemp, No_overflow # same sign bit -> no overflow
- nop
- b Overflow
- nop
- nop
- nop
- nop
- nop
- No_overflow:
- */
- move(op1, dataTempRegister);
- m_assembler.xorInsn(cmpTempRegister, dataTempRegister, op2);
- m_assembler.bgez(cmpTempRegister, 10);
- m_assembler.subu(dest, dataTempRegister, op2);
- m_assembler.xorInsn(cmpTempRegister, dest, dataTempRegister);
- m_assembler.bgez(cmpTempRegister, 7);
- m_assembler.nop();
- return jump();
- }
- if (cond == Signed) {
- sub32(op1, op2, dest);
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero) {
- sub32(op1, op2, dest);
- return branchEqual(dest, MIPSRegisters::zero);
- }
- if (cond == NonZero) {
- sub32(op1, op2, dest);
- return branchNotEqual(dest, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- Jump branchNeg32(ResultCondition cond, RegisterID srcDest)
- {
- m_assembler.li(dataTempRegister, -1);
- return branchMul32(cond, dataTempRegister, srcDest);
- }
- Jump branchOr32(ResultCondition cond, RegisterID src, RegisterID dest)
- {
- ASSERT((cond == Signed) || (cond == Zero) || (cond == NonZero));
- if (cond == Signed) {
- or32(src, dest);
- // Check if dest is negative.
- m_assembler.slt(cmpTempRegister, dest, MIPSRegisters::zero);
- return branchNotEqual(cmpTempRegister, MIPSRegisters::zero);
- }
- if (cond == Zero) {
- or32(src, dest);
- return branchEqual(dest, MIPSRegisters::zero);
- }
- if (cond == NonZero) {
- or32(src, dest);
- return branchNotEqual(dest, MIPSRegisters::zero);
- }
- ASSERT(0);
- return Jump();
- }
- // Miscellaneous operations:
- void breakpoint()
- {
- m_assembler.bkpt();
- }
- Call nearCall()
- {
- /* We need two words for relaxation. */
- m_assembler.nop();
- m_assembler.nop();
- m_assembler.jal();
- m_assembler.nop();
- return Call(m_assembler.label(), Call::LinkableNear);
- }
- Call call()
- {
- m_assembler.lui(MIPSRegisters::t9, 0);
- m_assembler.ori(MIPSRegisters::t9, MIPSRegisters::t9, 0);
- m_assembler.jalr(MIPSRegisters::t9);
- m_assembler.nop();
- return Call(m_assembler.label(), Call::Linkable);
- }
- Call call(RegisterID target)
- {
- move(target, MIPSRegisters::t9);
- m_assembler.jalr(MIPSRegisters::t9);
- m_assembler.nop();
- return Call(m_assembler.label(), Call::None);
- }
- Call call(Address address)
- {
- m_fixedWidth = true;
- load32(address, MIPSRegisters::t9);
- m_assembler.jalr(MIPSRegisters::t9);
- m_assembler.nop();
- m_fixedWidth = false;
- return Call(m_assembler.label(), Call::None);
- }
- void ret()
- {
- m_assembler.jr(MIPSRegisters::ra);
- m_assembler.nop();
- }
- void compare32(RelationalCondition cond, RegisterID left, RegisterID right, RegisterID dest)
- {
- if (cond == Equal) {
- m_assembler.xorInsn(dest, left, right);
- m_assembler.sltiu(dest, dest, 1);
- } else if (cond == NotEqual) {
- m_assembler.xorInsn(dest, left, right);
- m_assembler.sltu(dest, MIPSRegisters::zero, dest);
- } else if (cond == Above)
- m_assembler.sltu(dest, right, left);
- else if (cond == AboveOrEqual) {
- m_assembler.sltu(dest, left, right);
- m_assembler.xori(dest, dest, 1);
- } else if (cond == Below)
- m_assembler.sltu(dest, left, right);
- else if (cond == BelowOrEqual) {
- m_assembler.sltu(dest, right, left);
- m_assembler.xori(dest, dest, 1);
- } else if (cond == GreaterThan)
- m_assembler.slt(dest, right, left);
- else if (cond == GreaterThanOrEqual) {
- m_assembler.slt(dest, left, right);
- m_assembler.xori(dest, dest, 1);
- } else if (cond == LessThan)
- m_assembler.slt(dest, left, right);
- else if (cond == LessThanOrEqual) {
- m_assembler.slt(dest, right, left);
- m_assembler.xori(dest, dest, 1);
- }
- }
- void compare32(RelationalCondition cond, RegisterID left, TrustedImm32 right, RegisterID dest)
- {
- move(right, immTempRegister);
- compare32(cond, left, immTempRegister, dest);
- }
- void test8(ResultCondition cond, Address address, TrustedImm32 mask, RegisterID dest)
- {
- ASSERT((cond == Zero) || (cond == NonZero));
- load8(address, dataTempRegister);
- if (mask.m_value == -1 && !m_fixedWidth) {
- if (cond == Zero)
- m_assembler.sltiu(dest, dataTempRegister, 1);
- else
- m_assembler.sltu(dest, MIPSRegisters::zero, dataTempRegister);
- } else {
- move(mask, immTempRegister);
- m_assembler.andInsn(cmpTempRegister, dataTempRegister, immTempRegister);
- if (cond == Zero)
- m_assembler.sltiu(dest, cmpTempRegister, 1);
- else
- m_assembler.sltu(dest, MIPSRegisters::zero, cmpTempRegister);
- }
- }
- void test32(ResultCondition cond, Address address, TrustedImm32 mask, RegisterID dest)
- {
- ASSERT((cond == Zero) || (cond == NonZero));
- load32(address, dataTempRegister);
- if (mask.m_value == -1 && !m_fixedWidth) {
- if (cond == Zero)
- m_assembler.sltiu(dest, dataTempRegister, 1);
- else
- m_assembler.sltu(dest, MIPSRegisters::zero, dataTempRegister);
- } else {
- move(mask, immTempRegister);
- m_assembler.andInsn(cmpTempRegister, dataTempRegister, immTempRegister);
- if (cond == Zero)
- m_assembler.sltiu(dest, cmpTempRegister, 1);
- else
- m_assembler.sltu(dest, MIPSRegisters::zero, cmpTempRegister);
- }
- }
- DataLabel32 moveWithPatch(TrustedImm32 imm, RegisterID dest)
- {
- m_fixedWidth = true;
- DataLabel32 label(this);
- move(imm, dest);
- m_fixedWidth = false;
- return label;
- }
- DataLabelPtr moveWithPatch(TrustedImmPtr initialValue, RegisterID dest)
- {
- m_fixedWidth = true;
- DataLabelPtr label(this);
- move(initialValue, dest);
- m_fixedWidth = false;
- return label;
- }
- Jump branchPtrWithPatch(RelationalCondition cond, RegisterID left, DataLabelPtr& dataLabel, TrustedImmPtr initialRightValue = TrustedImmPtr(0))
- {
- m_fixedWidth = true;
- dataLabel = moveWithPatch(initialRightValue, immTempRegister);
- Jump temp = branch32(cond, left, immTempRegister);
- m_fixedWidth = false;
- return temp;
- }
- Jump branchPtrWithPatch(RelationalCondition cond, Address left, DataLabelPtr& dataLabel, TrustedImmPtr initialRightValue = TrustedImmPtr(0))
- {
- m_fixedWidth = true;
- load32(left, dataTempRegister);
- dataLabel = moveWithPatch(initialRightValue, immTempRegister);
- Jump temp = branch32(cond, dataTempRegister, immTempRegister);
- m_fixedWidth = false;
- return temp;
- }
- DataLabelPtr storePtrWithPatch(TrustedImmPtr initialValue, ImplicitAddress address)
- {
- m_fixedWidth = true;
- DataLabelPtr dataLabel = moveWithPatch(initialValue, dataTempRegister);
- store32(dataTempRegister, address);
- m_fixedWidth = false;
- return dataLabel;
- }
- DataLabelPtr storePtrWithPatch(ImplicitAddress address)
- {
- return storePtrWithPatch(TrustedImmPtr(0), address);
- }
- Call tailRecursiveCall()
- {
- // Like a normal call, but don't update the returned address register
- m_fixedWidth = true;
- move(TrustedImm32(0), MIPSRegisters::t9);
- m_assembler.jr(MIPSRegisters::t9);
- m_assembler.nop();
- m_fixedWidth = false;
- return Call(m_assembler.label(), Call::Linkable);
- }
- Call makeTailRecursiveCall(Jump oldJump)
- {
- oldJump.link(this);
- return tailRecursiveCall();
- }
- void loadFloat(BaseIndex address, FPRegisterID dest)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lwc1 dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lwc1(dest, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- lwc1 dest, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.lwc1(dest, addrTempRegister, address.offset);
- }
- }
- void loadDouble(ImplicitAddress address, FPRegisterID dest)
- {
- #if WTF_MIPS_ISA(1)
- /*
- li addrTemp, address.offset
- addu addrTemp, addrTemp, base
- lwc1 dest, 0(addrTemp)
- lwc1 dest+1, 4(addrTemp)
- */
- move(TrustedImm32(address.offset), addrTempRegister);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lwc1(dest, addrTempRegister, 0);
- m_assembler.lwc1(FPRegisterID(dest + 1), addrTempRegister, 4);
- #else
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- m_assembler.ldc1(dest, address.base, address.offset);
- } else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- ldc1 dest, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.ldc1(dest, addrTempRegister, address.offset);
- }
- #endif
- }
- void loadDouble(BaseIndex address, FPRegisterID dest)
- {
- #if WTF_MIPS_ISA(1)
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lwc1 dest, address.offset(addrTemp)
- lwc1 dest+1, (address.offset+4)(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lwc1(dest, addrTempRegister, address.offset);
- m_assembler.lwc1(FPRegisterID(dest + 1), addrTempRegister, address.offset + 4);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- lwc1 dest, (address.offset & 0xffff)(at)
- lwc1 dest+1, (address.offset & 0xffff + 4)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.lwc1(dest, addrTempRegister, address.offset);
- m_assembler.lwc1(FPRegisterID(dest + 1), addrTempRegister, address.offset + 4);
- }
- #else
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- ldc1 dest, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.ldc1(dest, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- ldc1 dest, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.ldc1(dest, addrTempRegister, address.offset);
- }
- #endif
- }
- void loadDouble(const void* address, FPRegisterID dest)
- {
- #if WTF_MIPS_ISA(1)
- /*
- li addrTemp, address
- lwc1 dest, 0(addrTemp)
- lwc1 dest+1, 4(addrTemp)
- */
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.lwc1(dest, addrTempRegister, 0);
- m_assembler.lwc1(FPRegisterID(dest + 1), addrTempRegister, 4);
- #else
- /*
- li addrTemp, address
- ldc1 dest, 0(addrTemp)
- */
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.ldc1(dest, addrTempRegister, 0);
- #endif
- }
- void storeFloat(FPRegisterID src, BaseIndex address)
- {
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- swc1 src, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.swc1(src, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- swc1 src, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.swc1(src, addrTempRegister, address.offset);
- }
- }
- void storeDouble(FPRegisterID src, ImplicitAddress address)
- {
- #if WTF_MIPS_ISA(1)
- /*
- li addrTemp, address.offset
- addu addrTemp, addrTemp, base
- swc1 dest, 0(addrTemp)
- swc1 dest+1, 4(addrTemp)
- */
- move(TrustedImm32(address.offset), addrTempRegister);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.swc1(src, addrTempRegister, 0);
- m_assembler.swc1(FPRegisterID(src + 1), addrTempRegister, 4);
- #else
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth)
- m_assembler.sdc1(src, address.base, address.offset);
- else {
- /*
- lui addrTemp, (offset + 0x8000) >> 16
- addu addrTemp, addrTemp, base
- sdc1 src, (offset & 0xffff)(addrTemp)
- */
- m_assembler.lui(addrTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.sdc1(src, addrTempRegister, address.offset);
- }
- #endif
- }
- void storeDouble(FPRegisterID src, BaseIndex address)
- {
- #if WTF_MIPS_ISA(1)
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- swc1 src, address.offset(addrTemp)
- swc1 src+1, (address.offset + 4)(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.swc1(src, addrTempRegister, address.offset);
- m_assembler.swc1(FPRegisterID(src + 1), addrTempRegister, address.offset + 4);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- swc1 src, (address.offset & 0xffff)(at)
- swc1 src+1, (address.offset & 0xffff + 4)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.swc1(src, addrTempRegister, address.offset);
- m_assembler.swc1(FPRegisterID(src + 1), addrTempRegister, address.offset + 4);
- }
- #else
- if (address.offset >= -32768 && address.offset <= 32767
- && !m_fixedWidth) {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- sdc1 src, address.offset(addrTemp)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.sdc1(src, addrTempRegister, address.offset);
- } else {
- /*
- sll addrTemp, address.index, address.scale
- addu addrTemp, addrTemp, address.base
- lui immTemp, (address.offset + 0x8000) >> 16
- addu addrTemp, addrTemp, immTemp
- sdc1 src, (address.offset & 0xffff)(at)
- */
- m_assembler.sll(addrTempRegister, address.index, address.scale);
- m_assembler.addu(addrTempRegister, addrTempRegister, address.base);
- m_assembler.lui(immTempRegister, (address.offset + 0x8000) >> 16);
- m_assembler.addu(addrTempRegister, addrTempRegister, immTempRegister);
- m_assembler.sdc1(src, addrTempRegister, address.offset);
- }
- #endif
- }
- void storeDouble(FPRegisterID src, const void* address)
- {
- #if WTF_MIPS_ISA(1)
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.swc1(src, addrTempRegister, 0);
- m_assembler.swc1(FPRegisterID(src + 1), addrTempRegister, 4);
- #else
- move(TrustedImmPtr(address), addrTempRegister);
- m_assembler.sdc1(src, addrTempRegister, 0);
- #endif
- }
- void moveDouble(FPRegisterID src, FPRegisterID dest)
- {
- if (src != dest || m_fixedWidth)
- m_assembler.movd(dest, src);
- }
- void swapDouble(FPRegisterID fr1, FPRegisterID fr2)
- {
- moveDouble(fr1, fpTempRegister);
- moveDouble(fr2, fr1);
- moveDouble(fpTempRegister, fr2);
- }
- void addDouble(FPRegisterID src, FPRegisterID dest)
- {
- m_assembler.addd(dest, dest, src);
- }
- void addDouble(FPRegisterID op1, FPRegisterID op2, FPRegisterID dest)
- {
- m_assembler.addd(dest, op1, op2);
- }
- void addDouble(Address src, FPRegisterID dest)
- {
- loadDouble(src, fpTempRegister);
- m_assembler.addd(dest, dest, fpTempRegister);
- }
- void addDouble(AbsoluteAddress address, FPRegisterID dest)
- {
- loadDouble(address.m_ptr, fpTempRegister);
- m_assembler.addd(dest, dest, fpTempRegister);
- }
- void subDouble(FPRegisterID src, FPRegisterID dest)
- {
- m_assembler.subd(dest, dest, src);
- }
- void subDouble(FPRegisterID op1, FPRegisterID op2, FPRegisterID dest)
- {
- m_assembler.subd(dest, op1, op2);
- }
- void subDouble(Address src, FPRegisterID dest)
- {
- loadDouble(src, fpTempRegister);
- m_assembler.subd(dest, dest, fpTempRegister);
- }
- void mulDouble(FPRegisterID src, FPRegisterID dest)
- {
- m_assembler.muld(dest, dest, src);
- }
- void mulDouble(Address src, FPRegisterID dest)
- {
- loadDouble(src, fpTempRegister);
- m_assembler.muld(dest, dest, fpTempRegister);
- }
- void mulDouble(FPRegisterID op1, FPRegisterID op2, FPRegisterID dest)
- {
- m_assembler.muld(dest, op1, op2);
- }
- void divDouble(FPRegisterID src, FPRegisterID dest)
- {
- m_assembler.divd(dest, dest, src);
- }
- void divDouble(FPRegisterID op1, FPRegisterID op2, FPRegisterID dest)
- {
- m_assembler.divd(dest, op1, op2);
- }
- void divDouble(Address src, FPRegisterID dest)
- {
- loadDouble(src, fpTempRegister);
- m_assembler.divd(dest, dest, fpTempRegister);
- }
- void negateDouble(FPRegisterID src, FPRegisterID dest)
- {
- m_assembler.negd(dest, src);
- }
- void convertInt32ToDouble(RegisterID src, FPRegisterID dest)
- {
- m_assembler.mtc1(src, fpTempRegister);
- m_assembler.cvtdw(dest, fpTempRegister);
- }
- void convertInt32ToDouble(Address src, FPRegisterID dest)
- {
- load32(src, dataTempRegister);
- m_assembler.mtc1(dataTempRegister, fpTempRegister);
- m_assembler.cvtdw(dest, fpTempRegister);
- }
- void convertInt32ToDouble(AbsoluteAddress src, FPRegisterID dest)
- {
- load32(src.m_ptr, dataTempRegister);
- m_assembler.mtc1(dataTempRegister, fpTempRegister);
- m_assembler.cvtdw(dest, fpTempRegister);
- }
- void convertFloatToDouble(FPRegisterID src, FPRegisterID dst)
- {
- m_assembler.cvtds(dst, src);
- }
- void convertDoubleToFloat(FPRegisterID src, FPRegisterID dst)
- {
- m_assembler.cvtsd(dst, src);
- }
- void insertRelaxationWords()
- {
- /* We need four words for relaxation. */
- m_assembler.beq(MIPSRegisters::zero, MIPSRegisters::zero, 3); // Jump over nops;
- m_assembler.nop();
- m_assembler.nop();
- m_assembler.nop();
- }
- Jump branchTrue()
- {
- m_assembler.appendJump();
- m_assembler.bc1t();
- m_assembler.nop();
- insertRelaxationWords();
- return Jump(m_assembler.label());
- }
- Jump branchFalse()
- {
- m_assembler.appendJump();
- m_assembler.bc1f();
- m_assembler.nop();
- insertRelaxationWords();
- return Jump(m_assembler.label());
- }
- Jump branchEqual(RegisterID rs, RegisterID rt)
- {
- m_assembler.nop();
- m_assembler.nop();
- m_assembler.appendJump();
- m_assembler.beq(rs, rt, 0);
- m_assembler.nop();
- insertRelaxationWords();
- return Jump(m_assembler.label());
- }
- Jump branchNotEqual(RegisterID rs, RegisterID rt)
- {
- m_assembler.nop();
- m_assembler.nop();
- m_assembler.appendJump();
- m_assembler.bne(rs, rt, 0);
- m_assembler.nop();
- insertRelaxationWords();
- return Jump(m_assembler.label());
- }
- Jump branchDouble(DoubleCondition cond, FPRegisterID left, FPRegisterID right)
- {
- if (cond == DoubleEqual) {
- m_assembler.ceqd(left, right);
- return branchTrue();
- }
- if (cond == DoubleNotEqual) {
- m_assembler.cueqd(left, right);
- return branchFalse(); // false
- }
- if (cond == DoubleGreaterThan) {
- m_assembler.cngtd(left, right);
- return branchFalse(); // false
- }
- if (cond == DoubleGreaterThanOrEqual) {
- m_assembler.cnged(left, right);
- return branchFalse(); // false
- }
- if (cond == DoubleLessThan) {
- m_assembler.cltd(left, right);
- return branchTrue();
- }
- if (cond == DoubleLessThanOrEqual) {
- m_assembler.cled(left, right);
- return branchTrue();
- }
- if (cond == DoubleEqualOrUnordered) {
- m_assembler.cueqd(left, right);
- return branchTrue();
- }
- if (cond == DoubleNotEqualOrUnordered) {
- m_assembler.ceqd(left, right);
- return branchFalse(); // false
- }
- if (cond == DoubleGreaterThanOrUnordered) {
- m_assembler.coled(left, right);
- return branchFalse(); // false
- }
- if (cond == DoubleGreaterThanOrEqualOrUnordered) {
- m_assembler.coltd(left, right);
- return branchFalse(); // false
- }
- if (cond == DoubleLessThanOrUnordered) {
- m_assembler.cultd(left, right);
- return branchTrue();
- }
- if (cond == DoubleLessThanOrEqualOrUnordered) {
- m_assembler.culed(left, right);
- return branchTrue();
- }
- ASSERT(0);
- return Jump();
- }
- // Truncates 'src' to an integer, and places the resulting 'dest'.
- // If the result is not representable as a 32 bit value, branch.
- // May also branch for some values that are representable in 32 bits
- // (specifically, in this case, INT_MAX 0x7fffffff).
- enum BranchTruncateType { BranchIfTruncateFailed, BranchIfTruncateSuccessful };
- Jump branchTruncateDoubleToInt32(FPRegisterID src, RegisterID dest, BranchTruncateType branchType = BranchIfTruncateFailed)
- {
- m_assembler.truncwd(fpTempRegister, src);
- m_assembler.mfc1(dest, fpTempRegister);
- return branch32(branchType == BranchIfTruncateFailed ? Equal : NotEqual, dest, TrustedImm32(0x7fffffff));
- }
- Jump branchTruncateDoubleToUint32(FPRegisterID src, RegisterID dest, BranchTruncateType branchType = BranchIfTruncateFailed)
- {
- m_assembler.truncwd(fpTempRegister, src);
- m_assembler.mfc1(dest, fpTempRegister);
- return branch32(branchType == BranchIfTruncateFailed ? Equal : NotEqual, dest, TrustedImm32(0));
- }
- // Result is undefined if the value is outside of the integer range.
- void truncateDoubleToInt32(FPRegisterID src, RegisterID dest)
- {
- m_assembler.truncwd(fpTempRegister, src);
- m_assembler.mfc1(dest, fpTempRegister);
- }
- // Result is undefined if src > 2^31
- void truncateDoubleToUint32(FPRegisterID src, RegisterID dest)
- {
- m_assembler.truncwd(fpTempRegister, src);
- m_assembler.mfc1(dest, fpTempRegister);
- }
- // Convert 'src' to an integer, and places the resulting 'dest'.
- // If the result is not representable as a 32 bit value, branch.
- // May also branch for some values that are representable in 32 bits
- // (specifically, in this case, 0).
- void branchConvertDoubleToInt32(FPRegisterID src, RegisterID dest, JumpList& failureCases, FPRegisterID fpTemp, bool negZeroCheck = true)
- {
- m_assembler.cvtwd(fpTempRegister, src);
- m_assembler.mfc1(dest, fpTempRegister);
- // If the result is zero, it might have been -0.0, and the double comparison won't catch this!
- if (negZeroCheck)
- failureCases.append(branch32(Equal, dest, MIPSRegisters::zero));
- // Convert the integer result back to float & compare to the original value - if not equal or unordered (NaN) then jump.
- convertInt32ToDouble(dest, fpTemp);
- failureCases.append(branchDouble(DoubleNotEqualOrUnordered, fpTemp, src));
- }
- Jump branchDoubleNonZero(FPRegisterID reg, FPRegisterID scratch)
- {
- m_assembler.vmov(scratch, MIPSRegisters::zero, MIPSRegisters::zero);
- return branchDouble(DoubleNotEqual, reg, scratch);
- }
- Jump branchDoubleZeroOrNaN(FPRegisterID reg, FPRegisterID scratch)
- {
- m_assembler.vmov(scratch, MIPSRegisters::zero, MIPSRegisters::zero);
- return branchDouble(DoubleEqualOrUnordered, reg, scratch);
- }
- // Invert a relational condition, e.g. == becomes !=, < becomes >=, etc.
- static RelationalCondition invert(RelationalCondition cond)
- {
- RelationalCondition r;
- if (cond == Equal)
- r = NotEqual;
- else if (cond == NotEqual)
- r = Equal;
- else if (cond == Above)
- r = BelowOrEqual;
- else if (cond == AboveOrEqual)
- r = Below;
- else if (cond == Below)
- r = AboveOrEqual;
- else if (cond == BelowOrEqual)
- r = Above;
- else if (cond == GreaterThan)
- r = LessThanOrEqual;
- else if (cond == GreaterThanOrEqual)
- r = LessThan;
- else if (cond == LessThan)
- r = GreaterThanOrEqual;
- else if (cond == LessThanOrEqual)
- r = GreaterThan;
- return r;
- }
- void nop()
- {
- m_assembler.nop();
- }
- static FunctionPtr readCallTarget(CodeLocationCall call)
- {
- return FunctionPtr(reinterpret_cast<void(*)()>(MIPSAssembler::readCallTarget(call.dataLocation())));
- }
- static void replaceWithJump(CodeLocationLabel instructionStart, CodeLocationLabel destination)
- {
- MIPSAssembler::replaceWithJump(instructionStart.dataLocation(), destination.dataLocation());
- }
-
- static ptrdiff_t maxJumpReplacementSize()
- {
- MIPSAssembler::maxJumpReplacementSize();
- return 0;
- }
- static bool canJumpReplacePatchableBranchPtrWithPatch() { return false; }
- static CodeLocationLabel startOfBranchPtrWithPatchOnRegister(CodeLocationDataLabelPtr label)
- {
- return label.labelAtOffset(0);
- }
- static void revertJumpReplacementToBranchPtrWithPatch(CodeLocationLabel instructionStart, RegisterID, void* initialValue)
- {
- MIPSAssembler::revertJumpToMove(instructionStart.dataLocation(), immTempRegister, reinterpret_cast<int>(initialValue) & 0xffff);
- }
- static CodeLocationLabel startOfPatchableBranchPtrWithPatchOnAddress(CodeLocationDataLabelPtr)
- {
- UNREACHABLE_FOR_PLATFORM();
- return CodeLocationLabel();
- }
- static void revertJumpReplacementToPatchableBranchPtrWithPatch(CodeLocationLabel instructionStart, Address, void* initialValue)
- {
- UNREACHABLE_FOR_PLATFORM();
- }
- private:
- // If m_fixedWidth is true, we will generate a fixed number of instructions.
- // Otherwise, we can emit any number of instructions.
- bool m_fixedWidth;
- friend class LinkBuffer;
- friend class RepatchBuffer;
- static void linkCall(void* code, Call call, FunctionPtr function)
- {
- MIPSAssembler::linkCall(code, call.m_label, function.value());
- }
- static void repatchCall(CodeLocationCall call, CodeLocationLabel destination)
- {
- MIPSAssembler::relinkCall(call.dataLocation(), destination.executableAddress());
- }
- static void repatchCall(CodeLocationCall call, FunctionPtr destination)
- {
- MIPSAssembler::relinkCall(call.dataLocation(), destination.executableAddress());
- }
- };
- }
- #endif // ENABLE(ASSEMBLER) && CPU(MIPS)
- #endif // MacroAssemblerMIPS_h
|