# HLA ## General + x86_64 + GPLv3-only ## Technologies + C99 + TommyHash + Flex/Bison ## Train of translation file -> preprocessor -> hla -> link -> exe NOTE: the compiler front-end should be able to handle the preprocessing someway, but we are not making our own preprocessor. use Frexx or m4 ### implementation 1. flex parsing 2. bison creates partial syntax trees (since we dont optimize, we can render in relatively small chunks because not all that much context is needed) 3. xolatile magic ## Types ``` ``` prefixes: + s - signed + u - unsigned sizes: + 8 + 16 + 32 + 64 floating point types? prefix: + f (guarantee IEEE) size: + 32 (float) + 64 (double) + 80? (long double) + 128? (long double) All of these types would be generically available unless disabled by some compiler option. All of the traditional types would be enabled by default or require said flag to become usable, this hypothetical flag (`-ftraditional-types`) would then need implementation and support. In the future traditional types could be enabled by default along with a flag like (`-fno-terry-types`) to disable EAXCC standard typing. If these types are ever disabled by default then we'll utilize the flag (`-fterry-types`) to enable them. ## Syntax ### Macros + fuck macros + use a preprocessor ### Asm + no ',' argument deliteters + optional "[]" argument parenthesizing ### Machine code ``` machine // literal values end machine ``` All literal values (string or numeric) is copied as machine code ### Logic + only evaulated in _logical blocks_ #### logical blocks + if-then-else-end-if #### operators + = + > + < + <= + >= + != + not + and + or + xor ### Functions ``` begin end ``` qualifier: + fast -> use the fastcall calling convention + ? stack -> place all arguments on the stack ### labels ```C my_label: ``` ### Come back to later + `register` + `volatile` + `extern` + `static` ## LATER + DWARF2 - ask xolatile very nicely + linker? - support ld (thereby mold/gold) for speed reasons