1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826382738283829383038313832383338343835383638373838383938403841384238433844384538463847384838493850385138523853385438553856385738583859386038613862386338643865386638673868386938703871387238733874387538763877387838793880388138823883388438853886388738883889389038913892389338943895389638973898389939003901390239033904390539063907390839093910391139123913391439153916391739183919392039213922392339243925392639273928392939303931393239333934393539363937393839393940394139423943394439453946394739483949395039513952395339543955395639573958395939603961396239633964396539663967396839693970397139723973397439753976397739783979398039813982398339843985398639873988398939903991399239933994399539963997399839994000400140024003400440054006400740084009401040114012401340144015401640174018401940204021402240234024402540264027402840294030403140324033403440354036403740384039404040414042404340444045404640474048404940504051405240534054405540564057405840594060406140624063406440654066406740684069407040714072407340744075407640774078407940804081408240834084408540864087408840894090409140924093409440954096409740984099410041014102410341044105410641074108410941104111411241134114411541164117411841194120412141224123412441254126412741284129413041314132413341344135413641374138413941404141414241434144414541464147414841494150415141524153415441554156415741584159416041614162416341644165416641674168416941704171417241734174417541764177417841794180418141824183418441854186418741884189419041914192419341944195419641974198419942004201420242034204 |
- #define UNPACK_8_8_8(op,a,b,c) \
- do \
- { \
- a = (op >> 8) & 0xff; \
- b = (op >> 16) & 0xff; \
- c = op >> 24; \
- } \
- while (0)
- #define UNPACK_8_16(op,a,b) \
- do \
- { \
- a = (op >> 8) & 0xff; \
- b = op >> 16; \
- } \
- while (0)
- #define UNPACK_16_8(op,a,b) \
- do \
- { \
- a = (op >> 8) & 0xffff; \
- b = op >> 24; \
- } \
- while (0)
- #define UNPACK_12_12(op,a,b) \
- do \
- { \
- a = (op >> 8) & 0xfff; \
- b = op >> 20; \
- } \
- while (0)
- #define UNPACK_24(op,a) \
- do \
- { \
- a = op >> 8; \
- } \
- while (0)
- #ifdef __GNUC__
- # if defined __x86_64__
- # define JT_REG asm ("r12")
- # endif
- #endif
- #ifndef IP_REG
- # define IP_REG
- #endif
- #ifndef FP_REG
- # define FP_REG
- #endif
- #ifndef JT_REG
- # define JT_REG
- #endif
- #define VM_ASSERT(condition, handler) \
- do { \
- if (SCM_UNLIKELY (!(condition))) \
- { \
- SYNC_IP(); \
- handler; \
- } \
- } while (0)
- #ifdef VM_ENABLE_ASSERTIONS
- # define ASSERT(condition) VM_ASSERT (condition, abort())
- #else
- # define ASSERT(condition)
- #endif
- #if VM_USE_HOOKS
- #define RUN_HOOK(exp) \
- do { \
- if (SCM_UNLIKELY (vp->trace_level > 0)) \
- { \
- SYNC_IP (); \
- exp; \
- CACHE_SP (); \
- } \
- } while (0)
- #else
- #define RUN_HOOK(exp)
- #endif
- #define RUN_HOOK0(h) RUN_HOOK (vm_dispatch_##h##_hook (vp))
- #define RUN_HOOK1(h, arg) RUN_HOOK (vm_dispatch_##h##_hook (vp, arg))
- #define APPLY_HOOK() \
- RUN_HOOK0 (apply)
- #define PUSH_CONTINUATION_HOOK() \
- RUN_HOOK0 (push_continuation)
- #define POP_CONTINUATION_HOOK(old_fp) \
- RUN_HOOK1 (pop_continuation, old_fp)
- #define NEXT_HOOK() \
- RUN_HOOK0 (next)
- #define ABORT_CONTINUATION_HOOK() \
- RUN_HOOK0 (abort)
- #define SYNC_IP() vp->ip = (ip)
- #define CACHE_SP() sp = vp->sp
- #define CACHE_REGISTER() \
- do { \
- ip = vp->ip; \
- CACHE_SP (); \
- } while (0)
- #define ALLOC_FRAME(n) \
- do { \
- sp = vp->fp - (n); \
- if (sp < vp->sp_min_since_gc) \
- { \
- if (SCM_UNLIKELY (sp < vp->stack_limit)) \
- { \
- SYNC_IP (); \
- vm_expand_stack (vp, sp); \
- CACHE_SP (); \
- } \
- else \
- vp->sp_min_since_gc = vp->sp = sp; \
- } \
- else \
- vp->sp = sp; \
- } while (0)
- #define RESET_FRAME(n) \
- do { \
- vp->sp = sp = vp->fp - (n); \
- if (sp < vp->sp_min_since_gc) \
- vp->sp_min_since_gc = sp; \
- } while (0)
- #define FRAME_LOCALS_COUNT() (vp->fp - sp)
- #define FRAME_LOCALS_COUNT_FROM(slot) (FRAME_LOCALS_COUNT () - slot)
- #define RESTORE_FRAME() \
- do { \
- } while (0)
- #ifdef HAVE_LABELS_AS_VALUES
- # define BEGIN_DISPATCH_SWITCH
- # define END_DISPATCH_SWITCH
- # define NEXT(n) \
- do \
- { \
- ip += n; \
- NEXT_HOOK (); \
- op = *ip; \
- goto *jump_table[op & 0xff]; \
- } \
- while (0)
- # define VM_DEFINE_OP(opcode, tag, name, meta) \
- op_##tag:
- #else
- # define BEGIN_DISPATCH_SWITCH \
- vm_start: \
- NEXT_HOOK (); \
- op = *ip; \
- switch (op & 0xff) \
- {
- # define END_DISPATCH_SWITCH \
- }
- # define NEXT(n) \
- do \
- { \
- ip += n; \
- goto vm_start; \
- } \
- while (0)
- # define VM_DEFINE_OP(opcode, tag, name, meta) \
- op_##tag: \
- case opcode:
- #endif
- #define FP_SLOT(i) SCM_FRAME_SLOT (vp->fp, i)
- #define FP_REF(i) SCM_FRAME_LOCAL (vp->fp, i)
- #define FP_SET(i,o) SCM_FRAME_LOCAL (vp->fp, i) = o
- #define SP_REF_SLOT(i) (sp[i])
- #define SP_SET_SLOT(i,o) (sp[i] = o)
- #define SP_REF(i) (sp[i].as_scm)
- #define SP_SET(i,o) (sp[i].as_scm = o)
- #define SP_REF_F64(i) (sp[i].as_f64)
- #define SP_SET_F64(i,o) (sp[i].as_f64 = o)
- #define SP_REF_U64(i) (sp[i].as_u64)
- #define SP_SET_U64(i,o) (sp[i].as_u64 = o)
- #define SP_REF_S64(i) (sp[i].as_s64)
- #define SP_SET_S64(i,o) (sp[i].as_s64 = o)
- #define VARIABLE_REF(v) SCM_VARIABLE_REF (v)
- #define VARIABLE_SET(v,o) SCM_VARIABLE_SET (v, o)
- #define VARIABLE_BOUNDP(v) (!scm_is_eq (VARIABLE_REF (v), SCM_UNDEFINED))
- #define BR_NARGS(rel) \
- scm_t_uint32 expected; \
- UNPACK_24 (op, expected); \
- if (FRAME_LOCALS_COUNT() rel expected) \
- { \
- scm_t_int32 offset = ip[1]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (2)
- #define BR_UNARY(x, exp) \
- scm_t_uint32 test; \
- SCM x; \
- UNPACK_24 (op, test); \
- x = SP_REF (test); \
- if ((ip[1] & 0x1) ? !(exp) : (exp)) \
- { \
- scm_t_int32 offset = ip[1]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (2)
- #define BR_BINARY(x, y, exp) \
- scm_t_uint32 a, b; \
- SCM x, y; \
- UNPACK_24 (op, a); \
- UNPACK_24 (ip[1], b); \
- x = SP_REF (a); \
- y = SP_REF (b); \
- if ((ip[2] & 0x1) ? !(exp) : (exp)) \
- { \
- scm_t_int32 offset = ip[2]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (3)
- #define BR_ARITHMETIC(crel,srel) \
- { \
- scm_t_uint32 a, b; \
- SCM x, y; \
- UNPACK_24 (op, a); \
- UNPACK_24 (ip[1], b); \
- x = SP_REF (a); \
- y = SP_REF (b); \
- if (SCM_I_INUMP (x) && SCM_I_INUMP (y)) \
- { \
- scm_t_signed_bits x_bits = SCM_UNPACK (x); \
- scm_t_signed_bits y_bits = SCM_UNPACK (y); \
- if ((ip[2] & 0x1) ? !(x_bits crel y_bits) : (x_bits crel y_bits)) \
- { \
- scm_t_int32 offset = ip[2]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (3); \
- } \
- else \
- { \
- SCM res; \
- SYNC_IP (); \
- res = srel (x, y); \
- CACHE_SP (); \
- if ((ip[2] & 0x1) ? scm_is_false (res) : scm_is_true (res)) \
- { \
- scm_t_int32 offset = ip[2]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (3); \
- } \
- }
- #define BR_U64_ARITHMETIC(crel) \
- { \
- scm_t_uint32 a, b; \
- scm_t_uint64 x, y; \
- UNPACK_24 (op, a); \
- UNPACK_24 (ip[1], b); \
- x = SP_REF_U64 (a); \
- y = SP_REF_U64 (b); \
- if ((ip[2] & 0x1) ? !(x crel y) : (x crel y)) \
- { \
- scm_t_int32 offset = ip[2]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (3); \
- }
- #define BR_F64_ARITHMETIC(crel) \
- { \
- scm_t_uint32 a, b; \
- double x, y; \
- UNPACK_24 (op, a); \
- UNPACK_24 (ip[1], b); \
- x = SP_REF_F64 (a); \
- y = SP_REF_F64 (b); \
- if ((ip[2] & 0x1) ? !(x crel y) : (x crel y)) \
- { \
- scm_t_int32 offset = ip[2]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (3); \
- }
- #define ARGS1(a1) \
- scm_t_uint16 dst, src; \
- SCM a1; \
- UNPACK_12_12 (op, dst, src); \
- a1 = SP_REF (src)
- #define ARGS2(a1, a2) \
- scm_t_uint8 dst, src1, src2; \
- SCM a1, a2; \
- UNPACK_8_8_8 (op, dst, src1, src2); \
- a1 = SP_REF (src1); \
- a2 = SP_REF (src2)
- #define RETURN(x) \
- do { SP_SET (dst, x); NEXT (1); } while (0)
- #define RETURN_EXP(exp) \
- do { SCM __x; SYNC_IP (); __x = exp; CACHE_SP (); RETURN (__x); } while (0)
- #define INUM_MAX \
- ((scm_t_signed_bits) SCM_UNPACK (SCM_I_MAKINUM (SCM_MOST_POSITIVE_FIXNUM)))
- #define INUM_MIN \
- ((scm_t_signed_bits) SCM_UNPACK (SCM_I_MAKINUM (SCM_MOST_NEGATIVE_FIXNUM)))
- #define INUM_STEP \
- ((scm_t_signed_bits) SCM_UNPACK (SCM_INUM1) \
- - (scm_t_signed_bits) SCM_UNPACK (SCM_INUM0))
- #define BINARY_INTEGER_OP(CFUNC,SFUNC) \
- { \
- ARGS2 (x, y); \
- if (SCM_I_INUMP (x) && SCM_I_INUMP (y)) \
- { \
- scm_t_int64 n = SCM_I_INUM (x) CFUNC SCM_I_INUM (y); \
- if (SCM_FIXABLE (n)) \
- RETURN (SCM_I_MAKINUM (n)); \
- } \
- RETURN_EXP (SFUNC (x, y)); \
- }
- #define VM_VALIDATE(x, pred, proc, what) \
- VM_ASSERT (pred (x), vm_error_not_a_ ## what (proc, x))
- #define VM_VALIDATE_ATOMIC_BOX(x, proc) \
- VM_VALIDATE (x, scm_is_atomic_box, proc, atomic_box)
- #define VM_VALIDATE_BYTEVECTOR(x, proc) \
- VM_VALIDATE (x, SCM_BYTEVECTOR_P, proc, bytevector)
- #define VM_VALIDATE_MUTABLE_BYTEVECTOR(obj, proc) \
- VM_VALIDATE (obj, SCM_MUTABLE_BYTEVECTOR_P, proc, mutable_bytevector)
- #define VM_VALIDATE_CHAR(x, proc) \
- VM_VALIDATE (x, SCM_CHARP, proc, char)
- #define VM_VALIDATE_PAIR(x, proc) \
- VM_VALIDATE (x, scm_is_pair, proc, pair)
- #define VM_VALIDATE_MUTABLE_PAIR(x, proc) \
- VM_VALIDATE (x, scm_is_mutable_pair, proc, mutable_pair)
- #define VM_VALIDATE_STRING(obj, proc) \
- VM_VALIDATE (obj, scm_is_string, proc, string)
- #define VM_VALIDATE_STRUCT(obj, proc) \
- VM_VALIDATE (obj, SCM_STRUCTP, proc, struct)
- #define VM_VALIDATE_VARIABLE(obj, proc) \
- VM_VALIDATE (obj, SCM_VARIABLEP, proc, variable)
- #define VM_VALIDATE_VECTOR(obj, proc) \
- VM_VALIDATE (obj, SCM_I_IS_VECTOR, proc, vector)
- #define VM_VALIDATE_MUTABLE_VECTOR(obj, proc) \
- VM_VALIDATE (obj, SCM_I_IS_MUTABLE_VECTOR, proc, mutable_vector)
- #define VM_VALIDATE_INDEX(u64, size, proc) \
- VM_ASSERT (u64 < size, vm_error_out_of_range_uint64 (proc, u64))
- /* Return true (non-zero) if PTR has suitable alignment for TYPE. */
- #define ALIGNED_P(ptr, type) \
- ((scm_t_uintptr) (ptr) % alignof_type (type) == 0)
- static SCM
- VM_NAME (scm_i_thread *thread, struct scm_vm *vp,
- scm_i_jmp_buf *registers, int resume)
- {
- /* Instruction pointer: A pointer to the opcode that is currently
- running. */
- register scm_t_uint32 *ip IP_REG;
- /* Stack pointer: A pointer to the hot end of the stack, off of which
- we index arguments and local variables. Pushed at function calls,
- popped on returns. */
- register union scm_vm_stack_element *sp FP_REG;
- /* Current opcode: A cache of *ip. */
- register scm_t_uint32 op;
- #ifdef HAVE_LABELS_AS_VALUES
- static const void *jump_table_[256] = {
- #define LABEL_ADDR(opcode, tag, name, meta) &&op_##tag,
- FOR_EACH_VM_OPERATION(LABEL_ADDR)
- #undef LABEL_ADDR
- };
- register const void **jump_table JT_REG;
- /* Attempt to keep JUMP_TABLE_POINTER in a register. This saves one
- load instruction at each instruction dispatch. */
- jump_table = jump_table_;
- #endif
- /* Load VM registers. */
- CACHE_REGISTER ();
- /* Usually a call to the VM happens on application, with the boot
- continuation on the next frame. Sometimes it happens after a
- non-local exit however; in that case the VM state is all set up,
- and we have but to jump to the next opcode. */
- if (SCM_UNLIKELY (resume))
- NEXT (0);
- if (SCM_LIKELY (SCM_PROGRAM_P (FP_REF (0))))
- ip = SCM_PROGRAM_CODE (FP_REF (0));
- else
- ip = (scm_t_uint32 *) vm_apply_non_program_code;
- APPLY_HOOK ();
- NEXT (0);
- BEGIN_DISPATCH_SWITCH;
-
-
- /*
- * Call and return
- */
- /* halt _:24
- *
- * Bring the VM to a halt, returning all the values from the stack.
- */
- VM_DEFINE_OP (0, halt, "halt", OP1 (X32))
- {
- /* Boot closure in r0, empty frame in r1/r2, proc in r3, values from r4. */
- scm_t_uint32 nvals = FRAME_LOCALS_COUNT_FROM (4);
- SCM ret;
- if (nvals == 1)
- ret = FP_REF (4);
- else
- {
- scm_t_uint32 n;
- ret = SCM_EOL;
- SYNC_IP ();
- for (n = nvals; n > 0; n--)
- ret = scm_inline_cons (thread, FP_REF (4 + n - 1), ret);
- ret = scm_values (ret);
- }
- vp->ip = SCM_FRAME_RETURN_ADDRESS (vp->fp);
- vp->sp = SCM_FRAME_PREVIOUS_SP (vp->fp);
- vp->fp = SCM_FRAME_DYNAMIC_LINK (vp->fp);
- return ret;
- }
-
- VM_DEFINE_OP (1, call, "call", OP2 (X8_F24, X8_C24))
- {
- scm_t_uint32 proc, nlocals;
- union scm_vm_stack_element *old_fp, *new_fp;
- UNPACK_24 (op, proc);
- UNPACK_24 (ip[1], nlocals);
- PUSH_CONTINUATION_HOOK ();
- old_fp = vp->fp;
- new_fp = SCM_FRAME_SLOT (old_fp, proc - 1);
- SCM_FRAME_SET_DYNAMIC_LINK (new_fp, old_fp);
- SCM_FRAME_SET_RETURN_ADDRESS (new_fp, ip + 2);
- vp->fp = new_fp;
- RESET_FRAME (nlocals);
- if (SCM_LIKELY (SCM_PROGRAM_P (FP_REF (0))))
- ip = SCM_PROGRAM_CODE (FP_REF (0));
- else
- ip = (scm_t_uint32 *) vm_apply_non_program_code;
- APPLY_HOOK ();
- NEXT (0);
- }
-
- VM_DEFINE_OP (2, call_label, "call-label", OP3 (X8_F24, X8_C24, L32))
- {
- scm_t_uint32 proc, nlocals;
- scm_t_int32 label;
- union scm_vm_stack_element *old_fp, *new_fp;
- UNPACK_24 (op, proc);
- UNPACK_24 (ip[1], nlocals);
- label = ip[2];
- PUSH_CONTINUATION_HOOK ();
- old_fp = vp->fp;
- new_fp = SCM_FRAME_SLOT (old_fp, proc - 1);
- SCM_FRAME_SET_DYNAMIC_LINK (new_fp, old_fp);
- SCM_FRAME_SET_RETURN_ADDRESS (new_fp, ip + 3);
- vp->fp = new_fp;
- RESET_FRAME (nlocals);
- ip += label;
- APPLY_HOOK ();
- NEXT (0);
- }
-
- VM_DEFINE_OP (3, tail_call, "tail-call", OP1 (X8_C24))
- {
- scm_t_uint32 nlocals;
-
- UNPACK_24 (op, nlocals);
- RESET_FRAME (nlocals);
- if (SCM_LIKELY (SCM_PROGRAM_P (FP_REF (0))))
- ip = SCM_PROGRAM_CODE (FP_REF (0));
- else
- ip = (scm_t_uint32 *) vm_apply_non_program_code;
- APPLY_HOOK ();
- NEXT (0);
- }
-
- VM_DEFINE_OP (4, tail_call_label, "tail-call-label", OP2 (X8_C24, L32))
- {
- scm_t_uint32 nlocals;
- scm_t_int32 label;
-
- UNPACK_24 (op, nlocals);
- label = ip[1];
- RESET_FRAME (nlocals);
- ip += label;
- APPLY_HOOK ();
- NEXT (0);
- }
-
- VM_DEFINE_OP (5, tail_call_shuffle, "tail-call/shuffle", OP1 (X8_F24))
- {
- scm_t_uint32 n, from, nlocals;
- UNPACK_24 (op, from);
- VM_ASSERT (from > 0, abort ());
- nlocals = FRAME_LOCALS_COUNT ();
- for (n = 0; from + n < nlocals; n++)
- FP_SET (n + 1, FP_REF (from + n));
- RESET_FRAME (n + 1);
- if (SCM_LIKELY (SCM_PROGRAM_P (FP_REF (0))))
- ip = SCM_PROGRAM_CODE (FP_REF (0));
- else
- ip = (scm_t_uint32 *) vm_apply_non_program_code;
- APPLY_HOOK ();
- NEXT (0);
- }
-
- VM_DEFINE_OP (6, receive, "receive", OP2 (X8_F12_F12, X8_C24) | OP_DST)
- {
- scm_t_uint16 dst, proc;
- scm_t_uint32 nlocals;
- UNPACK_12_12 (op, dst, proc);
- UNPACK_24 (ip[1], nlocals);
- VM_ASSERT (FRAME_LOCALS_COUNT () > proc + 1, vm_error_no_values ());
- FP_SET (dst, FP_REF (proc + 1));
- RESET_FRAME (nlocals);
- NEXT (2);
- }
-
- VM_DEFINE_OP (7, receive_values, "receive-values", OP2 (X8_F24, B1_X7_C24))
- {
- scm_t_uint32 proc, nvalues;
- UNPACK_24 (op, proc);
- UNPACK_24 (ip[1], nvalues);
- if (ip[1] & 0x1)
- VM_ASSERT (FRAME_LOCALS_COUNT () > proc + nvalues,
- vm_error_not_enough_values ());
- else
- VM_ASSERT (FRAME_LOCALS_COUNT () == proc + 1 + nvalues,
- vm_error_wrong_number_of_values (nvalues));
- NEXT (2);
- }
- VM_DEFINE_OP (8, unused_8, NULL, NOP)
- {
- vm_error_bad_instruction (op);
- abort ();
- }
-
- VM_DEFINE_OP (9, return_values, "return-values", OP1 (X8_C24))
- {
- union scm_vm_stack_element *old_fp;
- scm_t_uint32 nlocals;
- UNPACK_24 (op, nlocals);
- if (nlocals)
- RESET_FRAME (nlocals);
- old_fp = vp->fp;
- ip = SCM_FRAME_RETURN_ADDRESS (vp->fp);
- vp->fp = SCM_FRAME_DYNAMIC_LINK (vp->fp);
-
- old_fp[0].as_scm = SCM_BOOL_F;
- old_fp[1].as_scm = SCM_BOOL_F;
- POP_CONTINUATION_HOOK (old_fp);
- NEXT (0);
- }
-
-
-
- VM_DEFINE_OP (10, subr_call, "subr-call", OP1 (X32))
- {
- SCM ret;
- SYNC_IP ();
- ret = scm_apply_subr (sp, FRAME_LOCALS_COUNT ());
- CACHE_SP ();
- if (SCM_UNLIKELY (SCM_VALUESP (ret)))
- {
- SCM vals = scm_struct_ref (ret, SCM_INUM0);
- long len = scm_ilength (vals);
- ALLOC_FRAME (1 + len);
- while (len--)
- {
- SP_SET (len, SCM_CAR (vals));
- vals = SCM_CDR (vals);
- }
- NEXT (1);
- }
- else
- {
- ALLOC_FRAME (2);
- SP_SET (0, ret);
- NEXT (1);
- }
- }
-
- VM_DEFINE_OP (11, foreign_call, "foreign-call", OP1 (X8_C12_C12))
- {
- scm_t_uint16 cif_idx, ptr_idx;
- int err = 0;
- SCM closure, cif, pointer, ret;
- UNPACK_12_12 (op, cif_idx, ptr_idx);
- closure = FP_REF (0);
- cif = SCM_PROGRAM_FREE_VARIABLE_REF (closure, cif_idx);
- pointer = SCM_PROGRAM_FREE_VARIABLE_REF (closure, ptr_idx);
- SYNC_IP ();
- ret = scm_i_foreign_call (cif, pointer, &err, sp);
- CACHE_SP ();
- ALLOC_FRAME (3);
- SP_SET (1, ret);
- SP_SET (0, scm_from_int (err));
- NEXT (1);
- }
-
- VM_DEFINE_OP (12, continuation_call, "continuation-call", OP1 (X8_C24))
- {
- SCM contregs;
- scm_t_uint32 contregs_idx;
- UNPACK_24 (op, contregs_idx);
- contregs =
- SCM_PROGRAM_FREE_VARIABLE_REF (FP_REF (0), contregs_idx);
- SYNC_IP ();
- scm_i_check_continuation (contregs);
- vm_return_to_continuation (scm_i_contregs_vp (contregs),
- scm_i_contregs_vm_cont (contregs),
- FRAME_LOCALS_COUNT_FROM (1),
- sp);
- scm_i_reinstate_continuation (contregs);
-
- abort ();
- }
-
- VM_DEFINE_OP (13, compose_continuation, "compose-continuation", OP1 (X8_C24))
- {
- SCM vmcont;
- scm_t_uint32 cont_idx;
- UNPACK_24 (op, cont_idx);
- vmcont = SCM_PROGRAM_FREE_VARIABLE_REF (FP_REF (0), cont_idx);
- SYNC_IP ();
- VM_ASSERT (SCM_VM_CONT_REWINDABLE_P (vmcont),
- vm_error_continuation_not_rewindable (vmcont));
- vm_reinstate_partial_continuation (vp, vmcont, FRAME_LOCALS_COUNT_FROM (1),
- &thread->dynstack, registers);
- CACHE_REGISTER ();
- NEXT (0);
- }
-
- VM_DEFINE_OP (14, tail_apply, "tail-apply", OP1 (X32))
- {
- int i, list_idx, list_len, nlocals;
- SCM list;
- nlocals = FRAME_LOCALS_COUNT ();
-
- VM_ASSERT (nlocals >= 3, abort ());
- list_idx = nlocals - 1;
- list = FP_REF (list_idx);
- list_len = scm_ilength (list);
- VM_ASSERT (list_len >= 0, vm_error_apply_to_non_list (list));
- nlocals = nlocals - 2 + list_len;
- ALLOC_FRAME (nlocals);
- for (i = 1; i < list_idx; i++)
- FP_SET (i - 1, FP_REF (i));
-
- FP_SET (list_idx - 1, SCM_UNDEFINED);
- FP_SET (list_idx, SCM_UNDEFINED);
- for (i = 0; i < list_len; i++, list = SCM_CDR (list))
- FP_SET (list_idx - 1 + i, SCM_CAR (list));
- if (SCM_LIKELY (SCM_PROGRAM_P (FP_REF (0))))
- ip = SCM_PROGRAM_CODE (FP_REF (0));
- else
- ip = (scm_t_uint32 *) vm_apply_non_program_code;
- APPLY_HOOK ();
- NEXT (0);
- }
-
- VM_DEFINE_OP (15, call_cc, "call/cc", OP1 (X32))
- {
- SCM vm_cont, cont;
- scm_t_dynstack *dynstack;
- int first;
- SYNC_IP ();
- dynstack = scm_dynstack_capture_all (&thread->dynstack);
- vm_cont = scm_i_vm_capture_stack (vp->stack_top,
- SCM_FRAME_DYNAMIC_LINK (vp->fp),
- SCM_FRAME_PREVIOUS_SP (vp->fp),
- SCM_FRAME_RETURN_ADDRESS (vp->fp),
- dynstack,
- 0);
-
- cont = scm_i_make_continuation (&first, vp, vm_cont);
- if (first)
- {
- RESET_FRAME (2);
- SP_SET (1, SP_REF (0));
- SP_SET (0, cont);
- if (SCM_LIKELY (SCM_PROGRAM_P (SP_REF (1))))
- ip = SCM_PROGRAM_CODE (SP_REF (1));
- else
- ip = (scm_t_uint32 *) vm_apply_non_program_code;
- APPLY_HOOK ();
- NEXT (0);
- }
- else
- {
- CACHE_REGISTER ();
- ABORT_CONTINUATION_HOOK ();
- NEXT (0);
- }
- }
-
- VM_DEFINE_OP (16, abort, "abort", OP1 (X32))
- {
- scm_t_uint32 nlocals = FRAME_LOCALS_COUNT ();
- ASSERT (nlocals >= 2);
-
- ip++;
- SYNC_IP ();
- vm_abort (vp, FP_REF (1), nlocals - 2, registers);
-
- abort ();
- }
-
- VM_DEFINE_OP (17, builtin_ref, "builtin-ref", OP1 (X8_S12_C12) | OP_DST)
- {
- scm_t_uint16 dst, idx;
- UNPACK_12_12 (op, dst, idx);
- SP_SET (dst, scm_vm_builtin_ref (idx));
- NEXT (1);
- }
-
-
-
- VM_DEFINE_OP (18, br_if_nargs_ne, "br-if-nargs-ne", OP2 (X8_C24, X8_L24))
- {
- BR_NARGS (!=);
- }
- VM_DEFINE_OP (19, br_if_nargs_lt, "br-if-nargs-lt", OP2 (X8_C24, X8_L24))
- {
- BR_NARGS (<);
- }
- VM_DEFINE_OP (20, br_if_nargs_gt, "br-if-nargs-gt", OP2 (X8_C24, X8_L24))
- {
- BR_NARGS (>);
- }
-
- VM_DEFINE_OP (21, assert_nargs_ee, "assert-nargs-ee", OP1 (X8_C24))
- {
- scm_t_uint32 expected;
- UNPACK_24 (op, expected);
- VM_ASSERT (FRAME_LOCALS_COUNT () == expected,
- vm_error_wrong_num_args (FP_REF (0)));
- NEXT (1);
- }
- VM_DEFINE_OP (22, assert_nargs_ge, "assert-nargs-ge", OP1 (X8_C24))
- {
- scm_t_uint32 expected;
- UNPACK_24 (op, expected);
- VM_ASSERT (FRAME_LOCALS_COUNT () >= expected,
- vm_error_wrong_num_args (FP_REF (0)));
- NEXT (1);
- }
- VM_DEFINE_OP (23, assert_nargs_le, "assert-nargs-le", OP1 (X8_C24))
- {
- scm_t_uint32 expected;
- UNPACK_24 (op, expected);
- VM_ASSERT (FRAME_LOCALS_COUNT () <= expected,
- vm_error_wrong_num_args (FP_REF (0)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (24, alloc_frame, "alloc-frame", OP1 (X8_C24))
- {
- scm_t_uint32 nlocals, nargs;
- UNPACK_24 (op, nlocals);
- nargs = FRAME_LOCALS_COUNT ();
- ALLOC_FRAME (nlocals);
- while (nlocals-- > nargs)
- FP_SET (nlocals, SCM_UNDEFINED);
- NEXT (1);
- }
-
- VM_DEFINE_OP (25, reset_frame, "reset-frame", OP1 (X8_C24))
- {
- scm_t_uint32 nlocals;
- UNPACK_24 (op, nlocals);
- RESET_FRAME (nlocals);
- NEXT (1);
- }
-
- VM_DEFINE_OP (26, push, "push", OP1 (X8_S24))
- {
- scm_t_uint32 src;
- union scm_vm_stack_element val;
-
- UNPACK_24 (op, src);
- val = SP_REF_SLOT (src);
- ALLOC_FRAME (FRAME_LOCALS_COUNT () + 1);
- SP_SET_SLOT (0, val);
- NEXT (1);
- }
-
- VM_DEFINE_OP (27, pop, "pop", OP1 (X8_S24) | OP_DST)
- {
- scm_t_uint32 dst;
- union scm_vm_stack_element val;
-
- UNPACK_24 (op, dst);
- val = SP_REF_SLOT (0);
- vp->sp = sp = sp + 1;
- SP_SET_SLOT (dst, val);
- NEXT (1);
- }
-
- VM_DEFINE_OP (28, drop, "drop", OP1 (X8_C24))
- {
- scm_t_uint32 count;
- UNPACK_24 (op, count);
- vp->sp = sp = sp + count;
- NEXT (1);
- }
-
- VM_DEFINE_OP (29, assert_nargs_ee_locals, "assert-nargs-ee/locals", OP1 (X8_C12_C12))
- {
- scm_t_uint16 expected, nlocals;
- UNPACK_12_12 (op, expected, nlocals);
- VM_ASSERT (FRAME_LOCALS_COUNT () == expected,
- vm_error_wrong_num_args (FP_REF (0)));
- ALLOC_FRAME (expected + nlocals);
- while (nlocals--)
- SP_SET (nlocals, SCM_UNDEFINED);
- NEXT (1);
- }
-
- VM_DEFINE_OP (30, br_if_npos_gt, "br-if-npos-gt", OP3 (X8_C24, X8_C24, X8_L24))
- {
- scm_t_uint32 nreq, npos;
- UNPACK_24 (op, nreq);
- UNPACK_24 (ip[1], npos);
-
- if (FRAME_LOCALS_COUNT() > npos)
- {
- scm_t_uint32 n;
- for (n = nreq; n < npos; n++)
- if (scm_is_keyword (FP_REF (n)))
- break;
- if (n == npos && !scm_is_keyword (FP_REF (n)))
- {
- scm_t_int32 offset = ip[2];
- offset >>= 8;
- NEXT (offset);
- }
- }
- NEXT (3);
- }
-
- VM_DEFINE_OP (31, bind_kwargs, "bind-kwargs", OP4 (X8_C24, C8_C24, X8_C24, N32))
- {
- scm_t_uint32 nreq, nreq_and_opt, ntotal, npositional, nkw, n, nargs;
- scm_t_int32 kw_offset;
- scm_t_bits kw_bits;
- SCM kw;
- char allow_other_keys, has_rest;
- UNPACK_24 (op, nreq);
- allow_other_keys = ip[1] & 0x1;
- has_rest = ip[1] & 0x2;
- UNPACK_24 (ip[1], nreq_and_opt);
- UNPACK_24 (ip[2], ntotal);
- kw_offset = ip[3];
- kw_bits = (scm_t_bits) (ip + kw_offset);
- VM_ASSERT (!(kw_bits & 0x7), abort());
- kw = SCM_PACK (kw_bits);
- nargs = FRAME_LOCALS_COUNT ();
-
-
- npositional = nreq;
- while (
- npositional < nargs
-
- && npositional < nreq_and_opt
-
- && !scm_is_keyword (FP_REF (npositional)))
-
- npositional++;
- nkw = nargs - npositional;
-
- ALLOC_FRAME (ntotal + nkw);
- n = nkw;
- while (n--)
- FP_SET (ntotal + n, FP_REF (npositional + n));
-
- n = npositional;
- while (n < ntotal)
- FP_SET (n++, SCM_UNDEFINED);
-
- for (n = 0; n < nkw; n++)
- if (scm_is_keyword (FP_REF (ntotal + n)))
- {
- SCM walk;
- for (walk = kw; scm_is_pair (walk); walk = SCM_CDR (walk))
- if (scm_is_eq (SCM_CAAR (walk), FP_REF (ntotal + n)))
- {
- SCM si = SCM_CDAR (walk);
- if (n + 1 < nkw)
- {
- FP_SET (SCM_I_INUMP (si) ? SCM_I_INUM (si) : scm_to_uint32 (si),
- FP_REF (ntotal + n + 1));
- }
- else
- vm_error_kwargs_missing_value (FP_REF (0),
- FP_REF (ntotal + n));
- break;
- }
- VM_ASSERT (scm_is_pair (walk) || allow_other_keys,
- vm_error_kwargs_unrecognized_keyword (FP_REF (0),
- FP_REF (ntotal + n)));
- n++;
- }
- else
- VM_ASSERT (has_rest, vm_error_kwargs_invalid_keyword (FP_REF (0),
- FP_REF (ntotal + n)));
- if (has_rest)
- {
- SCM rest = SCM_EOL;
- n = nkw;
- SYNC_IP ();
- while (n--)
- rest = scm_inline_cons (thread, FP_REF (ntotal + n), rest);
- FP_SET (nreq_and_opt, rest);
- }
- RESET_FRAME (ntotal);
- NEXT (4);
- }
-
- VM_DEFINE_OP (32, bind_rest, "bind-rest", OP1 (X8_F24) | OP_DST)
- {
- scm_t_uint32 dst, nargs;
- SCM rest = SCM_EOL;
- UNPACK_24 (op, dst);
- nargs = FRAME_LOCALS_COUNT ();
- if (nargs <= dst)
- {
- ALLOC_FRAME (dst + 1);
- while (nargs < dst)
- FP_SET (nargs++, SCM_UNDEFINED);
- }
- else
- {
- SYNC_IP ();
- while (nargs-- > dst)
- {
- rest = scm_inline_cons (thread, FP_REF (nargs), rest);
- FP_SET (nargs, SCM_UNDEFINED);
- }
- RESET_FRAME (dst + 1);
- }
- FP_SET (dst, rest);
- NEXT (1);
- }
-
-
-
- VM_DEFINE_OP (33, br, "br", OP1 (X8_L24))
- {
- scm_t_int32 offset = op;
- offset >>= 8;
- NEXT (offset);
- }
-
- VM_DEFINE_OP (34, br_if_true, "br-if-true", OP2 (X8_S24, B1_X7_L24))
- {
- BR_UNARY (x, scm_is_true (x));
- }
-
- VM_DEFINE_OP (35, br_if_null, "br-if-null", OP2 (X8_S24, B1_X7_L24))
- {
- BR_UNARY (x, scm_is_null (x));
- }
-
- VM_DEFINE_OP (36, br_if_nil, "br-if-nil", OP2 (X8_S24, B1_X7_L24))
- {
- BR_UNARY (x, scm_is_lisp_false (x));
- }
-
- VM_DEFINE_OP (37, br_if_pair, "br-if-pair", OP2 (X8_S24, B1_X7_L24))
- {
- BR_UNARY (x, scm_is_pair (x));
- }
-
- VM_DEFINE_OP (38, br_if_struct, "br-if-struct", OP2 (X8_S24, B1_X7_L24))
- {
- BR_UNARY (x, SCM_STRUCTP (x));
- }
-
- VM_DEFINE_OP (39, br_if_char, "br-if-char", OP2 (X8_S24, B1_X7_L24))
- {
- BR_UNARY (x, SCM_CHARP (x));
- }
-
- VM_DEFINE_OP (40, br_if_tc7, "br-if-tc7", OP2 (X8_S24, B1_C7_L24))
- {
- BR_UNARY (x, SCM_HAS_TYP7 (x, (ip[1] >> 1) & 0x7f));
- }
-
- VM_DEFINE_OP (41, br_if_eq, "br-if-eq", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_BINARY (x, y, scm_is_eq (x, y));
- }
-
- VM_DEFINE_OP (42, br_if_eqv, "br-if-eqv", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_BINARY (x, y,
- scm_is_eq (x, y)
- || (SCM_NIMP (x) && SCM_NIMP (y)
- && scm_is_true (scm_eqv_p (x, y))));
- }
- VM_DEFINE_OP (43, unused_43, NULL, NOP)
- {
- abort ();
- }
-
- VM_DEFINE_OP (44, br_if_logtest, "br-if-logtest", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- SYNC_IP ();
- {
- BR_BINARY (x, y,
- ((SCM_I_INUMP (x) && SCM_I_INUMP (y))
- ? (SCM_UNPACK (x) & SCM_UNPACK (y) & ~scm_tc2_int)
- : scm_is_true (scm_logtest (x, y))));
- }
- }
-
- VM_DEFINE_OP (45, br_if_ee, "br-if-=", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_ARITHMETIC (==, scm_num_eq_p);
- }
-
- VM_DEFINE_OP (46, br_if_lt, "br-if-<", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_ARITHMETIC (<, scm_less_p);
- }
-
- VM_DEFINE_OP (47, br_if_le, "br-if-<=", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_ARITHMETIC (<=, scm_leq_p);
- }
-
-
-
- VM_DEFINE_OP (48, mov, "mov", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst;
- scm_t_uint16 src;
- UNPACK_12_12 (op, dst, src);
-
- SP_SET_SLOT (dst, SP_REF_SLOT (src));
- NEXT (1);
- }
-
- VM_DEFINE_OP (49, long_mov, "long-mov", OP2 (X8_S24, X8_S24) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_uint32 src;
- UNPACK_24 (op, dst);
- UNPACK_24 (ip[1], src);
-
- SP_SET_SLOT (dst, SP_REF_SLOT (src));
- NEXT (2);
- }
-
- VM_DEFINE_OP (50, long_fmov, "long-fmov", OP2 (X8_F24, X8_F24) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_uint32 src;
- UNPACK_24 (op, dst);
- UNPACK_24 (ip[1], src);
- FP_SET (dst, FP_REF (src));
- NEXT (2);
- }
-
- VM_DEFINE_OP (51, box, "box", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET (dst, scm_inline_cell (thread, scm_tc7_variable,
- SCM_UNPACK (SP_REF (src))));
- NEXT (1);
- }
-
- VM_DEFINE_OP (52, box_ref, "box-ref", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- SCM var;
- UNPACK_12_12 (op, dst, src);
- var = SP_REF (src);
- VM_VALIDATE_VARIABLE (var, "variable-ref");
- VM_ASSERT (VARIABLE_BOUNDP (var), vm_error_unbound (var));
- SP_SET (dst, VARIABLE_REF (var));
- NEXT (1);
- }
-
- VM_DEFINE_OP (53, box_set, "box-set!", OP1 (X8_S12_S12))
- {
- scm_t_uint16 dst, src;
- SCM var;
- UNPACK_12_12 (op, dst, src);
- var = SP_REF (dst);
- VM_VALIDATE_VARIABLE (var, "variable-set!");
- VARIABLE_SET (var, SP_REF (src));
- NEXT (1);
- }
-
- VM_DEFINE_OP (54, make_closure, "make-closure", OP3 (X8_S24, L32, X8_C24) | OP_DST)
- {
- scm_t_uint32 dst, nfree, n;
- scm_t_int32 offset;
- SCM closure;
- UNPACK_24 (op, dst);
- offset = ip[1];
- UNPACK_24 (ip[2], nfree);
-
- SYNC_IP ();
- closure = scm_inline_words (thread, scm_tc7_program | (nfree << 16),
- nfree + 2);
- SCM_SET_CELL_WORD_1 (closure, ip + offset);
-
- for (n = 0; n < nfree; n++)
- SCM_PROGRAM_FREE_VARIABLE_SET (closure, n, SCM_BOOL_F);
- SP_SET (dst, closure);
- NEXT (3);
- }
-
- VM_DEFINE_OP (55, free_ref, "free-ref", OP2 (X8_S12_S12, X8_C24) | OP_DST)
- {
- scm_t_uint16 dst, src;
- scm_t_uint32 idx;
- UNPACK_12_12 (op, dst, src);
- UNPACK_24 (ip[1], idx);
-
- SP_SET (dst, SCM_PROGRAM_FREE_VARIABLE_REF (SP_REF (src), idx));
- NEXT (2);
- }
-
- VM_DEFINE_OP (56, free_set, "free-set!", OP2 (X8_S12_S12, X8_C24))
- {
- scm_t_uint16 dst, src;
- scm_t_uint32 idx;
- UNPACK_12_12 (op, dst, src);
- UNPACK_24 (ip[1], idx);
-
- SCM_PROGRAM_FREE_VARIABLE_SET (SP_REF (dst), idx, SP_REF (src));
- NEXT (2);
- }
-
-
-
- VM_DEFINE_OP (57, make_short_immediate, "make-short-immediate", OP1 (X8_S8_I16) | OP_DST)
- {
- scm_t_uint8 dst;
- scm_t_bits val;
- UNPACK_8_16 (op, dst, val);
- SP_SET (dst, SCM_PACK (val));
- NEXT (1);
- }
-
- VM_DEFINE_OP (58, make_long_immediate, "make-long-immediate", OP2 (X8_S24, I32) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_bits val;
- UNPACK_24 (op, dst);
- val = ip[1];
- SP_SET (dst, SCM_PACK (val));
- NEXT (2);
- }
-
- VM_DEFINE_OP (59, make_long_long_immediate, "make-long-long-immediate", OP3 (X8_S24, A32, B32) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_bits val;
- UNPACK_24 (op, dst);
- #if SIZEOF_SCM_T_BITS > 4
- val = ip[1];
- val <<= 32;
- val |= ip[2];
- #else
- ASSERT (ip[1] == 0);
- val = ip[2];
- #endif
- SP_SET (dst, SCM_PACK (val));
- NEXT (3);
- }
-
- VM_DEFINE_OP (60, make_non_immediate, "make-non-immediate", OP2 (X8_S24, N32) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_int32 offset;
- scm_t_uint32* loc;
- scm_t_bits unpacked;
- UNPACK_24 (op, dst);
- offset = ip[1];
- loc = ip + offset;
- unpacked = (scm_t_bits) loc;
- VM_ASSERT (!(unpacked & 0x7), abort());
- SP_SET (dst, SCM_PACK (unpacked));
- NEXT (2);
- }
-
- VM_DEFINE_OP (61, static_ref, "static-ref", OP2 (X8_S24, R32) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_int32 offset;
- scm_t_uint32* loc;
- scm_t_uintptr loc_bits;
- UNPACK_24 (op, dst);
- offset = ip[1];
- loc = ip + offset;
- loc_bits = (scm_t_uintptr) loc;
- VM_ASSERT (ALIGNED_P (loc, SCM), abort());
- SP_SET (dst, *((SCM *) loc_bits));
- NEXT (2);
- }
-
- VM_DEFINE_OP (62, static_set, "static-set!", OP2 (X8_S24, LO32))
- {
- scm_t_uint32 src;
- scm_t_int32 offset;
- scm_t_uint32* loc;
- UNPACK_24 (op, src);
- offset = ip[1];
- loc = ip + offset;
- VM_ASSERT (ALIGNED_P (loc, SCM), abort());
- *((SCM *) loc) = SP_REF (src);
- NEXT (2);
- }
-
- VM_DEFINE_OP (63, static_patch, "static-patch!", OP3 (X32, LO32, L32))
- {
- scm_t_int32 dst_offset, src_offset;
- void *src;
- void** dst_loc;
- dst_offset = ip[1];
- src_offset = ip[2];
- dst_loc = (void **) (ip + dst_offset);
- src = ip + src_offset;
- VM_ASSERT (ALIGNED_P (dst_loc, void*), abort());
- *dst_loc = src;
- NEXT (3);
- }
-
-
-
-
- VM_DEFINE_OP (64, current_module, "current-module", OP1 (X8_S24) | OP_DST)
- {
- scm_t_uint32 dst;
- UNPACK_24 (op, dst);
- SYNC_IP ();
- SP_SET (dst, scm_current_module ());
- NEXT (1);
- }
-
- VM_DEFINE_OP (65, resolve, "resolve", OP2 (X8_S24, B1_X7_S24) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_uint32 sym;
- SCM var;
- UNPACK_24 (op, dst);
- UNPACK_24 (ip[1], sym);
- SYNC_IP ();
- var = scm_lookup (SP_REF (sym));
- CACHE_SP ();
- if (ip[1] & 0x1)
- VM_ASSERT (VARIABLE_BOUNDP (var), vm_error_unbound (SP_REF (sym)));
- SP_SET (dst, var);
- NEXT (2);
- }
-
- VM_DEFINE_OP (66, define, "define!", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, sym;
- SCM var;
- UNPACK_12_12 (op, dst, sym);
- SYNC_IP ();
- var = scm_module_ensure_local_variable (scm_current_module (),
- SP_REF (sym));
- CACHE_SP ();
- SP_SET (dst, var);
- NEXT (1);
- }
-
- VM_DEFINE_OP (67, toplevel_box, "toplevel-box", OP5 (X8_S24, R32, R32, N32, B1_X31) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_int32 var_offset;
- scm_t_uint32* var_loc_u32;
- SCM *var_loc;
- SCM var;
- UNPACK_24 (op, dst);
- var_offset = ip[1];
- var_loc_u32 = ip + var_offset;
- VM_ASSERT (ALIGNED_P (var_loc_u32, SCM), abort());
- var_loc = (SCM *) var_loc_u32;
- var = *var_loc;
- if (SCM_UNLIKELY (!SCM_VARIABLEP (var)))
- {
- SCM mod, sym;
- scm_t_int32 mod_offset = ip[2];
- scm_t_int32 sym_offset = ip[3];
- scm_t_uint32 *mod_loc = ip + mod_offset;
- scm_t_uint32 *sym_loc = ip + sym_offset;
-
- SYNC_IP ();
- VM_ASSERT (ALIGNED_P (mod_loc, SCM), abort());
- VM_ASSERT (ALIGNED_P (sym_loc, SCM), abort());
- mod = *((SCM *) mod_loc);
- sym = *((SCM *) sym_loc);
-
- if (scm_is_false (mod))
- mod = scm_the_root_module ();
- var = scm_module_lookup (mod, sym);
- CACHE_SP ();
- if (ip[4] & 0x1)
- VM_ASSERT (VARIABLE_BOUNDP (var), vm_error_unbound (sym));
- *var_loc = var;
- }
- SP_SET (dst, var);
- NEXT (5);
- }
-
- VM_DEFINE_OP (68, module_box, "module-box", OP5 (X8_S24, R32, N32, N32, B1_X31) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_int32 var_offset;
- scm_t_uint32* var_loc_u32;
- SCM *var_loc;
- SCM var;
- UNPACK_24 (op, dst);
- var_offset = ip[1];
- var_loc_u32 = ip + var_offset;
- VM_ASSERT (ALIGNED_P (var_loc_u32, SCM), abort());
- var_loc = (SCM *) var_loc_u32;
- var = *var_loc;
- if (SCM_UNLIKELY (!SCM_VARIABLEP (var)))
- {
- SCM modname, sym;
- scm_t_int32 modname_offset = ip[2];
- scm_t_int32 sym_offset = ip[3];
- scm_t_uint32 *modname_words = ip + modname_offset;
- scm_t_uint32 *sym_loc = ip + sym_offset;
- SYNC_IP ();
- VM_ASSERT (!(((scm_t_uintptr) modname_words) & 0x7), abort());
- VM_ASSERT (ALIGNED_P (sym_loc, SCM), abort());
- modname = SCM_PACK ((scm_t_bits) modname_words);
- sym = *((SCM *) sym_loc);
- if (!scm_module_system_booted_p)
- {
- ASSERT (scm_is_true
- scm_equal_p (modname,
- scm_list_2
- (SCM_BOOL_T,
- scm_from_utf8_symbol ("guile"))));
- var = scm_lookup (sym);
- }
- else if (scm_is_true (SCM_CAR (modname)))
- var = scm_public_lookup (SCM_CDR (modname), sym);
- else
- var = scm_private_lookup (SCM_CDR (modname), sym);
- CACHE_SP ();
- if (ip[4] & 0x1)
- VM_ASSERT (VARIABLE_BOUNDP (var), vm_error_unbound (sym));
- *var_loc = var;
- }
- SP_SET (dst, var);
- NEXT (5);
- }
-
-
-
- VM_DEFINE_OP (69, prompt, "prompt", OP3 (X8_S24, B1_X7_F24, X8_L24))
- {
- scm_t_uint32 tag, proc_slot;
- scm_t_int32 offset;
- scm_t_uint8 escape_only_p;
- scm_t_dynstack_prompt_flags flags;
- UNPACK_24 (op, tag);
- escape_only_p = ip[1] & 0x1;
- UNPACK_24 (ip[1], proc_slot);
- offset = ip[2];
- offset >>= 8;
-
-
- flags = escape_only_p ? SCM_F_DYNSTACK_PROMPT_ESCAPE_ONLY : 0;
- SYNC_IP ();
- scm_dynstack_push_prompt (&thread->dynstack, flags,
- SP_REF (tag),
- vp->stack_top - vp->fp,
- vp->stack_top - FP_SLOT (proc_slot),
- ip + offset,
- registers);
- NEXT (3);
- }
-
- VM_DEFINE_OP (70, wind, "wind", OP1 (X8_S12_S12))
- {
- scm_t_uint16 winder, unwinder;
- UNPACK_12_12 (op, winder, unwinder);
- SYNC_IP ();
- scm_dynstack_push_dynwind (&thread->dynstack,
- SP_REF (winder), SP_REF (unwinder));
- NEXT (1);
- }
-
- VM_DEFINE_OP (71, unwind, "unwind", OP1 (X32))
- {
- scm_dynstack_pop (&thread->dynstack);
- NEXT (1);
- }
-
- VM_DEFINE_OP (72, push_fluid, "push-fluid", OP1 (X8_S12_S12))
- {
- scm_t_uint32 fluid, value;
- UNPACK_12_12 (op, fluid, value);
- SYNC_IP ();
- scm_dynstack_push_fluid (&thread->dynstack,
- SP_REF (fluid), SP_REF (value),
- thread->dynamic_state);
- NEXT (1);
- }
-
- VM_DEFINE_OP (73, pop_fluid, "pop-fluid", OP1 (X32))
- {
- SYNC_IP ();
- scm_dynstack_unwind_fluid (&thread->dynstack,
- thread->dynamic_state);
- NEXT (1);
- }
-
- VM_DEFINE_OP (74, fluid_ref, "fluid-ref", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- SCM fluid;
- struct scm_cache_entry *entry;
- UNPACK_12_12 (op, dst, src);
- fluid = SP_REF (src);
-
- entry = scm_cache_lookup (&thread->dynamic_state->cache, fluid);
- if (SCM_LIKELY (scm_is_eq (SCM_PACK (entry->key), fluid)
- && !SCM_UNBNDP (SCM_PACK (entry->value))))
- {
- SP_SET (dst, SCM_PACK (entry->value));
- NEXT (1);
- }
- else
- {
- SYNC_IP ();
- SP_SET (dst, scm_fluid_ref (fluid));
- NEXT (1);
- }
- }
-
- VM_DEFINE_OP (75, fluid_set, "fluid-set!", OP1 (X8_S12_S12))
- {
- scm_t_uint16 a, b;
- SCM fluid, value;
- struct scm_cache_entry *entry;
- UNPACK_12_12 (op, a, b);
- fluid = SP_REF (a);
- value = SP_REF (b);
-
- entry = scm_cache_lookup (&thread->dynamic_state->cache, fluid);
- if (SCM_LIKELY (scm_is_eq (SCM_PACK (entry->key), fluid)))
- {
- entry->value = SCM_UNPACK (value);
- NEXT (1);
- }
- else
- {
- SYNC_IP ();
- scm_fluid_set_x (fluid, value);
- NEXT (1);
- }
- }
-
-
-
- VM_DEFINE_OP (76, string_length, "string-length", OP1 (X8_S12_S12) | OP_DST)
- {
- ARGS1 (str);
- VM_VALIDATE_STRING (str, "string-length");
- SP_SET_U64 (dst, scm_i_string_length (str));
- NEXT (1);
- }
-
- VM_DEFINE_OP (77, string_ref, "string-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, src, idx;
- SCM str;
- scm_t_uint64 c_idx;
- UNPACK_8_8_8 (op, dst, src, idx);
- str = SP_REF (src);
- c_idx = SP_REF_U64 (idx);
- VM_VALIDATE_STRING (str, "string-ref");
- VM_VALIDATE_INDEX (c_idx, scm_i_string_length (str), "string-ref");
- RETURN (scm_i_make_char (scm_i_string_ref (str, c_idx)));
- }
-
-
- VM_DEFINE_OP (78, string_to_number, "string->number", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET (dst,
- scm_string_to_number (SP_REF (src),
- SCM_UNDEFINED ));
- NEXT (1);
- }
-
- VM_DEFINE_OP (79, string_to_symbol, "string->symbol", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET (dst, scm_string_to_symbol (SP_REF (src)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (80, symbol_to_keyword, "symbol->keyword", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET (dst, scm_symbol_to_keyword (SP_REF (src)));
- NEXT (1);
- }
-
-
-
- VM_DEFINE_OP (81, cons, "cons", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- SYNC_IP ();
- RETURN (scm_inline_cons (thread, x, y));
- }
-
- VM_DEFINE_OP (82, car, "car", OP1 (X8_S12_S12) | OP_DST)
- {
- ARGS1 (x);
- VM_VALIDATE_PAIR (x, "car");
- RETURN (SCM_CAR (x));
- }
-
- VM_DEFINE_OP (83, cdr, "cdr", OP1 (X8_S12_S12) | OP_DST)
- {
- ARGS1 (x);
- VM_VALIDATE_PAIR (x, "cdr");
- RETURN (SCM_CDR (x));
- }
-
- VM_DEFINE_OP (84, set_car, "set-car!", OP1 (X8_S12_S12))
- {
- scm_t_uint16 a, b;
- SCM x, y;
- UNPACK_12_12 (op, a, b);
- x = SP_REF (a);
- y = SP_REF (b);
- VM_VALIDATE_MUTABLE_PAIR (x, "set-car!");
- SCM_SETCAR (x, y);
- NEXT (1);
- }
-
- VM_DEFINE_OP (85, set_cdr, "set-cdr!", OP1 (X8_S12_S12))
- {
- scm_t_uint16 a, b;
- SCM x, y;
- UNPACK_12_12 (op, a, b);
- x = SP_REF (a);
- y = SP_REF (b);
- VM_VALIDATE_MUTABLE_PAIR (x, "set-cdr!");
- SCM_SETCDR (x, y);
- NEXT (1);
- }
-
-
-
- VM_DEFINE_OP (86, add, "add", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- BINARY_INTEGER_OP (+, scm_sum);
- }
-
- VM_DEFINE_OP (87, add_immediate, "add/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, src, imm;
- SCM x;
- UNPACK_8_8_8 (op, dst, src, imm);
- x = SP_REF (src);
- if (SCM_LIKELY (SCM_I_INUMP (x)))
- {
- scm_t_signed_bits sum = SCM_I_INUM (x) + (scm_t_signed_bits) imm;
- if (SCM_LIKELY (SCM_POSFIXABLE (sum)))
- RETURN (SCM_I_MAKINUM (sum));
- }
- RETURN_EXP (scm_sum (x, SCM_I_MAKINUM (imm)));
- }
-
- VM_DEFINE_OP (88, sub, "sub", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- BINARY_INTEGER_OP (-, scm_difference);
- }
-
- VM_DEFINE_OP (89, sub_immediate, "sub/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, src, imm;
- SCM x;
- UNPACK_8_8_8 (op, dst, src, imm);
- x = SP_REF (src);
- if (SCM_LIKELY (SCM_I_INUMP (x)))
- {
- scm_t_signed_bits diff = SCM_I_INUM (x) - (scm_t_signed_bits) imm;
- if (SCM_LIKELY (SCM_NEGFIXABLE (diff)))
- RETURN (SCM_I_MAKINUM (diff));
- }
- RETURN_EXP (scm_difference (x, SCM_I_MAKINUM (imm)));
- }
-
- VM_DEFINE_OP (90, mul, "mul", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- RETURN_EXP (scm_product (x, y));
- }
-
- VM_DEFINE_OP (91, div, "div", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- RETURN_EXP (scm_divide (x, y));
- }
-
- VM_DEFINE_OP (92, quo, "quo", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- RETURN_EXP (scm_quotient (x, y));
- }
-
- VM_DEFINE_OP (93, rem, "rem", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- RETURN_EXP (scm_remainder (x, y));
- }
-
- VM_DEFINE_OP (94, mod, "mod", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- RETURN_EXP (scm_modulo (x, y));
- }
-
- VM_DEFINE_OP (95, ash, "ash", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
- {
- if (SCM_I_INUM (y) < 0)
-
- RETURN (SCM_I_MAKINUM
- (SCM_SRS (SCM_I_INUM (x),
- (-SCM_I_INUM (y) <= SCM_I_FIXNUM_BIT-1)
- ? -SCM_I_INUM (y) : SCM_I_FIXNUM_BIT-1)));
- else
-
- {
- scm_t_signed_bits nn, bits_to_shift;
- nn = SCM_I_INUM (x);
- bits_to_shift = SCM_I_INUM (y);
- if (bits_to_shift < SCM_I_FIXNUM_BIT-1
- && ((scm_t_bits)
- (SCM_SRS (nn, (SCM_I_FIXNUM_BIT-1 - bits_to_shift)) + 1)
- <= 1))
- RETURN (SCM_I_MAKINUM (nn < 0
- ? -(-nn << bits_to_shift)
- : (nn << bits_to_shift)));
-
- }
-
- }
- RETURN_EXP (scm_ash (x, y));
- }
-
- VM_DEFINE_OP (96, logand, "logand", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
-
- RETURN (SCM_PACK (SCM_UNPACK (x) & SCM_UNPACK (y)));
- RETURN_EXP (scm_logand (x, y));
- }
-
- VM_DEFINE_OP (97, logior, "logior", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
-
- RETURN (SCM_PACK (SCM_UNPACK (x) | SCM_UNPACK (y)));
- RETURN_EXP (scm_logior (x, y));
- }
-
- VM_DEFINE_OP (98, logxor, "logxor", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
- RETURN (SCM_I_MAKINUM (SCM_I_INUM (x) ^ SCM_I_INUM (y)));
- RETURN_EXP (scm_logxor (x, y));
- }
-
- VM_DEFINE_OP (99, make_vector, "make-vector", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, length, init;
- scm_t_uint64 length_val;
- UNPACK_8_8_8 (op, dst, length, init);
- length_val = SP_REF_U64 (length);
- VM_VALIDATE_INDEX (length_val, (size_t) -1, "make-vector");
-
- SYNC_IP ();
- SP_SET (dst, scm_c_make_vector (length_val, SP_REF (init)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (100, make_vector_immediate, "make-vector/immediate", OP1 (X8_S8_C8_S8) | OP_DST)
- {
- scm_t_uint8 dst, init;
- scm_t_int32 length, n;
- SCM val, vector;
- UNPACK_8_8_8 (op, dst, length, init);
- val = SP_REF (init);
- SYNC_IP ();
- vector = scm_inline_words (thread, scm_tc7_vector | (length << 8),
- length + 1);
- for (n = 0; n < length; n++)
- SCM_SIMPLE_VECTOR_SET (vector, n, val);
- SP_SET (dst, vector);
- NEXT (1);
- }
-
- VM_DEFINE_OP (101, vector_length, "vector-length", OP1 (X8_S12_S12) | OP_DST)
- {
- ARGS1 (vect);
- VM_VALIDATE_VECTOR (vect, "vector-length");
- SP_SET_U64 (dst, SCM_I_VECTOR_LENGTH (vect));
- NEXT (1);
- }
-
- VM_DEFINE_OP (102, vector_ref, "vector-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, src, idx;
- SCM vect;
- scm_t_uint64 c_idx;
- UNPACK_8_8_8 (op, dst, src, idx);
- vect = SP_REF (src);
- c_idx = SP_REF_U64 (idx);
- VM_VALIDATE_VECTOR (vect, "vector-ref");
- VM_VALIDATE_INDEX (c_idx, SCM_I_VECTOR_LENGTH (vect), "vector-ref");
- RETURN (SCM_I_VECTOR_ELTS (vect)[c_idx]);
- }
-
- VM_DEFINE_OP (103, vector_ref_immediate, "vector-ref/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, src, idx;
- SCM vect;
-
- UNPACK_8_8_8 (op, dst, src, idx);
- vect = SP_REF (src);
- VM_VALIDATE_VECTOR (vect, "vector-ref");
- VM_VALIDATE_INDEX (idx, SCM_I_VECTOR_LENGTH (vect), "vector-ref");
- SP_SET (dst, SCM_I_VECTOR_ELTS (vect)[idx]);
- NEXT (1);
- }
-
- VM_DEFINE_OP (104, vector_set, "vector-set!", OP1 (X8_S8_S8_S8))
- {
- scm_t_uint8 dst, idx, src;
- SCM vect, val;
- scm_t_uint64 c_idx;
- UNPACK_8_8_8 (op, dst, idx, src);
- vect = SP_REF (dst);
- c_idx = SP_REF_U64 (idx);
- val = SP_REF (src);
- VM_VALIDATE_MUTABLE_VECTOR (vect, "vector-set!");
- VM_VALIDATE_INDEX (c_idx, SCM_I_VECTOR_LENGTH (vect), "vector-set!");
- SCM_I_VECTOR_WELTS (vect)[c_idx] = val;
- NEXT (1);
- }
-
- VM_DEFINE_OP (105, vector_set_immediate, "vector-set!/immediate", OP1 (X8_S8_C8_S8))
- {
- scm_t_uint8 dst, idx, src;
- SCM vect, val;
- UNPACK_8_8_8 (op, dst, idx, src);
- vect = SP_REF (dst);
- val = SP_REF (src);
- VM_VALIDATE_MUTABLE_VECTOR (vect, "vector-set!");
- VM_VALIDATE_INDEX (idx, SCM_I_VECTOR_LENGTH (vect), "vector-set!");
- SCM_I_VECTOR_WELTS (vect)[idx] = val;
- NEXT (1);
- }
-
-
-
- VM_DEFINE_OP (106, struct_vtable, "struct-vtable", OP1 (X8_S12_S12) | OP_DST)
- {
- ARGS1 (obj);
- VM_VALIDATE_STRUCT (obj, "struct_vtable");
- RETURN (SCM_STRUCT_VTABLE (obj));
- }
-
- VM_DEFINE_OP (107, allocate_struct, "allocate-struct", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, vtable, nfields;
- SCM ret;
- UNPACK_8_8_8 (op, dst, vtable, nfields);
-
- SYNC_IP ();
- ret = scm_allocate_struct (SP_REF (vtable),
- scm_from_uint64 (SP_REF_U64 (nfields)));
- SP_SET (dst, ret);
- NEXT (1);
- }
-
- VM_DEFINE_OP (108, struct_ref, "struct-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, src, idx;
- SCM obj;
- scm_t_uint64 index;
- UNPACK_8_8_8 (op, dst, src, idx);
- obj = SP_REF (src);
- index = SP_REF_U64 (idx);
- if (SCM_LIKELY (SCM_STRUCTP (obj)
- && SCM_STRUCT_VTABLE_FLAG_IS_SET (obj,
- SCM_VTABLE_FLAG_SIMPLE)
- && index < (SCM_STRUCT_DATA_REF (SCM_STRUCT_VTABLE (obj),
- scm_vtable_index_size))))
- RETURN (SCM_STRUCT_SLOT_REF (obj, index));
- SYNC_IP ();
- RETURN (scm_struct_ref (obj, scm_from_uint64 (index)));
- }
-
- VM_DEFINE_OP (109, struct_set, "struct-set!", OP1 (X8_S8_S8_S8))
- {
- scm_t_uint8 dst, idx, src;
- SCM obj, val;
- scm_t_uint64 index;
- UNPACK_8_8_8 (op, dst, idx, src);
- obj = SP_REF (dst);
- val = SP_REF (src);
- index = SP_REF_U64 (idx);
- if (SCM_LIKELY (SCM_STRUCTP (obj)
- && SCM_STRUCT_VTABLE_FLAG_IS_SET (obj,
- SCM_VTABLE_FLAG_SIMPLE)
- && SCM_STRUCT_VTABLE_FLAG_IS_SET (obj,
- SCM_VTABLE_FLAG_SIMPLE_RW)
- && index < (SCM_STRUCT_DATA_REF (SCM_STRUCT_VTABLE (obj),
- scm_vtable_index_size))))
- {
- SCM_STRUCT_SLOT_SET (obj, index, val);
- NEXT (1);
- }
- SYNC_IP ();
- scm_struct_set_x (obj, scm_from_uint64 (index), val);
- NEXT (1);
- }
-
- VM_DEFINE_OP (110, allocate_struct_immediate, "allocate-struct/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, vtable, nfields;
- SCM ret;
- UNPACK_8_8_8 (op, dst, vtable, nfields);
- SYNC_IP ();
- ret = scm_allocate_struct (SP_REF (vtable), SCM_I_MAKINUM (nfields));
- SP_SET (dst, ret);
- NEXT (1);
- }
-
- VM_DEFINE_OP (111, struct_ref_immediate, "struct-ref/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, src, idx;
- SCM obj;
- UNPACK_8_8_8 (op, dst, src, idx);
- obj = SP_REF (src);
- if (SCM_LIKELY (SCM_STRUCTP (obj)
- && SCM_STRUCT_VTABLE_FLAG_IS_SET (obj,
- SCM_VTABLE_FLAG_SIMPLE)
- && idx < SCM_STRUCT_DATA_REF (SCM_STRUCT_VTABLE (obj),
- scm_vtable_index_size)))
- RETURN (SCM_STRUCT_SLOT_REF (obj, idx));
- SYNC_IP ();
- RETURN (scm_struct_ref (obj, SCM_I_MAKINUM (idx)));
- }
-
- VM_DEFINE_OP (112, struct_set_immediate, "struct-set!/immediate", OP1 (X8_S8_C8_S8))
- {
- scm_t_uint8 dst, idx, src;
- SCM obj, val;
- UNPACK_8_8_8 (op, dst, idx, src);
- obj = SP_REF (dst);
- val = SP_REF (src);
- if (SCM_LIKELY (SCM_STRUCTP (obj)
- && SCM_STRUCT_VTABLE_FLAG_IS_SET (obj,
- SCM_VTABLE_FLAG_SIMPLE)
- && SCM_STRUCT_VTABLE_FLAG_IS_SET (obj,
- SCM_VTABLE_FLAG_SIMPLE_RW)
- && idx < SCM_STRUCT_DATA_REF (SCM_STRUCT_VTABLE (obj),
- scm_vtable_index_size)))
- {
- SCM_STRUCT_SLOT_SET (obj, idx, val);
- NEXT (1);
- }
- SYNC_IP ();
- scm_struct_set_x (obj, SCM_I_MAKINUM (idx), val);
- NEXT (1);
- }
-
- VM_DEFINE_OP (113, class_of, "class-of", OP1 (X8_S12_S12) | OP_DST)
- {
- ARGS1 (obj);
- if (SCM_INSTANCEP (obj))
- RETURN (SCM_CLASS_OF (obj));
- RETURN_EXP (scm_class_of (obj));
- }
-
-
-
- VM_DEFINE_OP (114, load_typed_array, "load-typed-array", OP5 (X8_S24, X8_S24, X8_S24, N32, C32) | OP_DST)
- {
- scm_t_uint32 dst, type, shape;
- scm_t_int32 offset;
- scm_t_uint32 len;
- UNPACK_24 (op, dst);
- UNPACK_24 (ip[1], type);
- UNPACK_24 (ip[2], shape);
- offset = ip[3];
- len = ip[4];
- SYNC_IP ();
- SP_SET (dst, scm_from_contiguous_typed_array (SP_REF (type),
- SP_REF (shape),
- ip + offset, len));
- NEXT (5);
- }
-
- VM_DEFINE_OP (115, make_array, "make-array", OP4 (X8_S24, X8_S24, X8_S24, X8_S24) | OP_DST)
- {
- scm_t_uint32 dst, type, fill, bounds;
- UNPACK_24 (op, dst);
- UNPACK_24 (ip[1], type);
- UNPACK_24 (ip[2], fill);
- UNPACK_24 (ip[3], bounds);
- SYNC_IP ();
- SP_SET (dst, scm_make_typed_array (SP_REF (type), SP_REF (fill),
- SP_REF (bounds)));
- NEXT (4);
- }
-
- #define BV_REF(stem, type, size, slot) \
- do { \
- type result; \
- scm_t_uint8 dst, src, idx; \
- SCM bv; \
- scm_t_uint64 c_idx; \
- UNPACK_8_8_8 (op, dst, src, idx); \
- bv = SP_REF (src); \
- c_idx = SP_REF_U64 (idx); \
- \
- VM_VALIDATE_BYTEVECTOR (bv, "bv-" #stem "-ref"); \
- \
- VM_ASSERT (SCM_BYTEVECTOR_LENGTH (bv) >= size \
- && SCM_BYTEVECTOR_LENGTH (bv) - size >= c_idx, \
- vm_error_out_of_range_uint64 ("bv-" #stem "-ref", c_idx)); \
- \
- memcpy (&result, SCM_BYTEVECTOR_CONTENTS (bv) + c_idx, size); \
- SP_SET_ ## slot (dst, result); \
- NEXT (1); \
- } while (0)
- VM_DEFINE_OP (116, bv_u8_ref, "bv-u8-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (u8, scm_t_uint8, 1, U64);
- VM_DEFINE_OP (117, bv_s8_ref, "bv-s8-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (s8, scm_t_int8, 1, S64);
- VM_DEFINE_OP (118, bv_u16_ref, "bv-u16-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (u16, scm_t_uint16, 2, U64);
- VM_DEFINE_OP (119, bv_s16_ref, "bv-s16-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (s16, scm_t_int16, 2, S64);
- VM_DEFINE_OP (120, bv_u32_ref, "bv-u32-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (u32, scm_t_uint32, 4, U64);
- VM_DEFINE_OP (121, bv_s32_ref, "bv-s32-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (s32, scm_t_int32, 4, S64);
- VM_DEFINE_OP (122, bv_u64_ref, "bv-u64-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (u64, scm_t_uint64, 8, U64);
- VM_DEFINE_OP (123, bv_s64_ref, "bv-s64-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (s64, scm_t_int64, 8, S64);
- VM_DEFINE_OP (124, bv_f32_ref, "bv-f32-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (f32, float, 4, F64);
- VM_DEFINE_OP (125, bv_f64_ref, "bv-f64-ref", OP1 (X8_S8_S8_S8) | OP_DST)
- BV_REF (f64, double, 8, F64);
-
- #define BV_BOUNDED_SET(stem, type, min, max, size, slot_type, slot) \
- do { \
- scm_t_ ## slot_type slot_val; \
- type val; \
- scm_t_uint8 dst, idx, src; \
- SCM bv; \
- scm_t_uint64 c_idx; \
- UNPACK_8_8_8 (op, dst, idx, src); \
- bv = SP_REF (dst); \
- c_idx = SP_REF_U64 (idx); \
- slot_val = SP_REF_ ## slot (src); \
- \
- VM_VALIDATE_MUTABLE_BYTEVECTOR (bv, "bv-" #stem "-set!"); \
- \
- VM_ASSERT (SCM_BYTEVECTOR_LENGTH (bv) >= size \
- && SCM_BYTEVECTOR_LENGTH (bv) - size >= c_idx, \
- vm_error_out_of_range_uint64 ("bv-" #stem "-set!", c_idx)); \
- \
- VM_ASSERT (slot_val >= min && slot_val <= max, \
- vm_error_out_of_range_ ## slot_type ("bv-" #stem "-set!", \
- slot_val)); \
- \
- val = slot_val; \
- memcpy (SCM_BYTEVECTOR_CONTENTS (bv) + c_idx, &val, size); \
- NEXT (1); \
- } while (0)
- #define BV_SET(stem, type, size, slot) \
- do { \
- type val; \
- scm_t_uint8 dst, idx, src; \
- SCM bv; \
- scm_t_uint64 c_idx; \
- UNPACK_8_8_8 (op, dst, idx, src); \
- bv = SP_REF (dst); \
- c_idx = SP_REF_U64 (idx); \
- val = SP_REF_ ## slot (src); \
- \
- VM_VALIDATE_MUTABLE_BYTEVECTOR (bv, "bv-" #stem "-set!"); \
- \
- VM_ASSERT (SCM_BYTEVECTOR_LENGTH (bv) >= size \
- && SCM_BYTEVECTOR_LENGTH (bv) - size >= c_idx, \
- vm_error_out_of_range_uint64 ("bv-" #stem "-set!", c_idx)); \
- \
- memcpy (SCM_BYTEVECTOR_CONTENTS (bv) + c_idx, &val, size); \
- NEXT (1); \
- } while (0)
- VM_DEFINE_OP (126, bv_u8_set, "bv-u8-set!", OP1 (X8_S8_S8_S8))
- BV_BOUNDED_SET (u8, scm_t_uint8,
- 0, SCM_T_UINT8_MAX, 1, uint64, U64);
- VM_DEFINE_OP (127, bv_s8_set, "bv-s8-set!", OP1 (X8_S8_S8_S8))
- BV_BOUNDED_SET (s8, scm_t_int8,
- SCM_T_INT8_MIN, SCM_T_INT8_MAX, 1, int64, S64);
- VM_DEFINE_OP (128, bv_u16_set, "bv-u16-set!", OP1 (X8_S8_S8_S8))
- BV_BOUNDED_SET (u16, scm_t_uint16,
- 0, SCM_T_UINT16_MAX, 2, uint64, U64);
- VM_DEFINE_OP (129, bv_s16_set, "bv-s16-set!", OP1 (X8_S8_S8_S8))
- BV_BOUNDED_SET (s16, scm_t_int16,
- SCM_T_INT16_MIN, SCM_T_INT16_MAX, 2, int64, S64);
- VM_DEFINE_OP (130, bv_u32_set, "bv-u32-set!", OP1 (X8_S8_S8_S8))
- BV_BOUNDED_SET (u32, scm_t_uint32,
- 0, SCM_T_UINT32_MAX, 4, uint64, U64);
- VM_DEFINE_OP (131, bv_s32_set, "bv-s32-set!", OP1 (X8_S8_S8_S8))
- BV_BOUNDED_SET (s32, scm_t_int32,
- SCM_T_INT32_MIN, SCM_T_INT32_MAX, 4, int64, S64);
- VM_DEFINE_OP (132, bv_u64_set, "bv-u64-set!", OP1 (X8_S8_S8_S8))
- BV_SET (u64, scm_t_uint64, 8, U64);
- VM_DEFINE_OP (133, bv_s64_set, "bv-s64-set!", OP1 (X8_S8_S8_S8))
- BV_SET (s64, scm_t_int64, 8, S64);
- VM_DEFINE_OP (134, bv_f32_set, "bv-f32-set!", OP1 (X8_S8_S8_S8))
- BV_SET (f32, float, 4, F64);
- VM_DEFINE_OP (135, bv_f64_set, "bv-f64-set!", OP1 (X8_S8_S8_S8))
- BV_SET (f6, double, 8, F64);
-
- VM_DEFINE_OP (136, scm_to_f64, "scm->f64", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET_F64 (dst, scm_to_double (SP_REF (src)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (137, f64_to_scm, "f64->scm", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET (dst, scm_from_double (SP_REF_F64 (src)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (138, fadd, "fadd", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_F64 (dst, SP_REF_F64 (a) + SP_REF_F64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (139, fsub, "fsub", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_F64 (dst, SP_REF_F64 (a) - SP_REF_F64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (140, fmul, "fmul", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_F64 (dst, SP_REF_F64 (a) * SP_REF_F64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (141, fdiv, "fdiv", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_F64 (dst, SP_REF_F64 (a) / SP_REF_F64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (142, apply_non_program, "apply-non-program", OP1 (X32))
- {
- SCM proc = FP_REF (0);
- while (!SCM_PROGRAM_P (proc))
- {
- if (SCM_STRUCTP (proc) && SCM_STRUCT_APPLICABLE_P (proc))
- {
- proc = SCM_STRUCT_PROCEDURE (proc);
- FP_SET (0, proc);
- continue;
- }
- if (SCM_HAS_TYP7 (proc, scm_tc7_smob) && SCM_SMOB_APPLICABLE_P (proc))
- {
- scm_t_uint32 n = FRAME_LOCALS_COUNT();
-
- ALLOC_FRAME (n + 1);
- while (n--)
- FP_SET (n + 1, FP_REF (n));
- proc = SCM_SMOB_DESCRIPTOR (proc).apply_trampoline;
- FP_SET (0, proc);
- continue;
- }
- SYNC_IP();
- vm_error_wrong_type_apply (proc);
- }
- ip = SCM_PROGRAM_CODE (proc);
- NEXT (0);
- }
-
- VM_DEFINE_OP (143, scm_to_u64, "scm->u64", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET_U64 (dst, scm_to_uint64 (SP_REF (src)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (144, u64_to_scm, "u64->scm", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET (dst, scm_from_uint64 (SP_REF_U64 (src)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (145, bv_length, "bv-length", OP1 (X8_S12_S12) | OP_DST)
- {
- ARGS1 (bv);
- VM_VALIDATE_BYTEVECTOR (bv, "bytevector-length");
- SP_SET_U64 (dst, SCM_BYTEVECTOR_LENGTH (bv));
- NEXT (1);
- }
-
- VM_DEFINE_OP (146, br_if_u64_ee, "br-if-u64-=", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_ARITHMETIC (==);
- }
-
- VM_DEFINE_OP (147, br_if_u64_lt, "br-if-u64-<", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_ARITHMETIC (<);
- }
- VM_DEFINE_OP (148, br_if_u64_le, "br-if-u64-<=", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_ARITHMETIC (<=);
- }
-
- VM_DEFINE_OP (149, uadd, "uadd", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) + SP_REF_U64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (150, usub, "usub", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) - SP_REF_U64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (151, umul, "umul", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) * SP_REF_U64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (152, uadd_immediate, "uadd/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, src, imm;
- scm_t_uint64 x;
- UNPACK_8_8_8 (op, dst, src, imm);
- x = SP_REF_U64 (src);
- SP_SET_U64 (dst, x + (scm_t_uint64) imm);
- NEXT (1);
- }
-
- VM_DEFINE_OP (153, usub_immediate, "usub/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, src, imm;
- scm_t_uint64 x;
- UNPACK_8_8_8 (op, dst, src, imm);
- x = SP_REF_U64 (src);
- SP_SET_U64 (dst, x - (scm_t_uint64) imm);
- NEXT (1);
- }
-
- VM_DEFINE_OP (154, umul_immediate, "umul/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, src, imm;
- scm_t_uint64 x;
- UNPACK_8_8_8 (op, dst, src, imm);
- x = SP_REF_U64 (src);
- SP_SET_U64 (dst, x * (scm_t_uint64) imm);
- NEXT (1);
- }
-
- VM_DEFINE_OP (155, load_f64, "load-f64", OP3 (X8_S24, AF32, BF32) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_uint64 val;
- UNPACK_24 (op, dst);
- val = ip[1];
- val <<= 32;
- val |= ip[2];
- SP_SET_U64 (dst, val);
- NEXT (3);
- }
-
- VM_DEFINE_OP (156, load_u64, "load-u64", OP3 (X8_S24, AU32, BU32) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_uint64 val;
- UNPACK_24 (op, dst);
- val = ip[1];
- val <<= 32;
- val |= ip[2];
- SP_SET_U64 (dst, val);
- NEXT (3);
- }
-
- VM_DEFINE_OP (157, scm_to_s64, "scm->s64", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET_S64 (dst, scm_to_int64 (SP_REF (src)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (158, s64_to_scm, "s64->scm", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- SP_SET (dst, scm_from_int64 (SP_REF_S64 (src)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (159, load_s64, "load-s64", OP3 (X8_S24, AS32, BS32) | OP_DST)
- {
- scm_t_uint32 dst;
- scm_t_uint64 val;
- UNPACK_24 (op, dst);
- val = ip[1];
- val <<= 32;
- val |= ip[2];
- SP_SET_U64 (dst, val);
- NEXT (3);
- }
-
- VM_DEFINE_OP (160, current_thread, "current-thread", OP1 (X8_S24) | OP_DST)
- {
- scm_t_uint32 dst;
- UNPACK_24 (op, dst);
- SP_SET (dst, thread->handle);
- NEXT (1);
- }
-
- VM_DEFINE_OP (161, logsub, "logsub", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- ARGS2 (x, y);
- if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
- {
- scm_t_signed_bits a, b;
- a = SCM_I_INUM (x);
- b = SCM_I_INUM (y);
- RETURN (SCM_I_MAKINUM (a & ~b));
- }
- RETURN_EXP (scm_logand (x, scm_lognot (y)));
- }
-
- VM_DEFINE_OP (162, ulogand, "ulogand", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) & SP_REF_U64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (163, ulogior, "ulogior", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) | SP_REF_U64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (164, ulogsub, "ulogsub", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) & ~SP_REF_U64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (165, ursh, "ursh", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) >> (SP_REF_U64 (b) & 63));
- NEXT (1);
- }
-
- VM_DEFINE_OP (166, ulsh, "ulsh", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) << (SP_REF_U64 (b) & 63));
- NEXT (1);
- }
-
- VM_DEFINE_OP (167, scm_to_u64_truncate, "scm->u64/truncate", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- SCM x;
- UNPACK_12_12 (op, dst, src);
- x = SP_REF (src);
- if (SCM_I_INUMP (x))
- SP_SET_U64 (dst, (scm_t_uint64) SCM_I_INUM (x));
- else
- {
- SYNC_IP ();
- SP_SET_U64 (dst,
- scm_to_uint64
- (scm_logand (x, scm_from_uint64 ((scm_t_uint64) -1))));
- }
- NEXT (1);
- }
-
- VM_DEFINE_OP (168, ursh_immediate, "ursh/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) >> (b & 63));
- NEXT (1);
- }
-
- VM_DEFINE_OP (169, ulsh_immediate, "ulsh/immediate", OP1 (X8_S8_S8_C8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) << (b & 63));
- NEXT (1);
- }
- #define BR_U64_SCM_COMPARISON(x, y, unboxed, boxed) \
- do { \
- scm_t_uint32 a, b; \
- scm_t_uint64 x; \
- SCM y_scm; \
- \
- UNPACK_24 (op, a); \
- UNPACK_24 (ip[1], b); \
- x = SP_REF_U64 (a); \
- y_scm = SP_REF (b); \
- \
- if (SCM_I_INUMP (y_scm)) \
- { \
- scm_t_signed_bits y = SCM_I_INUM (y_scm); \
- \
- if ((ip[2] & 0x1) ? !(unboxed) : (unboxed)) \
- { \
- scm_t_int32 offset = ip[2]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (3); \
- } \
- else \
- { \
- SCM res; \
- SYNC_IP (); \
- res = boxed (scm_from_uint64 (x), y_scm); \
- CACHE_SP (); \
- if ((ip[2] & 0x1) ? scm_is_false (res) : scm_is_true (res)) \
- { \
- scm_t_int32 offset = ip[2]; \
- offset >>= 8; \
- NEXT (offset); \
- } \
- NEXT (3); \
- } \
- } while (0)
-
- VM_DEFINE_OP (170, br_if_u64_ee_scm, "br-if-u64-=-scm", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_SCM_COMPARISON(x, y, y >= 0 && (scm_t_uint64) y == x, scm_num_eq_p);
- }
-
- VM_DEFINE_OP (171, br_if_u64_lt_scm, "br-if-u64-<-scm", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_SCM_COMPARISON(x, y, y > 0 && (scm_t_uint64) y > x, scm_less_p);
- }
-
- VM_DEFINE_OP (172, br_if_u64_le_scm, "br-if-u64-<=-scm", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_SCM_COMPARISON(x, y, y >= 0 && (scm_t_uint64) y >= x, scm_leq_p);
- }
-
- VM_DEFINE_OP (173, br_if_u64_gt_scm, "br-if-u64->-scm", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_SCM_COMPARISON(x, y, y < 0 || (scm_t_uint64) y < x, scm_gr_p);
- }
-
- VM_DEFINE_OP (174, br_if_u64_ge_scm, "br-if-u64->=-scm", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_U64_SCM_COMPARISON(x, y, y <= 0 || (scm_t_uint64) y <= x, scm_geq_p);
- }
-
- VM_DEFINE_OP (175, integer_to_char, "integer->char", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- scm_t_uint64 x;
- UNPACK_12_12 (op, dst, src);
- x = SP_REF_U64 (src);
- VM_ASSERT (x <= (scm_t_uint64) SCM_CODEPOINT_MAX,
- vm_error_out_of_range_uint64 ("integer->char", x));
- SP_SET (dst, SCM_MAKE_ITAG8 ((scm_t_bits) (scm_t_wchar) x, scm_tc8_char));
- NEXT (1);
- }
-
- VM_DEFINE_OP (176, char_to_integer, "char->integer", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- SCM x;
- UNPACK_12_12 (op, dst, src);
- x = SP_REF (src);
- VM_VALIDATE_CHAR (x, "char->integer");
- SP_SET_U64 (dst, SCM_CHAR (x));
- NEXT (1);
- }
-
- VM_DEFINE_OP (177, ulogxor, "ulogxor", OP1 (X8_S8_S8_S8) | OP_DST)
- {
- scm_t_uint8 dst, a, b;
- UNPACK_8_8_8 (op, dst, a, b);
- SP_SET_U64 (dst, SP_REF_U64 (a) ^ SP_REF_U64 (b));
- NEXT (1);
- }
-
- VM_DEFINE_OP (178, make_atomic_box, "make-atomic-box", OP1 (X8_S12_S12) | OP_DST)
- {
- SCM box;
- scm_t_uint16 dst, src;
- UNPACK_12_12 (op, dst, src);
- SYNC_IP ();
- box = scm_inline_cell (thread, scm_tc7_atomic_box,
- SCM_UNPACK (SCM_UNSPECIFIED));
- scm_atomic_set_scm (scm_atomic_box_loc (box), SP_REF (src));
- SP_SET (dst, box);
- NEXT (1);
- }
-
- VM_DEFINE_OP (179, atomic_box_ref, "atomic-box-ref", OP1 (X8_S12_S12) | OP_DST)
- {
- scm_t_uint16 dst, src;
- SCM box;
- UNPACK_12_12 (op, dst, src);
- box = SP_REF (src);
- VM_VALIDATE_ATOMIC_BOX (box, "atomic-box-ref");
- SP_SET (dst, scm_atomic_ref_scm (scm_atomic_box_loc (box)));
- NEXT (1);
- }
-
- VM_DEFINE_OP (180, atomic_box_set, "atomic-box-set!", OP1 (X8_S12_S12))
- {
- scm_t_uint16 dst, src;
- SCM box;
- UNPACK_12_12 (op, dst, src);
- box = SP_REF (dst);
- VM_VALIDATE_ATOMIC_BOX (box, "atomic-box-set!");
- scm_atomic_set_scm (scm_atomic_box_loc (box), SP_REF (src));
- NEXT (1);
- }
-
- VM_DEFINE_OP (181, atomic_box_swap, "atomic-box-swap!", OP2 (X8_S12_S12, X8_S24) | OP_DST)
- {
- scm_t_uint16 dst, box;
- scm_t_uint32 val;
- SCM scm_box;
- UNPACK_12_12 (op, dst, box);
- UNPACK_24 (ip[1], val);
- scm_box = SP_REF (box);
- VM_VALIDATE_ATOMIC_BOX (scm_box, "atomic-box-swap!");
- SP_SET (dst,
- scm_atomic_swap_scm (scm_atomic_box_loc (scm_box), SP_REF (val)));
- NEXT (2);
- }
-
- VM_DEFINE_OP (182, atomic_box_compare_and_swap, "atomic-box-compare-and-swap!", OP3 (X8_S12_S12, X8_S24, X8_S24) | OP_DST)
- {
- scm_t_uint16 dst, box;
- scm_t_uint32 expected, desired;
- SCM scm_box, scm_expected, scm_result;
- UNPACK_12_12 (op, dst, box);
- UNPACK_24 (ip[1], expected);
- UNPACK_24 (ip[2], desired);
- scm_box = SP_REF (box);
- VM_VALIDATE_ATOMIC_BOX (scm_box, "atomic-box-compare-and-swap!");
- scm_result = scm_expected = SP_REF (expected);
- while (!scm_atomic_compare_and_swap_scm (scm_atomic_box_loc (scm_box),
- &scm_result, SP_REF (desired))
- && scm_is_eq (scm_result, scm_expected))
- {
-
- }
- SP_SET (dst, scm_result);
- NEXT (3);
- }
-
- VM_DEFINE_OP (183, handle_interrupts, "handle-interrupts", OP1 (X32))
- {
- if (SCM_LIKELY (scm_is_null
- (scm_atomic_ref_scm (&thread->pending_asyncs))))
- NEXT (1);
- if (thread->block_asyncs > 0)
- NEXT (1);
- {
- union scm_vm_stack_element *old_fp, *new_fp;
- size_t old_frame_size = FRAME_LOCALS_COUNT ();
- SCM proc = scm_i_async_pop (thread);
-
-
- ALLOC_FRAME (old_frame_size + 3);
-
- old_fp = vp->fp;
- new_fp = SCM_FRAME_SLOT (old_fp, old_frame_size + 1);
- SCM_FRAME_SET_DYNAMIC_LINK (new_fp, old_fp);
- SCM_FRAME_SET_RETURN_ADDRESS (new_fp, ip);
- vp->fp = new_fp;
- SP_SET (0, proc);
- ip = (scm_t_uint32 *) vm_handle_interrupt_code;
- APPLY_HOOK ();
- NEXT (0);
- }
- }
-
- VM_DEFINE_OP (184, return_from_interrupt, "return-from-interrupt", OP1 (X32))
- {
- vp->sp = sp = SCM_FRAME_PREVIOUS_SP (vp->fp);
- ip = SCM_FRAME_RETURN_ADDRESS (vp->fp);
- vp->fp = SCM_FRAME_DYNAMIC_LINK (vp->fp);
- NEXT (0);
- }
-
- VM_DEFINE_OP (185, push_dynamic_state, "push-dynamic-state", OP1 (X8_S24))
- {
- scm_t_uint32 state;
- UNPACK_24 (op, state);
- SYNC_IP ();
- scm_dynstack_push_dynamic_state (&thread->dynstack, SP_REF (state),
- thread->dynamic_state);
- NEXT (1);
- }
-
- VM_DEFINE_OP (186, pop_dynamic_state, "pop-dynamic-state", OP1 (X32))
- {
- SYNC_IP ();
- scm_dynstack_unwind_dynamic_state (&thread->dynstack,
- thread->dynamic_state);
- NEXT (1);
- }
-
- VM_DEFINE_OP (187, br_if_f64_ee, "br-if-f64-=", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_F64_ARITHMETIC (==);
- }
-
- VM_DEFINE_OP (188, br_if_f64_lt, "br-if-f64-<", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_F64_ARITHMETIC (<);
- }
-
- VM_DEFINE_OP (189, br_if_f64_le, "br-if-f64-<=", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_F64_ARITHMETIC (<=);
- }
-
- VM_DEFINE_OP (190, br_if_f64_gt, "br-if-f64->", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_F64_ARITHMETIC (>);
- }
-
- VM_DEFINE_OP (191, br_if_f64_ge, "br-if-f64->=", OP3 (X8_S24, X8_S24, B1_X7_L24))
- {
- BR_F64_ARITHMETIC (>=);
- }
-
- VM_DEFINE_OP (192, string_set, "string-set!", OP1 (X8_S8_S8_S8))
- {
- scm_t_uint8 dst, idx, src;
- SCM str, chr;
- scm_t_uint64 c_idx;
- UNPACK_8_8_8 (op, dst, idx, src);
- str = SP_REF (dst);
- c_idx = SP_REF_U64 (idx);
- chr = SP_REF (src);
- VM_VALIDATE_STRING (str, "string-ref");
- VM_VALIDATE_INDEX (c_idx, scm_i_string_length (str), "string-ref");
-
- SYNC_IP ();
- scm_i_string_start_writing (str);
- scm_i_string_set_x (str, c_idx, SCM_CHAR (chr));
- scm_i_string_stop_writing ();
- NEXT (1);
- }
- VM_DEFINE_OP (193, unused_193, NULL, NOP)
- VM_DEFINE_OP (194, unused_194, NULL, NOP)
- VM_DEFINE_OP (195, unused_195, NULL, NOP)
- VM_DEFINE_OP (196, unused_196, NULL, NOP)
- VM_DEFINE_OP (197, unused_197, NULL, NOP)
- VM_DEFINE_OP (198, unused_198, NULL, NOP)
- VM_DEFINE_OP (199, unused_199, NULL, NOP)
- VM_DEFINE_OP (200, unused_200, NULL, NOP)
- VM_DEFINE_OP (201, unused_201, NULL, NOP)
- VM_DEFINE_OP (202, unused_202, NULL, NOP)
- VM_DEFINE_OP (203, unused_203, NULL, NOP)
- VM_DEFINE_OP (204, unused_204, NULL, NOP)
- VM_DEFINE_OP (205, unused_205, NULL, NOP)
- VM_DEFINE_OP (206, unused_206, NULL, NOP)
- VM_DEFINE_OP (207, unused_207, NULL, NOP)
- VM_DEFINE_OP (208, unused_208, NULL, NOP)
- VM_DEFINE_OP (209, unused_209, NULL, NOP)
- VM_DEFINE_OP (210, unused_210, NULL, NOP)
- VM_DEFINE_OP (211, unused_211, NULL, NOP)
- VM_DEFINE_OP (212, unused_212, NULL, NOP)
- VM_DEFINE_OP (213, unused_213, NULL, NOP)
- VM_DEFINE_OP (214, unused_214, NULL, NOP)
- VM_DEFINE_OP (215, unused_215, NULL, NOP)
- VM_DEFINE_OP (216, unused_216, NULL, NOP)
- VM_DEFINE_OP (217, unused_217, NULL, NOP)
- VM_DEFINE_OP (218, unused_218, NULL, NOP)
- VM_DEFINE_OP (219, unused_219, NULL, NOP)
- VM_DEFINE_OP (220, unused_220, NULL, NOP)
- VM_DEFINE_OP (221, unused_221, NULL, NOP)
- VM_DEFINE_OP (222, unused_222, NULL, NOP)
- VM_DEFINE_OP (223, unused_223, NULL, NOP)
- VM_DEFINE_OP (224, unused_224, NULL, NOP)
- VM_DEFINE_OP (225, unused_225, NULL, NOP)
- VM_DEFINE_OP (226, unused_226, NULL, NOP)
- VM_DEFINE_OP (227, unused_227, NULL, NOP)
- VM_DEFINE_OP (228, unused_228, NULL, NOP)
- VM_DEFINE_OP (229, unused_229, NULL, NOP)
- VM_DEFINE_OP (230, unused_230, NULL, NOP)
- VM_DEFINE_OP (231, unused_231, NULL, NOP)
- VM_DEFINE_OP (232, unused_232, NULL, NOP)
- VM_DEFINE_OP (233, unused_233, NULL, NOP)
- VM_DEFINE_OP (234, unused_234, NULL, NOP)
- VM_DEFINE_OP (235, unused_235, NULL, NOP)
- VM_DEFINE_OP (236, unused_236, NULL, NOP)
- VM_DEFINE_OP (237, unused_237, NULL, NOP)
- VM_DEFINE_OP (238, unused_238, NULL, NOP)
- VM_DEFINE_OP (239, unused_239, NULL, NOP)
- VM_DEFINE_OP (240, unused_240, NULL, NOP)
- VM_DEFINE_OP (241, unused_241, NULL, NOP)
- VM_DEFINE_OP (242, unused_242, NULL, NOP)
- VM_DEFINE_OP (243, unused_243, NULL, NOP)
- VM_DEFINE_OP (244, unused_244, NULL, NOP)
- VM_DEFINE_OP (245, unused_245, NULL, NOP)
- VM_DEFINE_OP (246, unused_246, NULL, NOP)
- VM_DEFINE_OP (247, unused_247, NULL, NOP)
- VM_DEFINE_OP (248, unused_248, NULL, NOP)
- VM_DEFINE_OP (249, unused_249, NULL, NOP)
- VM_DEFINE_OP (250, unused_250, NULL, NOP)
- VM_DEFINE_OP (251, unused_251, NULL, NOP)
- VM_DEFINE_OP (252, unused_252, NULL, NOP)
- VM_DEFINE_OP (253, unused_253, NULL, NOP)
- VM_DEFINE_OP (254, unused_254, NULL, NOP)
- VM_DEFINE_OP (255, unused_255, NULL, NOP)
- {
- vm_error_bad_instruction (op);
- abort ();
- }
- END_DISPATCH_SWITCH;
- }
- #undef ABORT_CONTINUATION_HOOK
- #undef ALIGNED_P
- #undef APPLY_HOOK
- #undef ARGS1
- #undef ARGS2
- #undef BEGIN_DISPATCH_SWITCH
- #undef BINARY_INTEGER_OP
- #undef BR_ARITHMETIC
- #undef BR_BINARY
- #undef BR_NARGS
- #undef BR_UNARY
- #undef BV_FIXABLE_INT_REF
- #undef BV_FIXABLE_INT_SET
- #undef BV_FLOAT_REF
- #undef BV_FLOAT_SET
- #undef BV_INT_REF
- #undef BV_INT_SET
- #undef CACHE_REGISTER
- #undef END_DISPATCH_SWITCH
- #undef FREE_VARIABLE_REF
- #undef INIT
- #undef INUM_MAX
- #undef INUM_MIN
- #undef FP_REF
- #undef FP_SET
- #undef FP_SLOT
- #undef SP_REF
- #undef SP_SET
- #undef NEXT
- #undef NEXT_HOOK
- #undef NEXT_JUMP
- #undef POP_CONTINUATION_HOOK
- #undef PUSH_CONTINUATION_HOOK
- #undef RETURN
- #undef RUN_HOOK
- #undef RUN_HOOK0
- #undef RUN_HOOK1
- #undef SYNC_IP
- #undef UNPACK_8_8_8
- #undef UNPACK_8_16
- #undef UNPACK_16_8
- #undef UNPACK_12_12
- #undef UNPACK_24
- #undef VARIABLE_BOUNDP
- #undef VARIABLE_REF
- #undef VARIABLE_SET
- #undef VM_CHECK_FREE_VARIABLE
- #undef VM_CHECK_OBJECT
- #undef VM_CHECK_UNDERFLOW
- #undef VM_DEFINE_OP
- #undef VM_INSTRUCTION_TO_LABEL
- #undef VM_USE_HOOKS
- #undef VM_VALIDATE_ATOMIC_BOX
- #undef VM_VALIDATE_BYTEVECTOR
- #undef VM_VALIDATE_PAIR
- #undef VM_VALIDATE_STRUCT
|