1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617 |
- /* Renesas RL78 specific support for 32-bit ELF.
- Copyright (C) 2011-2022 Free Software Foundation, Inc.
- This file is part of BFD, the Binary File Descriptor library.
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 3 of the License, or
- (at your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program; if not, write to the Free Software
- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
- MA 02110-1301, USA. */
- #include "sysdep.h"
- #include "bfd.h"
- #include "libbfd.h"
- #include "elf-bfd.h"
- #include "elf/rl78.h"
- #include "libiberty.h"
- #define valid_16bit_address(v) ((v) <= 0x0ffff || (v) >= 0xf0000)
- #define RL78REL(n,sz,bit,mask,shift,complain,pcrel) \
- HOWTO (R_RL78_##n, shift, sz, bit, pcrel, 0, complain_overflow_ ## complain, \
- bfd_elf_generic_reloc, "R_RL78_" #n, false, 0, mask, false)
- static bfd_reloc_status_type rl78_special_reloc (bfd *, arelent *, asymbol *, void *,
- asection *, bfd *, char **);
- #define RL78_OP_REL(n,sz,bit,mask,shift,complain,pcrel) \
- HOWTO (R_RL78_##n, shift, sz, bit, pcrel, 0, complain_overflow_ ## complain, \
- rl78_special_reloc, "R_RL78_" #n, false, 0, mask, false)
- /* Note that the relocations around 0x7f are internal to this file;
- feel free to move them as needed to avoid conflicts with published
- relocation numbers. */
- static reloc_howto_type rl78_elf_howto_table [] =
- {
- RL78REL (NONE, 3, 0, 0, 0, dont, false),
- RL78REL (DIR32, 2, 32, 0xffffffff, 0, dont, false),
- RL78REL (DIR24S, 2, 24, 0xffffff, 0, signed, false),
- RL78REL (DIR16, 1, 16, 0xffff, 0, bitfield, false),
- RL78REL (DIR16U, 1, 16, 0xffff, 0, unsigned, false),
- RL78REL (DIR16S, 1, 16, 0xffff, 0, bitfield, false),
- RL78REL (DIR8, 0, 8, 0xff, 0, dont, false),
- RL78REL (DIR8U, 0, 8, 0xff, 0, unsigned, false),
- RL78REL (DIR8S, 0, 8, 0xff, 0, bitfield, false),
- RL78REL (DIR24S_PCREL, 2, 24, 0xffffff, 0, signed, true),
- RL78REL (DIR16S_PCREL, 1, 16, 0xffff, 0, signed, true),
- RL78REL (DIR8S_PCREL, 0, 8, 0xff, 0, signed, true),
- RL78REL (DIR16UL, 1, 16, 0xffff, 2, unsigned, false),
- RL78REL (DIR16UW, 1, 16, 0xffff, 1, unsigned, false),
- RL78REL (DIR8UL, 0, 8, 0xff, 2, unsigned, false),
- RL78REL (DIR8UW, 0, 8, 0xff, 1, unsigned, false),
- RL78REL (DIR32_REV, 2, 32, 0xffffffff, 0, dont, false),
- RL78REL (DIR16_REV, 1, 16, 0xffff, 0, bitfield, false),
- RL78REL (DIR3U_PCREL, 0, 3, 0x7, 0, unsigned, true),
- EMPTY_HOWTO (0x13),
- EMPTY_HOWTO (0x14),
- EMPTY_HOWTO (0x15),
- EMPTY_HOWTO (0x16),
- EMPTY_HOWTO (0x17),
- EMPTY_HOWTO (0x18),
- EMPTY_HOWTO (0x19),
- EMPTY_HOWTO (0x1a),
- EMPTY_HOWTO (0x1b),
- EMPTY_HOWTO (0x1c),
- EMPTY_HOWTO (0x1d),
- EMPTY_HOWTO (0x1e),
- EMPTY_HOWTO (0x1f),
- EMPTY_HOWTO (0x20),
- EMPTY_HOWTO (0x21),
- EMPTY_HOWTO (0x22),
- EMPTY_HOWTO (0x23),
- EMPTY_HOWTO (0x24),
- EMPTY_HOWTO (0x25),
- EMPTY_HOWTO (0x26),
- EMPTY_HOWTO (0x27),
- EMPTY_HOWTO (0x28),
- EMPTY_HOWTO (0x29),
- EMPTY_HOWTO (0x2a),
- EMPTY_HOWTO (0x2b),
- EMPTY_HOWTO (0x2c),
- RL78REL (RH_RELAX, 3, 0, 0, 0, dont, false),
- RL78REL (RH_SFR, 0, 8, 0xff, 0, unsigned, false),
- RL78REL (RH_SADDR, 0, 8, 0xff, 0, unsigned, false),
- EMPTY_HOWTO (0x30),
- EMPTY_HOWTO (0x31),
- EMPTY_HOWTO (0x32),
- EMPTY_HOWTO (0x33),
- EMPTY_HOWTO (0x34),
- EMPTY_HOWTO (0x35),
- EMPTY_HOWTO (0x36),
- EMPTY_HOWTO (0x37),
- EMPTY_HOWTO (0x38),
- EMPTY_HOWTO (0x39),
- EMPTY_HOWTO (0x3a),
- EMPTY_HOWTO (0x3b),
- EMPTY_HOWTO (0x3c),
- EMPTY_HOWTO (0x3d),
- EMPTY_HOWTO (0x3e),
- EMPTY_HOWTO (0x3f),
- EMPTY_HOWTO (0x40),
- RL78_OP_REL (ABS32, 2, 32, 0xffffffff, 0, dont, false),
- RL78_OP_REL (ABS24S, 2, 24, 0xffffff, 0, signed, false),
- RL78_OP_REL (ABS16, 1, 16, 0xffff, 0, bitfield, false),
- RL78_OP_REL (ABS16U, 1, 16, 0xffff, 0, unsigned, false),
- RL78_OP_REL (ABS16S, 1, 16, 0xffff, 0, signed, false),
- RL78_OP_REL (ABS8, 0, 8, 0xff, 0, bitfield, false),
- RL78_OP_REL (ABS8U, 0, 8, 0xff, 0, unsigned, false),
- RL78_OP_REL (ABS8S, 0, 8, 0xff, 0, signed, false),
- RL78_OP_REL (ABS24S_PCREL, 2, 24, 0xffffff, 0, signed, true),
- RL78_OP_REL (ABS16S_PCREL, 1, 16, 0xffff, 0, signed, true),
- RL78_OP_REL (ABS8S_PCREL, 0, 8, 0xff, 0, signed, true),
- RL78_OP_REL (ABS16UL, 1, 16, 0xffff, 0, unsigned, false),
- RL78_OP_REL (ABS16UW, 1, 16, 0xffff, 0, unsigned, false),
- RL78_OP_REL (ABS8UL, 0, 8, 0xff, 0, unsigned, false),
- RL78_OP_REL (ABS8UW, 0, 8, 0xff, 0, unsigned, false),
- RL78_OP_REL (ABS32_REV, 2, 32, 0xffffffff, 0, dont, false),
- RL78_OP_REL (ABS16_REV, 1, 16, 0xffff, 0, bitfield, false),
- #define STACK_REL_P(x) ((x) <= R_RL78_ABS16_REV && (x) >= R_RL78_ABS32)
- EMPTY_HOWTO (0x52),
- EMPTY_HOWTO (0x53),
- EMPTY_HOWTO (0x54),
- EMPTY_HOWTO (0x55),
- EMPTY_HOWTO (0x56),
- EMPTY_HOWTO (0x57),
- EMPTY_HOWTO (0x58),
- EMPTY_HOWTO (0x59),
- EMPTY_HOWTO (0x5a),
- EMPTY_HOWTO (0x5b),
- EMPTY_HOWTO (0x5c),
- EMPTY_HOWTO (0x5d),
- EMPTY_HOWTO (0x5e),
- EMPTY_HOWTO (0x5f),
- EMPTY_HOWTO (0x60),
- EMPTY_HOWTO (0x61),
- EMPTY_HOWTO (0x62),
- EMPTY_HOWTO (0x63),
- EMPTY_HOWTO (0x64),
- EMPTY_HOWTO (0x65),
- EMPTY_HOWTO (0x66),
- EMPTY_HOWTO (0x67),
- EMPTY_HOWTO (0x68),
- EMPTY_HOWTO (0x69),
- EMPTY_HOWTO (0x6a),
- EMPTY_HOWTO (0x6b),
- EMPTY_HOWTO (0x6c),
- EMPTY_HOWTO (0x6d),
- EMPTY_HOWTO (0x6e),
- EMPTY_HOWTO (0x6f),
- EMPTY_HOWTO (0x70),
- EMPTY_HOWTO (0x71),
- EMPTY_HOWTO (0x72),
- EMPTY_HOWTO (0x73),
- EMPTY_HOWTO (0x74),
- EMPTY_HOWTO (0x75),
- EMPTY_HOWTO (0x76),
- EMPTY_HOWTO (0x77),
- EMPTY_HOWTO (0x78),
- EMPTY_HOWTO (0x79),
- EMPTY_HOWTO (0x7a),
- EMPTY_HOWTO (0x7b),
- EMPTY_HOWTO (0x7c),
- EMPTY_HOWTO (0x7d),
- EMPTY_HOWTO (0x7e),
- EMPTY_HOWTO (0x7f),
- RL78_OP_REL (SYM, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPneg, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPadd, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPsub, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPmul, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPdiv, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPshla, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPshra, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPsctsize, 3, 0, 0, 0, dont, false),
- EMPTY_HOWTO (0x89),
- EMPTY_HOWTO (0x8a),
- EMPTY_HOWTO (0x8b),
- EMPTY_HOWTO (0x8c),
- RL78_OP_REL (OPscttop, 3, 0, 0, 0, dont, false),
- EMPTY_HOWTO (0x8e),
- EMPTY_HOWTO (0x8f),
- RL78_OP_REL (OPand, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPor, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPxor, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPnot, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPmod, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPromtop, 3, 0, 0, 0, dont, false),
- RL78_OP_REL (OPramtop, 3, 0, 0, 0, dont, false)
- };
- /* Map BFD reloc types to RL78 ELF reloc types. */
- struct rl78_reloc_map
- {
- bfd_reloc_code_real_type bfd_reloc_val;
- unsigned int rl78_reloc_val;
- };
- static const struct rl78_reloc_map rl78_reloc_map [] =
- {
- { BFD_RELOC_NONE, R_RL78_NONE },
- { BFD_RELOC_8, R_RL78_DIR8S },
- { BFD_RELOC_16, R_RL78_DIR16S },
- { BFD_RELOC_24, R_RL78_DIR24S },
- { BFD_RELOC_32, R_RL78_DIR32 },
- { BFD_RELOC_RL78_16_OP, R_RL78_DIR16 },
- { BFD_RELOC_RL78_DIR3U_PCREL, R_RL78_DIR3U_PCREL },
- { BFD_RELOC_8_PCREL, R_RL78_DIR8S_PCREL },
- { BFD_RELOC_16_PCREL, R_RL78_DIR16S_PCREL },
- { BFD_RELOC_24_PCREL, R_RL78_DIR24S_PCREL },
- { BFD_RELOC_RL78_8U, R_RL78_DIR8U },
- { BFD_RELOC_RL78_16U, R_RL78_DIR16U },
- { BFD_RELOC_RL78_SYM, R_RL78_SYM },
- { BFD_RELOC_RL78_OP_SUBTRACT, R_RL78_OPsub },
- { BFD_RELOC_RL78_OP_NEG, R_RL78_OPneg },
- { BFD_RELOC_RL78_OP_AND, R_RL78_OPand },
- { BFD_RELOC_RL78_OP_SHRA, R_RL78_OPshra },
- { BFD_RELOC_RL78_ABS8, R_RL78_ABS8 },
- { BFD_RELOC_RL78_ABS16, R_RL78_ABS16 },
- { BFD_RELOC_RL78_ABS16_REV, R_RL78_ABS16_REV },
- { BFD_RELOC_RL78_ABS32, R_RL78_ABS32 },
- { BFD_RELOC_RL78_ABS32_REV, R_RL78_ABS32_REV },
- { BFD_RELOC_RL78_ABS16UL, R_RL78_ABS16UL },
- { BFD_RELOC_RL78_ABS16UW, R_RL78_ABS16UW },
- { BFD_RELOC_RL78_ABS16U, R_RL78_ABS16U },
- { BFD_RELOC_RL78_SADDR, R_RL78_RH_SADDR },
- { BFD_RELOC_RL78_RELAX, R_RL78_RH_RELAX }
- };
- static reloc_howto_type *
- rl78_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
- bfd_reloc_code_real_type code)
- {
- unsigned int i;
- if (code == BFD_RELOC_RL78_32_OP)
- return rl78_elf_howto_table + R_RL78_DIR32;
- for (i = ARRAY_SIZE (rl78_reloc_map); i--;)
- if (rl78_reloc_map [i].bfd_reloc_val == code)
- return rl78_elf_howto_table + rl78_reloc_map[i].rl78_reloc_val;
- return NULL;
- }
- static reloc_howto_type *
- rl78_reloc_name_lookup (bfd * abfd ATTRIBUTE_UNUSED, const char * r_name)
- {
- unsigned int i;
- for (i = 0; i < ARRAY_SIZE (rl78_elf_howto_table); i++)
- if (rl78_elf_howto_table[i].name != NULL
- && strcasecmp (rl78_elf_howto_table[i].name, r_name) == 0)
- return rl78_elf_howto_table + i;
- return NULL;
- }
- /* Set the howto pointer for an RL78 ELF reloc. */
- static bool
- rl78_info_to_howto_rela (bfd * abfd,
- arelent * cache_ptr,
- Elf_Internal_Rela * dst)
- {
- unsigned int r_type;
- r_type = ELF32_R_TYPE (dst->r_info);
- if (r_type >= (unsigned int) R_RL78_max)
- {
- /* xgettext:c-format */
- _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
- abfd, r_type);
- bfd_set_error (bfd_error_bad_value);
- return false;
- }
- cache_ptr->howto = rl78_elf_howto_table + r_type;
- return true;
- }
- static bfd_vma
- get_symbol_value (const char * name,
- struct bfd_link_info * info,
- bfd * input_bfd,
- asection * input_section,
- int offset)
- {
- struct bfd_link_hash_entry * h;
- if (info == NULL)
- return 0;
- h = bfd_link_hash_lookup (info->hash, name, false, false, true);
- if (h == NULL
- || (h->type != bfd_link_hash_defined
- && h->type != bfd_link_hash_defweak))
- {
- (*info->callbacks->undefined_symbol)
- (info, name, input_bfd, input_section, offset, true);
- return 0;
- }
- return (h->u.def.value
- + h->u.def.section->output_section->vma
- + h->u.def.section->output_offset);
- }
- static bfd_vma
- get_romstart (struct bfd_link_info * info,
- bfd * abfd,
- asection * sec,
- int offset)
- {
- static bool cached = false;
- static bfd_vma cached_value = 0;
- if (!cached)
- {
- cached_value = get_symbol_value ("_start", info, abfd, sec, offset);
- cached = true;
- }
- return cached_value;
- }
- static bfd_vma
- get_ramstart (struct bfd_link_info * info,
- bfd * abfd,
- asection * sec,
- int offset)
- {
- static bool cached = false;
- static bfd_vma cached_value = 0;
- if (!cached)
- {
- cached_value = get_symbol_value ("__datastart", info, abfd, sec, offset);
- cached = true;
- }
- return cached_value;
- }
- #define NUM_STACK_ENTRIES 16
- static int32_t rl78_stack [ NUM_STACK_ENTRIES ];
- static unsigned int rl78_stack_top;
- static inline void
- rl78_stack_push (bfd_vma val, bfd_reloc_status_type *r)
- {
- if (rl78_stack_top < NUM_STACK_ENTRIES)
- rl78_stack[rl78_stack_top++] = val;
- else
- *r = bfd_reloc_dangerous;
- }
- static inline bfd_vma
- rl78_stack_pop (bfd_reloc_status_type *r)
- {
- if (rl78_stack_top > 0)
- return rl78_stack[-- rl78_stack_top];
- else
- *r = bfd_reloc_dangerous;
- return 0;
- }
- /* Special handling for RL78 complex relocs. Returns the
- value of the reloc, or 0 for relocs which do not generate
- a result. SYMVAL is the value of the symbol for relocs
- which use a symbolic argument. */
- static bfd_vma
- rl78_compute_complex_reloc (unsigned long r_type,
- bfd_vma symval,
- asection *input_section,
- bfd_reloc_status_type *r,
- char **error_message)
- {
- int32_t tmp1, tmp2;
- bfd_vma relocation = 0;
- bfd_reloc_status_type stat = bfd_reloc_ok;
- switch (r_type)
- {
- default:
- stat = bfd_reloc_notsupported;
- break;
- case R_RL78_ABS24S_PCREL:
- case R_RL78_ABS16S_PCREL:
- case R_RL78_ABS8S_PCREL:
- relocation = rl78_stack_pop (&stat);
- relocation -= input_section->output_section->vma + input_section->output_offset;
- break;
- case R_RL78_ABS32:
- case R_RL78_ABS32_REV:
- case R_RL78_ABS16:
- case R_RL78_ABS16_REV:
- case R_RL78_ABS16S:
- case R_RL78_ABS16U:
- case R_RL78_ABS8:
- case R_RL78_ABS8U:
- case R_RL78_ABS8S:
- relocation = rl78_stack_pop (&stat);
- break;
- case R_RL78_ABS16UL:
- case R_RL78_ABS8UL:
- relocation = rl78_stack_pop (&stat) >> 2;
- break;;
- case R_RL78_ABS16UW:
- case R_RL78_ABS8UW:
- relocation = rl78_stack_pop (&stat) >> 1;
- break;
- /* The rest of the relocs compute values and then push them onto the stack. */
- case R_RL78_OPramtop:
- case R_RL78_OPromtop:
- case R_RL78_SYM:
- rl78_stack_push (symval, &stat);
- break;
- case R_RL78_OPneg:
- tmp1 = rl78_stack_pop (&stat);
- tmp1 = - tmp1;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPadd:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- tmp1 += tmp2;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPsub:
- /* For the expression "A - B", the assembler pushes A,
- then B, then OPSUB. So the first op we pop is B, not A. */
- tmp2 = rl78_stack_pop (&stat); /* B */
- tmp1 = rl78_stack_pop (&stat); /* A */
- tmp1 -= tmp2; /* A - B */
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPmul:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- tmp1 *= tmp2;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPdiv:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- if (tmp2 != 0)
- tmp1 /= tmp2;
- else
- {
- tmp1 = 0;
- stat = bfd_reloc_overflow;
- }
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPshla:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- tmp1 <<= tmp2;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPshra:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- tmp1 >>= tmp2;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPsctsize:
- rl78_stack_push (input_section->size, &stat);
- break;
- case R_RL78_OPscttop:
- rl78_stack_push (input_section->output_section->vma, &stat);
- break;
- case R_RL78_OPand:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- tmp1 &= tmp2;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPor:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- tmp1 |= tmp2;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPxor:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- tmp1 ^= tmp2;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPnot:
- tmp1 = rl78_stack_pop (&stat);
- tmp1 = ~ tmp1;
- rl78_stack_push (tmp1, &stat);
- break;
- case R_RL78_OPmod:
- tmp2 = rl78_stack_pop (&stat);
- tmp1 = rl78_stack_pop (&stat);
- if (tmp2 != 0)
- tmp1 %= tmp2;
- else
- {
- tmp1 = 0;
- stat = bfd_reloc_overflow;
- }
- rl78_stack_push (tmp1, &stat);
- break;
- }
- if (r)
- {
- if (stat == bfd_reloc_dangerous)
- *error_message = (_("RL78 reloc stack overflow/underflow"));
- else if (stat == bfd_reloc_overflow)
- {
- stat = bfd_reloc_dangerous;
- *error_message = (_("RL78 reloc divide by zero"));
- }
- *r = stat;
- }
- return relocation;
- }
- /* Check whether RELOCATION overflows a relocation field described by
- HOWTO. */
- static bfd_reloc_status_type
- check_overflow (reloc_howto_type *howto, bfd_vma relocation)
- {
- switch (howto->complain_on_overflow)
- {
- case complain_overflow_dont:
- break;
- case complain_overflow_bitfield:
- if ((bfd_signed_vma) relocation < -(1LL << (howto->bitsize - 1))
- || (bfd_signed_vma) relocation >= 1LL << howto->bitsize)
- return bfd_reloc_overflow;
- break;
- case complain_overflow_signed:
- if ((bfd_signed_vma) relocation < -(1LL << (howto->bitsize - 1))
- || (bfd_signed_vma) relocation >= 1LL << (howto->bitsize - 1))
- return bfd_reloc_overflow;
- break;
- case complain_overflow_unsigned:
- if (relocation >= 1ULL << howto->bitsize)
- return bfd_reloc_overflow;
- break;
- }
- return bfd_reloc_ok;
- }
- static bfd_reloc_status_type
- rl78_special_reloc (bfd * input_bfd,
- arelent * reloc,
- asymbol * symbol,
- void * data,
- asection * input_section,
- bfd * output_bfd ATTRIBUTE_UNUSED,
- char ** error_message)
- {
- bfd_reloc_status_type r = bfd_reloc_ok;
- bfd_vma relocation = 0;
- unsigned long r_type = reloc->howto->type;
- bfd_byte * contents = data;
- /* If necessary, compute the symbolic value of the relocation. */
- switch (r_type)
- {
- case R_RL78_SYM:
- relocation = (symbol->value
- + symbol->section->output_section->vma
- + symbol->section->output_offset
- + reloc->addend);
- break;
- case R_RL78_OPromtop:
- relocation = get_romstart (NULL, input_bfd, input_section,
- reloc->address);
- break;
- case R_RL78_OPramtop:
- relocation = get_ramstart (NULL, input_bfd, input_section,
- reloc->address);
- break;
- }
- /* Get the value of the relocation. */
- relocation = rl78_compute_complex_reloc (r_type, relocation, input_section,
- &r, error_message);
- if (STACK_REL_P (r_type))
- {
- bfd_size_type limit;
- unsigned int nbytes;
- if (r == bfd_reloc_ok)
- r = check_overflow (reloc->howto, relocation);
- if (r_type == R_RL78_ABS16_REV)
- relocation = ((relocation & 0xff) << 8) | ((relocation >> 8) & 0xff);
- else if (r_type == R_RL78_ABS32_REV)
- relocation = (((relocation & 0xff) << 24)
- | ((relocation & 0xff00) << 8)
- | ((relocation >> 8) & 0xff00)
- | ((relocation >> 24) & 0xff));
- limit = bfd_get_section_limit_octets (input_bfd, input_section);
- nbytes = reloc->howto->bitsize / 8;
- if (reloc->address < limit
- && nbytes <= limit - reloc->address)
- {
- unsigned int i;
- for (i = 0; i < nbytes; i++)
- {
- contents[reloc->address + i] = relocation;
- relocation >>= 8;
- }
- }
- else
- r = bfd_reloc_outofrange;
- }
- return r;
- }
- #define OP(i) (contents[rel->r_offset + (i)])
- /* Relocate an RL78 ELF section.
- There is some attempt to make this function usable for many architectures,
- both USE_REL and USE_RELA ['twould be nice if such a critter existed],
- if only to serve as a learning tool.
- The RELOCATE_SECTION function is called by the new ELF backend linker
- to handle the relocations for a section.
- The relocs are always passed as Rela structures; if the section
- actually uses Rel structures, the r_addend field will always be
- zero.
- This function is responsible for adjusting the section contents as
- necessary, and (if using Rela relocs and generating a relocatable
- output file) adjusting the reloc addend as necessary.
- This function does not have to worry about setting the reloc
- address or the reloc symbol index.
- LOCAL_SYMS is a pointer to the swapped in local symbols.
- LOCAL_SECTIONS is an array giving the section in the input file
- corresponding to the st_shndx field of each local symbol.
- The global hash table entry for the global symbols can be found
- via elf_sym_hashes (input_bfd).
- When generating relocatable output, this function must handle
- STB_LOCAL/STT_SECTION symbols specially. The output symbol is
- going to be the section symbol corresponding to the output
- section, which means that the addend must be adjusted
- accordingly. */
- static int
- rl78_elf_relocate_section
- (bfd * output_bfd,
- struct bfd_link_info * info,
- bfd * input_bfd,
- asection * input_section,
- bfd_byte * contents,
- Elf_Internal_Rela * relocs,
- Elf_Internal_Sym * local_syms,
- asection ** local_sections)
- {
- Elf_Internal_Shdr * symtab_hdr;
- struct elf_link_hash_entry ** sym_hashes;
- Elf_Internal_Rela * rel;
- Elf_Internal_Rela * relend;
- asection *splt;
- bool ret;
- symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
- sym_hashes = elf_sym_hashes (input_bfd);
- relend = relocs + input_section->reloc_count;
- splt = elf_hash_table (info)->splt;
- ret = true;
- for (rel = relocs; rel < relend; rel ++)
- {
- reloc_howto_type *howto;
- unsigned long r_symndx;
- Elf_Internal_Sym *sym;
- asection *sec;
- struct elf_link_hash_entry *h;
- bfd_vma relocation;
- bfd_reloc_status_type r;
- const char *name = NULL;
- bool unresolved_reloc = true;
- int r_type;
- char *error_message;
- r_type = ELF32_R_TYPE (rel->r_info);
- r_symndx = ELF32_R_SYM (rel->r_info);
- howto = rl78_elf_howto_table + ELF32_R_TYPE (rel->r_info);
- h = NULL;
- sym = NULL;
- sec = NULL;
- relocation = 0;
- if (r_symndx < symtab_hdr->sh_info)
- {
- sym = local_syms + r_symndx;
- sec = local_sections [r_symndx];
- relocation = _bfd_elf_rela_local_sym (output_bfd, sym, & sec, rel);
- name = bfd_elf_string_from_elf_section
- (input_bfd, symtab_hdr->sh_link, sym->st_name);
- name = sym->st_name == 0 ? bfd_section_name (sec) : name;
- }
- else
- {
- bool warned ATTRIBUTE_UNUSED;
- bool ignored ATTRIBUTE_UNUSED;
- RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
- r_symndx, symtab_hdr, sym_hashes, h,
- sec, relocation, unresolved_reloc,
- warned, ignored);
- name = h->root.root.string;
- }
- if (sec != NULL && discarded_section (sec))
- RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
- rel, 1, relend, howto, 0, contents);
- if (bfd_link_relocatable (info))
- {
- /* This is a relocatable link. We don't have to change
- anything, unless the reloc is against a section symbol,
- in which case we have to adjust according to where the
- section symbol winds up in the output section. */
- if (sym != NULL && ELF_ST_TYPE (sym->st_info) == STT_SECTION)
- rel->r_addend += sec->output_offset;
- continue;
- }
- switch (ELF32_R_TYPE (rel->r_info))
- {
- case R_RL78_DIR16S:
- {
- bfd_vma *plt_offset;
- if (h != NULL)
- plt_offset = &h->plt.offset;
- else
- plt_offset = elf_local_got_offsets (input_bfd) + r_symndx;
- if (! valid_16bit_address (relocation))
- {
- /* If this is the first time we've processed this symbol,
- fill in the plt entry with the correct symbol address. */
- if ((*plt_offset & 1) == 0)
- {
- unsigned int x;
- x = 0x000000ec; /* br !!abs24 */
- x |= (relocation << 8) & 0xffffff00;
- bfd_put_32 (input_bfd, x, splt->contents + *plt_offset);
- *plt_offset |= 1;
- }
- relocation = (splt->output_section->vma
- + splt->output_offset
- + (*plt_offset & -2));
- if (name)
- {
- char *newname = bfd_malloc (strlen(name)+5);
- strcpy (newname, name);
- strcat(newname, ".plt");
- _bfd_generic_link_add_one_symbol (info,
- input_bfd,
- newname,
- BSF_FUNCTION | BSF_WEAK,
- splt,
- (*plt_offset & -2),
- 0,
- 1,
- 0,
- 0);
- }
- }
- }
- break;
- }
- if (h != NULL && h->root.type == bfd_link_hash_undefweak)
- /* If the symbol is undefined and weak
- then the relocation resolves to zero. */
- relocation = 0;
- else
- {
- if (howto->pc_relative)
- {
- relocation -= (input_section->output_section->vma
- + input_section->output_offset
- + rel->r_offset);
- relocation -= bfd_get_reloc_size (howto);
- }
- relocation += rel->r_addend;
- }
- r = bfd_reloc_ok;
- if (howto->bitsize != 0
- && (rel->r_offset >= input_section->size
- || ((howto->bitsize + 7u) / 8
- > input_section->size - rel->r_offset)))
- r = bfd_reloc_outofrange;
- else
- switch (r_type)
- {
- case R_RL78_NONE:
- break;
- case R_RL78_RH_RELAX:
- break;
- case R_RL78_DIR8S_PCREL:
- OP (0) = relocation;
- break;
- case R_RL78_DIR8S:
- OP (0) = relocation;
- break;
- case R_RL78_DIR8U:
- OP (0) = relocation;
- break;
- case R_RL78_DIR16S_PCREL:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- break;
- case R_RL78_DIR16S:
- if ((relocation & 0xf0000) == 0xf0000)
- relocation &= 0xffff;
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- break;
- case R_RL78_DIR16U:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- break;
- case R_RL78_DIR16:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- break;
- case R_RL78_DIR16_REV:
- OP (1) = relocation;
- OP (0) = relocation >> 8;
- break;
- case R_RL78_DIR3U_PCREL:
- OP (0) &= 0xf8;
- OP (0) |= relocation & 0x07;
- /* Map [3, 10] to [0, 7]. The code below using howto
- bitsize will check for unsigned overflow. */
- relocation -= 3;
- break;
- case R_RL78_DIR24S_PCREL:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- OP (2) = relocation >> 16;
- break;
- case R_RL78_DIR24S:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- OP (2) = relocation >> 16;
- break;
- case R_RL78_DIR32:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- OP (2) = relocation >> 16;
- OP (3) = relocation >> 24;
- break;
- case R_RL78_DIR32_REV:
- OP (3) = relocation;
- OP (2) = relocation >> 8;
- OP (1) = relocation >> 16;
- OP (0) = relocation >> 24;
- break;
- case R_RL78_RH_SFR:
- relocation -= 0xfff00;
- OP (0) = relocation;
- break;
- case R_RL78_RH_SADDR:
- relocation -= 0xffe20;
- OP (0) = relocation;
- break;
- /* Complex reloc handling: */
- case R_RL78_ABS32:
- case R_RL78_ABS32_REV:
- case R_RL78_ABS24S_PCREL:
- case R_RL78_ABS24S:
- case R_RL78_ABS16:
- case R_RL78_ABS16_REV:
- case R_RL78_ABS16S_PCREL:
- case R_RL78_ABS16S:
- case R_RL78_ABS16U:
- case R_RL78_ABS16UL:
- case R_RL78_ABS16UW:
- case R_RL78_ABS8:
- case R_RL78_ABS8U:
- case R_RL78_ABS8UL:
- case R_RL78_ABS8UW:
- case R_RL78_ABS8S_PCREL:
- case R_RL78_ABS8S:
- case R_RL78_OPneg:
- case R_RL78_OPadd:
- case R_RL78_OPsub:
- case R_RL78_OPmul:
- case R_RL78_OPdiv:
- case R_RL78_OPshla:
- case R_RL78_OPshra:
- case R_RL78_OPsctsize:
- case R_RL78_OPscttop:
- case R_RL78_OPand:
- case R_RL78_OPor:
- case R_RL78_OPxor:
- case R_RL78_OPnot:
- case R_RL78_OPmod:
- relocation = rl78_compute_complex_reloc (r_type, 0, input_section,
- &r, &error_message);
- switch (r_type)
- {
- case R_RL78_ABS32:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- OP (2) = relocation >> 16;
- OP (3) = relocation >> 24;
- break;
- case R_RL78_ABS32_REV:
- OP (3) = relocation;
- OP (2) = relocation >> 8;
- OP (1) = relocation >> 16;
- OP (0) = relocation >> 24;
- break;
- case R_RL78_ABS24S_PCREL:
- case R_RL78_ABS24S:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- OP (2) = relocation >> 16;
- break;
- case R_RL78_ABS16:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- break;
- case R_RL78_ABS16_REV:
- OP (1) = relocation;
- OP (0) = relocation >> 8;
- break;
- case R_RL78_ABS16S_PCREL:
- case R_RL78_ABS16S:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- break;
- case R_RL78_ABS16U:
- case R_RL78_ABS16UL:
- case R_RL78_ABS16UW:
- OP (0) = relocation;
- OP (1) = relocation >> 8;
- break;
- case R_RL78_ABS8:
- OP (0) = relocation;
- break;
- case R_RL78_ABS8U:
- case R_RL78_ABS8UL:
- case R_RL78_ABS8UW:
- OP (0) = relocation;
- break;
- case R_RL78_ABS8S_PCREL:
- case R_RL78_ABS8S:
- OP (0) = relocation;
- break;
- default:
- break;
- }
- break;
- case R_RL78_SYM:
- if (r_symndx < symtab_hdr->sh_info)
- relocation = sec->output_section->vma + sec->output_offset
- + sym->st_value + rel->r_addend;
- else if (h != NULL
- && (h->root.type == bfd_link_hash_defined
- || h->root.type == bfd_link_hash_defweak))
- relocation = h->root.u.def.value
- + sec->output_section->vma
- + sec->output_offset
- + rel->r_addend;
- else
- {
- relocation = 0;
- if (h->root.type != bfd_link_hash_undefweak)
- _bfd_error_handler
- (_("warning: RL78_SYM reloc with an unknown symbol"));
- }
- (void) rl78_compute_complex_reloc (r_type, relocation, input_section,
- &r, &error_message);
- break;
- case R_RL78_OPromtop:
- relocation = get_romstart (info, input_bfd, input_section,
- rel->r_offset);
- (void) rl78_compute_complex_reloc (r_type, relocation, input_section,
- &r, &error_message);
- break;
- case R_RL78_OPramtop:
- relocation = get_ramstart (info, input_bfd, input_section,
- rel->r_offset);
- (void) rl78_compute_complex_reloc (r_type, relocation, input_section,
- &r, &error_message);
- break;
- default:
- r = bfd_reloc_notsupported;
- break;
- }
- if (r == bfd_reloc_ok)
- r = check_overflow (howto, relocation);
- if (r != bfd_reloc_ok)
- {
- switch (r)
- {
- case bfd_reloc_overflow:
- (*info->callbacks->reloc_overflow)
- (info, (h ? &h->root : NULL), name, howto->name, (bfd_vma) 0,
- input_bfd, input_section, rel->r_offset);
- break;
- case bfd_reloc_undefined:
- (*info->callbacks->undefined_symbol)
- (info, name, input_bfd, input_section, rel->r_offset, true);
- break;
- case bfd_reloc_outofrange:
- /* xgettext:c-format */
- (*info->callbacks->einfo)
- (_("%H: %s out of range\n"),
- input_bfd, input_section, rel->r_offset, howto->name);
- break;
- case bfd_reloc_notsupported:
- /* xgettext:c-format */
- (*info->callbacks->einfo)
- (_("%H: relocation type %u is not supported\n"),
- input_bfd, input_section, rel->r_offset, r_type);
- break;
- case bfd_reloc_dangerous:
- (*info->callbacks->reloc_dangerous)
- (info, error_message, input_bfd, input_section, rel->r_offset);
- break;
- default:
- /* xgettext:c-format */
- (*info->callbacks->einfo)
- (_("%H: relocation %s returns an unrecognized value %x\n"),
- input_bfd, input_section, rel->r_offset, howto->name, r);
- break;
- }
- ret = false;
- }
- }
- return ret;
- }
- /* Function to set the ELF flag bits. */
- static bool
- rl78_elf_set_private_flags (bfd * abfd, flagword flags)
- {
- elf_elfheader (abfd)->e_flags = flags;
- elf_flags_init (abfd) = true;
- return true;
- }
- static bool no_warn_mismatch = false;
- void bfd_elf32_rl78_set_target_flags (bool);
- void
- bfd_elf32_rl78_set_target_flags (bool user_no_warn_mismatch)
- {
- no_warn_mismatch = user_no_warn_mismatch;
- }
- static const char *
- rl78_cpu_name (flagword flags)
- {
- switch (flags & E_FLAG_RL78_CPU_MASK)
- {
- default: return "";
- case E_FLAG_RL78_G10: return "G10";
- case E_FLAG_RL78_G13: return "G13";
- case E_FLAG_RL78_G14: return "G14";
- }
- }
- /* Merge backend specific data from an object file to the output
- object file when linking. */
- static bool
- rl78_elf_merge_private_bfd_data (bfd *ibfd, struct bfd_link_info *info)
- {
- bfd *obfd = info->output_bfd;
- flagword new_flags;
- flagword old_flags;
- bool error = false;
- new_flags = elf_elfheader (ibfd)->e_flags;
- old_flags = elf_elfheader (obfd)->e_flags;
- if (!elf_flags_init (obfd))
- {
- /* First call, no flags set. */
- elf_flags_init (obfd) = true;
- elf_elfheader (obfd)->e_flags = new_flags;
- }
- else if (old_flags != new_flags)
- {
- flagword changed_flags = old_flags ^ new_flags;
- if (changed_flags & E_FLAG_RL78_CPU_MASK)
- {
- flagword out_cpu = old_flags & E_FLAG_RL78_CPU_MASK;
- flagword in_cpu = new_flags & E_FLAG_RL78_CPU_MASK;
- if (in_cpu == E_FLAG_RL78_ANY_CPU || in_cpu == out_cpu)
- /* It does not matter what new_cpu may have. */;
- else if (out_cpu == E_FLAG_RL78_ANY_CPU)
- {
- if (in_cpu == E_FLAG_RL78_G10)
- {
- /* G10 files can only be linked with other G10 files.
- If the output is set to "any" this means that it is
- a G14 file that does not use hardware multiply/divide,
- but that is still incompatible with the G10 ABI. */
- error = true;
- _bfd_error_handler
- /* xgettext:c-format */
- (_("RL78 ABI conflict: G10 file %pB cannot be linked"
- " with %s file %pB"),
- ibfd, rl78_cpu_name (out_cpu), obfd);
- }
- else
- {
- old_flags &= ~ E_FLAG_RL78_CPU_MASK;
- old_flags |= in_cpu;
- elf_elfheader (obfd)->e_flags = old_flags;
- }
- }
- else
- {
- error = true;
- _bfd_error_handler
- /* xgettext:c-format */
- (_("RL78 ABI conflict: cannot link %s file %pB with %s file %pB"),
- rl78_cpu_name (in_cpu), ibfd,
- rl78_cpu_name (out_cpu), obfd);
- }
- }
- if (changed_flags & E_FLAG_RL78_64BIT_DOUBLES)
- {
- _bfd_error_handler
- (_("RL78 merge conflict: cannot link 32-bit and 64-bit objects together"));
- if (old_flags & E_FLAG_RL78_64BIT_DOUBLES)
- /* xgettext:c-format */
- _bfd_error_handler (_("- %pB is 64-bit, %pB is not"),
- obfd, ibfd);
- else
- /* xgettext:c-format */
- _bfd_error_handler (_("- %pB is 64-bit, %pB is not"),
- ibfd, obfd);
- error = true;
- }
- }
- return !error;
- }
- static bool
- rl78_elf_print_private_bfd_data (bfd * abfd, void * ptr)
- {
- FILE * file = (FILE *) ptr;
- flagword flags;
- BFD_ASSERT (abfd != NULL && ptr != NULL);
- /* Print normal ELF private data. */
- _bfd_elf_print_private_bfd_data (abfd, ptr);
- flags = elf_elfheader (abfd)->e_flags;
- fprintf (file, _("private flags = 0x%lx:"), (long) flags);
- if (flags & E_FLAG_RL78_CPU_MASK)
- fprintf (file, " [%s]", rl78_cpu_name (flags));
- if (flags & E_FLAG_RL78_64BIT_DOUBLES)
- fprintf (file, _(" [64-bit doubles]"));
- fputc ('\n', file);
- return true;
- }
- /* Return the MACH for an e_flags value. */
- static int
- elf32_rl78_machine (bfd * abfd ATTRIBUTE_UNUSED)
- {
- return bfd_mach_rl78;
- }
- static bool
- rl78_elf_object_p (bfd * abfd)
- {
- bfd_default_set_arch_mach (abfd, bfd_arch_rl78,
- elf32_rl78_machine (abfd));
- return true;
- }
- /* support PLT for 16-bit references to 24-bit functions. */
- /* We support 16-bit pointers to code above 64k by generating a thunk
- below 64k containing a JMP instruction to the final address. */
- static bool
- rl78_elf_check_relocs
- (bfd * abfd,
- struct bfd_link_info * info,
- asection * sec,
- const Elf_Internal_Rela * relocs)
- {
- Elf_Internal_Shdr * symtab_hdr;
- struct elf_link_hash_entry ** sym_hashes;
- const Elf_Internal_Rela * rel;
- const Elf_Internal_Rela * rel_end;
- bfd_vma *local_plt_offsets;
- asection *splt;
- bfd *dynobj;
- if (bfd_link_relocatable (info))
- return true;
- symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
- sym_hashes = elf_sym_hashes (abfd);
- local_plt_offsets = elf_local_got_offsets (abfd);
- dynobj = elf_hash_table(info)->dynobj;
- rel_end = relocs + sec->reloc_count;
- for (rel = relocs; rel < rel_end; rel++)
- {
- struct elf_link_hash_entry *h;
- unsigned long r_symndx;
- bfd_vma *offset;
- r_symndx = ELF32_R_SYM (rel->r_info);
- if (r_symndx < symtab_hdr->sh_info)
- h = NULL;
- else
- {
- h = sym_hashes[r_symndx - symtab_hdr->sh_info];
- while (h->root.type == bfd_link_hash_indirect
- || h->root.type == bfd_link_hash_warning)
- h = (struct elf_link_hash_entry *) h->root.u.i.link;
- }
- switch (ELF32_R_TYPE (rel->r_info))
- {
- /* This relocation describes a 16-bit pointer to a function.
- We may need to allocate a thunk in low memory; reserve memory
- for it now. */
- case R_RL78_DIR16S:
- if (dynobj == NULL)
- elf_hash_table (info)->dynobj = dynobj = abfd;
- splt = elf_hash_table (info)->splt;
- if (splt == NULL)
- {
- flagword flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS
- | SEC_IN_MEMORY | SEC_LINKER_CREATED
- | SEC_READONLY | SEC_CODE);
- splt = bfd_make_section_anyway_with_flags (dynobj, ".plt",
- flags);
- elf_hash_table (info)->splt = splt;
- if (splt == NULL
- || !bfd_set_section_alignment (splt, 1))
- return false;
- }
- if (h != NULL)
- offset = &h->plt.offset;
- else
- {
- if (local_plt_offsets == NULL)
- {
- size_t size;
- unsigned int i;
- size = symtab_hdr->sh_info * sizeof (bfd_vma);
- local_plt_offsets = (bfd_vma *) bfd_alloc (abfd, size);
- if (local_plt_offsets == NULL)
- return false;
- elf_local_got_offsets (abfd) = local_plt_offsets;
- for (i = 0; i < symtab_hdr->sh_info; i++)
- local_plt_offsets[i] = (bfd_vma) -1;
- }
- offset = &local_plt_offsets[r_symndx];
- }
- if (*offset == (bfd_vma) -1)
- {
- *offset = splt->size;
- splt->size += 4;
- }
- break;
- }
- }
- return true;
- }
- /* This must exist if dynobj is ever set. */
- static bool
- rl78_elf_finish_dynamic_sections (bfd *abfd ATTRIBUTE_UNUSED,
- struct bfd_link_info *info)
- {
- bfd *dynobj;
- asection *splt;
- if (!elf_hash_table (info)->dynamic_sections_created)
- return true;
- /* As an extra sanity check, verify that all plt entries have been
- filled in. However, relaxing might have changed the relocs so
- that some plt entries don't get filled in, so we have to skip
- this check if we're relaxing. Unfortunately, check_relocs is
- called before relaxation. */
- if (info->relax_trip > 0)
- return true;
- dynobj = elf_hash_table (info)->dynobj;
- splt = elf_hash_table (info)->splt;
- if (dynobj != NULL && splt != NULL)
- {
- bfd_byte *contents = splt->contents;
- unsigned int i, size = splt->size;
- for (i = 0; i < size; i += 4)
- {
- unsigned int x = bfd_get_32 (dynobj, contents + i);
- BFD_ASSERT (x != 0);
- }
- }
- return true;
- }
- static bool
- rl78_elf_always_size_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
- struct bfd_link_info *info)
- {
- bfd *dynobj;
- asection *splt;
- if (bfd_link_relocatable (info))
- return true;
- dynobj = elf_hash_table (info)->dynobj;
- if (dynobj == NULL)
- return true;
- splt = elf_hash_table (info)->splt;
- BFD_ASSERT (splt != NULL);
- splt->contents = (bfd_byte *) bfd_zalloc (dynobj, splt->size);
- if (splt->contents == NULL)
- return false;
- return true;
- }
- /* Handle relaxing. */
- /* A subroutine of rl78_elf_relax_section. If the global symbol H
- is within the low 64k, remove any entry for it in the plt. */
- struct relax_plt_data
- {
- asection *splt;
- bool *again;
- };
- static bool
- rl78_relax_plt_check (struct elf_link_hash_entry *h, void * xdata)
- {
- struct relax_plt_data *data = (struct relax_plt_data *) xdata;
- if (h->plt.offset != (bfd_vma) -1)
- {
- bfd_vma address;
- if (h->root.type == bfd_link_hash_undefined
- || h->root.type == bfd_link_hash_undefweak)
- address = 0;
- else
- address = (h->root.u.def.section->output_section->vma
- + h->root.u.def.section->output_offset
- + h->root.u.def.value);
- if (valid_16bit_address (address))
- {
- h->plt.offset = -1;
- data->splt->size -= 4;
- *data->again = true;
- }
- }
- return true;
- }
- /* A subroutine of rl78_elf_relax_section. If the global symbol H
- previously had a plt entry, give it a new entry offset. */
- static bool
- rl78_relax_plt_realloc (struct elf_link_hash_entry *h, void * xdata)
- {
- bfd_vma *entry = (bfd_vma *) xdata;
- if (h->plt.offset != (bfd_vma) -1)
- {
- h->plt.offset = *entry;
- *entry += 4;
- }
- return true;
- }
- static bool
- rl78_elf_relax_plt_section (bfd *dynobj,
- asection *splt,
- struct bfd_link_info *info,
- bool *again)
- {
- struct relax_plt_data relax_plt_data;
- bfd *ibfd;
- /* Assume nothing changes. */
- *again = false;
- if (bfd_link_relocatable (info))
- return true;
- /* We only relax the .plt section at the moment. */
- if (dynobj != elf_hash_table (info)->dynobj
- || strcmp (splt->name, ".plt") != 0)
- return true;
- /* Quick check for an empty plt. */
- if (splt->size == 0)
- return true;
- /* Map across all global symbols; see which ones happen to
- fall in the low 64k. */
- relax_plt_data.splt = splt;
- relax_plt_data.again = again;
- elf_link_hash_traverse (elf_hash_table (info), rl78_relax_plt_check,
- &relax_plt_data);
- /* Likewise for local symbols, though that's somewhat less convenient
- as we have to walk the list of input bfds and swap in symbol data. */
- for (ibfd = info->input_bfds; ibfd ; ibfd = ibfd->link.next)
- {
- bfd_vma *local_plt_offsets = elf_local_got_offsets (ibfd);
- Elf_Internal_Shdr *symtab_hdr;
- Elf_Internal_Sym *isymbuf = NULL;
- unsigned int idx;
- if (! local_plt_offsets)
- continue;
- symtab_hdr = &elf_tdata (ibfd)->symtab_hdr;
- if (symtab_hdr->sh_info != 0)
- {
- isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
- if (isymbuf == NULL)
- isymbuf = bfd_elf_get_elf_syms (ibfd, symtab_hdr,
- symtab_hdr->sh_info, 0,
- NULL, NULL, NULL);
- if (isymbuf == NULL)
- return false;
- }
- for (idx = 0; idx < symtab_hdr->sh_info; ++idx)
- {
- Elf_Internal_Sym *isym;
- asection *tsec;
- bfd_vma address;
- if (local_plt_offsets[idx] == (bfd_vma) -1)
- continue;
- isym = &isymbuf[idx];
- if (isym->st_shndx == SHN_UNDEF)
- continue;
- else if (isym->st_shndx == SHN_ABS)
- tsec = bfd_abs_section_ptr;
- else if (isym->st_shndx == SHN_COMMON)
- tsec = bfd_com_section_ptr;
- else
- tsec = bfd_section_from_elf_index (ibfd, isym->st_shndx);
- address = (tsec->output_section->vma
- + tsec->output_offset
- + isym->st_value);
- if (valid_16bit_address (address))
- {
- local_plt_offsets[idx] = -1;
- splt->size -= 4;
- *again = true;
- }
- }
- if (isymbuf != NULL
- && symtab_hdr->contents != (unsigned char *) isymbuf)
- {
- if (! info->keep_memory)
- free (isymbuf);
- else
- {
- /* Cache the symbols for elf_link_input_bfd. */
- symtab_hdr->contents = (unsigned char *) isymbuf;
- }
- }
- }
- /* If we changed anything, walk the symbols again to reallocate
- .plt entry addresses. */
- if (*again && splt->size > 0)
- {
- bfd_vma entry = 0;
- elf_link_hash_traverse (elf_hash_table (info),
- rl78_relax_plt_realloc, &entry);
- for (ibfd = info->input_bfds; ibfd ; ibfd = ibfd->link.next)
- {
- bfd_vma *local_plt_offsets = elf_local_got_offsets (ibfd);
- unsigned int nlocals = elf_tdata (ibfd)->symtab_hdr.sh_info;
- unsigned int idx;
- if (! local_plt_offsets)
- continue;
- for (idx = 0; idx < nlocals; ++idx)
- if (local_plt_offsets[idx] != (bfd_vma) -1)
- {
- local_plt_offsets[idx] = entry;
- entry += 4;
- }
- }
- }
- return true;
- }
- /* Delete some bytes from a section while relaxing. */
- static bool
- elf32_rl78_relax_delete_bytes (bfd *abfd, asection *sec, bfd_vma addr, int count,
- Elf_Internal_Rela *alignment_rel, int force_snip)
- {
- Elf_Internal_Shdr * symtab_hdr;
- unsigned int sec_shndx;
- bfd_byte * contents;
- Elf_Internal_Rela * irel;
- Elf_Internal_Rela * irelend;
- Elf_Internal_Sym * isym;
- Elf_Internal_Sym * isymend;
- bfd_vma toaddr;
- unsigned int symcount;
- struct elf_link_hash_entry ** sym_hashes;
- struct elf_link_hash_entry ** end_hashes;
- if (!alignment_rel)
- force_snip = 1;
- sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
- contents = elf_section_data (sec)->this_hdr.contents;
- /* The deletion must stop at the next alignment boundary, if
- ALIGNMENT_REL is non-NULL. */
- toaddr = sec->size;
- if (alignment_rel)
- toaddr = alignment_rel->r_offset;
- irel = elf_section_data (sec)->relocs;
- if (irel == NULL)
- {
- _bfd_elf_link_read_relocs (sec->owner, sec, NULL, NULL, true);
- irel = elf_section_data (sec)->relocs;
- }
- irelend = irel + sec->reloc_count;
- /* Actually delete the bytes. */
- memmove (contents + addr, contents + addr + count,
- (size_t) (toaddr - addr - count));
- /* If we don't have an alignment marker to worry about, we can just
- shrink the section. Otherwise, we have to fill in the newly
- created gap with NOP insns (0x03). */
- if (force_snip)
- sec->size -= count;
- else
- memset (contents + toaddr - count, 0x03, count);
- /* Adjust all the relocs. */
- for (; irel && irel < irelend; irel++)
- {
- /* Get the new reloc address. */
- if (irel->r_offset > addr
- && (irel->r_offset < toaddr
- || (force_snip && irel->r_offset == toaddr)))
- irel->r_offset -= count;
- /* If we see an ALIGN marker at the end of the gap, we move it
- to the beginning of the gap, since marking these gaps is what
- they're for. */
- if (irel->r_offset == toaddr
- && ELF32_R_TYPE (irel->r_info) == R_RL78_RH_RELAX
- && irel->r_addend & RL78_RELAXA_ALIGN)
- irel->r_offset -= count;
- }
- /* Adjust the local symbols defined in this section. */
- symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
- isym = (Elf_Internal_Sym *) symtab_hdr->contents;
- isymend = isym + symtab_hdr->sh_info;
- for (; isym < isymend; isym++)
- {
- /* If the symbol is in the range of memory we just moved, we
- have to adjust its value. */
- if (isym->st_shndx == sec_shndx
- && isym->st_value > addr
- && isym->st_value < toaddr)
- isym->st_value -= count;
- /* If the symbol *spans* the bytes we just deleted (i.e. it's
- *end* is in the moved bytes but it's *start* isn't), then we
- must adjust its size. */
- if (isym->st_shndx == sec_shndx
- && isym->st_value < addr
- && isym->st_value + isym->st_size > addr
- && isym->st_value + isym->st_size < toaddr)
- isym->st_size -= count;
- }
- /* Now adjust the global symbols defined in this section. */
- symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
- - symtab_hdr->sh_info);
- sym_hashes = elf_sym_hashes (abfd);
- end_hashes = sym_hashes + symcount;
- for (; sym_hashes < end_hashes; sym_hashes++)
- {
- struct elf_link_hash_entry *sym_hash = *sym_hashes;
- if ((sym_hash->root.type == bfd_link_hash_defined
- || sym_hash->root.type == bfd_link_hash_defweak)
- && sym_hash->root.u.def.section == sec)
- {
- /* As above, adjust the value if needed. */
- if (sym_hash->root.u.def.value > addr
- && sym_hash->root.u.def.value < toaddr)
- sym_hash->root.u.def.value -= count;
- /* As above, adjust the size if needed. */
- if (sym_hash->root.u.def.value < addr
- && sym_hash->root.u.def.value + sym_hash->size > addr
- && sym_hash->root.u.def.value + sym_hash->size < toaddr)
- sym_hash->size -= count;
- }
- }
- return true;
- }
- /* Used to sort relocs by address. If relocs have the same address,
- we maintain their relative order, except that R_RL78_RH_RELAX
- alignment relocs must be the first reloc for any given address. */
- static void
- reloc_bubblesort (Elf_Internal_Rela * r, int count)
- {
- int i;
- bool again;
- bool swappit;
- /* This is almost a classic bubblesort. It's the slowest sort, but
- we're taking advantage of the fact that the relocations are
- mostly in order already (the assembler emits them that way) and
- we need relocs with the same address to remain in the same
- relative order. */
- again = true;
- while (again)
- {
- again = false;
- for (i = 0; i < count - 1; i ++)
- {
- if (r[i].r_offset > r[i + 1].r_offset)
- swappit = true;
- else if (r[i].r_offset < r[i + 1].r_offset)
- swappit = false;
- else if (ELF32_R_TYPE (r[i + 1].r_info) == R_RL78_RH_RELAX
- && (r[i + 1].r_addend & RL78_RELAXA_ALIGN))
- swappit = true;
- else if (ELF32_R_TYPE (r[i + 1].r_info) == R_RL78_RH_RELAX
- && (r[i + 1].r_addend & RL78_RELAXA_ELIGN)
- && !(ELF32_R_TYPE (r[i].r_info) == R_RL78_RH_RELAX
- && (r[i].r_addend & RL78_RELAXA_ALIGN)))
- swappit = true;
- else
- swappit = false;
- if (swappit)
- {
- Elf_Internal_Rela tmp;
- tmp = r[i];
- r[i] = r[i + 1];
- r[i + 1] = tmp;
- /* If we do move a reloc back, re-scan to see if it
- needs to be moved even further back. This avoids
- most of the O(n^2) behavior for our cases. */
- if (i > 0)
- i -= 2;
- again = true;
- }
- }
- }
- }
- #define OFFSET_FOR_RELOC(rel, lrel, scale) \
- rl78_offset_for_reloc (abfd, rel + 1, symtab_hdr, shndx_buf, intsyms, \
- lrel, abfd, sec, link_info, scale)
- static bfd_vma
- rl78_offset_for_reloc (bfd * abfd,
- Elf_Internal_Rela * rel,
- Elf_Internal_Shdr * symtab_hdr,
- bfd_byte * shndx_buf ATTRIBUTE_UNUSED,
- Elf_Internal_Sym * intsyms,
- Elf_Internal_Rela ** lrel,
- bfd * input_bfd,
- asection * input_section,
- struct bfd_link_info * info,
- int * scale)
- {
- bfd_vma symval;
- *scale = 1;
- /* REL is the first of 1..N relocations. We compute the symbol
- value for each relocation, then combine them if needed. LREL
- gets a pointer to the last relocation used. */
- while (1)
- {
- unsigned long r_type;
- /* Get the value of the symbol referred to by the reloc. */
- if (ELF32_R_SYM (rel->r_info) < symtab_hdr->sh_info)
- {
- /* A local symbol. */
- Elf_Internal_Sym *isym;
- asection *ssec;
- isym = intsyms + ELF32_R_SYM (rel->r_info);
- if (isym->st_shndx == SHN_UNDEF)
- ssec = bfd_und_section_ptr;
- else if (isym->st_shndx == SHN_ABS)
- ssec = bfd_abs_section_ptr;
- else if (isym->st_shndx == SHN_COMMON)
- ssec = bfd_com_section_ptr;
- else
- ssec = bfd_section_from_elf_index (abfd,
- isym->st_shndx);
- /* Initial symbol value. */
- symval = isym->st_value;
- /* GAS may have made this symbol relative to a section, in
- which case, we have to add the addend to find the
- symbol. */
- if (ELF_ST_TYPE (isym->st_info) == STT_SECTION)
- symval += rel->r_addend;
- if (ssec)
- {
- if ((ssec->flags & SEC_MERGE)
- && ssec->sec_info_type == SEC_INFO_TYPE_MERGE)
- symval = _bfd_merged_section_offset (abfd, & ssec,
- elf_section_data (ssec)->sec_info,
- symval);
- }
- /* Now make the offset relative to where the linker is putting it. */
- if (ssec)
- symval +=
- ssec->output_section->vma + ssec->output_offset;
- symval += rel->r_addend;
- }
- else
- {
- unsigned long indx;
- struct elf_link_hash_entry * h;
- /* An external symbol. */
- indx = ELF32_R_SYM (rel->r_info) - symtab_hdr->sh_info;
- h = elf_sym_hashes (abfd)[indx];
- BFD_ASSERT (h != NULL);
- if (h->root.type != bfd_link_hash_defined
- && h->root.type != bfd_link_hash_defweak)
- {
- /* This appears to be a reference to an undefined
- symbol. Just ignore it--it will be caught by the
- regular reloc processing. */
- if (lrel)
- *lrel = rel;
- return 0;
- }
- symval = (h->root.u.def.value
- + h->root.u.def.section->output_section->vma
- + h->root.u.def.section->output_offset);
- symval += rel->r_addend;
- }
- r_type = ELF32_R_TYPE (rel->r_info);
- switch (r_type)
- {
- case R_RL78_SYM:
- (void) rl78_compute_complex_reloc (r_type, symval, input_section,
- NULL, NULL);
- break;
- case R_RL78_OPromtop:
- symval = get_romstart (info, input_bfd, input_section, rel->r_offset);
- (void) rl78_compute_complex_reloc (r_type, symval, input_section,
- NULL, NULL);
- break;
- case R_RL78_OPramtop:
- symval = get_ramstart (info, input_bfd, input_section, rel->r_offset);
- (void) rl78_compute_complex_reloc (r_type, symval, input_section,
- NULL, NULL);
- break;
- case R_RL78_OPneg:
- case R_RL78_OPadd:
- case R_RL78_OPsub:
- case R_RL78_OPmul:
- case R_RL78_OPdiv:
- case R_RL78_OPshla:
- case R_RL78_OPshra:
- case R_RL78_OPsctsize:
- case R_RL78_OPscttop:
- case R_RL78_OPand:
- case R_RL78_OPor:
- case R_RL78_OPxor:
- case R_RL78_OPnot:
- case R_RL78_OPmod:
- (void) rl78_compute_complex_reloc (r_type, 0, input_section,
- NULL, NULL);
- break;
- case R_RL78_DIR16UL:
- case R_RL78_DIR8UL:
- case R_RL78_ABS16UL:
- case R_RL78_ABS8UL:
- *scale = 4;
- goto reloc_computes_value;
- case R_RL78_DIR16UW:
- case R_RL78_DIR8UW:
- case R_RL78_ABS16UW:
- case R_RL78_ABS8UW:
- *scale = 2;
- goto reloc_computes_value;
- default:
- reloc_computes_value:
- symval = rl78_compute_complex_reloc (r_type, symval, input_section,
- NULL, NULL);
- /* Fall through. */
- case R_RL78_DIR32:
- case R_RL78_DIR24S:
- case R_RL78_DIR16:
- case R_RL78_DIR16U:
- case R_RL78_DIR16S:
- case R_RL78_DIR24S_PCREL:
- case R_RL78_DIR16S_PCREL:
- case R_RL78_DIR8S_PCREL:
- if (lrel)
- *lrel = rel;
- return symval;
- }
- rel ++;
- }
- }
- const struct {
- int prefix; /* or -1 for "no prefix" */
- int insn; /* or -1 for "end of list" */
- int insn_for_saddr; /* or -1 for "no alternative" */
- int insn_for_sfr; /* or -1 for "no alternative" */
- } relax_addr16[] = {
- { -1, 0x02, 0x06, -1 }, /* ADDW AX, !addr16 */
- { -1, 0x22, 0x26, -1 }, /* SUBW AX, !addr16 */
- { -1, 0x42, 0x46, -1 }, /* CMPW AX, !addr16 */
- { -1, 0x40, 0x4a, -1 }, /* CMP !addr16, #byte */
- { -1, 0x0f, 0x0b, -1 }, /* ADD A, !addr16 */
- { -1, 0x1f, 0x1b, -1 }, /* ADDC A, !addr16 */
- { -1, 0x2f, 0x2b, -1 }, /* SUB A, !addr16 */
- { -1, 0x3f, 0x3b, -1 }, /* SUBC A, !addr16 */
- { -1, 0x4f, 0x4b, -1 }, /* CMP A, !addr16 */
- { -1, 0x5f, 0x5b, -1 }, /* AND A, !addr16 */
- { -1, 0x6f, 0x6b, -1 }, /* OR A, !addr16 */
- { -1, 0x7f, 0x7b, -1 }, /* XOR A, !addr16 */
- { -1, 0x8f, 0x8d, 0x8e }, /* MOV A, !addr16 */
- { -1, 0x9f, 0x9d, 0x9e }, /* MOV !addr16, A */
- { -1, 0xaf, 0xad, 0xae }, /* MOVW AX, !addr16 */
- { -1, 0xbf, 0xbd, 0xbe }, /* MOVW !addr16, AX */
- { -1, 0xcf, 0xcd, 0xce }, /* MOVW !addr16, #word */
- { -1, 0xa0, 0xa4, -1 }, /* INC !addr16 */
- { -1, 0xa2, 0xa6, -1 }, /* INCW !addr16 */
- { -1, 0xb0, 0xb4, -1 }, /* DEC !addr16 */
- { -1, 0xb2, 0xb6, -1 }, /* DECW !addr16 */
- { -1, 0xd5, 0xd4, -1 }, /* CMP0 !addr16 */
- { -1, 0xe5, 0xe4, -1 }, /* ONEB !addr16 */
- { -1, 0xf5, 0xf4, -1 }, /* CLRB !addr16 */
- { -1, 0xd9, 0xd8, -1 }, /* MOV X, !addr16 */
- { -1, 0xe9, 0xe8, -1 }, /* MOV B, !addr16 */
- { -1, 0xf9, 0xf8, -1 }, /* MOV C, !addr16 */
- { -1, 0xdb, 0xda, -1 }, /* MOVW BC, !addr16 */
- { -1, 0xeb, 0xea, -1 }, /* MOVW DE, !addr16 */
- { -1, 0xfb, 0xfa, -1 }, /* MOVW HL, !addr16 */
- { 0x61, 0xaa, 0xa8, -1 }, /* XCH A, !addr16 */
- { 0x71, 0x00, 0x02, 0x0a }, /* SET1 !addr16.0 */
- { 0x71, 0x10, 0x12, 0x1a }, /* SET1 !addr16.0 */
- { 0x71, 0x20, 0x22, 0x2a }, /* SET1 !addr16.0 */
- { 0x71, 0x30, 0x32, 0x3a }, /* SET1 !addr16.0 */
- { 0x71, 0x40, 0x42, 0x4a }, /* SET1 !addr16.0 */
- { 0x71, 0x50, 0x52, 0x5a }, /* SET1 !addr16.0 */
- { 0x71, 0x60, 0x62, 0x6a }, /* SET1 !addr16.0 */
- { 0x71, 0x70, 0x72, 0x7a }, /* SET1 !addr16.0 */
- { 0x71, 0x08, 0x03, 0x0b }, /* CLR1 !addr16.0 */
- { 0x71, 0x18, 0x13, 0x1b }, /* CLR1 !addr16.0 */
- { 0x71, 0x28, 0x23, 0x2b }, /* CLR1 !addr16.0 */
- { 0x71, 0x38, 0x33, 0x3b }, /* CLR1 !addr16.0 */
- { 0x71, 0x48, 0x43, 0x4b }, /* CLR1 !addr16.0 */
- { 0x71, 0x58, 0x53, 0x5b }, /* CLR1 !addr16.0 */
- { 0x71, 0x68, 0x63, 0x6b }, /* CLR1 !addr16.0 */
- { 0x71, 0x78, 0x73, 0x7b }, /* CLR1 !addr16.0 */
- { -1, -1, -1, -1 }
- };
- /* Relax one section. */
- static bool
- rl78_elf_relax_section (bfd *abfd,
- asection *sec,
- struct bfd_link_info *link_info,
- bool *again)
- {
- Elf_Internal_Shdr * symtab_hdr;
- Elf_Internal_Shdr * shndx_hdr;
- Elf_Internal_Rela * internal_relocs;
- Elf_Internal_Rela * free_relocs = NULL;
- Elf_Internal_Rela * irel;
- Elf_Internal_Rela * srel;
- Elf_Internal_Rela * irelend;
- Elf_Internal_Rela * next_alignment;
- bfd_byte * contents = NULL;
- bfd_byte * free_contents = NULL;
- Elf_Internal_Sym * intsyms = NULL;
- Elf_Internal_Sym * free_intsyms = NULL;
- bfd_byte * shndx_buf = NULL;
- bfd_vma pc;
- bfd_vma symval ATTRIBUTE_UNUSED = 0;
- int pcrel ATTRIBUTE_UNUSED = 0;
- int code ATTRIBUTE_UNUSED = 0;
- int section_alignment_glue;
- int scale;
- if (abfd == elf_hash_table (link_info)->dynobj
- && strcmp (sec->name, ".plt") == 0)
- return rl78_elf_relax_plt_section (abfd, sec, link_info, again);
- /* Assume nothing changes. */
- *again = false;
- /* We don't have to do anything for a relocatable link, if
- this section does not have relocs, or if this is not a
- code section. */
- if (bfd_link_relocatable (link_info)
- || (sec->flags & SEC_RELOC) == 0
- || sec->reloc_count == 0
- || (sec->flags & SEC_CODE) == 0)
- return true;
- symtab_hdr = & elf_symtab_hdr (abfd);
- if (elf_symtab_shndx_list (abfd))
- shndx_hdr = & elf_symtab_shndx_list (abfd)->hdr;
- else
- shndx_hdr = NULL;
- /* Get the section contents. */
- if (elf_section_data (sec)->this_hdr.contents != NULL)
- contents = elf_section_data (sec)->this_hdr.contents;
- /* Go get them off disk. */
- else
- {
- if (! bfd_malloc_and_get_section (abfd, sec, &contents))
- goto error_return;
- elf_section_data (sec)->this_hdr.contents = contents;
- }
- /* Read this BFD's symbols. */
- /* Get cached copy if it exists. */
- if (symtab_hdr->contents != NULL)
- intsyms = (Elf_Internal_Sym *) symtab_hdr->contents;
- else
- {
- intsyms = bfd_elf_get_elf_syms (abfd, symtab_hdr, symtab_hdr->sh_info, 0, NULL, NULL, NULL);
- symtab_hdr->contents = (bfd_byte *) intsyms;
- }
- if (shndx_hdr && shndx_hdr->sh_size != 0)
- {
- size_t amt;
- if (_bfd_mul_overflow (symtab_hdr->sh_info,
- sizeof (Elf_External_Sym_Shndx), &amt))
- {
- bfd_set_error (bfd_error_no_memory);
- goto error_return;
- }
- if (bfd_seek (abfd, shndx_hdr->sh_offset, SEEK_SET) != 0)
- goto error_return;
- shndx_buf = _bfd_malloc_and_read (abfd, amt, amt);
- if (shndx_buf == NULL)
- goto error_return;
- shndx_hdr->contents = shndx_buf;
- }
- /* Get a copy of the native relocations. */
- internal_relocs = (_bfd_elf_link_read_relocs
- (abfd, sec, NULL, (Elf_Internal_Rela *) NULL,
- link_info->keep_memory));
- if (internal_relocs == NULL)
- goto error_return;
- if (! link_info->keep_memory)
- free_relocs = internal_relocs;
- /* The RL_ relocs must be just before the operand relocs they go
- with, so we must sort them to guarantee this. We use bubblesort
- instead of qsort so we can guarantee that relocs with the same
- address remain in the same relative order. */
- reloc_bubblesort (internal_relocs, sec->reloc_count);
- /* Walk through them looking for relaxing opportunities. */
- irelend = internal_relocs + sec->reloc_count;
- /* This will either be NULL or a pointer to the next alignment
- relocation. */
- next_alignment = internal_relocs;
- /* We calculate worst case shrinkage caused by alignment directives.
- No fool-proof, but better than either ignoring the problem or
- doing heavy duty analysis of all the alignment markers in all
- input sections. */
- section_alignment_glue = 0;
- for (irel = internal_relocs; irel < irelend; irel++)
- if (ELF32_R_TYPE (irel->r_info) == R_RL78_RH_RELAX
- && irel->r_addend & RL78_RELAXA_ALIGN)
- {
- int this_glue = 1 << (irel->r_addend & RL78_RELAXA_ANUM);
- if (section_alignment_glue < this_glue)
- section_alignment_glue = this_glue;
- }
- /* Worst case is all 0..N alignments, in order, causing 2*N-1 byte
- shrinkage. */
- section_alignment_glue *= 2;
- for (irel = internal_relocs; irel < irelend; irel++)
- {
- unsigned char *insn;
- int nrelocs;
- /* The insns we care about are all marked with one of these. */
- if (ELF32_R_TYPE (irel->r_info) != R_RL78_RH_RELAX)
- continue;
- if (irel->r_addend & RL78_RELAXA_ALIGN
- || next_alignment == internal_relocs)
- {
- /* When we delete bytes, we need to maintain all the alignments
- indicated. In addition, we need to be careful about relaxing
- jumps across alignment boundaries - these displacements
- *grow* when we delete bytes. For now, don't shrink
- displacements across an alignment boundary, just in case.
- Note that this only affects relocations to the same
- section. */
- next_alignment += 2;
- while (next_alignment < irelend
- && (ELF32_R_TYPE (next_alignment->r_info) != R_RL78_RH_RELAX
- || !(next_alignment->r_addend & RL78_RELAXA_ELIGN)))
- next_alignment ++;
- if (next_alignment >= irelend || next_alignment->r_offset == 0)
- next_alignment = NULL;
- }
- /* When we hit alignment markers, see if we've shrunk enough
- before them to reduce the gap without violating the alignment
- requirements. */
- if (irel->r_addend & RL78_RELAXA_ALIGN)
- {
- /* At this point, the next relocation *should* be the ELIGN
- end marker. */
- Elf_Internal_Rela *erel = irel + 1;
- unsigned int alignment, nbytes;
- if (ELF32_R_TYPE (erel->r_info) != R_RL78_RH_RELAX)
- continue;
- if (!(erel->r_addend & RL78_RELAXA_ELIGN))
- continue;
- alignment = 1 << (irel->r_addend & RL78_RELAXA_ANUM);
- if (erel->r_offset - irel->r_offset < alignment)
- continue;
- nbytes = erel->r_offset - irel->r_offset;
- nbytes /= alignment;
- nbytes *= alignment;
- elf32_rl78_relax_delete_bytes (abfd, sec, erel->r_offset - nbytes, nbytes,
- next_alignment, erel->r_offset == sec->size);
- *again = true;
- continue;
- }
- if (irel->r_addend & RL78_RELAXA_ELIGN)
- continue;
- insn = contents + irel->r_offset;
- nrelocs = irel->r_addend & RL78_RELAXA_RNUM;
- /* At this point, we have an insn that is a candidate for linker
- relaxation. There are NRELOCS relocs following that may be
- relaxed, although each reloc may be made of more than one
- reloc entry (such as gp-rel symbols). */
- /* Get the value of the symbol referred to by the reloc. Just
- in case this is the last reloc in the list, use the RL's
- addend to choose between this reloc (no addend) or the next
- (yes addend, which means at least one following reloc). */
- /* srel points to the "current" reloction for this insn -
- actually the last reloc for a given operand, which is the one
- we need to update. We check the relaxations in the same
- order that the relocations happen, so we'll just push it
- along as we go. */
- srel = irel;
- pc = sec->output_section->vma + sec->output_offset
- + srel->r_offset;
- #define GET_RELOC \
- BFD_ASSERT (nrelocs > 0); \
- symval = OFFSET_FOR_RELOC (srel, &srel, &scale); \
- pcrel = symval - pc + srel->r_addend; \
- nrelocs --;
- #define SNIPNR(offset, nbytes) \
- elf32_rl78_relax_delete_bytes (abfd, sec, (insn - contents) + offset, nbytes, next_alignment, 0);
- #define SNIP(offset, nbytes, newtype) \
- SNIPNR (offset, nbytes); \
- srel->r_info = ELF32_R_INFO (ELF32_R_SYM (srel->r_info), newtype)
- /* The order of these bit tests must match the order that the
- relocs appear in. Since we sorted those by offset, we can
- predict them. */
- /*----------------------------------------------------------------------*/
- /* EF ad BR $rel8 pcrel
- ED al ah BR !abs16 abs
- EE al ah BR $!rel16 pcrel
- EC al ah as BR !!abs20 abs
- FD al ah CALL !abs16 abs
- FE al ah CALL $!rel16 pcrel
- FC al ah as CALL !!abs20 abs
- DC ad BC $rel8
- DE ad BNC $rel8
- DD ad BZ $rel8
- DF ad BNZ $rel8
- 61 C3 ad BH $rel8
- 61 D3 ad BNH $rel8
- 61 C8 EF ad SKC ; BR $rel8
- 61 D8 EF ad SKNC ; BR $rel8
- 61 E8 EF ad SKZ ; BR $rel8
- 61 F8 EF ad SKNZ ; BR $rel8
- 61 E3 EF ad SKH ; BR $rel8
- 61 F3 EF ad SKNH ; BR $rel8
- */
- if ((irel->r_addend & RL78_RELAXA_MASK) == RL78_RELAXA_BRA)
- {
- /* SKIP opcodes that skip non-branches will have a relax tag
- but no corresponding symbol to relax against; we just
- skip those. */
- if (irel->r_addend & RL78_RELAXA_RNUM)
- {
- GET_RELOC;
- }
- switch (insn[0])
- {
- case 0xdc: /* BC */
- case 0xdd: /* BZ */
- case 0xde: /* BNC */
- case 0xdf: /* BNZ */
- if (insn[1] == 0x03 && insn[2] == 0xee /* BR */
- && (srel->r_offset - irel->r_offset) > 1) /* a B<c> without its own reloc */
- {
- /* This is a "long" conditional as generated by gas:
- DC 03 EE ad.dr */
- if (pcrel < 127
- && pcrel > -127)
- {
- insn[0] ^= 0x02; /* invert conditional */
- SNIPNR (4, 1);
- SNIP (1, 2, R_RL78_DIR8S_PCREL);
- insn[1] = pcrel;
- *again = true;
- }
- }
- break;
- case 0xec: /* BR !!abs20 */
- if (pcrel < 127
- && pcrel > -127)
- {
- insn[0] = 0xef;
- insn[1] = pcrel;
- SNIP (2, 2, R_RL78_DIR8S_PCREL);
- *again = true;
- }
- else if (symval < 65536)
- {
- insn[0] = 0xed;
- insn[1] = symval & 0xff;
- insn[2] = symval >> 8;
- SNIP (2, 1, R_RL78_DIR16U);
- *again = true;
- }
- else if (pcrel < 32767
- && pcrel > -32767)
- {
- insn[0] = 0xee;
- insn[1] = pcrel & 0xff;
- insn[2] = pcrel >> 8;
- SNIP (2, 1, R_RL78_DIR16S_PCREL);
- *again = true;
- }
- break;
- case 0xee: /* BR $!pcrel16 */
- case 0xed: /* BR $!abs16 */
- if (pcrel < 127
- && pcrel > -127)
- {
- insn[0] = 0xef;
- insn[1] = pcrel;
- SNIP (2, 1, R_RL78_DIR8S_PCREL);
- *again = true;
- }
- break;
- case 0xfc: /* CALL !!abs20 */
- if (symval < 65536)
- {
- insn[0] = 0xfd;
- insn[1] = symval & 0xff;
- insn[2] = symval >> 8;
- SNIP (2, 1, R_RL78_DIR16U);
- *again = true;
- }
- else if (pcrel < 32767
- && pcrel > -32767)
- {
- insn[0] = 0xfe;
- insn[1] = pcrel & 0xff;
- insn[2] = pcrel >> 8;
- SNIP (2, 1, R_RL78_DIR16S_PCREL);
- *again = true;
- }
- break;
- case 0x61: /* PREFIX */
- /* For SKIP/BR, we change the BR opcode and delete the
- SKIP. That way, we don't have to find and change the
- relocation for the BR. */
- /* Note that, for the case where we're skipping some
- other insn, we have no "other" reloc but that's safe
- here anyway. */
- switch (insn[1])
- {
- case 0xd3: /* BNH */
- case 0xc3: /* BH */
- if (insn[2] == 0x03 && insn[3] == 0xee
- && (srel->r_offset - irel->r_offset) > 2) /* a B<c> without its own reloc */
- {
- /* Another long branch by gas:
- 61 D3 03 EE ad.dr */
- if (pcrel < 127
- && pcrel > -127)
- {
- insn[1] ^= 0x10; /* invert conditional */
- SNIPNR (5, 1);
- SNIP (2, 2, R_RL78_DIR8S_PCREL);
- insn[2] = pcrel;
- *again = true;
- }
- }
- break;
- case 0xc8: /* SKC */
- if (insn[2] == 0xef)
- {
- insn[2] = 0xde; /* BNC */
- SNIPNR (0, 2);
- }
- break;
- case 0xd8: /* SKNC */
- if (insn[2] == 0xef)
- {
- insn[2] = 0xdc; /* BC */
- SNIPNR (0, 2);
- }
- break;
- case 0xe8: /* SKZ */
- if (insn[2] == 0xef)
- {
- insn[2] = 0xdf; /* BNZ */
- SNIPNR (0, 2);
- }
- break;
- case 0xf8: /* SKNZ */
- if (insn[2] == 0xef)
- {
- insn[2] = 0xdd; /* BZ */
- SNIPNR (0, 2);
- }
- break;
- case 0xe3: /* SKH */
- if (insn[2] == 0xef)
- {
- insn[2] = 0xd3; /* BNH */
- SNIPNR (1, 1); /* we reuse the 0x61 prefix from the SKH */
- }
- break;
- case 0xf3: /* SKNH */
- if (insn[2] == 0xef)
- {
- insn[2] = 0xc3; /* BH */
- SNIPNR (1, 1); /* we reuse the 0x61 prefix from the SKH */
- }
- break;
- }
- break;
- }
- }
- if ((irel->r_addend & RL78_RELAXA_MASK) == RL78_RELAXA_ADDR16
- && nrelocs > 0)
- {
- /*----------------------------------------------------------------------*/
- /* Some insns have both a 16-bit address operand and an 8-bit
- variant if the address is within a special range:
- Address 16-bit operand SADDR range SFR range
- FFF00-FFFFF 0xff00-0xffff 0x00-0xff
- FFE20-FFF1F 0xfe20-0xff1f 0x00-0xff
- The RELAX_ADDR16[] array has the insn encodings for the
- 16-bit operand version, as well as the SFR and SADDR
- variants. We only need to replace the encodings and
- adjust the operand.
- Note: we intentionally do not attempt to decode and skip
- any ES: prefix, as adding ES: means the addr16 (likely)
- no longer points to saddr/sfr space.
- */
- int is_sfr;
- int is_saddr;
- int idx;
- int poff;
- GET_RELOC;
- if (0xffe20 <= symval && symval <= 0xfffff)
- {
- is_saddr = (0xffe20 <= symval && symval <= 0xfff1f);
- is_sfr = (0xfff00 <= symval && symval <= 0xfffff);
- for (idx = 0; relax_addr16[idx].insn != -1; idx ++)
- {
- if (relax_addr16[idx].prefix != -1
- && insn[0] == relax_addr16[idx].prefix
- && insn[1] == relax_addr16[idx].insn)
- {
- poff = 1;
- }
- else if (relax_addr16[idx].prefix == -1
- && insn[0] == relax_addr16[idx].insn)
- {
- poff = 0;
- }
- else
- continue;
- /* We have a matched insn, and poff is 0 or 1 depending
- on the base pattern size. */
- if (is_sfr && relax_addr16[idx].insn_for_sfr != -1)
- {
- insn[poff] = relax_addr16[idx].insn_for_sfr;
- SNIP (poff+2, 1, R_RL78_RH_SFR);
- }
- else if (is_saddr && relax_addr16[idx].insn_for_saddr != -1)
- {
- insn[poff] = relax_addr16[idx].insn_for_saddr;
- SNIP (poff+2, 1, R_RL78_RH_SADDR);
- }
- }
- }
- }
- /*----------------------------------------------------------------------*/
- }
- return true;
- error_return:
- free (free_relocs);
- free (free_contents);
- if (shndx_buf != NULL)
- {
- shndx_hdr->contents = NULL;
- free (shndx_buf);
- }
- free (free_intsyms);
- return true;
- }
- #define ELF_ARCH bfd_arch_rl78
- #define ELF_MACHINE_CODE EM_RL78
- #define ELF_MAXPAGESIZE 0x1000
- #define TARGET_LITTLE_SYM rl78_elf32_vec
- #define TARGET_LITTLE_NAME "elf32-rl78"
- #define elf_info_to_howto_rel NULL
- #define elf_info_to_howto rl78_info_to_howto_rela
- #define elf_backend_object_p rl78_elf_object_p
- #define elf_backend_relocate_section rl78_elf_relocate_section
- #define elf_symbol_leading_char ('_')
- #define elf_backend_can_gc_sections 1
- #define bfd_elf32_bfd_reloc_type_lookup rl78_reloc_type_lookup
- #define bfd_elf32_bfd_reloc_name_lookup rl78_reloc_name_lookup
- #define bfd_elf32_bfd_set_private_flags rl78_elf_set_private_flags
- #define bfd_elf32_bfd_merge_private_bfd_data rl78_elf_merge_private_bfd_data
- #define bfd_elf32_bfd_print_private_bfd_data rl78_elf_print_private_bfd_data
- #define bfd_elf32_bfd_relax_section rl78_elf_relax_section
- #define elf_backend_check_relocs rl78_elf_check_relocs
- #define elf_backend_always_size_sections \
- rl78_elf_always_size_sections
- #define elf_backend_finish_dynamic_sections \
- rl78_elf_finish_dynamic_sections
- #include "elf32-target.h"
|