Joonmo Yang Bloofer

## Copy propagation result
z = 3 + x

## Copy propagation
y = x
z = 3 + y

## OCaml Makefile example
all: run

run: m.cmo error.cmo lexer.cmo parser.cmo main.cmo
  ocamlc -o run m.cmo error.cmo lexer.cmo parser.cmo pp.cmo main.cmo

error.cmo : error.ml m.cmo
  ocamlc -c error.ml

m.cmo : m.ml
  ocamlc -c m.ml

## Makefile example
target … : dependency …
  command

…
…

## OCaml build
.PHONY: all clean

all:
  ocamlbuild -use-ocamlfind main.native

clean:
  ocamlbuild -clean

## Common subexpression elimination
a = b * c + g;
d = b * c * e;

## Common subexpression elimination result
tmp = b * c;
a = tmp + g;
d = tmp * e;

## Constant folding
int a = 30;
int b = 9 - (a / 5);
int c;

c = b * 4;
if (c > 10) {
  c = c - 10;
}
return c * (60 / a);

## Constant folding step1
int a = 30;
int b = 3;
int c;

c = b * 4;
if (c > 10) {
  c = c - 10;
}
return c * 2;

## Constant folding step2
int a = 30;
int b = 3;
int c;

c = 12;
if (true) {
  c = 2;
}
return c * 2;
	all: run

	run: m.cmo error.cmo lexer.cmo parser.cmo main.cmo
	ocamlc -o run m.cmo error.cmo lexer.cmo parser.cmo pp.cmo main.cmo

	error.cmo : error.ml m.cmo
	ocamlc -c error.ml

	m.cmo : m.ml
	ocamlc -c m.ml
	.PHONY: all clean

	all:
	ocamlbuild -use-ocamlfind main.native

	clean:
	ocamlbuild -clean
	int a = 30;
	int b = 9 - (a / 5);
	int c;

	c = b * 4;
	if (c > 10) {
	c = c - 10;
	}
	return c * (60 / a);
	int a = 30;
	int b = 3;
	int c;

	c = b * 4;
	if (c > 10) {
	c = c - 10;
	}
	return c * 2;