123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086408740884089409040914092409340944095409640974098409941004101410241034104410541064107410841094110411141124113411441154116411741184119412041214122412341244125412641274128412941304131413241334134413541364137413841394140414141424143414441454146414741484149415041514152415341544155415641574158415941604161416241634164416541664167416841694170417141724173417441754176417741784179418041814182418341844185418641874188418941904191419241934194419541964197419841994200420142024203420442054206420742084209421042114212421342144215421642174218421942204221422242234224422542264227422842294230423142324233423442354236423742384239424042414242424342444245424642474248424942504251425242534254425542564257425842594260426142624263426442654266426742684269427042714272427342744275427642774278427942804281428242834284428542864287428842894290429142924293429442954296429742984299430043014302430343044305430643074308430943104311431243134314431543164317431843194320432143224323432443254326432743284329433043314332433343344335433643374338433943404341434243434344434543464347434843494350435143524353435443554356435743584359436043614362436343644365 |
- // Copyright 2022 The Ebiten Authors
- //
- // Licensed under the Apache License, Version 2.0 (the "License");
- // you may not use this file except in compliance with the License.
- // You may obtain a copy of the License at
- //
- // http://www.apache.org/licenses/LICENSE-2.0
- //
- // Unless required by applicable law or agreed to in writing, software
- // distributed under the License is distributed on an "AS IS" BASIS,
- // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- // See the License for the specific language governing permissions and
- // limitations under the License.
- package shader_test
- import (
- "fmt"
- "strings"
- "testing"
- "github.com/hajimehoshi/ebiten/v2/internal/shader"
- "github.com/hajimehoshi/ebiten/v2/internal/shaderir"
- )
- func compileToIR(src []byte) (*shaderir.Program, error) {
- return shader.Compile(src, "Vertex", "Fragment", 0)
- }
- func TestSyntaxShadowing(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var dstPos vec4
- return dstPos
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxDuplicatedVariables(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var foo vec4
- var foo vec4
- return foo
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var foo, foo vec4
- return foo
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var foo vec4
- foo := vec4(0)
- return foo
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (vec4, vec4) {
- return vec4(0), vec4(0)
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- foo, foo := Foo()
- return foo
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func foo() {
- var x int
- var y float
- var x vec2
- _ = x
- _ = y
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- func TestSyntaxDuplicatedFunctions(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- }
- func Foo() {
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxNoNewVariables(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- _ := 1
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- _, _ := 1, 1
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (int, int) {
- return 1, 1
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- _, _ := Foo()
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a, _ := 1, 1
- _ = a
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- _, a := 1, 1
- _ = a
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- }
- func TestSyntaxWrongReturn(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return 0.0
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (float, float) {
- return 0
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() float {
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxMultipleValueReturn(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo() (float, float) {
- return 0.0
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() float {
- return 0.0, 0.0
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (float, float, float) {
- return 0.0, 0.0
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (float, float) {
- return 0.0, 0.0
- }
- func Foo2() (float, float, float) {
- return Foo()
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (float, float, float) {
- return 0.0, 0.0, 0.0
- }
- func Foo2() (float, float, float) {
- return Foo()
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0.0)
- }
- `)); err != nil {
- t.Error(err)
- }
- }
- func TestSyntaxInit(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func init() {
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxUnsupportedSyntax(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := func() {
- }
- _ = x
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- go func() {
- }()
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- ch := make(chan int)
- _ = ch
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := 1i
- _ = x
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x [4]float
- y := x[1:2]
- _ = y
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x [4]float
- y := x[1:2:3]
- _ = y
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxForbidAssigningSpecialVariables(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- var U vec4
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- U = vec4(0)
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- var U vec4
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- U.x = 0
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- var U [2]vec4
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- U[0] = vec4(0)
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- srcPos = vec2(0)
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- srcPos.x = 0
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxBoolLiteral(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- true := vec4(0)
- return true
- }
- `)); err != nil {
- t.Error(err)
- }
- }
- func TestSyntaxUnusedVariable(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := 0
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := 0
- x = 1
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := vec4(0)
- x.x = 1
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- // Increment statement treats a variable 'used'.
- // https://go.dev/play/p/2RuYMrSLjt3
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := 0
- x++
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var a int
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var a, b int
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- // Issue #2848
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var floats [4]float
- for i := 0; i < 3; i++ {
- j := i + 1
- floats[j] = float(i)
- }
- return vec4(floats[0], floats[1], floats[2], floats[3])
- }
- `)); err != nil {
- t.Error(err)
- }
- }
- func TestSyntaxBlankLhs(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := _
- _ = x
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x int = _
- _ = x
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := 1
- x = _
- _ = x
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- x := 1 + _
- _ = x
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- _++
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- _ += 1
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- _.x = 1
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxDuplicatedVarsAndConstants(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var a = 0
- const a = 0
- _ = a
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- const a = 0
- var a = 0
- _ = a
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- const a = 0
- const a = 0
- _ = a
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- const U0 = 0
- var U0 float
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(a)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- var U0 float
- const U0 = 0
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return vec4(a)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxUnmatchedArgs(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- Foo(1)
- return dstPos
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo(x float) {
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- Foo()
- return dstPos
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo(x, y float) {
- }
- func Bar() (float, float, float) {
- return 0, 1
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- Foo(Bar())
- return dstPos
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo(x, y, z float) {
- }
- func Bar() (float, float) {
- return 0, 1
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- Foo(Bar())
- return dstPos
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- // Issue #1898
- func TestSyntaxMeaninglessSentence(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- var Time float
- var ScreenSize vec2
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- dstPos
- return dstPos
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- var Time float
- var ScreenSize vec2
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- vec2(dstPos)
- return dstPos
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- // Issue #1947
- func TestSyntaxOperatorMod(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2.0 % 0.5
- _ = a
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- // If both are constants, both must be an integer!
- a := 2.0 % 1.0
- _ = a
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := int(2) % 0.5
- _ = a
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := int(2) % 1.0
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2.0
- b := 0.5
- _ = a % b
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2
- b := 0.5
- _ = a % b
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2.5
- b := 1
- _ = a % b
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2
- b := 1
- _ = a % b
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2
- _ = a % 1
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- // If only one of two is a consntant, the constant can be a float.
- a := 2
- _ = a % 1.0
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 1
- _ = 2 % a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- // If only one of two is a consntant, the constant can be a float.
- a := 1
- _ = 2.0 % a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2
- a %= 1
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2
- a %= 1.0
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2
- a %= 0.5
- _ = a
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 2.0
- a %= 1
- _ = a
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- func TestSyntaxOperatorAssign(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 1.0
- a += 2
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 1.0
- a += 2.0
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 1.0
- a += 2.1
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 1
- a += 2
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 1
- a += 2.0
- _ = a
- return vec4(0)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := 1
- a += 2.1
- _ = a
- return vec4(0)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x float = true
- _ = x
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x bool = true
- _ = x
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x int = 1.0
- _ = x
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- }
- // Issue #1963
- func TestSyntaxOperatorVecAndNumber(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1) + 2
- return a.xxyy
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1) + 2
- return vec4(a.xxyy)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1) + 2.1
- return a.xxyy
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1) + 2.1
- return vec4(a.xxyy)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1) % 2
- return a.xxyy
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1) % 2
- return vec4(a.xxyy)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1) % 2.1
- return a.xxyy
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1) % 2.1
- return vec4(a.xxyy)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1)
- a += 2
- return a.xxyy
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1)
- a += 2
- return vec4(a.xxyy)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1)
- a += 2.1
- return a.xxyy
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1)
- a += 2.1
- return vec4(a.xxyy)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1)
- a %= 2
- return a.xxyy
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1)
- a %= 2
- return vec4(a.xxyy)
- }`)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := vec2(1)
- a %= 2.1
- return a.xxyy
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- a := ivec2(1)
- a %= 2.1
- return vec4(a.xxyy)
- }`)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- // Issue #1971
- func TestSyntaxOperatorMultiply(t *testing.T) {
- // Note: mat + float is allowed in GLSL but not in Metal.
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := 1 * vec2(2); _ = a", err: false},
- {stmt: "a := int(1) * vec2(2); _ = a", err: true},
- {stmt: "a := 1.0 * vec2(2); _ = a", err: false},
- {stmt: "a := 1.1 * vec2(2); _ = a", err: false},
- {stmt: "a := 1 + vec2(2); _ = a", err: false},
- {stmt: "a := int(1) + vec2(2); _ = a", err: true},
- {stmt: "a := 1.0 / vec2(2); _ = a", err: false},
- {stmt: "a := 1.1 / vec2(2); _ = a", err: false},
- {stmt: "a := 1.0 + vec2(2); _ = a", err: false},
- {stmt: "a := 1.1 + vec2(2); _ = a", err: false},
- {stmt: "a := 1 * vec3(2); _ = a", err: false},
- {stmt: "a := 1.0 * vec3(2); _ = a", err: false},
- {stmt: "a := 1.1 * vec3(2); _ = a", err: false},
- {stmt: "a := 1 * vec4(2); _ = a", err: false},
- {stmt: "a := 1.0 * vec4(2); _ = a", err: false},
- {stmt: "a := 1.1 * vec4(2); _ = a", err: false},
- {stmt: "a := 1 * ivec2(2); _ = a", err: false},
- {stmt: "a := int(1) * ivec2(2); _ = a", err: false},
- {stmt: "a := 1.0 * ivec2(2); _ = a", err: false},
- {stmt: "a := 1.1 * ivec2(2); _ = a", err: true},
- {stmt: "a := 1 + ivec2(2); _ = a", err: false},
- {stmt: "a := int(1) + ivec2(2); _ = a", err: false},
- {stmt: "a := 1.0 / ivec2(2); _ = a", err: false},
- {stmt: "a := 1.1 / ivec2(2); _ = a", err: true},
- {stmt: "a := 1.0 + ivec2(2); _ = a", err: false},
- {stmt: "a := 1.1 + ivec2(2); _ = a", err: true},
- {stmt: "a := 1 * ivec3(2); _ = a", err: false},
- {stmt: "a := 1.0 * ivec3(2); _ = a", err: false},
- {stmt: "a := 1.1 * ivec3(2); _ = a", err: true},
- {stmt: "a := 1 * ivec4(2); _ = a", err: false},
- {stmt: "a := 1.0 * ivec4(2); _ = a", err: false},
- {stmt: "a := 1.1 * ivec4(2); _ = a", err: true},
- {stmt: "a := 1 * mat2(2); _ = a", err: false},
- {stmt: "a := 1.0 * mat2(2); _ = a", err: false},
- {stmt: "a := float(1.0) / mat2(2); _ = a", err: true},
- {stmt: "a := 1.0 / mat2(2); _ = a", err: true},
- {stmt: "a := float(1.0) + mat2(2); _ = a", err: true},
- {stmt: "a := 1.0 + mat2(2); _ = a", err: true},
- {stmt: "a := 1 * mat3(2); _ = a", err: false},
- {stmt: "a := 1.0 * mat3(2); _ = a", err: false},
- {stmt: "a := 1 * mat4(2); _ = a", err: false},
- {stmt: "a := 1.0 * mat4(2); _ = a", err: false},
- {stmt: "a := vec2(1) * 2; _ = a", err: false},
- {stmt: "a := vec2(1) * 2.0; _ = a", err: false},
- {stmt: "a := vec2(1) * 2.1; _ = a", err: false},
- {stmt: "a := vec2(1) / 2.0; _ = a", err: false},
- {stmt: "a := vec2(1) / 2.1; _ = a", err: false},
- {stmt: "a := vec2(1) + 2.0; _ = a", err: false},
- {stmt: "a := vec2(1) + 2.1; _ = a", err: false},
- {stmt: "a := vec2(1) * int(2); _ = a", err: true},
- {stmt: "a := vec2(1) * vec2(2); _ = a", err: false},
- {stmt: "a := vec2(1) + vec2(2); _ = a", err: false},
- {stmt: "a := vec2(1) * vec3(2); _ = a", err: true},
- {stmt: "a := vec2(1) * vec4(2); _ = a", err: true},
- {stmt: "a := vec2(1) * ivec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) + ivec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) * ivec3(2); _ = a", err: true},
- {stmt: "a := vec2(1) * ivec4(2); _ = a", err: true},
- {stmt: "a := vec2(1) * mat2(2); _ = a", err: false},
- {stmt: "a := vec2(1) + mat2(2); _ = a", err: true},
- {stmt: "a := vec2(1) * mat3(2); _ = a", err: true},
- {stmt: "a := vec2(1) * mat4(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * 2; _ = a", err: false},
- {stmt: "a := ivec2(1) * 2.0; _ = a", err: false},
- {stmt: "a := ivec2(1) * 2.1; _ = a", err: true},
- {stmt: "a := ivec2(1) / 2.0; _ = a", err: false},
- {stmt: "a := ivec2(1) / 2.1; _ = a", err: true},
- {stmt: "a := ivec2(1) + 2.0; _ = a", err: false},
- {stmt: "a := ivec2(1) + 2.1; _ = a", err: true},
- {stmt: "a := ivec2(1) * int(2); _ = a", err: false},
- {stmt: "a := ivec2(1) * vec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) + vec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * vec3(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * vec4(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * ivec2(2); _ = a", err: false},
- {stmt: "a := ivec2(1) + ivec2(2); _ = a", err: false},
- {stmt: "a := ivec2(1) * ivec3(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * ivec4(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * mat2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) + mat2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * mat3(2); _ = a", err: true},
- {stmt: "a := ivec2(1) * mat4(2); _ = a", err: true},
- {stmt: "a := mat2(1) * 2; _ = a", err: false},
- {stmt: "a := mat2(1) * 2.0; _ = a", err: false},
- {stmt: "a := mat2(1) * 2.1; _ = a", err: false},
- {stmt: "a := mat2(1) / 2.0; _ = a", err: false},
- {stmt: "a := mat2(1) / 2.1; _ = a", err: false},
- {stmt: "a := mat2(1) / float(2); _ = a", err: false},
- {stmt: "a := mat2(1) * int(2); _ = a", err: true},
- {stmt: "a := mat2(1) + 2.0; _ = a", err: true},
- {stmt: "a := mat2(1) + 2.1; _ = a", err: true},
- {stmt: "a := mat2(1) + float(2); _ = a", err: true},
- {stmt: "a := mat2(1) * vec2(2); _ = a", err: false},
- {stmt: "a := mat2(1) + vec2(2); _ = a", err: true},
- {stmt: "a := mat2(1) * vec3(2); _ = a", err: true},
- {stmt: "a := mat2(1) * vec4(2); _ = a", err: true},
- {stmt: "a := mat2(1) * ivec2(2); _ = a", err: true},
- {stmt: "a := mat2(1) + ivec2(2); _ = a", err: true},
- {stmt: "a := mat2(1) * ivec3(2); _ = a", err: true},
- {stmt: "a := mat2(1) * ivec4(2); _ = a", err: true},
- {stmt: "a := mat2(1) * mat2(2); _ = a", err: false},
- {stmt: "a := mat2(1) / mat2(2); _ = a", err: true},
- {stmt: "a := mat2(1) * mat3(2); _ = a", err: true},
- {stmt: "a := mat2(1) * mat4(2); _ = a", err: true},
- }
- for _, c := range cases {
- _, err := compileToIR([]byte(fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, c.stmt)))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", c.stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", c.stmt, err)
- }
- }
- }
- // Issue: #2755
- func TestSyntaxOperatorShift(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := 1 << 2; _ = a", err: false},
- {stmt: "a := 1 << 2.0; _ = a", err: false},
- {stmt: "a := 1.0 << 2; _ = a", err: false},
- {stmt: "a := 1.0 << 2.0; _ = a", err: false},
- {stmt: "a := 1.0 << int(1); _ = a", err: false},
- {stmt: "a := int(1) << 2.0; _ = a", err: false},
- {stmt: "a := ivec2(1) << 2.0; _ = a", err: false},
- {stmt: "var a = 1; b := a << 2.0; _ = b", err: false},
- {stmt: "var a = 1; b := 2.0 << a; _ = b", err: false}, // PR: #2916
- {stmt: "a := float(1.0) << 2; _ = a", err: true},
- {stmt: "a := 1 << float(2.0); _ = a", err: true},
- {stmt: "a := ivec2(1) << 2; _ = a", err: false},
- {stmt: "a := 1 << ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) << float(2.0); _ = a", err: true},
- {stmt: "a := float(1.0) << ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) << ivec2(2); _ = a", err: false},
- {stmt: "a := ivec3(1) << ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) << ivec3(2); _ = a", err: true},
- {stmt: "a := 1 << vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) << 2; _ = a", err: true},
- {stmt: "a := float(1.0) << vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) << float(2.0); _ = a", err: true},
- {stmt: "a := vec2(1) << vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) << vec3(2); _ = a", err: true},
- {stmt: "a := vec3(1) << vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) << ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) << vec2(2); _ = a", err: true},
- {stmt: "a := vec3(1) << ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) << vec3(2); _ = a", err: true},
- {stmt: "a := 1 >> 2; _ = a", err: false},
- {stmt: "a := 1 >> 2.0; _ = a", err: false},
- {stmt: "a := 1.0 >> 2; _ = a", err: false},
- {stmt: "a := 1.0 >> 2.0; _ = a", err: false},
- {stmt: "a := 1.0 >> int(1); _ = a", err: false},
- {stmt: "a := int(1) >> 2.0; _ = a", err: false},
- {stmt: "a := ivec2(1) >> 2.0; _ = a", err: false},
- {stmt: "var a = 1; b := a >> 2.0; _ = b", err: false},
- {stmt: "var a = 1; b := 2.0 >> a; _ = b", err: false}, // PR: #2916
- {stmt: "a := float(1.0) >> 2; _ = a", err: true},
- {stmt: "a := 1 >> float(2.0); _ = a", err: true},
- {stmt: "a := ivec2(1) >> 2; _ = a", err: false},
- {stmt: "a := 1 >> ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) >> float(2.0); _ = a", err: true},
- {stmt: "a := float(1.0) >> ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) >> ivec2(2); _ = a", err: false},
- {stmt: "a := ivec3(1) >> ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) >> ivec3(2); _ = a", err: true},
- {stmt: "a := 1 >> vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) >> 2; _ = a", err: true},
- {stmt: "a := float(1.0) >> vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) >> float(2.0); _ = a", err: true},
- {stmt: "a := vec2(1) >> vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) >> vec3(2); _ = a", err: true},
- {stmt: "a := vec3(1) >> vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1) >> ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) >> vec2(2); _ = a", err: true},
- {stmt: "a := vec3(1) >> ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1) >> vec3(2); _ = a", err: true},
- }
- for _, c := range cases {
- _, err := compileToIR([]byte(fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, c.stmt)))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", c.stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", c.stmt, err)
- }
- }
- }
- func TestSyntaxOperatorShiftAssign(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := 1; a <<= 2; _ = a", err: false},
- {stmt: "a := 1; a <<= 2.0; _ = a", err: false},
- {stmt: "a := float(1.0); a <<= 2; _ = a", err: true},
- {stmt: "a := 1; a <<= float(2.0); _ = a", err: true},
- {stmt: "a := ivec2(1); a <<= 2; _ = a", err: false},
- {stmt: "a := 1; a <<= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a <<= float(2.0); _ = a", err: true},
- {stmt: "a := float(1.0); a <<= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a <<= ivec2(2); _ = a", err: false},
- {stmt: "a := ivec3(1); a <<= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a <<= ivec3(2); _ = a", err: true},
- {stmt: "a := 1; a <<= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a <<= 2; _ = a", err: true},
- {stmt: "a := float(1.0); a <<= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a <<= float(2.0); _ = a", err: true},
- {stmt: "a := vec2(1); a <<= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a <<= vec3(2); _ = a", err: true},
- {stmt: "a := vec3(1); a <<= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a <<= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a <<= vec2(2); _ = a", err: true},
- {stmt: "a := vec3(1); a <<= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a <<= vec3(2); _ = a", err: true},
- {stmt: "const c = 2; a := 1; a <<= c; _ = a", err: false},
- {stmt: "const c = 2.0; a := 1; a <<= c; _ = a", err: false},
- {stmt: "const c = 2; a := float(1.0); a <<= c; _ = a", err: true},
- {stmt: "const c float = 2; a := 1; a <<= c; _ = a", err: true},
- {stmt: "const c float = 2.0; a := 1; a <<= c; _ = a", err: true},
- {stmt: "const c int = 2; a := ivec2(1); a <<= c; _ = a", err: false},
- {stmt: "const c int = 2; a := vec2(1); a <<= c; _ = a", err: true},
- {stmt: "a := 1; a >>= 2; _ = a", err: false},
- {stmt: "a := 1; a >>= 2.0; _ = a", err: false},
- {stmt: "a := float(1.0); a >>= 2; _ = a", err: true},
- {stmt: "a := 1; a >>= float(2.0); _ = a", err: true},
- {stmt: "a := ivec2(1); a >>= 2; _ = a", err: false},
- {stmt: "a := 1; a >>= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a >>= float(2.0); _ = a", err: true},
- {stmt: "a := float(1.0); a >>= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a >>= ivec2(2); _ = a", err: false},
- {stmt: "a := ivec3(1); a >>= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a >>= ivec3(2); _ = a", err: true},
- {stmt: "a := 1; a >>= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a >>= 2; _ = a", err: true},
- {stmt: "a := float(1.0); a >>= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a >>= float(2.0); _ = a", err: true},
- {stmt: "a := vec2(1); a >>= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a >>= vec3(2); _ = a", err: true},
- {stmt: "a := vec3(1); a >>= vec2(2); _ = a", err: true},
- {stmt: "a := vec2(1); a >>= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a >>= vec2(2); _ = a", err: true},
- {stmt: "a := vec3(1); a >>= ivec2(2); _ = a", err: true},
- {stmt: "a := ivec2(1); a >>= vec3(2); _ = a", err: true},
- {stmt: "const c = 2; a := 1; a >>= c; _ = a", err: false},
- {stmt: "const c = 2.0; a := 1; a >>= c; _ = a", err: false},
- {stmt: "const c = 2; a := float(1.0); a >>= c; _ = a", err: true},
- {stmt: "const c float = 2; a := 1; a >>= c; _ = a", err: true},
- {stmt: "const c float = 2.0; a := 1; a >>= c; _ = a", err: true},
- {stmt: "const c int = 2; a := ivec2(1); a >>= c; _ = a", err: false},
- {stmt: "const c int = 2; a := vec2(1); a >>= c; _ = a", err: true},
- }
- for _, c := range cases {
- _, err := compileToIR([]byte(fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, c.stmt)))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", c.stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", c.stmt, err)
- }
- }
- }
- // Issue #1971
- func TestSyntaxOperatorMultiplyAssign(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := 1.0; a *= 2", err: false},
- {stmt: "a := 1.0; a *= 2.0", err: false},
- {stmt: "const c = 2; a := 1.0; a *= c", err: false},
- {stmt: "const c = 2.0; a := 1.0; a *= c", err: false},
- {stmt: "const c int = 2; a := 1.0; a *= c", err: true},
- {stmt: "const c int = 2.0; a := 1.0; a *= c", err: true},
- {stmt: "const c float = 2; a := 1.0; a *= c", err: false},
- {stmt: "const c float = 2.0; a := 1.0; a *= c", err: false},
- {stmt: "a := 1.0; a *= int(2)", err: true},
- {stmt: "a := 1.0; a *= vec2(2)", err: true},
- {stmt: "a := 1.0; a *= vec3(2)", err: true},
- {stmt: "a := 1.0; a *= vec4(2)", err: true},
- {stmt: "a := 1.0; a *= ivec2(2)", err: true},
- {stmt: "a := 1.0; a *= ivec3(2)", err: true},
- {stmt: "a := 1.0; a *= ivec4(2)", err: true},
- {stmt: "a := 1.0; a *= mat2(2)", err: true},
- {stmt: "a := 1.0; a *= mat3(2)", err: true},
- {stmt: "a := 1.0; a *= mat4(2)", err: true},
- {stmt: "a := vec2(1); a *= 2", err: false},
- {stmt: "a := vec2(1); a *= 2.0", err: false},
- {stmt: "const c = 2; a := vec2(1); a *= c", err: false},
- {stmt: "const c = 2.0; a := vec2(1); a *= c", err: false},
- {stmt: "const c int = 2; a := vec2(1); a *= c", err: true},
- {stmt: "const c int = 2.0; a := vec2(1); a *= c", err: true},
- {stmt: "const c float = 2; a := vec2(1); a *= c", err: false},
- {stmt: "const c float = 2.0; a := vec2(1); a *= c", err: false},
- {stmt: "a := vec2(1); a /= 2.0", err: false},
- {stmt: "a := vec2(1); a += 2.0", err: false},
- {stmt: "a := vec2(1); a *= int(2)", err: true},
- {stmt: "a := vec2(1); a *= float(2)", err: false},
- {stmt: "a := vec2(1); a /= float(2)", err: false},
- {stmt: "a := vec2(1); a *= vec2(2)", err: false},
- {stmt: "a := vec2(1); a += vec2(2)", err: false},
- {stmt: "a := vec2(1); a *= vec3(2)", err: true},
- {stmt: "a := vec2(1); a *= vec4(2)", err: true},
- {stmt: "a := vec2(1); a *= ivec2(2)", err: true},
- {stmt: "a := vec2(1); a += ivec2(2)", err: true},
- {stmt: "a := vec2(1); a *= ivec3(2)", err: true},
- {stmt: "a := vec2(1); a *= ivec4(2)", err: true},
- {stmt: "a := vec2(1); a *= mat2(2)", err: false},
- {stmt: "a := vec2(1); a += mat2(2)", err: true},
- {stmt: "a := vec2(1); a /= mat2(2)", err: true},
- {stmt: "a := vec2(1); a *= mat3(2)", err: true},
- {stmt: "a := vec2(1); a *= mat4(2)", err: true},
- {stmt: "a := ivec2(1); a *= 2", err: false},
- {stmt: "a := ivec2(1); a *= 2.0", err: false},
- {stmt: "const c = 2; a := ivec2(1); a *= c", err: false},
- {stmt: "const c = 2.0; a := ivec2(1); a *= c", err: false},
- {stmt: "const c int = 2; a := ivec2(1); a *= c", err: false},
- {stmt: "const c int = 2.0; a := ivec2(1); a *= c", err: false},
- {stmt: "const c float = 2; a := ivec2(1); a *= c", err: true},
- {stmt: "const c float = 2.0; a := ivec2(1); a *= c", err: true},
- {stmt: "a := ivec2(1); a /= 2.0", err: false},
- {stmt: "a := ivec2(1); a += 2.0", err: false},
- {stmt: "a := ivec2(1); a *= int(2)", err: false},
- {stmt: "a := ivec2(1); a *= float(2)", err: true},
- {stmt: "a := ivec2(1); a /= float(2)", err: true},
- {stmt: "a := ivec2(1); a *= vec2(2)", err: true},
- {stmt: "a := ivec2(1); a += vec2(2)", err: true},
- {stmt: "a := ivec2(1); a *= vec3(2)", err: true},
- {stmt: "a := ivec2(1); a *= vec4(2)", err: true},
- {stmt: "a := ivec2(1); a *= ivec2(2)", err: false},
- {stmt: "a := ivec2(1); a += ivec2(2)", err: false},
- {stmt: "a := ivec2(1); a *= ivec3(2)", err: true},
- {stmt: "a := ivec2(1); a *= ivec4(2)", err: true},
- {stmt: "a := ivec2(1); a *= mat2(2)", err: true},
- {stmt: "a := ivec2(1); a += mat2(2)", err: true},
- {stmt: "a := ivec2(1); a /= mat2(2)", err: true},
- {stmt: "a := ivec2(1); a *= mat3(2)", err: true},
- {stmt: "a := ivec2(1); a *= mat4(2)", err: true},
- {stmt: "a := mat2(1); a *= 2", err: false},
- {stmt: "a := mat2(1); a *= 2.0", err: false},
- {stmt: "const c = 2; a := mat2(1); a *= c", err: false},
- {stmt: "const c = 2.0; a := mat2(1); a *= c", err: false},
- {stmt: "const c int = 2; a := mat2(1); a *= c", err: true},
- {stmt: "const c int = 2.0; a := mat2(1); a *= c", err: true},
- {stmt: "const c float = 2; a := mat2(1); a *= c", err: false},
- {stmt: "const c float = 2.0; a := mat2(1); a *= c", err: false},
- {stmt: "a := mat2(1); a /= 2.0", err: false},
- {stmt: "a := mat2(1); a += 2.0", err: true},
- {stmt: "a := mat2(1); a *= int(2)", err: true},
- {stmt: "a := mat2(1); a *= float(2)", err: false},
- {stmt: "a := mat2(1); a /= float(2)", err: false},
- {stmt: "a := mat2(1); a *= vec2(2)", err: true},
- {stmt: "a := mat2(1); a += vec2(2)", err: true},
- {stmt: "a := mat2(1); a *= vec3(2)", err: true},
- {stmt: "a := mat2(1); a *= vec4(2)", err: true},
- {stmt: "a := mat2(1); a *= ivec2(2)", err: true},
- {stmt: "a := mat2(1); a += ivec2(2)", err: true},
- {stmt: "a := mat2(1); a *= ivec3(2)", err: true},
- {stmt: "a := mat2(1); a *= ivec4(2)", err: true},
- {stmt: "a := mat2(1); a *= mat2(2)", err: false},
- {stmt: "a := mat2(1); a += mat2(2)", err: false},
- {stmt: "a := mat2(1); a /= mat2(2)", err: true},
- {stmt: "a := mat2(1); a *= mat3(2)", err: true},
- {stmt: "a := mat2(1); a *= mat4(2)", err: true},
- }
- for _, c := range cases {
- _, err := compileToIR([]byte(fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, c.stmt)))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", c.stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", c.stmt, err)
- }
- }
- }
- // Issue #2754
- func TestSyntaxBitwiseOperatorAssign(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := 1; a &= 2", err: false},
- {stmt: "a := 1; a &= 2.0", err: false},
- {stmt: "const c = 2; a := 1; a &= c", err: false},
- {stmt: "const c = 2.0; a := 1; a &= c", err: false},
- {stmt: "const c int = 2; a := 1; a &= c", err: false},
- {stmt: "const c int = 2.0; a := 1; a &= c", err: false},
- {stmt: "const c float = 2; a := 1; a &= c", err: true},
- {stmt: "const c float = 2.0; a := 1; a &= c", err: true},
- {stmt: "a := 1; a &= int(2)", err: false},
- {stmt: "a := 1; a &= vec2(2)", err: true},
- {stmt: "a := 1; a &= vec3(2)", err: true},
- {stmt: "a := 1; a &= vec4(2)", err: true},
- {stmt: "a := 1; a &= ivec2(2)", err: true},
- {stmt: "a := 1; a &= ivec3(2)", err: true},
- {stmt: "a := 1; a &= ivec4(2)", err: true},
- {stmt: "a := 1; a &= mat2(2)", err: true},
- {stmt: "a := 1; a &= mat3(2)", err: true},
- {stmt: "a := 1; a &= mat4(2)", err: true},
- {stmt: "a := 1.0; a &= 2", err: true},
- {stmt: "a := ivec2(1); a &= 2", err: false},
- {stmt: "a := ivec2(1); a &= ivec2(1)", err: false},
- {stmt: "a := ivec2(1); a &= ivec3(1)", err: true},
- {stmt: "a := ivec2(1); a &= ivec4(1)", err: true},
- {stmt: "a := vec2(1); a &= 2", err: true},
- {stmt: "a := vec2(1); a &= vec2(2)", err: true},
- {stmt: "a := mat2(1); a &= 2", err: true},
- {stmt: "a := mat2(1); a &= mat2(2)", err: true},
- {stmt: "a := 1; a |= 2", err: false},
- {stmt: "a := 1; a |= 2.0", err: false},
- {stmt: "const c = 2; a := 1; a |= c", err: false},
- {stmt: "const c = 2.0; a := 1; a |= c", err: false},
- {stmt: "const c int = 2; a := 1; a |= c", err: false},
- {stmt: "const c int = 2.0; a := 1; a |= c", err: false},
- {stmt: "const c float = 2; a := 1; a |= c", err: true},
- {stmt: "const c float = 2.0; a := 1; a |= c", err: true},
- {stmt: "a := 1; a |= int(2)", err: false},
- {stmt: "a := 1; a |= vec2(2)", err: true},
- {stmt: "a := 1; a |= vec3(2)", err: true},
- {stmt: "a := 1; a |= vec4(2)", err: true},
- {stmt: "a := 1; a |= ivec2(2)", err: true},
- {stmt: "a := 1; a |= ivec3(2)", err: true},
- {stmt: "a := 1; a |= ivec4(2)", err: true},
- {stmt: "a := 1; a |= mat2(2)", err: true},
- {stmt: "a := 1; a |= mat3(2)", err: true},
- {stmt: "a := 1; a |= mat4(2)", err: true},
- {stmt: "a := 1.0; a |= 2", err: true},
- {stmt: "a := ivec2(1); a |= 2", err: false},
- {stmt: "a := ivec2(1); a |= ivec2(1)", err: false},
- {stmt: "a := ivec2(1); a |= ivec3(1)", err: true},
- {stmt: "a := ivec2(1); a |= ivec4(1)", err: true},
- {stmt: "a := vec2(1); a |= 2", err: true},
- {stmt: "a := vec2(1); a |= vec2(2)", err: true},
- {stmt: "a := mat2(1); a |= 2", err: true},
- {stmt: "a := mat2(1); a |= mat2(2)", err: true},
- {stmt: "a := 1; a ^= 2", err: false},
- {stmt: "a := 1; a ^= 2.0", err: false},
- {stmt: "const c = 2; a := 1; a ^= c", err: false},
- {stmt: "const c = 2.0; a := 1; a ^= c", err: false},
- {stmt: "const c int = 2; a := 1; a ^= c", err: false},
- {stmt: "const c int = 2.0; a := 1; a ^= c", err: false},
- {stmt: "const c float = 2; a := 1; a ^= c", err: true},
- {stmt: "const c float = 2.0; a := 1; a ^= c", err: true},
- {stmt: "a := 1; a ^= int(2)", err: false},
- {stmt: "a := 1; a ^= vec2(2)", err: true},
- {stmt: "a := 1; a ^= vec3(2)", err: true},
- {stmt: "a := 1; a ^= vec4(2)", err: true},
- {stmt: "a := 1; a ^= ivec2(2)", err: true},
- {stmt: "a := 1; a ^= ivec3(2)", err: true},
- {stmt: "a := 1; a ^= ivec4(2)", err: true},
- {stmt: "a := 1; a ^= mat2(2)", err: true},
- {stmt: "a := 1; a ^= mat3(2)", err: true},
- {stmt: "a := 1; a ^= mat4(2)", err: true},
- {stmt: "a := 1.0; a ^= 2", err: true},
- {stmt: "a := ivec2(1); a ^= 2", err: false},
- {stmt: "a := ivec2(1); a ^= ivec2(1)", err: false},
- {stmt: "a := ivec2(1); a ^= ivec3(1)", err: true},
- {stmt: "a := ivec2(1); a ^= ivec4(1)", err: true},
- {stmt: "a := vec2(1); a ^= 2", err: true},
- {stmt: "a := vec2(1); a ^= vec2(2)", err: true},
- {stmt: "a := mat2(1); a ^= 2", err: true},
- {stmt: "a := mat2(1); a ^= mat2(2)", err: true},
- }
- for _, c := range cases {
- _, err := compileToIR([]byte(fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, c.stmt)))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", c.stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", c.stmt, err)
- }
- }
- }
- func TestSyntaxAtan(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- // `atan` takes 1 argument.
- {stmt: "_ = atan(vec4(0))", err: false},
- {stmt: "_ = atan(vec4(0), vec4(0))", err: true},
- // `atan2` takes 2 arguments.
- {stmt: "_ = atan2(vec4(0))", err: true},
- {stmt: "_ = atan2(vec4(0), vec4(0))", err: false},
- }
- for _, c := range cases {
- _, err := compileToIR([]byte(fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, c.stmt)))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", c.stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", c.stmt, err)
- }
- }
- }
- // Issue #1972
- func TestSyntaxType(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x vec2 = vec3(0)
- _ = x
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x, y vec2 = vec2(0), vec3(0)
- _, _ = x, y
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x vec2
- x = vec3(0)
- _ = x
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x, y vec2
- x, y = vec2(0), vec3(0)
- _ = x
- _ = y
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x vec2
- x = 0
- _ = x
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (vec3, vec3) {
- return vec3(0), vec3(1)
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x, y vec2 = Foo()
- _ = x
- _ = y
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (vec3, vec3) {
- return vec3(0), vec3(1)
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x, y vec2
- x, y = Foo()
- _ = x
- _ = y
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- // Issue #1972
- func TestSyntaxTypeBlankVar(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var _ vec2 = vec3(0)
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var _, _ vec2 = vec2(0), vec3(0)
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (vec3, vec3) {
- return vec3(0), vec3(1)
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var _, _ vec2 = Foo()
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- // Issue #2032
- func TestSyntaxTypeFuncCall(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo(x vec2) {
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- Foo(0)
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo(x vec2, y vec3) {
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- Foo(0, 1)
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo(x vec2, y vec3) {
- }
- func Bar() (int, int) {
- return 0, 1
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- Foo(Bar())
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- // Issue #2965
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- abs(sign)
- return color
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- // Issue #2184
- func TestSyntaxConstructorFuncType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := bool(false); _ = a", err: false},
- {stmt: "i := false; a := bool(i); _ = a", err: false},
- {stmt: "a := bool(1); _ = a", err: true},
- {stmt: "a := bool(1.0); _ = a", err: true},
- {stmt: "a := bool(); _ = a", err: true},
- {stmt: "a := bool(false, true); _ = a", err: true},
- {stmt: "a := int(1); _ = a", err: false},
- {stmt: "a := int(1.0); _ = a", err: false},
- {stmt: "i := 1; a := int(i); _ = a", err: false},
- {stmt: "i := 1.0; a := int(i); _ = a", err: false},
- {stmt: "i := 1.1; a := int(i); _ = a", err: false},
- {stmt: "a := int(1.1); _ = a", err: true},
- {stmt: "a := int(false); _ = a", err: true},
- {stmt: "a := int(); _ = a", err: true},
- {stmt: "a := int(1, 2); _ = a", err: true},
- {stmt: "a := float(1); _ = a", err: false},
- {stmt: "a := float(1.0); _ = a", err: false},
- {stmt: "a := float(1.1); _ = a", err: false},
- {stmt: "i := 1; a := float(i); _ = a", err: false},
- {stmt: "i := 1.0; a := float(i); _ = a", err: false},
- {stmt: "i := 1.1; a := float(i); _ = a", err: false},
- {stmt: "a := float(false); _ = a", err: true},
- {stmt: "a := float(); _ = a", err: true},
- {stmt: "a := float(1, 2); _ = a", err: true},
- {stmt: "a := vec2(1); _ = a", err: false},
- {stmt: "a := vec2(1.0); _ = a", err: false},
- {stmt: "i := 1; a := vec2(i); _ = a", err: true},
- {stmt: "i := 1.0; a := vec2(i); _ = a", err: false},
- {stmt: "a := vec2(vec2(1)); _ = a", err: false},
- {stmt: "a := vec2(vec3(1)); _ = a", err: true},
- {stmt: "a := vec2(ivec2(1)); _ = a", err: false},
- {stmt: "a := vec2(ivec3(1)); _ = a", err: true},
- {stmt: "a := vec2(1, 1); _ = a", err: false},
- {stmt: "a := vec2(1.0, 1.0); _ = a", err: false},
- {stmt: "a := vec2(1.1, 1.1); _ = a", err: false},
- {stmt: "i := 1; a := vec2(i, i); _ = a", err: true},
- {stmt: "i := 1.0; a := vec2(i, i); _ = a", err: false},
- {stmt: "a := vec2(vec2(1), 1); _ = a", err: true},
- {stmt: "a := vec2(1, vec2(1)); _ = a", err: true},
- {stmt: "a := vec2(vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := vec2(1, 1, 1); _ = a", err: true},
- {stmt: "a := vec3(1); _ = a", err: false},
- {stmt: "a := vec3(1.0); _ = a", err: false},
- {stmt: "a := vec3(1.1); _ = a", err: false},
- {stmt: "i := 1; a := vec3(i); _ = a", err: true},
- {stmt: "i := 1.0; a := vec3(i); _ = a", err: false},
- {stmt: "a := vec3(vec3(1)); _ = a", err: false},
- {stmt: "a := vec3(vec2(1)); _ = a", err: true},
- {stmt: "a := vec3(vec4(1)); _ = a", err: true},
- {stmt: "a := vec3(ivec3(1)); _ = a", err: false},
- {stmt: "a := vec3(ivec2(1)); _ = a", err: true},
- {stmt: "a := vec3(ivec4(1)); _ = a", err: true},
- {stmt: "a := vec3(1, 1, 1); _ = a", err: false},
- {stmt: "a := vec3(1.0, 1.0, 1.0); _ = a", err: false},
- {stmt: "a := vec3(1.1, 1.1, 1.1); _ = a", err: false},
- {stmt: "i := 1; a := vec3(i, i, i); _ = a", err: true},
- {stmt: "i := 1.0; a := vec3(i, i, i); _ = a", err: false},
- {stmt: "a := vec3(vec2(1), 1); _ = a", err: false},
- {stmt: "a := vec3(1, vec2(1)); _ = a", err: false},
- {stmt: "a := vec3(ivec2(1), 1); _ = a", err: true},
- {stmt: "a := vec3(1, ivec2(1)); _ = a", err: true},
- {stmt: "a := vec3(vec3(1), 1); _ = a", err: true},
- {stmt: "a := vec3(1, vec3(1)); _ = a", err: true},
- {stmt: "a := vec3(vec3(1), vec3(1), vec3(1)); _ = a", err: true},
- {stmt: "a := vec3(1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := vec4(1); _ = a", err: false},
- {stmt: "a := vec4(1.0); _ = a", err: false},
- {stmt: "i := 1; a := vec4(i); _ = a", err: true},
- {stmt: "i := 1.0; a := vec4(i); _ = a", err: false},
- {stmt: "a := vec4(vec4(1)); _ = a", err: false},
- {stmt: "a := vec4(vec2(1)); _ = a", err: true},
- {stmt: "a := vec4(vec3(1)); _ = a", err: true},
- {stmt: "a := vec4(ivec4(1)); _ = a", err: false},
- {stmt: "a := vec4(ivec2(1)); _ = a", err: true},
- {stmt: "a := vec4(ivec3(1)); _ = a", err: true},
- {stmt: "a := vec4(1, 1, 1, 1); _ = a", err: false},
- {stmt: "a := vec4(1.0, 1.0, 1.0, 1.0); _ = a", err: false},
- {stmt: "a := vec4(1.1, 1.1, 1.1, 1.1); _ = a", err: false},
- {stmt: "i := 1; a := vec4(i, i, i, i); _ = a", err: true},
- {stmt: "i := 1.0; a := vec4(i, i, i, i); _ = a", err: false},
- {stmt: "a := vec4(vec2(1), 1, 1); _ = a", err: false},
- {stmt: "a := vec4(1, vec2(1), 1); _ = a", err: false},
- {stmt: "a := vec4(ivec2(1), 1, 1); _ = a", err: true},
- {stmt: "a := vec4(1, ivec2(1), 1); _ = a", err: true},
- {stmt: "a := vec4(1, 1, vec2(1)); _ = a", err: false},
- {stmt: "a := vec4(vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := vec4(ivec2(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := vec4(vec3(1), 1); _ = a", err: false},
- {stmt: "a := vec4(1, vec3(1)); _ = a", err: false},
- {stmt: "a := vec4(ivec3(1), 1); _ = a", err: true},
- {stmt: "a := vec4(1, ivec3(1)); _ = a", err: true},
- {stmt: "a := vec4(vec4(1), 1); _ = a", err: true},
- {stmt: "a := vec4(1, vec4(1)); _ = a", err: true},
- {stmt: "a := vec4(vec4(1), vec4(1), vec4(1), vec4(1)); _ = a", err: true},
- {stmt: "a := vec4(1, 1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := ivec2(1); _ = a", err: false},
- {stmt: "a := ivec2(1.0); _ = a", err: false},
- {stmt: "i := 1; a := ivec2(i); _ = a", err: false},
- {stmt: "i := 1.0; a := ivec2(i); _ = a", err: true},
- {stmt: "a := ivec2(vec2(1)); _ = a", err: false},
- {stmt: "a := ivec2(vec3(1)); _ = a", err: true},
- {stmt: "a := ivec2(ivec2(1)); _ = a", err: false},
- {stmt: "a := ivec2(ivec3(1)); _ = a", err: true},
- {stmt: "a := ivec2(1, 1); _ = a", err: false},
- {stmt: "a := ivec2(1.0, 1.0); _ = a", err: false},
- {stmt: "i := 1; a := ivec2(i, i); _ = a", err: false},
- {stmt: "i := 1.0; a := ivec2(i, i); _ = a", err: true},
- {stmt: "a := ivec2(vec2(1), 1); _ = a", err: true},
- {stmt: "a := ivec2(1, vec2(1)); _ = a", err: true},
- {stmt: "a := ivec2(ivec2(1), 1); _ = a", err: true},
- {stmt: "a := ivec2(1, ivec2(1)); _ = a", err: true},
- {stmt: "a := ivec2(ivec2(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := ivec2(1, 1, 1); _ = a", err: true},
- {stmt: "a := ivec3(1); _ = a", err: false},
- {stmt: "a := ivec3(1.0); _ = a", err: false},
- {stmt: "a := ivec3(1.1); _ = a", err: true},
- {stmt: "i := 1; a := ivec3(i); _ = a", err: false},
- {stmt: "i := 1.0; a := ivec3(i); _ = a", err: true},
- {stmt: "a := ivec3(vec3(1)); _ = a", err: false},
- {stmt: "a := ivec3(vec2(1)); _ = a", err: true},
- {stmt: "a := ivec3(vec4(1)); _ = a", err: true},
- {stmt: "a := ivec3(ivec3(1)); _ = a", err: false},
- {stmt: "a := ivec3(ivec2(1)); _ = a", err: true},
- {stmt: "a := ivec3(ivec4(1)); _ = a", err: true},
- {stmt: "a := ivec3(1, 1, 1); _ = a", err: false},
- {stmt: "a := ivec3(1.0, 1.0, 1.0); _ = a", err: false},
- {stmt: "a := ivec3(1.1, 1.1, 1.1); _ = a", err: true},
- {stmt: "i := 1; a := ivec3(i, i, i); _ = a", err: false},
- {stmt: "i := 1.0; a := ivec3(i, i, i); _ = a", err: true},
- {stmt: "a := ivec3(vec2(1), 1); _ = a", err: true},
- {stmt: "a := ivec3(1, vec2(1)); _ = a", err: true},
- {stmt: "a := ivec3(ivec2(1), 1); _ = a", err: false},
- {stmt: "a := ivec3(1, ivec2(1)); _ = a", err: false},
- {stmt: "a := ivec3(vec3(1), 1); _ = a", err: true},
- {stmt: "a := ivec3(1, vec3(1)); _ = a", err: true},
- {stmt: "a := ivec3(vec3(1), vec3(1), vec3(1)); _ = a", err: true},
- {stmt: "a := ivec3(1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := ivec4(1); _ = a", err: false},
- {stmt: "a := ivec4(1.0); _ = a", err: false},
- {stmt: "i := 1; a := ivec4(i); _ = a", err: false},
- {stmt: "i := 1.0; a := ivec4(i); _ = a", err: true},
- {stmt: "a := ivec4(vec4(1)); _ = a", err: false},
- {stmt: "a := ivec4(vec2(1)); _ = a", err: true},
- {stmt: "a := ivec4(vec3(1)); _ = a", err: true},
- {stmt: "a := ivec4(ivec4(1)); _ = a", err: false},
- {stmt: "a := ivec4(ivec2(1)); _ = a", err: true},
- {stmt: "a := ivec4(ivec3(1)); _ = a", err: true},
- {stmt: "a := ivec4(1, 1, 1, 1); _ = a", err: false},
- {stmt: "a := ivec4(1.0, 1.0, 1.0, 1.0); _ = a", err: false},
- {stmt: "a := ivec4(1.1, 1.1, 1.1, 1.1); _ = a", err: true},
- {stmt: "i := 1; a := ivec4(i, i, i, i); _ = a", err: false},
- {stmt: "i := 1.0; a := ivec4(i, i, i, i); _ = a", err: true},
- {stmt: "a := ivec4(vec2(1), 1, 1); _ = a", err: true},
- {stmt: "a := ivec4(1, vec2(1), 1); _ = a", err: true},
- {stmt: "a := ivec4(1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := ivec4(ivec2(1), 1, 1); _ = a", err: false},
- {stmt: "a := ivec4(1, ivec2(1), 1); _ = a", err: false},
- {stmt: "a := ivec4(1, 1, ivec2(1)); _ = a", err: false},
- {stmt: "a := ivec4(vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := ivec4(ivec2(1), ivec2(1)); _ = a", err: false},
- {stmt: "a := ivec4(vec3(1), 1); _ = a", err: true},
- {stmt: "a := ivec4(1, vec3(1)); _ = a", err: true},
- {stmt: "a := ivec4(ivec3(1), 1); _ = a", err: false},
- {stmt: "a := ivec4(1, ivec3(1)); _ = a", err: false},
- {stmt: "a := ivec4(vec4(1), 1); _ = a", err: true},
- {stmt: "a := ivec4(1, vec4(1)); _ = a", err: true},
- {stmt: "a := ivec4(vec4(1), vec4(1), vec4(1), vec4(1)); _ = a", err: true},
- {stmt: "a := ivec4(1, 1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := mat2(1); _ = a", err: false},
- {stmt: "a := mat2(1.0); _ = a", err: false},
- {stmt: "i := 1; a := mat2(i); _ = a", err: true},
- {stmt: "i := 1.0; a := mat2(i); _ = a", err: false},
- {stmt: "a := mat2(mat2(1)); _ = a", err: false},
- {stmt: "a := mat2(vec2(1)); _ = a", err: true},
- {stmt: "a := mat2(ivec2(1)); _ = a", err: true},
- {stmt: "a := mat2(mat3(1)); _ = a", err: true},
- {stmt: "a := mat2(mat4(1)); _ = a", err: true},
- {stmt: "a := mat2(vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := mat2(ivec2(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := mat2(1, 1); _ = a", err: true},
- {stmt: "a := mat2(1, vec2(1)); _ = a", err: true},
- {stmt: "a := mat2(vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := mat2(mat2(1), mat2(1)); _ = a", err: true},
- {stmt: "a := mat2(1, 1, 1, 1); _ = a", err: false},
- {stmt: "a := mat2(1.0, 1.0, 1.0, 1.0); _ = a", err: false},
- {stmt: "i := 1; a := mat2(i, i, i, i); _ = a", err: true},
- {stmt: "i := 1.0; a := mat2(i, i, i, i); _ = a", err: false},
- {stmt: "a := mat2(vec2(1), vec2(1), vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := mat2(1, 1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := mat2(1, 1, 1, vec3(1)); _ = a", err: true},
- {stmt: "a := mat2(mat2(1), mat2(1), mat2(1), mat2(1)); _ = a", err: true},
- {stmt: "a := mat2(1, 1, 1); _ = a", err: true},
- {stmt: "a := mat2(1, 1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := mat3(1); _ = a", err: false},
- {stmt: "a := mat3(1.0); _ = a", err: false},
- {stmt: "i := 1; a := mat3(i); _ = a", err: true},
- {stmt: "i := 1.0; a := mat3(i); _ = a", err: false},
- {stmt: "a := mat3(mat3(1)); _ = a", err: false},
- {stmt: "a := mat3(vec2(1)); _ = a", err: true},
- {stmt: "a := mat3(ivec2(1)); _ = a", err: true},
- {stmt: "a := mat3(mat2(1)); _ = a", err: true},
- {stmt: "a := mat3(mat4(1)); _ = a", err: true},
- {stmt: "a := mat3(vec3(1), vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := mat3(ivec3(1), ivec3(1), ivec3(1)); _ = a", err: true},
- {stmt: "a := mat3(1, 1, 1); _ = a", err: true},
- {stmt: "a := mat3(1, 1, vec3(1)); _ = a", err: true},
- {stmt: "a := mat3(vec3(1), vec3(1), vec4(1)); _ = a", err: true},
- {stmt: "a := mat3(mat3(1), mat3(1), mat3(1)); _ = a", err: true},
- {stmt: "a := mat3(1, 1, 1, 1, 1, 1, 1, 1, 1); _ = a", err: false},
- {stmt: "a := mat3(1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0); _ = a", err: false},
- {stmt: "i := 1; a := mat3(i, i, i, i, i, i, i, i, i); _ = a", err: true},
- {stmt: "i := 1.0; a := mat3(i, i, i, i, i, i, i, i, i); _ = a", err: false},
- {stmt: "a := mat3(vec3(1), vec3(1), vec3(1), vec3(1), vec3(1), vec3(1), vec3(1), vec3(1), vec3(1)); _ = a", err: true},
- {stmt: "a := mat3(1, 1, 1, 1, 1, 1, 1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := mat3(1, 1, 1, 1, 1, 1, 1, 1, vec3(1)); _ = a", err: true},
- {stmt: "a := mat3(mat3(1), mat3(1), mat3(1), mat3(1), mat3(1), mat3(1), mat3(1), mat3(1), mat3(1)); _ = a", err: true},
- {stmt: "a := mat3(1, 1, 1, 1, 1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := mat3(1, 1, 1, 1, 1, 1, 1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := mat4(1); _ = a", err: false},
- {stmt: "a := mat4(1.0); _ = a", err: false},
- {stmt: "i := 1; a := mat4(i); _ = a", err: true},
- {stmt: "i := 1.0; a := mat4(i); _ = a", err: false},
- {stmt: "a := mat4(mat4(1)); _ = a", err: false},
- {stmt: "a := mat4(vec2(1)); _ = a", err: true},
- {stmt: "a := mat4(ivec2(1)); _ = a", err: true},
- {stmt: "a := mat4(mat2(1)); _ = a", err: true},
- {stmt: "a := mat4(mat3(1)); _ = a", err: true},
- {stmt: "a := mat4(vec4(1), vec4(1), vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := mat4(ivec4(1), ivec4(1), ivec4(1), ivec4(1)); _ = a", err: true},
- {stmt: "a := mat4(1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := mat4(1, 1, 1, vec4(1)); _ = a", err: true},
- {stmt: "a := mat4(vec4(1), vec4(1), vec4(1), vec2(1)); _ = a", err: true},
- {stmt: "a := mat4(mat4(1), mat4(1), mat4(1), mat4(1)); _ = a", err: true},
- {stmt: "a := mat4(1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1); _ = a", err: false},
- {stmt: "a := mat4(1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0); _ = a", err: false},
- {stmt: "i := 1; a := mat4(i, i, i, i, i, i, i, i, i, i, i, i, i, i, i, i); _ = a", err: true},
- {stmt: "i := 1.0; a := mat4(i, i, i, i, i, i, i, i, i, i, i, i, i, i, i, i); _ = a", err: false},
- {stmt: "a := mat4(vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1), vec4(1)); _ = a", err: true},
- {stmt: "a := mat4(1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := mat4(1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, vec3(1)); _ = a", err: true},
- {stmt: "a := mat4(mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1), mat4(1)); _ = a", err: true},
- {stmt: "a := mat4(1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1); _ = a", err: true},
- {stmt: "a := mat4(1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- _, err := compileToIR([]byte(fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, c.stmt)))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", c.stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", c.stmt, err)
- }
- }
- }
- // Issue #2248
- func TestSyntaxDiscard(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- if true {
- discard()
- }
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- // discard without return doesn't work so far.
- // TODO: Allow discard without return.
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- discard()
- return vec4(0)
- }
- `)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func foo() {
- discard()
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- foo()
- return vec4(0)
- }
- `)); err == nil {
- t.Errorf("error must be non-nil but was nil")
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncSingleArgType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := {{.Func}}(); _ = a", err: true},
- {stmt: "a := {{.Func}}(false); _ = a", err: true},
- {stmt: "a := {{.Func}}(1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(mat2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(mat3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(mat4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1); _ = a", err: true},
- }
- funcs := []string{
- "sin",
- "cos",
- "tan",
- "asin",
- "acos",
- "atan",
- "exp",
- "log",
- "exp2",
- "log2",
- "sqrt",
- "inversesqrt",
- "floor",
- "ceil",
- "fract",
- "length",
- "normalize",
- "dfdx",
- "dfdy",
- "fwidth",
- }
- for _, c := range cases {
- for _, f := range funcs {
- stmt := strings.ReplaceAll(c.stmt, "{{.Func}}", f)
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- }
- func TestSyntaxBuiltinFuncSingleArgTypeInteger(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := {{.Func}}(); _ = a", err: true},
- {stmt: "a := {{.Func}}(false); _ = a", err: true},
- {stmt: "a := {{.Func}}(1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(mat2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(mat3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(mat4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1); _ = a", err: true},
- }
- funcs := []string{
- "abs",
- "sign",
- }
- for _, c := range cases {
- for _, f := range funcs {
- stmt := strings.ReplaceAll(c.stmt, "{{.Func}}", f)
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncDoubleArgsType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := {{.Func}}(); _ = a", err: true},
- {stmt: "a := {{.Func}}(1); _ = a", err: true},
- {stmt: "a := {{.Func}}(false, false); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(int(1), 1.0); _ = a", err: true},
- {stmt: "a := {{.Func}}(int(1), 1.1); _ = a", err: true},
- {stmt: "a := {{.Func}}(float(1), 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(float(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(float(1), 1.1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1.0, int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1.1, int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.1, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1), int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec3(1), vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(mat2(1), mat2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec2(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec2(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1, 1); _ = a", err: true},
- }
- funcs := []string{
- "atan2",
- "pow",
- "distance",
- "dot",
- "reflect",
- }
- for _, c := range cases {
- for _, f := range funcs {
- stmt := strings.ReplaceAll(c.stmt, "{{.Func}}", f)
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncDoubleArgsType2(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := {{.Func}}(); _ = a", err: true},
- {stmt: "a := {{.Func}}(1); _ = a", err: true},
- {stmt: "a := {{.Func}}(false, false); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(int(1), 1.0); _ = a", err: true},
- {stmt: "a := {{.Func}}(int(1), 1.1); _ = a", err: true},
- {stmt: "a := {{.Func}}(float(1), 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(float(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(float(1), 1.1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1.0, int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1.1, int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.1, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1), int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, ivec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, ivec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, ivec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(vec3(1), vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec3(1), vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(vec4(1), vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(mat2(1), mat2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec2(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec2(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1, 1); _ = a", err: true},
- }
- funcs := []string{
- "mod",
- }
- for _, c := range cases {
- for _, f := range funcs {
- stmt := strings.ReplaceAll(c.stmt, "{{.Func}}", f)
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- }
- func TestSyntaxBuiltinFuncArgsMinMax(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := {{.Func}}(); _ = a", err: true},
- {stmt: "a := {{.Func}}(1); _ = a", err: true}, // TODO: Allow this (#2677).
- {stmt: "a := {{.Func}}(false, false); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1); var _ int = a", err: false},
- {stmt: "a := {{.Func}}(1.0, 1); var _ float = a", err: false},
- {stmt: "a := {{.Func}}(1, 1.0); var _ float = a", err: false},
- {stmt: "a := {{.Func}}(1.1, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, 1.1); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1), 1); var _ int = a", err: false},
- {stmt: "a := {{.Func}}(int(1), 1.0); var _ int = a", err: false},
- {stmt: "a := {{.Func}}(int(1), 1.1); _ = a", err: true},
- {stmt: "a := {{.Func}}(float(1), 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(float(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(float(1), 1.1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, int(1)); var _ int = a", err: false},
- {stmt: "a := {{.Func}}(1.0, int(1)); var _ int = a", err: false},
- {stmt: "a := {{.Func}}(1.1, int(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.1, float(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(int(1), int(1)); var _ int = a", err: false},
- {stmt: "a := {{.Func}}(int(1), float(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(float(1), int(1)); _ = a", err: true},
- {stmt: "x := 1.1; a := {{.Func}}(int(x), 1); _ = a", err: false},
- {stmt: "x := 1; a := {{.Func}}(float(x), 1.1); _ = a", err: false},
- {stmt: "x := 1.1; a := {{.Func}}(1, int(x)); _ = a", err: false},
- {stmt: "x := 1; a := {{.Func}}(1.1, float(x)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, ivec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, ivec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, ivec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(vec2(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec2(1), 1.1); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(vec3(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec3(1), 1.1); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec3(1), vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec3(1), vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(vec4(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec4(1), 1.1); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec4(1), vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(mat2(1), mat2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec2(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(ivec2(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec2(1), 1.1); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec2(1), ivec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec2(1), ivec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec2(1), ivec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec3(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(ivec3(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec3(1), 1.1); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec3(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec3(1), ivec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec3(1), ivec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec4(1), 1); _ = a", err: false}, // The second argument can be a scalar.
- {stmt: "a := {{.Func}}(ivec4(1), 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec4(1), 1.1); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec4(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec4(1), ivec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(ivec4(1), ivec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, 1, 1); _ = a", err: true}, // TODO: Allow this (#2677).
- }
- funcs := []string{
- "min",
- "max",
- }
- for _, c := range cases {
- for _, f := range funcs {
- stmt := strings.ReplaceAll(c.stmt, "{{.Func}}", f)
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncStepType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := step(); _ = a", err: true},
- {stmt: "a := step(1); _ = a", err: true},
- {stmt: "a := step(false, false); _ = a", err: true},
- {stmt: "a := step(1, 1); _ = a", err: false},
- {stmt: "a := step(1.0, 1); _ = a", err: false},
- {stmt: "a := step(1, 1.0); _ = a", err: false},
- {stmt: "a := step(int(1), int(1)); _ = a", err: true},
- {stmt: "a := step(1, vec2(1)); _ = a", err: false}, // The first argument can be a scalar.
- {stmt: "a := step(1, vec3(1)); _ = a", err: false}, // The first argument can be a scalar.
- {stmt: "a := step(1, vec4(1)); _ = a", err: false}, // The first argument can be a scalar.
- {stmt: "a := step(1, ivec2(1)); _ = a", err: true},
- {stmt: "a := step(1, ivec3(1)); _ = a", err: true},
- {stmt: "a := step(1, ivec4(1)); _ = a", err: true},
- {stmt: "a := step(vec2(1), 1); _ = a", err: true},
- {stmt: "a := step(vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := step(vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := step(vec2(1), vec4(1)); _ = a", err: true},
- {stmt: "a := step(vec3(1), 1); _ = a", err: true},
- {stmt: "a := step(vec3(1), vec2(1)); _ = a", err: true},
- {stmt: "a := step(vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := step(vec3(1), vec4(1)); _ = a", err: true},
- {stmt: "a := step(vec4(1), 1); _ = a", err: true},
- {stmt: "a := step(vec4(1), vec2(1)); _ = a", err: true},
- {stmt: "a := step(vec4(1), vec3(1)); _ = a", err: true},
- {stmt: "a := step(vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := step(mat2(1), mat2(1)); _ = a", err: true},
- {stmt: "a := step(ivec2(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := step(1, 1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncTripleArgsType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := {{.Func}}(); _ = a", err: true},
- {stmt: "a := {{.Func}}(1); _ = a", err: true},
- {stmt: "a := {{.Func}}(false, false); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(false, false, false); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1.0, 1, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, 1.0, 1); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, 1, 1.0); _ = a", err: false},
- {stmt: "a := {{.Func}}(1, vec2(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(1, vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), 1, 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), 1, vec2(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), vec2(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec2(1), vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec2(1), vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), 1, 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), 1, vec3(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), vec3(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec3(1), vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(vec4(1), 1, 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), 1, vec4(1)); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec4(1), 1); _ = a", err: true},
- {stmt: "a := {{.Func}}(vec4(1), vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := {{.Func}}(ivec2(1), ivec2(1), ivec2(1)); _ = a", err: true},
- }
- funcs := []string{
- "faceforward",
- }
- for _, c := range cases {
- for _, f := range funcs {
- stmt := strings.ReplaceAll(c.stmt, "{{.Func}}", f)
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncClampType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := clamp(); _ = a", err: true},
- {stmt: "a := clamp(1); _ = a", err: true},
- {stmt: "a := clamp(false, false); _ = a", err: true},
- {stmt: "a := clamp(1, 1); _ = a", err: true},
- {stmt: "a := clamp(false, false, false); _ = a", err: true},
- {stmt: "a := clamp(1, 1, 1); var _ int = a", err: false},
- {stmt: "a := clamp(int(1), 1, 1); var _ int = a", err: false},
- {stmt: "a := clamp(int(1), 1.0, 1); var _ int = a", err: false},
- {stmt: "a := clamp(int(1), 1, 1.0); var _ int = a", err: false},
- {stmt: "a := clamp(int(1), 1.1, 1); _ = a", err: true},
- {stmt: "a := clamp(int(1), 1, 1.1); _ = a", err: true},
- {stmt: "a := clamp(float(1), 1, 1); var _ float = a", err: false},
- {stmt: "a := clamp(float(1), 1.0, 1); var _ float = a", err: false},
- {stmt: "a := clamp(float(1), 1, 1.0); var _ float = a", err: false},
- {stmt: "a := clamp(float(1), 1.1, 1); _ = a", err: false},
- {stmt: "a := clamp(float(1), 1, 1.1); _ = a", err: false},
- {stmt: "x := 1.1; a := clamp(int(x), 1, 1); _ = a", err: false},
- {stmt: "x := 1; a := clamp(float(x), 1.1, 1.1); _ = a", err: false},
- {stmt: "x := 1.1; a := clamp(1, int(x), 1); _ = a", err: false},
- {stmt: "x := 1; a := clamp(1.1, float(x), 1.1); _ = a", err: false},
- {stmt: "x := 1.1; a := clamp(1, 1, int(x)); _ = a", err: false},
- {stmt: "x := 1; a := clamp(1.1, 1.1, float(x)); _ = a", err: false},
- {stmt: "a := clamp(1.0, 1, 1); var _ float = a", err: false},
- {stmt: "a := clamp(1, 1.0, 1); var _ float = a", err: false},
- {stmt: "a := clamp(1, 1, 1.0); var _ float = a", err: false},
- {stmt: "a := clamp(1.1, 1, 1); var _ float = a", err: false},
- {stmt: "a := clamp(1, 1.1, 1); var _ float = a", err: false},
- {stmt: "a := clamp(1, 1, 1.1); var _ float = a", err: false},
- {stmt: "a := clamp(1, vec2(1), 1); _ = a", err: true},
- {stmt: "a := clamp(1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := clamp(1, vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := clamp(vec2(1), 1, 1); _ = a", err: false},
- {stmt: "a := clamp(vec2(1), 1, vec2(1)); _ = a", err: true},
- {stmt: "a := clamp(vec2(1), vec2(1), 1); _ = a", err: true},
- {stmt: "a := clamp(vec2(1), vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := clamp(vec2(1), vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := clamp(vec3(1), 1, 1); _ = a", err: false},
- {stmt: "a := clamp(vec3(1), 1, vec3(1)); _ = a", err: true},
- {stmt: "a := clamp(vec3(1), vec3(1), 1); _ = a", err: true},
- {stmt: "a := clamp(vec3(1), vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := clamp(vec4(1), 1, 1); _ = a", err: false},
- {stmt: "a := clamp(vec4(1), 1, vec4(1)); _ = a", err: true},
- {stmt: "a := clamp(vec4(1), vec4(1), 1); _ = a", err: true},
- {stmt: "a := clamp(vec4(1), vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := clamp(ivec2(1), 1, 1); _ = a", err: false},
- {stmt: "a := clamp(ivec2(1), 1.1, 1); _ = a", err: true},
- {stmt: "a := clamp(ivec2(1), 1, 1.1); _ = a", err: true},
- {stmt: "a := clamp(ivec2(1), 1, ivec2(1)); _ = a", err: true},
- {stmt: "a := clamp(ivec2(1), ivec2(1), 1); _ = a", err: true},
- {stmt: "a := clamp(ivec2(1), ivec2(1), ivec2(1)); _ = a", err: false},
- {stmt: "a := clamp(ivec2(1), ivec2(1), ivec3(1)); _ = a", err: true},
- {stmt: "a := clamp(ivec3(1), 1, 1); _ = a", err: false},
- {stmt: "a := clamp(ivec3(1), 1.1, 1); _ = a", err: true},
- {stmt: "a := clamp(ivec3(1), 1, 1.1); _ = a", err: true},
- {stmt: "a := clamp(ivec3(1), 1, ivec3(1)); _ = a", err: true},
- {stmt: "a := clamp(ivec3(1), ivec3(1), 1); _ = a", err: true},
- {stmt: "a := clamp(ivec3(1), ivec3(1), ivec3(1)); _ = a", err: false},
- {stmt: "a := clamp(ivec4(1), 1, 1); _ = a", err: false},
- {stmt: "a := clamp(ivec4(1), 1.1, 1); _ = a", err: true},
- {stmt: "a := clamp(ivec4(1), 1, 1.1); _ = a", err: true},
- {stmt: "a := clamp(ivec4(1), 1, ivec4(1)); _ = a", err: true},
- {stmt: "a := clamp(ivec4(1), ivec4(1), 1); _ = a", err: true},
- {stmt: "a := clamp(ivec4(1), ivec4(1), ivec4(1)); _ = a", err: false},
- {stmt: "a := clamp(1, 1, 1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncMixType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := mix(); _ = a", err: true},
- {stmt: "a := mix(1); _ = a", err: true},
- {stmt: "a := mix(false, false); _ = a", err: true},
- {stmt: "a := mix(1, 1); _ = a", err: true},
- {stmt: "a := mix(false, false, false); _ = a", err: true},
- {stmt: "a := mix(1, 1, 1); _ = a", err: false},
- {stmt: "a := mix(1.0, 1, 1); _ = a", err: false},
- {stmt: "a := mix(1, 1.0, 1); _ = a", err: false},
- {stmt: "a := mix(1, 1, 1.0); _ = a", err: false},
- {stmt: "a := mix(1, vec2(1), 1); _ = a", err: true},
- {stmt: "a := mix(1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := mix(1, vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := mix(vec2(1), 1, 1); _ = a", err: true},
- {stmt: "a := mix(vec2(1), 1, vec2(1)); _ = a", err: true},
- {stmt: "a := mix(vec2(1), vec2(1), 1); _ = a", err: false}, // The thrid argument can be a float.
- {stmt: "a := mix(vec2(1), vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := mix(vec2(1), vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := mix(vec3(1), 1, 1); _ = a", err: true},
- {stmt: "a := mix(vec3(1), 1, vec3(1)); _ = a", err: true},
- {stmt: "a := mix(vec3(1), vec3(1), 1); _ = a", err: false}, // The thrid argument can be a float.
- {stmt: "a := mix(vec3(1), vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := mix(vec4(1), 1, 1); _ = a", err: true},
- {stmt: "a := mix(vec4(1), 1, vec4(1)); _ = a", err: true},
- {stmt: "a := mix(vec4(1), vec4(1), 1); _ = a", err: false}, // The thrid argument can be a float.
- {stmt: "a := mix(vec4(1), vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := mix(ivec2(1), ivec2(1), 1); _ = a", err: true},
- {stmt: "a := mix(ivec2(1), ivec2(1), ivec2(1)); _ = a", err: true},
- {stmt: "a := mix(1, 1, 1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncSmoothstepType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := smoothstep(); _ = a", err: true},
- {stmt: "a := smoothstep(1); _ = a", err: true},
- {stmt: "a := smoothstep(false, false); _ = a", err: true},
- {stmt: "a := smoothstep(1, 1); _ = a", err: true},
- {stmt: "a := smoothstep(false, false, false); _ = a", err: true},
- {stmt: "a := smoothstep(1, 1, 1); _ = a", err: false},
- {stmt: "a := smoothstep(1.0, 1, 1); _ = a", err: false},
- {stmt: "a := smoothstep(1, 1.0, 1); _ = a", err: false},
- {stmt: "a := smoothstep(1, 1, 1.0); _ = a", err: false},
- {stmt: "a := smoothstep(1, vec2(1), 1); _ = a", err: true},
- {stmt: "a := smoothstep(1, 1, vec2(1)); _ = a", err: false},
- {stmt: "a := smoothstep(1, 1, vec3(1)); _ = a", err: false},
- {stmt: "a := smoothstep(1, 1, vec4(1)); _ = a", err: false},
- {stmt: "a := smoothstep(1, vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := smoothstep(vec2(1), 1, 1); _ = a", err: true},
- {stmt: "a := smoothstep(vec2(1), 1, vec2(1)); _ = a", err: true},
- {stmt: "a := smoothstep(vec2(1), vec2(1), 1); _ = a", err: true},
- {stmt: "a := smoothstep(vec2(1), vec2(1), vec2(1)); _ = a", err: false},
- {stmt: "a := smoothstep(vec2(1), vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := smoothstep(vec3(1), 1, 1); _ = a", err: true},
- {stmt: "a := smoothstep(vec3(1), 1, vec3(1)); _ = a", err: true},
- {stmt: "a := smoothstep(vec3(1), vec3(1), 1); _ = a", err: true},
- {stmt: "a := smoothstep(vec3(1), vec3(1), vec3(1)); _ = a", err: false},
- {stmt: "a := smoothstep(vec4(1), 1, 1); _ = a", err: true},
- {stmt: "a := smoothstep(vec4(1), 1, vec4(1)); _ = a", err: true},
- {stmt: "a := smoothstep(vec4(1), vec4(1), 1); _ = a", err: true},
- {stmt: "a := smoothstep(vec4(1), vec4(1), vec4(1)); _ = a", err: false},
- {stmt: "a := smoothstep(ivec2(1), 1, 1); _ = a", err: true},
- {stmt: "a := smoothstep(1, ivec2(1), 1); _ = a", err: true},
- {stmt: "a := smoothstep(1, 1, ivec2(1)); _ = a", err: true},
- {stmt: "a := smoothstep(1, 1, 1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncRefractType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := refract(); _ = a", err: true},
- {stmt: "a := refract(1); _ = a", err: true},
- {stmt: "a := refract(false, false); _ = a", err: true},
- {stmt: "a := refract(1, 1); _ = a", err: true},
- {stmt: "a := refract(false, false, false); _ = a", err: true},
- {stmt: "a := refract(1, 1, 1); _ = a", err: false},
- {stmt: "a := refract(1.0, 1, 1); _ = a", err: false},
- {stmt: "a := refract(1, 1.0, 1); _ = a", err: false},
- {stmt: "a := refract(1, 1, 1.0); _ = a", err: false},
- {stmt: "a := refract(1, vec2(1), 1); _ = a", err: true},
- {stmt: "a := refract(1, 1, vec2(1)); _ = a", err: true},
- {stmt: "a := refract(1, vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := refract(vec2(1), 1, 1); _ = a", err: true},
- {stmt: "a := refract(vec2(1), 1, vec2(1)); _ = a", err: true},
- {stmt: "a := refract(vec2(1), vec2(1), 1); _ = a", err: false}, // The third argument must be a float.
- {stmt: "a := refract(vec2(1), vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := refract(vec2(1), vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := refract(vec3(1), 1, 1); _ = a", err: true},
- {stmt: "a := refract(vec3(1), 1, vec3(1)); _ = a", err: true},
- {stmt: "a := refract(vec3(1), vec3(1), 1); _ = a", err: false}, // The third argument must be a float.
- {stmt: "a := refract(vec3(1), vec3(1), vec3(1)); _ = a", err: true},
- {stmt: "a := refract(vec4(1), 1, 1); _ = a", err: true},
- {stmt: "a := refract(vec4(1), 1, vec4(1)); _ = a", err: true},
- {stmt: "a := refract(vec4(1), vec4(1), 1); _ = a", err: false}, // The third argument must be a float.
- {stmt: "a := refract(vec4(1), vec4(1), vec4(1)); _ = a", err: true},
- {stmt: "a := refract(ivec2(1), ivec2(1), 1); _ = a", err: true},
- {stmt: "a := refract(1, 1, 1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncCrossType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := cross(); _ = a", err: true},
- {stmt: "a := cross(1); _ = a", err: true},
- {stmt: "a := cross(false, false); _ = a", err: true},
- {stmt: "a := cross(1, 1); _ = a", err: true},
- {stmt: "a := cross(1.0, 1); _ = a", err: true},
- {stmt: "a := cross(1, 1.0); _ = a", err: true},
- {stmt: "a := cross(int(1), int(1)); _ = a", err: true},
- {stmt: "a := cross(1, vec2(1)); _ = a", err: true},
- {stmt: "a := cross(1, vec3(1)); _ = a", err: true},
- {stmt: "a := cross(1, vec4(1)); _ = a", err: true},
- {stmt: "a := cross(vec2(1), 1); _ = a", err: true},
- {stmt: "a := cross(vec2(1), vec2(1)); _ = a", err: true},
- {stmt: "a := cross(vec2(1), vec3(1)); _ = a", err: true},
- {stmt: "a := cross(vec2(1), vec4(1)); _ = a", err: true},
- {stmt: "a := cross(vec3(1), 1); _ = a", err: true},
- {stmt: "a := cross(vec3(1), vec2(1)); _ = a", err: true},
- {stmt: "a := cross(vec3(1), vec3(1)); _ = a", err: false}, // Only two vec3s are allowed
- {stmt: "a := cross(vec3(1), vec4(1)); _ = a", err: true},
- {stmt: "a := cross(vec4(1), 1); _ = a", err: true},
- {stmt: "a := cross(vec4(1), vec2(1)); _ = a", err: true},
- {stmt: "a := cross(vec4(1), vec3(1)); _ = a", err: true},
- {stmt: "a := cross(vec4(1), vec4(1)); _ = a", err: true},
- {stmt: "a := cross(mat2(1), mat2(1)); _ = a", err: true},
- {stmt: "a := cross(ivec3(1), ivec3(1)); _ = a", err: true},
- {stmt: "a := cross(1, 1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2184
- func TestSyntaxBuiltinFuncTransposeType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := transpose(); _ = a", err: true},
- {stmt: "a := transpose(false); _ = a", err: true},
- {stmt: "a := transpose(1); _ = a", err: true},
- {stmt: "a := transpose(1.0); _ = a", err: true},
- {stmt: "a := transpose(int(1)); _ = a", err: true},
- {stmt: "a := transpose(vec2(1)); _ = a", err: true},
- {stmt: "a := transpose(vec3(1)); _ = a", err: true},
- {stmt: "a := transpose(vec4(1)); _ = a", err: true},
- {stmt: "a := transpose(ivec2(1)); _ = a", err: true},
- {stmt: "a := transpose(ivec3(1)); _ = a", err: true},
- {stmt: "a := transpose(ivec4(1)); _ = a", err: true},
- {stmt: "a := transpose(mat2(1)); _ = a", err: false},
- {stmt: "a := transpose(mat3(1)); _ = a", err: false},
- {stmt: "a := transpose(mat4(1)); _ = a", err: false},
- {stmt: "a := transpose(1, 1); _ = a", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2187
- func TestSyntaxEqual(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "_ = false == true", err: false},
- {stmt: "_ = false != true", err: false},
- {stmt: "_ = false == 1", err: true},
- {stmt: "_ = false != 1", err: true},
- {stmt: "_ = false == 1.0", err: true},
- {stmt: "_ = false != 1.0", err: true},
- {stmt: "_ = false == 1.1", err: true},
- {stmt: "_ = false != 1.1", err: true},
- {stmt: "a, b := false, true; _ = a == b", err: false},
- {stmt: "a, b := false, true; _ = a != b", err: false},
- {stmt: "a, b := false, 1; _ = a == b", err: true},
- {stmt: "a, b := false, 1; _ = a != b", err: true},
- {stmt: "a, b := false, 1.0; _ = a == b", err: true},
- {stmt: "a, b := false, 1.0; _ = a != b", err: true},
- {stmt: "a, b := false, 1.1; _ = a == b", err: true},
- {stmt: "a, b := false, 1.1; _ = a != b", err: true},
- {stmt: "a, b := false, vec2(1); _ = a == b", err: true},
- {stmt: "a, b := false, vec2(1); _ = a != b", err: true},
- {stmt: "a, b := false, ivec2(1); _ = a == b", err: true},
- {stmt: "a, b := false, ivec2(1); _ = a != b", err: true},
- {stmt: "a, b := false, mat2(1); _ = a == b", err: true},
- {stmt: "a, b := false, mat2(1); _ = a != b", err: true},
- {stmt: "_ = 1 == true", err: true},
- {stmt: "_ = 1 != true", err: true},
- {stmt: "_ = 1 == 1", err: false},
- {stmt: "_ = 1 != 1", err: false},
- {stmt: "_ = 1 == 1.0", err: false},
- {stmt: "_ = 1 != 1.0", err: false},
- {stmt: "_ = 1 == 1.1", err: false},
- {stmt: "_ = 1 != 1.1", err: false},
- {stmt: "a, b := 1, true; _ = a == b", err: true},
- {stmt: "a, b := 1, true; _ = a != b", err: true},
- {stmt: "a, b := 1, 1; _ = a == b", err: false},
- {stmt: "a, b := 1, 1; _ = a != b", err: false},
- {stmt: "a, b := 1, 1.0; _ = a == b", err: true},
- {stmt: "a, b := 1, 1.0; _ = a != b", err: true},
- {stmt: "a, b := 1, 1.1; _ = a == b", err: true},
- {stmt: "a, b := 1, 1.1; _ = a != b", err: true},
- {stmt: "a, b := 1, vec2(1); _ = a == b", err: true},
- {stmt: "a, b := 1, vec2(1); _ = a != b", err: true},
- {stmt: "a, b := 1, ivec2(1); _ = a == b", err: true},
- {stmt: "a, b := 1, ivec2(1); _ = a != b", err: true},
- {stmt: "a, b := 1, mat2(1); _ = a == b", err: true},
- {stmt: "a, b := 1, mat2(1); _ = a != b", err: true},
- {stmt: "_ = 1.0 == true", err: true},
- {stmt: "_ = 1.0 != true", err: true},
- {stmt: "_ = 1.0 == 1", err: false},
- {stmt: "_ = 1.0 != 1", err: false},
- {stmt: "_ = 1.0 == 1.0", err: false},
- {stmt: "_ = 1.0 != 1.0", err: false},
- {stmt: "_ = 1.0 == 1.1", err: false},
- {stmt: "_ = 1.0 != 1.1", err: false},
- {stmt: "a, b := 1.0, true; _ = a == b", err: true},
- {stmt: "a, b := 1.0, true; _ = a != b", err: true},
- {stmt: "a, b := 1.0, 1; _ = a == b", err: true},
- {stmt: "a, b := 1.0, 1; _ = a != b", err: true},
- {stmt: "a, b := 1.0, 1.0; _ = a == b", err: false},
- {stmt: "a, b := 1.0, 1.0; _ = a != b", err: false},
- {stmt: "a, b := 1.0, 1.1; _ = a == b", err: false},
- {stmt: "a, b := 1.0, 1.1; _ = a != b", err: false},
- {stmt: "a, b := 1.0, vec2(1); _ = a == b", err: true},
- {stmt: "a, b := 1.0, vec2(1); _ = a != b", err: true},
- {stmt: "a, b := 1.0, ivec2(1); _ = a == b", err: true},
- {stmt: "a, b := 1.0, ivec2(1); _ = a != b", err: true},
- {stmt: "a, b := 1.0, mat2(1); _ = a == b", err: true},
- {stmt: "a, b := 1.0, mat2(1); _ = a != b", err: true},
- {stmt: "_ = 1.1 == true", err: true},
- {stmt: "_ = 1.1 != true", err: true},
- {stmt: "_ = 1.1 == 1", err: false},
- {stmt: "_ = 1.1 != 1", err: false},
- {stmt: "_ = 1.1 == 1.0", err: false},
- {stmt: "_ = 1.1 != 1.0", err: false},
- {stmt: "_ = 1.1 == 1.1", err: false},
- {stmt: "_ = 1.1 != 1.1", err: false},
- {stmt: "a, b := 1.1, true; _ = a == b", err: true},
- {stmt: "a, b := 1.1, true; _ = a != b", err: true},
- {stmt: "a, b := 1.1, 1; _ = a == b", err: true},
- {stmt: "a, b := 1.1, 1; _ = a != b", err: true},
- {stmt: "a, b := 1.1, 1.0; _ = a == b", err: false},
- {stmt: "a, b := 1.1, 1.0; _ = a != b", err: false},
- {stmt: "a, b := 1.1, 1.1; _ = a == b", err: false},
- {stmt: "a, b := 1.1, 1.1; _ = a != b", err: false},
- {stmt: "a, b := 1.1, vec2(1); _ = a == b", err: true},
- {stmt: "a, b := 1.1, vec2(1); _ = a != b", err: true},
- {stmt: "a, b := 1.1, ivec2(1); _ = a == b", err: true},
- {stmt: "a, b := 1.1, ivec2(1); _ = a != b", err: true},
- {stmt: "a, b := 1.1, mat2(1); _ = a == b", err: true},
- {stmt: "a, b := 1.1, mat2(1); _ = a != b", err: true},
- {stmt: "_ = vec2(1) == true", err: true},
- {stmt: "_ = vec2(1) != true", err: true},
- {stmt: "_ = vec2(1) == 1", err: true},
- {stmt: "_ = vec2(1) != 1", err: true},
- {stmt: "_ = vec2(1) == 1.0", err: true},
- {stmt: "_ = vec2(1) != 1.0", err: true},
- {stmt: "_ = vec2(1) == 1.1", err: true},
- {stmt: "_ = vec2(1) != 1.1", err: true},
- {stmt: "a, b := vec2(1), true; _ = a == b", err: true},
- {stmt: "a, b := vec2(1), true; _ = a != b", err: true},
- {stmt: "a, b := vec2(1), 1; _ = a == b", err: true},
- {stmt: "a, b := vec2(1), 1; _ = a != b", err: true},
- {stmt: "a, b := vec2(1), 1.0; _ = a == b", err: true},
- {stmt: "a, b := vec2(1), 1.0; _ = a != b", err: true},
- {stmt: "a, b := vec2(1), 1.1; _ = a == b", err: true},
- {stmt: "a, b := vec2(1), 1.1; _ = a != b", err: true},
- {stmt: "a, b := vec2(1), vec2(1); _ = a == b", err: false},
- {stmt: "a, b := vec2(1), vec2(1); _ = a != b", err: false},
- {stmt: "a, b := vec2(1), ivec2(1); _ = a == b", err: true},
- {stmt: "a, b := vec2(1), ivec2(1); _ = a != b", err: true},
- {stmt: "a, b := vec2(1), mat2(1); _ = a == b", err: true},
- {stmt: "a, b := vec2(1), mat2(1); _ = a != b", err: true},
- {stmt: "_ = ivec2(1) == true", err: true},
- {stmt: "_ = ivec2(1) != true", err: true},
- {stmt: "_ = ivec2(1) == 1", err: true},
- {stmt: "_ = ivec2(1) != 1", err: true},
- {stmt: "_ = ivec2(1) == 1.0", err: true},
- {stmt: "_ = ivec2(1) != 1.0", err: true},
- {stmt: "_ = ivec2(1) == 1.1", err: true},
- {stmt: "_ = ivec2(1) != 1.1", err: true},
- {stmt: "a, b := ivec2(1), true; _ = a == b", err: true},
- {stmt: "a, b := ivec2(1), true; _ = a != b", err: true},
- {stmt: "a, b := ivec2(1), 1; _ = a == b", err: true},
- {stmt: "a, b := ivec2(1), 1; _ = a != b", err: true},
- {stmt: "a, b := ivec2(1), 1.0; _ = a == b", err: true},
- {stmt: "a, b := ivec2(1), 1.0; _ = a != b", err: true},
- {stmt: "a, b := ivec2(1), 1.1; _ = a == b", err: true},
- {stmt: "a, b := ivec2(1), 1.1; _ = a != b", err: true},
- {stmt: "a, b := ivec2(1), vec2(1); _ = a == b", err: true},
- {stmt: "a, b := ivec2(1), vec2(1); _ = a != b", err: true},
- {stmt: "a, b := ivec2(1), ivec2(1); _ = a == b", err: false},
- {stmt: "a, b := ivec2(1), ivec2(1); _ = a != b", err: false},
- {stmt: "a, b := ivec2(1), mat2(1); _ = a == b", err: true},
- {stmt: "a, b := ivec2(1), mat2(1); _ = a != b", err: true},
- {stmt: "_ = mat2(1) == true", err: true},
- {stmt: "_ = mat2(1) != true", err: true},
- {stmt: "_ = mat2(1) == 1", err: true},
- {stmt: "_ = mat2(1) != 1", err: true},
- {stmt: "_ = mat2(1) == 1.0", err: true},
- {stmt: "_ = mat2(1) != 1.0", err: true},
- {stmt: "_ = mat2(1) == 1.1", err: true},
- {stmt: "_ = mat2(1) != 1.1", err: true},
- {stmt: "a, b := mat2(1), true; _ = a == b", err: true},
- {stmt: "a, b := mat2(1), true; _ = a != b", err: true},
- {stmt: "a, b := mat2(1), 1; _ = a == b", err: true},
- {stmt: "a, b := mat2(1), 1; _ = a != b", err: true},
- {stmt: "a, b := mat2(1), 1.0; _ = a == b", err: true},
- {stmt: "a, b := mat2(1), 1.0; _ = a != b", err: true},
- {stmt: "a, b := mat2(1), 1.1; _ = a == b", err: true},
- {stmt: "a, b := mat2(1), 1.1; _ = a != b", err: true},
- {stmt: "a, b := mat2(1), vec2(1); _ = a == b", err: true},
- {stmt: "a, b := mat2(1), vec2(1); _ = a != b", err: true},
- {stmt: "a, b := mat2(1), ivec2(1); _ = a == b", err: true},
- {stmt: "a, b := mat2(1), ivec2(1); _ = a != b", err: true},
- {stmt: "a, b := mat2(1), mat2(1); _ = a == b", err: true}, // Comparing matrices are not allowed.
- {stmt: "a, b := mat2(1), mat2(1); _ = a != b", err: true}, // Comparing matrices are not allowed.
- {stmt: "_ = false && true", err: false},
- {stmt: "_ = false || true", err: false},
- {stmt: "_ = false && 1", err: true},
- {stmt: "_ = false || 1", err: true},
- {stmt: "_ = false && 1.0", err: true},
- {stmt: "_ = false || 1.0", err: true},
- {stmt: "_ = false && 1.1", err: true},
- {stmt: "_ = false || 1.1", err: true},
- {stmt: "a, b := false, true; _ = a && b", err: false},
- {stmt: "a, b := false, true; _ = a || b", err: false},
- {stmt: "a, b := false, 1; _ = a && b", err: true},
- {stmt: "a, b := false, 1; _ = a || b", err: true},
- {stmt: "a, b := false, 1.0; _ = a && b", err: true},
- {stmt: "a, b := false, 1.0; _ = a || b", err: true},
- {stmt: "a, b := false, 1.1; _ = a && b", err: true},
- {stmt: "a, b := false, 1.1; _ = a || b", err: true},
- {stmt: "a, b := false, vec2(1); _ = a && b", err: true},
- {stmt: "a, b := false, vec2(1); _ = a || b", err: true},
- {stmt: "a, b := false, ivec2(1); _ = a && b", err: true},
- {stmt: "a, b := false, ivec2(1); _ = a || b", err: true},
- {stmt: "a, b := false, mat2(1); _ = a && b", err: true},
- {stmt: "a, b := false, mat2(1); _ = a || b", err: true},
- {stmt: "_ = 1.0 && true", err: true},
- {stmt: "_ = 1.0 || true", err: true},
- {stmt: "_ = 1.0 && 1", err: true},
- {stmt: "_ = 1.0 || 1", err: true},
- {stmt: "_ = 1.0 && 1.0", err: true},
- {stmt: "_ = 1.0 || 1.0", err: true},
- {stmt: "_ = 1.0 && 1.1", err: true},
- {stmt: "_ = 1.0 || 1.1", err: true},
- {stmt: "a, b := 1.0, true; _ = a && b", err: true},
- {stmt: "a, b := 1.0, true; _ = a || b", err: true},
- {stmt: "a, b := 1.0, 1; _ = a && b", err: true},
- {stmt: "a, b := 1.0, 1; _ = a || b", err: true},
- {stmt: "a, b := 1.0, 1.0; _ = a && b", err: true},
- {stmt: "a, b := 1.0, 1.0; _ = a || b", err: true},
- {stmt: "a, b := 1.0, 1.1; _ = a && b", err: true},
- {stmt: "a, b := 1.0, 1.1; _ = a || b", err: true},
- {stmt: "a, b := 1.0, vec2(1); _ = a && b", err: true},
- {stmt: "a, b := 1.0, vec2(1); _ = a || b", err: true},
- {stmt: "a, b := 1.0, ivec2(1); _ = a && b", err: true},
- {stmt: "a, b := 1.0, ivec2(1); _ = a || b", err: true},
- {stmt: "a, b := 1.0, mat2(1); _ = a && b", err: true},
- {stmt: "a, b := 1.0, mat2(1); _ = a || b", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- func TestSyntaxTypeRedeclaration(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "type Foo int; type Foo int", err: true},
- {stmt: "type Foo int; type Foo float", err: true},
- {stmt: "type Foo int; { type Foo int }", err: false},
- {stmt: "type Foo int; type Bar int", err: false},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- func TestSyntaxSwizzling(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "var a vec2; var b float = a.x; _ = b", err: false},
- {stmt: "var a vec2; var b float = a.y; _ = b", err: false},
- {stmt: "var a vec2; var b float = a.z; _ = b", err: true},
- {stmt: "var a vec2; var b float = a.w; _ = b", err: true},
- {stmt: "var a vec2; var b vec2 = a.xy; _ = b", err: false},
- {stmt: "var a vec2; var b vec3 = a.xyz; _ = b", err: true},
- {stmt: "var a vec2; var b vec3 = a.xyw; _ = b", err: true},
- {stmt: "var a vec2; var b vec3 = a.xyy; _ = b", err: false},
- {stmt: "var a vec2; var b vec3 = a.zzz; _ = b", err: true},
- {stmt: "var a vec2; var b vec4 = a.xyzw; _ = b", err: true},
- {stmt: "var a vec2; var b float = a.r; _ = b", err: false},
- {stmt: "var a vec2; var b float = a.g; _ = b", err: false},
- {stmt: "var a vec2; var b float = a.b; _ = b", err: true},
- {stmt: "var a vec2; var b float = a.a; _ = b", err: true},
- {stmt: "var a vec2; var b vec2 = a.rg; _ = b", err: false},
- {stmt: "var a vec2; var b vec3 = a.rgb; _ = b", err: true},
- {stmt: "var a vec2; var b vec3 = a.rga; _ = b", err: true},
- {stmt: "var a vec2; var b vec3 = a.rgg; _ = b", err: false},
- {stmt: "var a vec2; var b vec3 = a.bbb; _ = b", err: true},
- {stmt: "var a vec2; var b vec4 = a.rgba; _ = b", err: true},
- {stmt: "var a vec2; var b float = a.s; _ = b", err: false},
- {stmt: "var a vec2; var b float = a.t; _ = b", err: false},
- {stmt: "var a vec2; var b float = a.p; _ = b", err: true},
- {stmt: "var a vec2; var b float = a.q; _ = b", err: true},
- {stmt: "var a vec2; var b vec2 = a.st; _ = b", err: false},
- {stmt: "var a vec2; var b vec3 = a.stp; _ = b", err: true},
- {stmt: "var a vec2; var b vec3 = a.stq; _ = b", err: true},
- {stmt: "var a vec2; var b vec3 = a.stt; _ = b", err: false},
- {stmt: "var a vec2; var b vec3 = a.ppp; _ = b", err: true},
- {stmt: "var a vec2; var b vec4 = a.stpq; _ = b", err: true},
- {stmt: "var a vec3; var b float = a.x; _ = b", err: false},
- {stmt: "var a vec3; var b float = a.y; _ = b", err: false},
- {stmt: "var a vec3; var b float = a.z; _ = b", err: false},
- {stmt: "var a vec3; var b float = a.w; _ = b", err: true},
- {stmt: "var a vec3; var b vec2 = a.xy; _ = b", err: false},
- {stmt: "var a vec3; var b vec3 = a.xyz; _ = b", err: false},
- {stmt: "var a vec3; var b vec3 = a.xyw; _ = b", err: true},
- {stmt: "var a vec3; var b vec3 = a.xyy; _ = b", err: false},
- {stmt: "var a vec3; var b vec3 = a.zzz; _ = b", err: false},
- {stmt: "var a vec3; var b vec4 = a.xyzw; _ = b", err: true},
- {stmt: "var a vec4; var b float = a.x; _ = b", err: false},
- {stmt: "var a vec4; var b float = a.y; _ = b", err: false},
- {stmt: "var a vec4; var b float = a.z; _ = b", err: false},
- {stmt: "var a vec4; var b float = a.w; _ = b", err: false},
- {stmt: "var a vec4; var b vec2 = a.xy; _ = b", err: false},
- {stmt: "var a vec4; var b vec3 = a.xyz; _ = b", err: false},
- {stmt: "var a vec4; var b vec3 = a.xyw; _ = b", err: false},
- {stmt: "var a vec4; var b vec3 = a.xyy; _ = b", err: false},
- {stmt: "var a vec4; var b vec3 = a.zzz; _ = b", err: false},
- {stmt: "var a vec4; var b vec4 = a.xyzw; _ = b", err: false},
- {stmt: "var a ivec2; var b int = a.x; _ = b", err: false},
- {stmt: "var a ivec2; var b int = a.y; _ = b", err: false},
- {stmt: "var a ivec2; var b int = a.z; _ = b", err: true},
- {stmt: "var a ivec2; var b int = a.w; _ = b", err: true},
- {stmt: "var a ivec2; var b ivec2 = a.xy; _ = b", err: false},
- {stmt: "var a ivec2; var b ivec3 = a.xyz; _ = b", err: true},
- {stmt: "var a ivec2; var b ivec3 = a.xyw; _ = b", err: true},
- {stmt: "var a ivec2; var b ivec3 = a.xyy; _ = b", err: false},
- {stmt: "var a ivec2; var b ivec3 = a.zzz; _ = b", err: true},
- {stmt: "var a ivec2; var b ivec4 = a.xyzw; _ = b", err: true},
- {stmt: "var a ivec3; var b int = a.x; _ = b", err: false},
- {stmt: "var a ivec3; var b int = a.y; _ = b", err: false},
- {stmt: "var a ivec3; var b int = a.z; _ = b", err: false},
- {stmt: "var a ivec3; var b int = a.w; _ = b", err: true},
- {stmt: "var a ivec3; var b ivec2 = a.xy; _ = b", err: false},
- {stmt: "var a ivec3; var b ivec3 = a.xyz; _ = b", err: false},
- {stmt: "var a ivec3; var b ivec3 = a.xyw; _ = b", err: true},
- {stmt: "var a ivec3; var b ivec3 = a.xyy; _ = b", err: false},
- {stmt: "var a ivec3; var b ivec3 = a.zzz; _ = b", err: false},
- {stmt: "var a ivec3; var b ivec4 = a.xyzw; _ = b", err: true},
- {stmt: "var a ivec4; var b int = a.x; _ = b", err: false},
- {stmt: "var a ivec4; var b int = a.y; _ = b", err: false},
- {stmt: "var a ivec4; var b int = a.z; _ = b", err: false},
- {stmt: "var a ivec4; var b int = a.w; _ = b", err: false},
- {stmt: "var a ivec4; var b ivec2 = a.xy; _ = b", err: false},
- {stmt: "var a ivec4; var b ivec3 = a.xyz; _ = b", err: false},
- {stmt: "var a ivec4; var b ivec3 = a.xyw; _ = b", err: false},
- {stmt: "var a ivec4; var b ivec3 = a.xyy; _ = b", err: false},
- {stmt: "var a ivec4; var b ivec3 = a.zzz; _ = b", err: false},
- {stmt: "var a ivec4; var b ivec4 = a.xyzw; _ = b", err: false},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- func TestSyntaxConstType(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "const a = false", err: false},
- {stmt: "const a bool = false", err: false},
- {stmt: "const a int = false", err: true},
- {stmt: "const a float = false", err: true},
- {stmt: "const a vec2 = false", err: true},
- {stmt: "const a ivec2 = false", err: true},
- {stmt: "const a = bool(false)", err: false},
- {stmt: "const a bool = bool(false)", err: false},
- {stmt: "const a int = bool(false)", err: true},
- {stmt: "const a float = bool(false)", err: true},
- {stmt: "const a vec2 = bool(false)", err: true},
- {stmt: "const a ivec2 = bool(false)", err: true},
- {stmt: "const a = int(false)", err: true},
- {stmt: "const a bool = int(false)", err: true},
- {stmt: "const a int = int(false)", err: true},
- {stmt: "const a float = int(false)", err: true},
- {stmt: "const a vec2 = int(false)", err: true},
- {stmt: "const a ivec2 = int(false)", err: true},
- {stmt: "const a = float(false)", err: true},
- {stmt: "const a bool = float(false)", err: true},
- {stmt: "const a int = float(false)", err: true},
- {stmt: "const a float = float(false)", err: true},
- {stmt: "const a vec2 = float(false)", err: true},
- {stmt: "const a ivec2 = float(false)", err: true},
- {stmt: "const a = 1", err: false},
- {stmt: "const a bool = 1", err: true},
- {stmt: "const a int = 1", err: false},
- {stmt: "const a float = 1", err: false},
- {stmt: "const a vec2 = 1", err: true},
- {stmt: "const a ivec2 = 1", err: true},
- {stmt: "const a = int(1)", err: false},
- {stmt: "const a bool = int(1)", err: true},
- {stmt: "const a int = int(1)", err: false},
- {stmt: "const a float = int(1)", err: true},
- {stmt: "const a vec2 = int(1)", err: true},
- {stmt: "const a ivec2 = int(1)", err: true},
- {stmt: "const a = float(1)", err: false},
- {stmt: "const a bool = float(1)", err: true},
- {stmt: "const a int = float(1)", err: true},
- {stmt: "const a float = float(1)", err: false},
- {stmt: "const a vec2 = float(1)", err: true},
- {stmt: "const a ivec2 = float(1)", err: true},
- {stmt: "const a = 1.0", err: false},
- {stmt: "const a bool = 1.0", err: true},
- {stmt: "const a int = 1.0", err: false},
- {stmt: "const a float = 1.0", err: false},
- {stmt: "const a vec2 = 1.0", err: true},
- {stmt: "const a ivec2 = 1.0", err: true},
- {stmt: "const a = int(1.0)", err: false},
- {stmt: "const a bool = int(1.0)", err: true},
- {stmt: "const a int = int(1.0)", err: false},
- {stmt: "const a float = int(1.0)", err: true},
- {stmt: "const a vec2 = int(1.0)", err: true},
- {stmt: "const a ivec2 = int(1.0)", err: true},
- {stmt: "const a = float(1.0)", err: false},
- {stmt: "const a bool = float(1.0)", err: true},
- {stmt: "const a int = float(1.0)", err: true},
- {stmt: "const a float = float(1.0)", err: false},
- {stmt: "const a vec2 = float(1.0)", err: true},
- {stmt: "const a ivec2 = float(1.0)", err: true},
- {stmt: "const a = 1.1", err: false},
- {stmt: "const a bool = 1.1", err: true},
- {stmt: "const a int = 1.1", err: true},
- {stmt: "const a float = 1.1", err: false},
- {stmt: "const a vec2 = 1.1", err: true},
- {stmt: "const a ivec2 = 1.1", err: true},
- {stmt: "const a = int(1.1)", err: true},
- {stmt: "const a bool = int(1.1)", err: true},
- {stmt: "const a int = int(1.1)", err: true},
- {stmt: "const a float = int(1.1)", err: true},
- {stmt: "const a vec2 = int(1.1)", err: true},
- {stmt: "const a ivec2 = int(1.1)", err: true},
- {stmt: "const a = float(1.1)", err: false},
- {stmt: "const a bool = float(1.1)", err: true},
- {stmt: "const a int = float(1.1)", err: true},
- {stmt: "const a float = float(1.1)", err: false},
- {stmt: "const a vec2 = float(1.1)", err: true},
- {stmt: "const a ivec2 = float(1.1)", err: true},
- {stmt: "const a = vec2(0)", err: true},
- {stmt: "const a bool = vec2(0)", err: true},
- {stmt: "const a int = vec2(0)", err: true},
- {stmt: "const a float = vec2(0)", err: true},
- {stmt: "const a vec2 = vec2(0)", err: true},
- {stmt: "const a ivec2 = vec2(0)", err: true},
- {stmt: "const a = ivec2(0)", err: true},
- {stmt: "const a bool = ivec2(0)", err: true},
- {stmt: "const a int = ivec2(0)", err: true},
- {stmt: "const a float = ivec2(0)", err: true},
- {stmt: "const a vec2 = ivec2(0)", err: true},
- {stmt: "const a ivec2 = ivec2(0)", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2549
- func TestSyntaxConstType2(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "const x = 1; y := x*x; _ = vec4(1) / y", err: true},
- {stmt: "const x = 1.0; y := x*x; _ = vec4(1) / y", err: false},
- {stmt: "const x int = 1; y := x*x; _ = vec4(1) / y", err: true},
- {stmt: "const x int = 1.0; y := x*x; _ = vec4(1) / y", err: true},
- {stmt: "const x float = 1; y := x*x; _ = vec4(1) / y", err: false},
- {stmt: "const x float = 1.0; y := x*x; _ = vec4(1) / y", err: false},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2704
- func TestSyntaxConstType3(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "const x = 1; const y = 1; _ = x * y", err: false},
- {stmt: "const x = 1; const y int = 1; _ = x * y", err: false},
- {stmt: "const x int = 1; const y = 1; _ = x * y", err: false},
- {stmt: "const x int = 1; const y int = 1; _ = x * y", err: false},
- {stmt: "const x = 1; const y float = 1; _ = x * y", err: false},
- {stmt: "const x float = 1; const y = 1; _ = x * y", err: false},
- {stmt: "const x float = 1; const y float = 1; _ = x * y", err: false},
- {stmt: "const x int = 1; const y float = 1; _ = x * y", err: true},
- {stmt: "const x float = 1; const y int = 1; _ = x * y", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2348
- func TestSyntaxCompositeLit(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "_ = undefined{1, 2, 3, 4}", err: true},
- {stmt: "_ = int{1, 2, 3, 4}", err: true},
- {stmt: "_ = vec4{1, 2, 3, 4}", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- func TestSyntaxCompilerDirective(t *testing.T) {
- cases := []struct {
- src string
- unit shaderir.Unit
- err bool
- }{
- {
- src: `package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`,
- unit: shaderir.Texels,
- err: false,
- },
- {
- src: `//kage:unit texels
- package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`,
- unit: shaderir.Texels,
- err: false,
- },
- {
- src: `//kage:unit pixels
- package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`,
- unit: shaderir.Pixels,
- err: false,
- },
- {
- src: `//kage:unit foo
- package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`,
- err: true,
- },
- {
- src: `//kage:unit pixels
- //kage:unit pixels
- package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`,
- err: true,
- },
- {
- src: `//kage:unit pixels
- //kage:unit texels
- package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`,
- err: true,
- },
- {
- src: "\t " + `//kage:unit pixels` + " \t\r" + `
- package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`,
- unit: shaderir.Pixels,
- err: false,
- },
- }
- for _, c := range cases {
- ir, err := compileToIR([]byte(c.src))
- if err == nil && c.err {
- t.Errorf("Compile(%q) must return an error but does not", c.src)
- } else if err != nil && !c.err {
- t.Errorf("Compile(%q) must not return nil but returned %v", c.src, err)
- }
- if err != nil || c.err {
- continue
- }
- if got, want := ir.Unit, c.unit; got != want {
- t.Errorf("Compile(%q).Unit: got: %d, want: %d", c.src, got, want)
- }
- }
- }
- // Issue #2654
- func TestSyntaxOmittedReturnType(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func foo(x vec2) {
- x = bar(x)
- _ = x
- }
- func bar(x vec2) {
- return x
- }`)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- // Issue #2590
- func TestSyntaxAssignToUniformVariables(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- var Foo float
- func foo(x vec2) {
- Foo = 0
- }`)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- var Foo float
- func foo(x vec2) {
- var x int
- x, Foo = 0, 0
- _ = x
- }`)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- var Foo float
- func foo(x vec2) {
- Foo += 0
- }`)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- // Issue #2711
- if _, err := compileToIR([]byte(`package main
- var Foo float = 1
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- var Foo, Bar int = 1, 1
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- // Issue #2705
- func TestSyntaxInitWithNegativeInteger(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- var x float = -0
- _ = x
- return dstPos
- }`)); err != nil {
- t.Error(err)
- }
- }
- // Issue #2706
- func TestSyntaxReturnConst(t *testing.T) {
- cases := []struct {
- typ string
- stmt string
- err bool
- }{
- {typ: "bool", stmt: "true", err: false},
- {typ: "int", stmt: "true", err: true},
- {typ: "float", stmt: "true", err: true},
- {typ: "bool", stmt: "1", err: true},
- {typ: "int", stmt: "1", err: false},
- {typ: "float", stmt: "1", err: false},
- {typ: "bool", stmt: "1.0", err: true},
- {typ: "int", stmt: "1.0", err: false},
- {typ: "float", stmt: "1.0", err: false},
- {typ: "bool", stmt: "1.1", err: true},
- {typ: "int", stmt: "1.1", err: true},
- {typ: "float", stmt: "1.1", err: false},
- }
- for _, c := range cases {
- typ := c.typ
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Foo() %s {
- return %s
- }
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- return dstPos
- }`, typ, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("return %s for type %s must return an error but does not", stmt, typ)
- } else if err != nil && !c.err {
- t.Errorf("return %s for type %s must not return nil but returned %v", stmt, typ, err)
- }
- }
- }
- // Issue #2706
- func TestSyntaxScalarAndVector(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := vec2(1) + 1; var b vec2 = a; _ = b", err: false},
- {stmt: "a := 1 + vec2(1); var b vec2 = a; _ = b", err: false},
- {stmt: "a := vec2(1); b := 1; var c vec2 = a + b; _ = c", err: true},
- {stmt: "a := vec2(1); b := 1; var c vec2 = b + a; _ = c", err: true},
- {stmt: "a := vec2(1) + 1.0; var b vec2 = a; _ = b", err: false},
- {stmt: "a := 1.0 + vec2(1); var b vec2 = a; _ = b", err: false},
- {stmt: "a := vec2(1); b := 1.0; var c vec2 = a + b; _ = c", err: false},
- {stmt: "a := vec2(1); b := 1.0; var c vec2 = b + a; _ = c", err: false},
- {stmt: "a := vec2(1) + 1.1; var b vec2 = a; _ = b", err: false},
- {stmt: "a := 1.1 + vec2(1); var b vec2 = a; _ = b", err: false},
- {stmt: "a := vec2(1); b := 1.1; var c vec2 = a + b; _ = c", err: false},
- {stmt: "a := vec2(1); b := 1.1; var c vec2 = b + a; _ = c", err: false},
- {stmt: "a := ivec2(1) + 1; var b ivec2 = a; _ = b", err: false},
- {stmt: "a := 1 + ivec2(1); var b ivec2 = a; _ = b", err: false},
- {stmt: "a := ivec2(1); b := 1; var c ivec2 = a + b; _ = c", err: false},
- {stmt: "a := ivec2(1); b := 1; var c ivec2 = b + a; _ = c", err: false},
- {stmt: "a := ivec2(1) + 1.0; var b ivec2 = a; _ = b", err: false},
- {stmt: "a := 1.0 + ivec2(1); var b ivec2 = a; _ = b", err: false},
- {stmt: "a := ivec2(1); b := 1.0; var c ivec2 = a + b; _ = c", err: true},
- {stmt: "a := ivec2(1); b := 1.0; var c ivec2 = b + a; _ = c", err: true},
- {stmt: "a := ivec2(1) + 1.1; var b ivec2 = a; _ = b", err: true},
- {stmt: "a := 1.1 + ivec2(1); var b ivec2 = a; _ = b", err: true},
- {stmt: "a := ivec2(1); b := 1.1; var c ivec2 = a + b; _ = c", err: true},
- {stmt: "a := ivec2(1); b := 1.1; var c ivec2 = b + a; _ = c", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2712
- func TestSyntaxCast(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "a := int(1); _ = a", err: false},
- {stmt: "a := int(1.0); _ = a", err: false},
- {stmt: "a := int(1.1); _ = a", err: true},
- {stmt: "const c = 1.1; a := int(c); _ = a", err: true},
- {stmt: "const c float = 1.1; a := int(c); _ = a", err: true},
- {stmt: "a := float(1); _ = a", err: false},
- {stmt: "a := float(1.0); _ = a", err: false},
- {stmt: "a := float(1.1); _ = a", err: false},
- {stmt: "a := 1; _ = int(a)", err: false},
- {stmt: "a := 1.0; _ = int(a)", err: false},
- {stmt: "a := 1.1; _ = int(a)", err: false},
- {stmt: "a := 1; _ = float(a)", err: false},
- {stmt: "a := 1.0; _ = float(a)", err: false},
- {stmt: "a := 1.1; _ = float(a)", err: false},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2718
- func TestSyntaxCompare(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "_ = false == true", err: false},
- {stmt: "_ = int(0) == int(1)", err: false},
- {stmt: "_ = float(0) == float(1)", err: false},
- {stmt: "_ = vec2(0) == vec2(1)", err: false},
- {stmt: "_ = vec3(0) == vec3(1)", err: false},
- {stmt: "_ = vec4(0) == vec4(1)", err: false},
- {stmt: "_ = ivec2(0) == ivec2(1)", err: false},
- {stmt: "_ = ivec3(0) == ivec3(1)", err: false},
- {stmt: "_ = ivec4(0) == ivec4(1)", err: false},
- {stmt: "_ = mat2(0) == mat2(1)", err: true},
- {stmt: "_ = mat3(0) == mat3(1)", err: true},
- {stmt: "_ = mat4(0) == mat4(1)", err: true},
- {stmt: "_ = false != true", err: false},
- {stmt: "_ = int(0) != int(1)", err: false},
- {stmt: "_ = float(0) != float(1)", err: false},
- {stmt: "_ = vec2(0) != vec2(1)", err: false},
- {stmt: "_ = vec3(0) != vec3(1)", err: false},
- {stmt: "_ = vec4(0) != vec4(1)", err: false},
- {stmt: "_ = ivec2(0) != ivec2(1)", err: false},
- {stmt: "_ = ivec3(0) != ivec3(1)", err: false},
- {stmt: "_ = ivec4(0) != ivec4(1)", err: false},
- {stmt: "_ = mat2(0) != mat2(1)", err: true},
- {stmt: "_ = mat3(0) != mat3(1)", err: true},
- {stmt: "_ = mat4(0) != mat4(1)", err: true},
- {stmt: "_ = false < true", err: true},
- {stmt: "_ = int(0) < int(1)", err: false},
- {stmt: "_ = float(0) < float(1)", err: false},
- {stmt: "_ = vec2(0) < vec2(1)", err: true},
- {stmt: "_ = vec3(0) < vec3(1)", err: true},
- {stmt: "_ = vec4(0) < vec4(1)", err: true},
- {stmt: "_ = ivec2(0) < ivec2(1)", err: true},
- {stmt: "_ = ivec3(0) < ivec3(1)", err: true},
- {stmt: "_ = ivec4(0) < ivec4(1)", err: true},
- {stmt: "_ = mat2(0) < mat2(1)", err: true},
- {stmt: "_ = mat3(0) < mat3(1)", err: true},
- {stmt: "_ = mat4(0) < mat4(1)", err: true},
- {stmt: "_ = false <= true", err: true},
- {stmt: "_ = int(0) <= int(1)", err: false},
- {stmt: "_ = float(0) <= float(1)", err: false},
- {stmt: "_ = vec2(0) <= vec2(1)", err: true},
- {stmt: "_ = vec3(0) <= vec3(1)", err: true},
- {stmt: "_ = vec4(0) <= vec4(1)", err: true},
- {stmt: "_ = ivec2(0) <= ivec2(1)", err: true},
- {stmt: "_ = ivec3(0) <= ivec3(1)", err: true},
- {stmt: "_ = ivec4(0) <= ivec4(1)", err: true},
- {stmt: "_ = mat2(0) <= mat2(1)", err: true},
- {stmt: "_ = mat3(0) <= mat3(1)", err: true},
- {stmt: "_ = mat4(0) <= mat4(1)", err: true},
- {stmt: "_ = false > true", err: true},
- {stmt: "_ = int(0) > int(1)", err: false},
- {stmt: "_ = float(0) > float(1)", err: false},
- {stmt: "_ = vec2(0) > vec2(1)", err: true},
- {stmt: "_ = vec3(0) > vec3(1)", err: true},
- {stmt: "_ = vec4(0) > vec4(1)", err: true},
- {stmt: "_ = ivec2(0) > ivec2(1)", err: true},
- {stmt: "_ = ivec3(0) > ivec3(1)", err: true},
- {stmt: "_ = ivec4(0) > ivec4(1)", err: true},
- {stmt: "_ = mat2(0) > mat2(1)", err: true},
- {stmt: "_ = mat3(0) > mat3(1)", err: true},
- {stmt: "_ = mat4(0) > mat4(1)", err: true},
- {stmt: "_ = false >= true", err: true},
- {stmt: "_ = int(0) >= int(1)", err: false},
- {stmt: "_ = float(0) >= float(1)", err: false},
- {stmt: "_ = vec2(0) >= vec2(1)", err: true},
- {stmt: "_ = vec3(0) >= vec3(1)", err: true},
- {stmt: "_ = vec4(0) >= vec4(1)", err: true},
- {stmt: "_ = ivec2(0) >= ivec2(1)", err: true},
- {stmt: "_ = ivec3(0) >= ivec3(1)", err: true},
- {stmt: "_ = ivec4(0) >= ivec4(1)", err: true},
- {stmt: "_ = mat2(0) >= mat2(1)", err: true},
- {stmt: "_ = mat3(0) >= mat3(1)", err: true},
- {stmt: "_ = mat4(0) >= mat4(1)", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2680
- func TestSyntaxForWithLocalVariable(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func foo() {
- i := 0
- for i = 0; i < 1; i++ {
- }
- }`)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func foo() {
- for i, j := 0, 0; i < 1; i++ {
- _ = j
- }
- }`)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- // Issue #2648
- func TestSyntaxDuplicatedUniformVariables(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- var Foo int
- var Foo int
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- var Foo int
- var Bar float
- var Foo vec2
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- // Issue #2747
- func TestSyntaxMultipleAssignmentsAndTypeCheck(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo() (float, bool) {
- return 0, false
- }
- func Bar() {
- f, b := Foo()
- _, _ = f, b
- return
- }
- `)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() (float, bool) {
- return 0, false
- }
- func Bar() {
- var f float
- var b bool
- f, b = Foo()
- _, _ = f, b
- return
- }
- `)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- a, b := 0
- _, _ = a, b
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- a, b, c := 0, 0
- _, _ = a, b, c
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- var a, b int
- a, b = 0
- _, _ = a, b
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- var a, b, c int
- a, b, c = 0, 0
- _, _ = a, b, c
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- func TestSyntaxBitwiseOperator(t *testing.T) {
- cases := []struct {
- stmt string
- err bool
- }{
- {stmt: "_ = false & true", err: true},
- {stmt: "_ = int(0) & int(1)", err: false},
- {stmt: "_ = float(0) & float(1)", err: true},
- {stmt: "_ = vec2(0) & vec2(1)", err: true},
- {stmt: "_ = vec3(0) & vec3(1)", err: true},
- {stmt: "_ = vec4(0) & vec4(1)", err: true},
- {stmt: "_ = ivec2(0) & ivec2(1)", err: false},
- {stmt: "_ = ivec3(0) & ivec3(1)", err: false},
- {stmt: "_ = ivec4(0) & ivec4(1)", err: false},
- {stmt: "_ = ivec2(0) & int(1)", err: false},
- {stmt: "_ = ivec3(0) & int(1)", err: false},
- {stmt: "_ = ivec4(0) & int(1)", err: false},
- {stmt: "_ = int(0) & ivec2(1)", err: false},
- {stmt: "_ = int(0) & ivec3(1)", err: false},
- {stmt: "_ = int(0) & ivec4(1)", err: false},
- {stmt: "_ = mat2(0) & mat2(1)", err: true},
- {stmt: "_ = mat3(0) & mat3(1)", err: true},
- {stmt: "_ = mat4(0) & mat4(1)", err: true},
- {stmt: "_ = false | true", err: true},
- {stmt: "_ = int(0) | int(1)", err: false},
- {stmt: "_ = float(0) | float(1)", err: true},
- {stmt: "_ = vec2(0) | vec2(1)", err: true},
- {stmt: "_ = vec3(0) | vec3(1)", err: true},
- {stmt: "_ = vec4(0) | vec4(1)", err: true},
- {stmt: "_ = ivec2(0) | ivec2(1)", err: false},
- {stmt: "_ = ivec3(0) | ivec3(1)", err: false},
- {stmt: "_ = ivec4(0) | ivec4(1)", err: false},
- {stmt: "_ = ivec2(0) | int(1)", err: false},
- {stmt: "_ = ivec3(0) | int(1)", err: false},
- {stmt: "_ = ivec4(0) | int(1)", err: false},
- {stmt: "_ = int(0) | ivec2(1)", err: false},
- {stmt: "_ = int(0) | ivec3(1)", err: false},
- {stmt: "_ = int(0) | ivec4(1)", err: false},
- {stmt: "_ = mat2(0) | mat2(1)", err: true},
- {stmt: "_ = mat3(0) | mat3(1)", err: true},
- {stmt: "_ = mat4(0) | mat4(1)", err: true},
- {stmt: "_ = false ^ true", err: true},
- {stmt: "_ = int(0) ^ int(1)", err: false},
- {stmt: "_ = float(0) ^ float(1)", err: true},
- {stmt: "_ = vec2(0) ^ vec2(1)", err: true},
- {stmt: "_ = vec3(0) ^ vec3(1)", err: true},
- {stmt: "_ = vec4(0) ^ vec4(1)", err: true},
- {stmt: "_ = ivec2(0) ^ ivec2(1)", err: false},
- {stmt: "_ = ivec3(0) ^ ivec3(1)", err: false},
- {stmt: "_ = ivec4(0) ^ ivec4(1)", err: false},
- {stmt: "_ = ivec2(0) ^ int(1)", err: false},
- {stmt: "_ = ivec3(0) ^ int(1)", err: false},
- {stmt: "_ = ivec4(0) ^ int(1)", err: false},
- {stmt: "_ = int(0) ^ ivec2(1)", err: false},
- {stmt: "_ = int(0) ^ ivec3(1)", err: false},
- {stmt: "_ = int(0) ^ ivec4(1)", err: false},
- {stmt: "_ = mat2(0) ^ mat2(1)", err: true},
- {stmt: "_ = mat3(0) ^ mat3(1)", err: true},
- {stmt: "_ = mat4(0) ^ mat4(1)", err: true},
- }
- for _, c := range cases {
- stmt := c.stmt
- src := fmt.Sprintf(`package main
- func Fragment(dstPos vec4, srcPos vec2, color vec4) vec4 {
- %s
- return dstPos
- }`, stmt)
- _, err := compileToIR([]byte(src))
- if err == nil && c.err {
- t.Errorf("%s must return an error but does not", stmt)
- } else if err != nil && !c.err {
- t.Errorf("%s must not return nil but returned %v", stmt, err)
- }
- }
- }
- // Issue #2891
- func TestSyntaxInvalidArgument(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo(x int) int {
- return 0
- }
- func Bar() int {
- return Foo(Foo)
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- // Issue #2891, #2910
- func TestSyntaxTailingUnaryOperator(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- 1 + x := vec2(2)
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- 1 + x, y := Bar()
- }
- func Bar() (int, int) {
- return 0, 0
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- // Issue #2926, #2989
- func TestSyntaxNonTypeExpression(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- }
- func Bar() float {
- return +Foo
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- }
- func Bar() float {
- return Foo + 1.0
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- }
- func Bar() float {
- return 1.0 + Foo
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- }
- func Bar() float {
- return Foo.x
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() {
- }
- func Bar() float {
- return Foo[0]
- }
- `)); err == nil {
- t.Error("compileToIR must return an error but did not")
- }
- }
- // Issue #2993
- func TestSyntaxIfAndConstBool(t *testing.T) {
- if _, err := compileToIR([]byte(`package main
- func Foo() int {
- const X = true
- if X {
- return 1
- }
- return 0
- }
- `)); err != nil {
- t.Error(err)
- }
- if _, err := compileToIR([]byte(`package main
- func Foo() int {
- const X bool = true
- if X {
- return 1
- }
- return 0
- }
- `)); err != nil {
- t.Error(err)
- }
- }
|