test-cases.rtf

{\rtf1\ansi\ansicpg1252\cocoartf1504\cocoasubrtf830
{\fonttbl\f0\fnil\fcharset0 Monaco;}
{\colortbl;\red255\green255\blue255;}
{\*\expandedcolortbl;;}
\margl1440\margr1440\vieww10800\viewh8400\viewkind0
\deftab720
\pard\pardeftab720\partightenfactor0

\f0\fs22 \cf0 T1:\
INT zo\
INT xo\
INT yo\
INT zn\
INT xn\
INT yn\
xo EQ xn\
yo EQ yn\
OLD: z = y + x;\
NEW: z = y + x - x;\
ASSERT(zo = zn)\
\
T2:\
INT wo\
INT xo\
INT zo\
INT wn\
INT xn\
INT zn\
xo EQ xn\
zo NEQ zn\
OLD: w = z;\
NEW: w = z + x;\
ASSERT(wo = wn)\
\
\pard\pardeftab720\partightenfactor0
\cf0 T3:\
INT yo\
INT wo\
INT xo\
INT zo\
INT yn\
INT wn\
INT xn\
INT zn\
xo EQ xn\
yo EQ yn\
OLD: \
z = y + x;\
w = z;\
NEW: \
z = y + x - x;\
w = z + x;\
ASSERT(wo = wn)}