The whole point of BLISS was to reason from object-code optimizations to language features. The goal was to build a compiler that would emit code competitive w

The whole point of BLISS was to reason from object-code optimizations to language features. The goal was to build a compiler that would emit code competitive with handwritten assembler: then ask, what kind of high-level language constructs would facilitate or impede that goal? The language was not allowed to have or do anything that would subvert the optimizer. It is at least an interesting approach and I do not know of any other language that has explicitly adopted it.