Двоичный поиск с вставкой не найденного элемента

Двоичный поиск в массиве Arr значения Y 
           .model tiny      ; модель памяти, используемая для COM        
   
           .code                ; начало сегмента кода
 
            org 100h          ; начальное значение счетчика - 100h
start:
            lea di,Arr          ; в di адрес начала массива
            Mov Bx, Y         ; в Bx искомое значение
            Xor Cx,Cx         ;  Cx=0 -- не нашли 
            Cmp Bx,[di]      ; Y <=Arr[1] ?
            Ja  Chk_last     ; нет, сравнить с последним
            Je Eq_1            ; равно первому?        
            jmp Output       ; нет в массиве -- вывод результата
Eq_1:     
            inc Cx                ; Cx=1 --нашли
            jmp Output        ;         
 
Chk_last: 
            Mov Si,n          ; в Si количество элементов массива
            dec Si              
            Shl Si,1           ; в Si длина массива в байтах
            Add Si,di         ; в Si адрес последнего элемента  
            Cmp bx,[si]     ; Arr[n]>=Y?
            Jb search       ; нет, искать в середине 
            Je Eq_n          ;  равно последнему    
           
            jmp Output     ; нет в массиве, больше последнего
 
Eq_n:      
             inc Cx            ; нашли = последнему    
            jmp Output;
 
        ;поиск внутри массива
search:
           Mov Si, n          ; в si смещение на половину массива
Iven_inx: 
           Test Si,1          ; проверка на четность
           Jz Add_inx       ; 
           Inc Si               ; сделать четным
 
Add_inx: 
           Add di,si          ; в di адрес очередного элемента
Compare:
           Cmp Bx,[di]        ; Arr[i] = Y?
           Je All_done        ; нашли
           Ja Higer           ; выбрать отрезок для продолжения поиска
       ; искать в левой части
           Cmp Si,2           ; не закончились элементы?         
           Jne inx_ok         ;          
           
no_match:     
           jmp Output         ;не нашли
 
inx_ok: 
           Shr Si,1           ; разделить индекс на 2
           Test Si,1         ; проверить на четность Si 
           Jz Sub_inx           
           Inc Si               ; сделать четным
Sub_inx: 
           Sub di,si          ; в di  адрес очередного элемента
           Jmp Compare        
       
       ; искать в правой части
           
Higer:
          Cmp Si,2          ; не закончились элементы?         
          je no_match     ; да - выход         
          Shr Si,1            ; разделить индекс на 2
          Jmp  Iven_inx      
      
          
All_done :
           inc Cx             ;   нашли
 
      ; вывод результата         
Output: 
            mov ah,9           ;
           Test Cx,1          ;
           Jz Send_no         ; 
Send_yes:
           mov dx,offset Res_yes  ;
           Jmp Print
Send_no: 
           mov dx,offset Res_no  ;
Print:
           int 21h            ;
           ret                ;
 
Arr         dw 1,12,33,41,55
Y           dw 33
n           dw 5
Res_yes     db 'Value exist'
            db 0Dh,0Ah,'$'
Res_no      db 'Value not found'
            db 0Dh,0Ah,'$'
 
           end start

    .model flat
includelib msvcrt.lib
printf proto c ,:vararg
    .data
x   db -27    ; то, что будем искать
 
m   equ 5
n   equ 3
k   equ m*n ; количество элементов во всем массиве
i=-30       ; инициализация массива: -30, -28, ..... (mxn)
mas db i
rept k-1 
i=i+2
    db i
endm
 
str_empty db 'not find',13,10,0
str_find  db '%4hd',0
str_endl  db 13,10,0
 
    .code
public main
main proc
    ; берем искомый элемент
    mov ch, x
    
    ; бинарный поиск   
    xor al, al   ; индексы начала (al) и конца (ah)
    mov ah, k-1 
bin_serch:
    ; убедимся, что есть еще не проверенные элементы
    cmp al, ah  
    jg empty
    
    ; получаем индекс среднего элемента cl = a + (b-a)/2
    movzx ebx, ah 
    sub bl, al
    shr bl, 1
    add bl, al
 
    ; проверяем
    cmp mas[ebx], ch
    je find 
    jg left
 
    ; берем правый фрагмент
    mov al, bl  
    inc al  
    jmp bin_serch
 
    ; берем левый фрагмент
left:
    mov ah, bl  
    dec ah
    jmp bin_serch
 
 
find:
    ; печать 2-x мерного массива
    mov ebx, -n
row:add ebx, n
    cmp ebx, m*n
    jae quit
    invoke printf, addr str_endl
 
    mov esi, -1
col:inc esi
    cmp esi, n
    je row
    movsx ax, mas[ebx+esi]
    invoke printf, addr str_find, ax
    jmp short col
 
empty:
    invoke printf, addr str_empty
 
quit:   
    xor ax, ax
    ret
main endp
end