Операторы и модификаторы Техно IL

  Модификаторы Техно IL

  Операторы обмена с аккумулятором

  Логические операторы Техно IL

  Арифметические операторы Техно IL

  Операторы сравнения Техно IL

  Операторы перехода и вызова функции Техно IL

Модификаторы Техно IL

Модификаторы Техно IL – это литеры N, C и X, которые могут быть приписаны справа к имени ряда операторов.

Модификатор N обозначает логическое отрицание операнда.  Например, инструкция

AND a

интерпретируется как result = result AND a, а инструкция

ANDN a

интерпретируется как result = result AND NOT a.

Для операторов JMP, CAL и RET:

   модификатор C обозначает, что инструкция выполняется в том случае, если результат предыдущей операции сравнения истинен;

   модификатор X обозначает, что инструкция выполняется в том случае, если result = TRUE.

Операторы обмена с аккумулятором

Знак ":=" в таблице обозначает операцию присваивания.

В качестве операнда может использоваться численная или булева переменная. В качестве операнда оператора LD может использоваться число.

Отличное от нуля значение аккумулятора интерпретируется как TRUE, нулевое – как FALSE, поэтому значение аккумулятора может быть присвоено как численной, так и булевой переменной.  

Пример

VAR VAR_000 : INT := 10; END_VAR

VAR VAR_001 : BOOL := TRUE; END_VAR

VAR VAR_002 : BOOL; END_VAR

LD 8          //result := 8

ST VAR_000    //VAR_000 := 8

ST VAR_002    //VAR_002 := TRUE

LD 0          //result := 0 

ST VAR_001    //VAR_001 := FALSE

LD VAR_001    //result := FALSE

ST VAR_002    //VAR_002 := FALSE

ST VAR_000    //VAR_000 := 0

Логические операторы Техно IL

Примечание. Оператор выполняется только тогда, когда result = TRUE.

В качестве операндов могут использоваться булевы переменные. Вторым операндом может быть число (но не численная переменная), которое интерпретируется следующим образом: не равно 0 – TRUE; равно 0 – FALSE.

Выполнение операторов R и S не изменяет значения аккумулятора.

Пример

VAR VAR_001 : BOOL := TRUE; END_VAR

VAR VAR_002 : BOOL; END_VAR

VAR VAR_004 : INT := 0; END_VAR

LD 1                 //result:=1

S VAR_002            //VAR_002:=TRUE

R VAR_002            //VAR_002:=FALSE

AND VAR_001 VAR_002  //result:=VAR_001:=FALSE

LD 1                 //result:=1

S VAR_001            //VAR_001:=TRUE

OR VAR_002 VAR_001   //result:=VAR_002:=TRUE

XOR VAR_002 VAR_001  //result:=VAR_002:=FALSE

OR VAR_002 10        //result:=VAR_002:=TRUE

Арифметические операторы Техно IL

В качестве операндов используются численные переменные, в качестве второго операнда может использоваться число.

Арифметические операторы не допускают использования модификаторов.

Пример

VAR VAR_000 : REAL := 20; END_VAR

VAR VAR_001 : LREAL := 30; END_VAR

ADD VAR_000 10       //result := VAR_000 := 30

MUL VAR_001 9        //result := VAR_001 := 270

SUB VAR_001 VAR_000  //result := VAR_001 := 240

DIV VAR_001 VAR_000  //result := VAR_001 := 8

Операторы сравнения Техно IL

В качестве операндов используются численные переменные, в качестве второго операнда может использоваться число.

Операторы сравнения не допускают использования модификаторов.

Операторы сравнения, как правило, предшествуют операторам JMPC, CALC и RETC. Если результат сравнения ложен, инструкции сравнения не изменяют значения аккумулятора, а последующий оператор JMPC, CALC или RETC игнорируется (даже если result = TRUE).

Пример

VAR VAR_000 : INT := 20; END_VAR

VAR VAR_001 : INT := 30; END_VAR

VAR VAR_002 : BOOL; END_VAR

LD 1               //result := TRUE

GT VAR_000 VAR_001 //результат сравнения ложен,

//т.к. (20<30), аккумулятор сохраняет свое

//значение (TRUE)

RETC               //RETC игнорируется

LD VAR_002         //result := FALSE

LT VAR_000 VAR_001 //результат сравнения истинен

//result := TRUE

CALC fff(VAR_000)  //вызов функции произойдет

Операторы перехода и вызова функции Техно IL

Операторы перехода выполняются, если строка с указанной меткой находится в том же программном компоненте.

CAL и CALL являются равнозначными операторами. В круглых скобках через запятую указываются значения, передаваемые в функцию. Между именем функции и круглыми скобками пробел необязателен. Число передаваемых в функцию значений должно быть равно числу аргументов, заданных для этой функции.

При выполнении оператора RET и его разновидностей функция возвращает значение result.

Определены следующие модификации данных операторов:

JMP, CAL, RET – соответственно оператор безусловного перехода, безусловного вызова и безусловного выхода.

JMPX, CALX, RETX – соответственно оператор условного перехода, условного вызова и условного выхода. Инструкция, содержащая любой их этих операторов, выполняется только тогда, когда result=TRUE, в противном случае игнорируется.

JMPC, CALC, RETC – соответственно оператор условного перехода, условного вызова и условного выхода. Эти операторы следуют непосредственно за оператором сравнения. Инструкция, содержащая любой их этих операторов, выполняется только тогда, когда результат предыдущей операции сравнения истинен (см. выше Операторы сравнения Техно IL), в противном случае игнорируется.