summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Allow label references in pinned address calculationsBen Bridle44 hours
| | | | | | | | | | | | | | | | This is a relaxation of the rule where a label reference could not be used in any context that could change the length of an assembled program. We implement this in the bytecode stage by naively calculating an initial address for each label as before. If a pinned address is calculated from a label reference, some of the calculated addresses could be incorrect. We then attempt to run the bytecode stage, which will calculate a more accurate address for each label based on how pinned addresses are calculated. If the address of any label was changed by running this stage, we re-run the stage up to three more times until all labels stabilise. If the labels fail to stabilise, we return an error.
* Implement first-class string literalsBen Bridle45 hours
| | | | | | | | | | | This feature promotes strings to a first-class type in the language. If a string is passed to an invocation via the new string-type argument, the string will be passed as a whole value. String arguments can still be passed to an invocation via an integer-type argument, in which case they'll be broken apart into individual characters with the macro being invoked once per character. String-type macro arguments are declared like "name".
* Fix misleading error messageBen Bridle2 days
| | | | | | The code here is really expecting a block value, but has received an integer value. This catches the case where an integer value is incorrectly included in a macro definition body alongside block tokens.
* Implement <tal> operator for expressionsBen Bridle2 days
| | | | | | The <tal> operator returns the number of set bits in the binary representation of an integer. For negative numbers, only a single sign bit is counted in the result.
* Allow a macro to invoke itself safelyBen Bridle10 days
| | | | | | | A macro can now invoke itself if the invocation is inside a conditional block that will eventually return false. The assembler stack can still overflow if the macro recurses too deeply, or if a macro calls itself without a conditional block.
* Allow a macro to invoke itselfBen Bridle10 days
| | | | | This will currently cause the assembler to hang in all situations where it is used.
* Implement <len> operator for expressionsBen Bridle10 days
| | | | | The <len> operator returns the width of an integer in bits, using the same calculation as for packing an integer into a bit field.
* Implement octal literalsBen Bridle11 days
| | | | Octal literals use the prefix '0o'.
* Remove brackets from format names in program help textBen Bridle2025-04-12
| | | | | These could be misleading, they could incorrectly indicate that the brackets are part of the format name.
* Add the cmd format to the list in program help textBen Bridle2025-04-12
|
* Fix width checks for negative integersBen Bridle2025-04-12
| | | | | | | | | | | | The width of a negative integer was previously being counted in the same way as for a positive integer, by inverting the bits to make it a positive integer and then finding the placement of the highest-order 1 bit. The actual width of a negative integer will always be one greater than this value however, because the highest-order 1 bit of an inverted negative integer will always have directly above it a significant 0 bit used as the sign bit.
* Implement negative integer literalsBen Bridle2025-04-12
| | | | | Negative literals take the forms -29, -0x1D, and -0b11101 for decimal, hexadecimal, and binary.
* Add support for the CP/M CMD file module formatBen Bridle2025-04-11
|
* Improve help textBen Bridle2025-03-31
|
* Report token without prefix in invalid literal errorsBen Bridle2025-03-23
| | | | | | | Previously, the token quoted in the error message for an invalid literal error included the radix prefix. This is already visible in the highlighted source report, and implied by the named radix in the error message.
* Change extension positional argument to a switchBen Bridle2025-03-18
| | | | | It makes no sense for the file extension to be a positional argument, it'll barely be used anyway.
* Update assembler dependencyBen Bridle2025-03-18
| | | | torque-asm now uses the Compiler type provided by the assembler library.
* Tidy codyBen Bridle2025-03-18
| | | | | | | - Rename tokens field on SyntacticMacroDefinition to body - Rename push_err! macro to err! - Create macros for character-matching logic in syntactic parsing - Replace .as_bytes().to_vec() pattern with .into_bytes()
* Rewrite entire assemblerBen Bridle2025-03-11
| | | | | | | | | | | | The language is now more general, the code is better structured, error reporting is more detailed, and many new language features have been implemented: - conditional blocks - first-class strings - more expression operators - binary literals - negative values - invocations in constant expressions
* Implement <= and >= operators for constant expressionsBen Bridle2025-03-01
|
* Change binary name to tqBen Bridle2025-03-01
|
* Implement inhx formatBen Bridle2025-02-28
| | | | inhx is the original Intel hex format.
* Implement string literalsBen Bridle2025-02-28
| | | | | | | | String literals are treated as integers. If a string is passed as an integer argument to a packed binary literal, a new instance of the packed binary literal is invoked for every character in the string, with each character being passed to the packed binary literal as a Unicode character value.
* Finish first working version of TorqueBen Bridle2025-02-27
| | | | | This is a huge and messy commit, worked on piecemeal while traveling and while the language was still being designed.
* Implement semantic error reportingBen Bridle2025-02-15
|
* Implement semantic parsingBen Bridle2025-02-14
|
* Separate syntactic and semantic token types by namespaceBen Bridle2025-02-12
| | | | This will allow type names to be shared by both types of token.
* Define semantic typesBen Bridle2025-02-11
|
* Initial commitBen Bridle2025-02-11
generated by cgit v1.2.3-70-g09d2 (git 2.49.0) at 2025-04-27 22:29:19 +0000