generated-labels.md

< back to index

Guide to generated label names

Many Millfork constructs generate labels. Knowing what they mean can be useful when reading the generated assembly code.

Every generated label is of form .xx__11111 where 11111 is a sequential number and xx is the type:

• ah – optimized addition of carry

• an – logical conjunction short-circuiting

• bc – array bounds checking (-fbounds-checking)

• bo – boolean type conversions

• c8 – constant #8 for BIT when immediate addressing is not available

• co – greater-than comparison

• cp – equality comparison for larger types

• dd – labels renamed by code deduplication

• de – decrement for larger types

• do – beginning of a do-while statement

• ds – decimal right shift operation

• dv – division and modulo operations

• el – beginning of the "else" block in an if statement

• ew – end of a while statement

• fi – end of an if statement

• fe – body of an for statement over a list

• fo – certain optimized for loops

• he – beginning of the body of a while statement

• in – increment for larger types

• is – optimized addition of carry using undocumented instructions

• lj – extra labels generated when converting invalid short jumps to long jumps

• me – start of a for loop doing bulk memory operations

• ms – bulk memory operations

• no – nonet to word extension caused by the nonet operator

• od – end of a do-while statement

• or – logical alternative short-circuiting

• sx – sign extension, from a smaller signed type to a larger type

• th – beginning of the "then" block in an if statement

• to – end of a for-to loop

• ur – a copy due to loop unrolling

• wh – beginning of a while statement

• xc – automatically extracted subroutine of commonly repeating code