LLVM Backend для Z80

[EARL]

В llvm есть такие операции как усечение значений и расширение. Например усечением 16 битного слова будет являться 8 бит, т.е. 1 байт. Это легко реализуется, например, усеченным значением регистра HL будет регистр L.
Теперь о расширении значений. Всего имеется 3 вида расширений:
1. zext - расширение с обнулением старшей части. Например расширение регистра A в регистра HL будет выглядеть так:

               LD L,A
               LD H,#00

2. anyext - расширение с неопределенной старшей частью:

               LD L,A

3. sext - знаковое расширение. Т.е. если 7 бит равен единице, то старшая часть заполняется единицами. Что-то вроде этого

               LD L,A
               LD H,#00
               BIT 7,A
               JR Z,NO_SIGN
               LD H,#FF
NO_SIGN:

Пример написал для большего понимания. Посоветуйте как эффективнее и короче можно сделать знаковое расширение.

[Advertiser]

[SfS]

Может так?

; Изначально - в А число
               LD L,A            ; Младший байт
               AND #80h       ; Проверка старшего бита на знак
               RLA                ; CY = старший бит из А, А=0
               SBC A,#00      ; A=A-CY (0, если +, FF, если -)
               LD H,A            ; Сташий байт HL= расширенное со знаком число

[EARL]

Может так?

; Изначально - в А число
               LD L,A            ; Младший байт
               AND #80h       ; Проверка старшего бита на знак
               RLA                ; CY = старший бит из А, А=0
               SBC A,#00      ; A=A-CY (0, если +, FF, если -)
               LD H,A            ; Сташий байт HL= расширенное со знаком число

Да, я думаю этот вариант пока лучше подойдет, т.к. в нём нет никаких условных/безусловных переходов, т.е. все действия выполняются в пределах одного так называемого BasicBlock (http://ru.wikipedia.org/wiki/Basic_block). Если будут в дальнейшем варианты получше, то заменить всегда можно.