Compiladores: Símbolos y ámbitos - LSUBlsub.org/comp/slides/s09.symbol.pdf · 2016-01-25 ·...

1/25/16, 2:49 PMCompiladores: Símbolos y ámbitos - (c)2014 LSUB

of 40http://127.0.0.1:3999/s09.symbol.slide#1

Compiladores: Símbolos y ámbitosFrancisco J BallesterosLSUB, URJC



Símbolos y ámbitos

En el lenguaje podemos tener

vars: a: int;procedure foo(a: int, b:int ) a: int;{}

Y tenemos que

saber qué es cada nombre

gestionar el ámbito en el que vive



Símbolos y ámbitos

Tenemos un ámbito global

con nombres globales definidos

incluyendo nombres de procedimientos, funciones y tipos

Y dentro otro para cada procedimiento

Y dentro otro para las variables

Y puede que otros, mas anidados si el lenguaje lo permite

Se comportan como una pila



Ámbitos

Hacen falta al compilar para saber qué es cada nombre

Y hará falta gestionarlos en tiempo de ejecución

normalmente con la pila utilizada para ejecutar el programa



Tabla de Símbolos

Tendremos una pila de tablas (una por ámbito)

Cada una es una hash del nombre a los atributos del símbolo

type Skind int

const ( Snone Skind = iota Skey // keyword Stype // type name Sconst // constant name Svar // variable or parameter name Sproc // procedure name Sfunc // function name)

type Sym struct { name string // symbol name kind Skind // keyword, constant, var name, ... id int // token id

file string // where declared line int // where declared}



Tabla de Símbolos

Un buen punto de partida es

definir los keywords en una tabla

definir los tipos predefinidos en una tabla

igual para constantes, variables, procedimientos y funciones

Recorrerlos y definir símbolos para todos ellos

bltin := make(map[string]*Sym, 101)env = []map[string]*Sym{bltin}

for i := range keywords { bltin[keywords[i].name] = &keywords[i] keywords[i].kind = Skey keywords[i].file = "builtin"}...pushEnv() // top-level



Tabla de Símbolos

El primer entorno (ámbito) en la pila tiene elementos predefinidos

No vamos a dejar redefinirlos en ningún programa

Nos ayuda a simplificar la gramática

Ahora el scanner tiene que mirar la tabla de símbolos

Devolver ID para nombres (predefinidos o no)

Devolver TYPEID para nombres de tipos (predefinidos o no)

Igual para literales con nombre (incluyendo por ej. True)



Tabla de Símbolos

Utilizaremos estas funciones para abrir y cerrar ámbitos

func pushEnv() { env := map[string]*Sym{} envs = append(envs, env)}

func popEnv() { if len(envs) == 1 { panic("bug: attempt to pop builtin env") } envs = envs[:len(envs)-1]}



Tabla de Símbolos

Utilizaremos estas funciones para buscar y definir símbolos

func getbuiltin(n string) *Sym { if s, ok := envs[0][n]; ok { return s } return nil}

func getsym(n string) *Sym { for i := len(envs)-1; i >= 0; i-- { if s, ok := envs[0][n]; ok { return s } } return nil}

func defsym(s *Sym) { envs[len(envs)-1][s.name] = s}



Literales

Hay literales con nombre y valor de tipos distintos Vamos a dividir LIT entre BOOL, INT, ...

%token <ival> INT%token <bval> BOOL%token <rval> FLOAT%token <cval> CHAR%token <sval> STR%token <sym> ID TYPEID

Y a definir

%union { sym *Sym ival int rval float64 bval bool cval rune sval string}



El punto de partida

tabla de símbolos inicial (src/lang/dat.go)

scanner (src/lang/lex.go)

parser (src/lang/lang2.y)

entrada de prueba (src/lang/f.p)

salida (src/lang/f.out)

http://127.0.0.1:3999/src/lang/dat.go

http://127.0.0.1:3999/src/lang/lex.go

http://127.0.0.1:3999/src/lang/lang2.y

http://127.0.0.1:3999/src/lang/f.p

http://127.0.0.1:3999/src/lang/f.out



Antes de probar el parser

Necesitamos que los nombres de tipos definidos sean tokens TYPEID y no ID

Vamos a poner acciones para definir al menos los tipos y podremos probar el parser



Definiciones

typedef : ID '=' type ';' { $1.kind = Stype $1.id = TYPEID defsym($1) } | TYPEID '=' type ';' ;



Pruebas

func main() { os.Args[0] = "pick" flag.Usage = usage flag.Parse() initenv() args := flag.Args() if len(args) != 1 { usage() }

l, err := newFileLex(args[0]) if err != nil { Fatal("%s: %s", args[0], err) } debugLex = true yyParse(l) os.Exit(nerrors)}



Pruebas

tabla de símbolos (src/lang/dat.go)


parser (src/lang/lang3.y)


salida (src/lang/f.out2)

Normalmente habríamos hecho

1. el scanner 2. la tabla de símbolos 3. la gramática, poco a poco y probándola con entradas

http://127.0.0.1:3999/src/lang/dat.go



http://127.0.0.1:3999/src/lang/f.p

http://127.0.0.1:3999/src/lang/f.out2



Producciones de error

Para tolerar algunos errores vamos a poner producciones de error en algunos puntos

Luego habrá que mejorarlas

parser con errores iniciales (src/lang/lang4.y)

tabla de símbolos con debug flag (src/lang/dat2.go)


entrada de prueba con errores (src/lang/ferr.p)

salida con errores (src/lang/f.out3)


http://127.0.0.1:3999/src/lang/dat2.go


http://127.0.0.1:3999/src/lang/ferr.p




Definiciones y ámbitos

Para procesar definiciones:

llamar a pushEnv al abrir cada ámbito

llamar a popEnv al cerrarlo

incluso si hay errores sintáticos!

llamar a defXXX() para definir los nuevos símbolos




Al entrar...

prochdr : PROCEDURE ID '(' optparms ')' { defproc($2) pushEnv($2.name) } | PROCEDURE error { pushEnv("proc") Errorf("bad procedure header") } ;




Al salir...

procdef : prochdr ';' { popEnv() } | prochdr optvars body { popEnv() } | prochdr error body { popEnv() }




Constantes

constdef : ID '=' expr ';' { defconst($1) } | error ';' { Errorf("bad constant declaration") Errflag = 0 } ;




Tipos

typedef : ID '=' type ';' { deftype($1) } | TYPEID '=' type ';' | error ';' { Errorf("bad type declaration") Errflag = 0 } ;




Variables (locales y globales)

vardef : ID ':' TYPEID ';' { defvar($1) } | error ';' { Errorf("bad variable declaration") Errflag = 0 } ;




Con nuevos auxiliares para definir símbolos concretos...

func deftype(s *Sym) { s.kind = Stype s.id = TYPEID defsym(s)}

func defvar(s *Sym) { s.kind = Svar s.id = ID defsym(s)}

func defconst(s *Sym) { s.kind = Sconst s.id = ID defsym(s)}...




parser con (algunas) declaraciones (src/lang/lang5.y)

tabla de símbolos mejorada (src/lang/dat2.go)


entrada de prueba (src/lang/ferr.p)





http://127.0.0.1:3999/src/lang/ferr.p




AST

Hay que definir

los campos que tiene cada record

los parámetros de cada procedimiento/función

etc

Necesitamos construir trozos del árbol de parsing

En realidad, un árbol sintáctico abstracto (AST) decorado

Y utilizar luego esos árboles para el proceso



AST: Expresiones

Para cada nodo de interés vamos a utilizar

type Nd struct { op int sym *Sym ival int rval float64 sval string bval bool cval rune args []*Nd file string // where declared line int // where declared}



AST: Expresiones

Y declaramos tipos para los no terminales

%union { sym *Sym ival int rval float64 bval bool cval rune sval string nd *Nd lst []*Nd}

%type <nd> lvalue literal primary expr caseexpr forcond parm field fieldcase%type <lst> args optargs parms optparms fields optfields ids fieldcases%type <bval> optref



AST: Expresiones

Ahora hay que construir los nodos

lvalue : ID { $$ = newnd(ID, $1) } | lvalue '[' expr ']' { $$ = newnd('[', nil, $1, $3) } | lvalue '.' ID { nd := newnd(ID, $3) $$ = newnd('.', nil, $1, nd) } | lvalue '^' { $$ = newnd('^', nil, $1) } ;



AST: Expresiones

Intentando aproximar su fichero y línea

func newnd(op int, sym *Sym, args ...*Nd) *Nd { nd := &Nd{op: op, sym: sym, args: args} if sym != nil { nd.file = sym.file nd.line = sym.line } else if len(args) > 1 { nd.file = args[0].file nd.line = args[0].line } else { nd.file = file nd.line = line } return nd}



AST: Expresiones

Y las listas

optargs : args | { $$ = nil } ;

args : args ',' expr { $$ = append($1, $3) } | expr { $$ = []*Nd{$1} } ;



AST: Expresiones

Para los símbolos resulta interesante incluir

un nodo como valor

un símbolo para el tipo (para declaraciones, por ej.)

type Sym struct { name string // symbol name kind Skind // keyword, constant, var name, ... id int // token id

val *Nd tnd *Sym

file string // where declared line int // where declared

}



AST: Expresiones

Continuamos y hacemos lo mismo con todo lo necesario

Incluyendo un nuevo flag para volcar nodos

Así podemos ver el AST como en

const = const<Maxword>{ val int<30>{ }}

type = type<Tindchar>{ val range<int>{ sym type<int> arg int<1>{ } arg id<Maxword>{ sym const<Maxword> } }}



AST: tokens falsos

Como hemos utilizado los tokens como tipo para los nodos

Tenemos que definir algunos tokens falsos

la alternativa es un nuevo enumerado

con nuevas funciones de depuración

pero muchos de los tokens tienen nodos

%token CALL PARMS PARM%token ORD RANGE



AST

Esto nos deja este resultado

parser con nodos del AST (src/lang/lang7.y)

nueva tabla de símbolos (src/lang/dat5.go)

AST (src/lang/nd.go)

lex con strings to tokens para nodos (src/lang/lex2.go)

entrada de prueba (src/lang/f2.p)




http://127.0.0.1:3999/src/lang/nd.go

http://127.0.0.1:3999/src/lang/lex2.go

http://127.0.0.1:3999/src/lang/f2.p




AST Cntd.

Tendremos que hacer lo mismo para generar código con las sentencias y estructuras de control.

podemos aumentar los tipos de nodos

o definir otro tipo de árbol para sentencias



AST Cntd.

Por ejemplo

stmt : lvalue '=' expr ';' { $$ = newnd('=', nil, $1, $3) } | ID '(' optargs ')' ';' { $$ = newnd(CALL, $1, $3...) } | body ...



AST Cntd.

Y tendremos para

{ writeln(nc(max));}

este AST

main body = {}{ arg call<writeln>{ sym proc<writeln> arg call<nc>{ sym func<nc> arg id<max>{ sym var<max> } } }}



Fuente con el AST

parser con nodos del AST (src/lang/lang8.y)

tabla de símbolos (src/lang/dat5.go)

AST (src/lang/nd.go)

scanner (src/lang/lex2.go)





http://127.0.0.1:3999/src/lang/nd.go

http://127.0.0.1:3999/src/lang/lex2.go

http://127.0.0.1:3999/src/lang/f.p




¿Ahora qué?

Falta procesar parámetros en los procedimientos

hay que definir un símbolo para cada uno en su ámbito

Hay que modificar el acceso a campos en records

buscando en el símbolo del tipo si está o no definido

Hay que evaluar expresiones evaluables en compilación

Hay que comprobar

tipos de datos

variables usadas y no asignadas y asignadas y no usadas

Hay que reescribir-optimizar partes del AST

Un switch pueden ser varios if

Hay que generar código



Questions?

Francisco J BallesterosLSUB, URJChttp://lsub.org (http://lsub.org)

http://lsub.org/

Compiladores: Símbolos y ámbitos - LSUBlsub.org/comp/slides/s09.symbol.pdf · 2016-01-25 ·...

Documents

Transcript of Compiladores: Símbolos y ámbitos - LSUBlsub.org/comp/slides/s09.symbol.pdf · 2016-01-25 ·...