Лабораторная работа №6. Адресация элементов массива, организация цикла

6.1 Цель и задачи

Целью работы является разработка программы преобразования данных для приобретения практических навыков программирования на языке ассемблера и закрепления знаний по работе с массивами и циклами. Задачи:

Презентация к блоку "Ассемблер RISC-V"

6.2. Основные теоретические сведения

6.2.1 Хранение массивов в памяти

Архитектура RISC-V обычно использует прямой порядок байтов (от младшего к старшему; little-endian). RISC-V применяет память с побайтовой адресацией. Это значит, что каждый байт памяти имеет уникальный адрес. Поскольку 32-битное слово состоит из четырех 8-битных байтов, то адрес каждого слова (word address) кратен 4. Старший байт (most significant byte, MSB) находится слева, а самый младший байт (least significant byte, LSB) - справа.

Для обращения к элементу одномерного массива в команде используется формула для вычисления его адреса в памяти.

Адрес эл-та = (адрес нач. массива) + (№эл-та) ? (размер эл-та в байтах)

Имя массива однозначно определяет адрес младшего байта его нулевого элемента. Начальный адрес массива и его размер (число элементов) заносятся в регистры (можно использовать любой свободный), и на каждой итерации указатель изменяется на длину элемента в байтах.

Обращение к элементу массива, к оперативной памяти в RISC-V организовано единственно возможным способом - с помощью базовой адресации со смещением:

la rs1, mas  # Загрузить адрес массива
lw rd, 0(rs1)#Адрес элемента = Смещение (0) + База (rs1)

Пояснение к примеру:

Другая форма:

li rs1,0
lw rd, mas (rs1) #  Адрес элемента = База (mas) +Смещение (rs1)

6.2.2 Организация циклов

В языках высокого уровня циклы предназначены для многократного выполнения участка кода в зависимости от условия. В Ассемблере RISC-V нет специальных инструкций для организации цикла. Для перебора элементов массива в цикле требуется продумать самостоятельно вид цикла, регистр-счетчик количества повторений цикла, условие окончания, регистр для хранения флага окончания и временного индикатора для сравнения с индикатором. Проверка условий выполняется операторами "если-то-иначе", организованными командами условного перехода (beq, bne, blt, bge,bgeu, bltu) или безусловного перехода (jal, jalr и псевдокоманды j, jr ).

Команды условного перехода имеют формат типа B.

В таблице 6.1 представлены все команды условного перехода

Команда условного перехода сравнивает значения регистров rs1 и rs2. Если результат сравнения (условие) является истинным, программный счетчик увеличивается на imm. Например, команда blt rs1, rs2, imm проверяет, меньше ли содержимое rs1, чем содержимое rs2. Если это так, то pc = pc + imm. В противном случае работа продолжается со следующей инструкцией в памяти (pc = pc +4).

Инструкции blt и bge используют значения со знаком; а bgeu этого не делает. Использование условного перехода bge и beq

bge s2, s3, else            # if (a < b):  c = a + 1
addi s4, s2, 1                   
beq zero, zero, end
else:                         # else:           c = b + 2
 addi s4, s3, 2                  
end:                          # s2=a; s3=b; s4=c;

Использование условного перехода blt

Инструкция по адресу 0x08 проверяет, является ли s2 < s3, то есть -5 < 5. Поскольку это верно, программный счетчик устанавливается на адрес 0x10, а инструкция по адресу 0x0c пропускается.

Если бы команда перехода по адресу 0x08 была bltu, отрицательное значение регистра s2 рассматривалось бы как положительное значение (0xfffffffb как положительное шестнадцатеричное значение для 32-разрядной версии), и результат сравнения был бы ложным.

Ниже приведен более сложный пример программы подсчета количества нулевых элементов в одномерном массиве.

.data
mas: .word -1 -2 -3 -4 1 2 0 4 2000 4096 65535 0 
size: .word 12 # длина массива
head: .asciiz "\n Null element amount: "

.text
     la t0, mas        # загрузить адрес массива - начальный индекс [i]
     lw t5, size       # загрузить длину массива в регистр
loop:
     lw t3, 0(t0)       # поместить значение mas[i] в регистр $t3
     bne 0, t3, met1    # перейти к met1 если $t3 не '0' и элемент массива не 'zero'
     addi t4, t4, 1    # увеличить счетчик нулевых элементов
met1: addi t5, t5, -1  # уменьшить счетчик цикла
     addi t0, t0, 4    # увеличить индекс текущего элемента
     bge t5, loop      # повторить, пока не закончили
     la a0, head       # загрузить адрес константы заголовка для печати
     li v0, 4                      
     ecall             # напечатать заголовок
     add a0, t4, zero  # загрузить значение счетчика нулевых элементов для печати
     li v0, 1                       
     ecall             # напечатать значение счетчика

Согласно вышеприведенной программе в памяти последовательно расположены 12 четырёхбайтовых элемента массива mas (среди которых есть два нулевых), затем переменная size, содержащая размер массива (12), затем ASCII-коды символов выводимого сообщения head. Далее следуют три инструкции загрузки:

Затем начинается цикл просмотра элементов (метка loop), в котором

Далее выполняются два системных вызова

В ряде случаев полезными выступают команды безусловного перехода, являющиеся аналогами инструкции GOTO. Команды безусловного перехода имеют формат типа J или I. Для RISC-V есть две инструкции безусловного перехода (Таблица 6.3).

Команда jal rd, imm добавляет непосредственное значение к программному счетчику pc +=imm и записывает в регистр rd адрес после команды jal. Команда jalr rd, rs, imm устанавливает программный счетчик как результат pc = rs + imm, и записывает в rd обратный адрес. Обратный адрес - это инструкция по адресу, указанному после инструкции перехода.

Последовательность выполнения программы выглядит следующим образом. Программа начинается с команды перехода jal s2, 0xc по адресу 0х00. Эта команда записывает обратный адрес в регистр2 и переходит к 0х0c. В 0х0c команда перехода jalr s3, s2, 0 записывает свой соответствующий обратный адрес (0х10)в регистр s3 и выполняет переход (возвращает) к адресу, сохраненному в регистре s2, который равен 0х04. Программа продолжает выполнение инструкции в 0х04, которая ничего не делает. Следующая команда в 0х08 перемещает значение 0х10 (обратный адрес jalr) в регистр s2. После этого второй проход jalr в 0xc переходит к 0х10, значение регистра s2. Последовательность счетчика команд 0х00, 0х0c, 0х04, 0х08, 0х0c, и 0х10.

6.3. Задание к лабораторной работе

6.3.1 Описание последовательности выполнения работы

Скомпилируйте исходную программу и убедитесь в ее работоспособности в RISC-V ОС, либо через qemu-riscv64.

6.3.2 Пример выполнения задания на защиту

Напишите программу сложения целых чисел от 0 до 100:

Код решения:

andi t0, t0, 0 # Clearing contents of register t0
andi t1, t1, 0 # Clearing contents of register t1
andi t2, t2, 0 # Clearing contents of register t2
# Functions as variable "sum"
li t1, 100 # Load t1 with value 100
loop: add t2, t2, t0 # Sum = Sum+i
addi t0, t0, 1 # Increment index "i"
blt t0, t1, loop # Iterate if t0<t1
End: j End # End of WHILE loop

ВАРИАНТЫ ЗАДАНИЙ

6.4. Вопросы для контроля

t1 = 0xAAAAAAAA, t2 = 0xFEDCBA98

slli t3, t1, 4
srli t3, t3, 4

slli t3, t2, 3
srai t3, t3, 3

li t1, 0
li t2, 1
li t3, 1
li t4, 10
LOOP:
beq t1, t4, DONE
add t5, t2, t3
addi t2, t3, 0
addi t3, t5, 0
addi t1, t1, 1
jal x0, LOOP
DONE:
# end of the program