n align="justify"> 6 1
. q 6 1 X 1 B 1 q 7 1 ( span> В¬ ) St 1
. q 7 1 X 1 L 1 q 4 2
Операційна семантика команди shl al, 1
L1 (al):
1. q 0 1 < span align = "justify"> S 1 Top 1 q 1 1
2. q 1 1 < span align = "justify"> X 1 L 2 q 2 1
3. q 2 1 < span align = "justify"> X 1 B 1 q 3 1 () St 1
4. q 3 1 < span align = "justify"> X 1 R 1 q 4 1
5. q 4 1 < span align = "justify"> X 1 () St 1 q 5 1
6. q