101010.pl

Bread80Sub-ranges feel like quite an obscure feature of a language. But in Pascal they're an essential part of arrays array ['a'..'z'] of Integer So I'm filling out their implementation before I continue with arrays. The next step is the assignment validation when range checking is on.<a href="https://mstdn.social/tags/quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#quiche</a> <a href="https://mstdn.social/tags/quichelang" class="mention hashtag" rel="nofollow noopener" target="_blank">#quichelang</a> <a href="https://mstdn.social/tags/pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#pascal</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#z80</a> <a href="https://mstdn.social/tags/delphi" class="mention hashtag" rel="nofollow noopener" target="_blank">#delphi</a>

Herr Grün kochtDie Herr Grün Schnittlauchquiche - ganz einfach Weil ich doch weiß, dass es drei Tage sind, für die ihr kochen müsst:-) Und das Wetter ist ja auch nicht so pfingstlich. <a href="https://www.herrgruenkocht.de/vegetarische-quiche/" rel="nofollow noopener" translate="no" target="_blank">https://www.herrgruenkocht.de/vegetarische-quiche/</a><a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/Schnittlauch" class="mention hashtag" rel="nofollow noopener" target="_blank">#Schnittlauch</a> <a href="https://mstdn.social/tags/HerrGruenkocht" class="mention hashtag" rel="nofollow noopener" target="_blank">#HerrGruenkocht</a> <a href="https://mstdn.social/tags/vegetarisch" class="mention hashtag" rel="nofollow noopener" target="_blank">#vegetarisch</a> <a href="https://mstdn.social/tags/Pfingsten" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pfingsten</a>

Bread80Before I got sidetracked into the type system I was working to get the command line compiler fully up and running.The sticking point was command line arguments. I tried using <a href="https://mstdn.social/tags/FreePascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#FreePascal</a>'s built in parser but it didn't have the flexibility I needed. I've now written something which does and I can now set the platform and deployment options.<a href="https://mstdn.social/tags/quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#quiche</a> <a href="https://mstdn.social/tags/quichelang" class="mention hashtag" rel="nofollow noopener" target="_blank">#quichelang</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#pascal</a> <a href="https://mstdn.social/tags/z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#z80</a>1/n

Bread80And writing to an array element. As before the index expression is parsed and an AddrOf operation added to the IL code, which generates the address to write to. Then the right hand side expression is parsed, and a PtrStore operation added to write the data to the address.<a href="https://mstdn.social/tags/quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#quiche</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#z80</a> <a href="https://mstdn.social/tags/pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#pascal</a>

Bread80Moving towards array references in <a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a>. This code uses an index literal, an index variable, and an index expression.A ParseArrayIndex function generates IL for the expression (if any), then an AddrOf operation which takes the array variable and index and returns a pointer to the data.The a PtrLoad operation loads the data and stores to a variable.There's no bounds validation or code yet, and only code generation for the literal case so far.<a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#Z80</a> <a href="https://mstdn.social/tags/Pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pascal</a>

Bread80I moving on to start implementing user types in the <a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a>. I figure the most useful type to have is arrays and, by implication, strings. Arrays boil down to typed pointers internally so I'm starting with the pointer stuff.This now works to assign the address of a variable to a typed pointer, and to instantiate a variable to assign that pointers value to. The PI variable is to test that assigning a ^Byte to it fails (which it does).<a href="https://mstdn.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#Z80</a>

Bread80Adding array definitions to the <a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/Compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#Compiler</a>An array boils down to a bounds and an element type. For multidimensional arrays the 'inner' element type is itself an array definition.The parser for this works recursively which gives an elegantly simple solution (although the actual code is a little gnarly given the syntaxes). Parsing the bounds is parsing a type definition (of a suitable enumerable type). Parsing the element type means parsing another array definition.

Bread80And that's the self tests for enumeration declarations passing.<a href="https://mstdn.social/tags/quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#quiche</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#z80</a>

Bread80I'm making a start on user types in the compiler. Basic type synonyms and typed pointers can now be declared. I want to work on the declarations code and data structures first, so I can't yet instantiate these types but can use them in other type declarations.<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/Pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pascal</a> <a href="https://mstdn.social/tags/Compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#Compiler</a> <a href="https://mstdn.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#Z80</a> <a href="https://mstdn.social/tags/Delphi" class="mention hashtag" rel="nofollow noopener" target="_blank">#Delphi</a>

Ralf O‘BeckMeine iOS-App-Empfehlungen: Mastodon-Client: <a href="https://norden.social/tags/Mona" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mona</a> Browser: <a href="https://norden.social/tags/iCab" class="mention hashtag" rel="nofollow noopener" target="_blank">#iCab</a> Mobile oder <a href="https://norden.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> RSS-Reader: <a href="https://norden.social/tags/RSSRadio" class="mention hashtag" rel="nofollow noopener" target="_blank">#RSSRadio</a>

Bread80I now have a command line compiler compiling under Lazarus/Free Pascal. That will allow it to run on numerous platforms and, probably, makes it easier for anyone to build themselves.The work was pretty straightforward once I found the compatibility mode first Delphi syntax. The other changes were for code which manipulates file paths, where the libraries have diverged somewhat.I’m now tweaking the directory structure and relevant code.<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#z80</a>

Bread80I'm not really bothered about REPEAT ... UNTIL loops right now, but I figured it was worth adding them while the WHILE loop code was in by head. So I've added them. And it only took about an hour.<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#Z80</a>

Bread80And that completes WHILE loops: * Fixed a bug with phi node generation. * Write self-tests * Fixed an unrelated bug which allowed intrinsic identifiers to be parsed as infix operators (which caused the compiler to barf and error but not the correct one).<a href="https://mstdn.social/tags/quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#quiche</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#z80</a>

Bread80I remembered that the Amstrad has a powerful set of print control codes which can set screen mode, cursor location, ink number and palette colours. Now Quiche can output strings I'm having some fun with palette switching. A still image doesn't really do this justice.<a href="https://mstdn.social/tags/quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#quiche</a> <a href="https://mstdn.social/tags/pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#pascal</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#Z80</a>

Bread80And some sanitisation of the output string to stop the assembler barfing.(The first item on the highlighted line (15) is the string length).<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a>

Bread80Adding support for string constants. The concatenation is purely compile time. (String variables will require a /lot/ more work). Next up is a Write function for strings.This is the first type which will only be referenced with pointers (as opposed to the variable containing the actual value itself) so it's something of a tester for how things will work. It also requires support for typed constant data and generating the assembly for them.<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> <a href="https://mstdn.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#Z80</a>

Bread80Making some improvements to the tracking of CPU state and I can now optimise away the test before the jump.Ideally it would use the carry flag as returned by the call. The challenge is that the current register allocator only looks at the current operation and it needs to allocate something, and it knows a boolean can be converted to zero flag easier than boolean to carry flag, so it expects the value in zero flag.Any better will need a better register allocator.<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a>

Bread80You can also store the value to a variable but the code generation is a lot less optimised. However, it could be better. Line 37 of the assembly shows the CPU state after the call. ZF and CF are showing as corrupted but they actually both contain the value returned by the call - ZF set by the SBC A,A, and CF unchanged by the SBC A,A.<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a>

Bread80My first time testing this feature in Quiche and I'm genuinely surprised it works! The code is calling a firmware routine which returns a value in the carry flag. Quiche is able to process that return value and generate a conditional jump using the flag value directly.Obviously flag values are easily trashed so there's more testing needed, but I've overjoyed this works!<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/Pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pascal</a> <a href="https://mstdn.social/tags/Compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#Compiler</a> <a href="https://mstdn.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#Z80</a>

Bread80I'm moving meta data about code Fragments to the Fragments file itself. This feels much more maintainable than putting it in the Primitives CSV. Also better normalised as the same fragment can be used by multiple primitives.I pondered the format here for a while before deciding upon a '-' prefix, then realised it's very much like command line argument format, which I like.Accurate data about what register state gets corrupted will massively help the code generator.<a href="https://mstdn.social/tags/Quiche" class="mention hashtag" rel="nofollow noopener" target="_blank">#Quiche</a> <a href="https://mstdn.social/tags/Pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pascal</a> <a href="https://mstdn.social/tags/Compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#Compiler</a>

Recent searches

Search options

Administered by:

Server stats:

#quiche