No.

Prop. Lider Bloque

Proposicion
1
Si
1
if a > d goto etiq1
2
Si
2
goto etiq2
3
Si
3
etiq1:
4
3
t1 := a b
5
3
t2 := 44 - a
6
3
d := t1 + t2
7
3
a := d
8
3
d := 0
9
Si
4
etiq2:
10
4
d := a + b

Op
>
goto
+
:=
:=
+

Valor
a
a
44
t1
d
0
a

C O D I G O
No.
1

2
3
4
5
6
7
8
9
10

Cod. Ensamblador
mov ax, a
cmp ax, d
jg etiq1
jmp etiq2
etiq1:
sub ax, b
mov bx, 44
sub bx, a
add ax, bx
mov bx, 0
mov a, ax
etiq2:
add ax, b
mov d, ax

O B J E T

arg1
Sig.Uso
4
5
X
X
X

C O D I G O
x
-

Activo
S
S
S -> N
N
S -> N

O B J E T O
y
a

C U A D R U P L O S
arg2
Valor
Sig.Uso
d
X
b
10
a
X
t2
X
b
X

Activo
N
S
N
S -> N
S -> N

Valor
etiq1
etiq2
etiq1
t1
t2
d
a
d
etiq2
d

z
d

L
ax

y'
a

ax
bx

ax
44

t1
t2

a
44

b
a

d
a
d

t1
d
0

t2
-

ax

ax

bx

ax

ax

resultado
Sig.Uso
6
6
7
10
X
X

Activo
S
S
S
S
N
S -> N

Lexema
a
b
d
t1
t2

X
X
X
X
X

10
10
X
6
6

X
4
7
X
X

Tabla de Simb
SigUso
4 1

X = Sin uso siguiente

z'
d

b
a
bx
-

a
b
c
d
t1
t2
t3
ax
bx
cx
dx

a
b
c
d
t1
t2
t3
a
44

ax

Descriptores de Direccion
ax a

ax
ax
bx

bx ax d

t1
t2

a
0d

Celda en rojo significa que es un valo

b

OBSERVACIONES_
En el paso 4 del algoritmo se estuvo considerando la ac
bloque basico sino despues de la ejecucion de x := y op
no tenia actividad entonces se eliminaba de registros si

Las celdas en amarillo son extras, ya que en el ultimo b

variables no estan activas pero como es el ultimo bloqu
que estan en registros y no estan en sus direcciones.

Tabla de Simbolos
SigUso
S
S
S
S
S

S
S
N
S
S

Activo
N S S S
S
S N S
N
N

ptores de Direcciones y Registros

gnifica que es un valor que se elimin del descriptor.

vo considerando la actividad de la variable no a la salida del

ejecucion de x := y op z, es decir si despues de esa proposicion
minaba de registros si es que estaba.

ya que en el ultimo bloque basico a la salida todas las

mo es el ultimo bloque deberian guardarse los resultados
en sus direcciones.

No.
Prop. Lider Bloque
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

Proposicion

Op

Valor

C O D I G O
No.

Cod. Ensamblador

O B J E T

arg1
Sig.Uso

C O D I G O
x

Activo

O B J E T O
y

C U A D R U P L O S
arg2
Valor
Sig.Uso

Activo

Valor

y'

resultado
Sig.Uso

Activo

Lexema

Tabla de Simb
SigUso

X = Sin uso siguiente

z'

Descriptores de Direccion

ax
bx
cx
dx

Celda en rojo significa que es un valo

Tabla de Simbolos
SigUso

Activo

ptores de Direcciones y Registros

gnifica que es un valor que se elimin del descriptor.