@Yalini

Добрый вечер. Подскажите, какие проверки (кроме проверки неравенства делителя нулю) нужно выполнять перед операций div, чтобы избежать ошибок, аварийных ситуаций?

0

@Mikl___

Yalini,
если частное слишком велико для его размещения в регистре EAX/AX/AL.Поскольку разрядность делимого в два раза больше возможной разрядности частного, то возникает ряд ситуаций, когда процессор вместо деления генерирует исключения по переполнению. В операциях деления предполагается, что частное значительно меньше, чем делимое. Деление на 1, например, может также вызвать переполнение, так как частное равно делителю, поэтому рекомендуется следующее правило: если делитель – байт, то его значение должно быть меньше чем старший байт делителя (содержимое регистра ah); если делитель – двойное слово, то его значение должно быть меньше чем старшее двойное слово делителя (содержимое регистра edx).
Например:

Операция деления	Делимое	Делитель	Частное
слово на байт	0123h	01h	(01)23h
двойное слово на слово	0001 4026h	0001h	(0001)4026h

В обоих случаях частное превышает возможный размер. Для того чтобы избежать подобных ситуаций, полезно вставлять перед командами DIV и IDIV соответствующую проверку. В случае деления слова на байт предположим, что DIVBYTE – однобайтовый делитель, а делимое находится уже в регистре AX. В случае деления двойного слова на слово предположим, что DIVWORD – двухбайтовый делитель, а делимое находится в регистровой паре DX:AX.

слово на байт	двойное слово на слово
CMP AH,DIVBYTE	CMP DX,DIVWORD
JNB переполнение	JNB переполнение
DIV DIVBYTE	DIV DIVWORD

Для примера выполним деление на ecx/cx/cl. Запись делимого в виде edx:eax означает 64-битное число X=edx*2³²+eax, поэтому, если edx < ecx, то после деления мы получим число Y=0*2³²+Z, где Z < 2³², то есть умещается в eax. Если же edx = ecx, то в итоге получится число Y=1*2³²+Z, то есть число больше чем 2³² – возникнет ошибка переполнения. Аналогично для dx:ax значение dx должно быть меньше cx, а для ah:al значение ah должно быть меньше cl – тогда ошибок не будет. Хотя об этом явно не предупреждают и существуют кодировки div/idiv edx/dx/ah – выполнение таких операций при любом содержимом регистра edx/dx/ah будет приводить к ошибке, аналогичной делению на 0.
Для команды IDIV данная логика должна учитывать тот факт, что либо делимое, либо делитель могут быть отрицательными, а так как сравниваются абсолютные значения, то необходимо использовать команду NEG для временного перевода отрицательного значения в положительное.

2