Krakatoaの手法

stmt0 if exp1 goto L1; if exp2 goto L2; L1: stmt1 L2: stmt2

Ramshaw’s

Pattern matching

stmt0 if (exp1||   !exp2)    stmt1 stmt2