Datrix 5 - Control Statements

All examples required some changes. A main function header was added for each statement. Also prototypes were declared for any external functions
  1. d5for.cpp (For Statement)
    1. The dump file produced by the unmodified gcc compiler.
    2. The gxl encoding of the gcc schema graph generated by the modified gcc compiler.
    3. The ta encoding of the gcc schema graph generated by the modified gcc compiler.
    4. The gxl encoding of the gcc schema graph after reduction.
    5. The ta encoding of the gcc schema graph after reduction.
    6. A layout of the reduced graph generated by vcg.
  2. d5if.cpp (If Statement)
    1. The dump file produced by the unmodified gcc compiler.
    2. The gxl encoding of the gcc schema graph generated by the modified gcc compiler.
    3. The ta encoding of the gcc schema graph generated by the modified gcc compiler.
    4. The gxl encoding of the gcc schema graph after reduction.
    5. The ta encoding of the gcc schema graph after reduction.
    6. A layout of the reduced graph generated by vcg.
  3. d5goto.cpp (If Statement)
    1. The dump file produced by the unmodified gcc compiler.
    2. The gxl encoding of the gcc schema graph generated by the modified gcc compiler.
    3. The ta encoding of the gcc schema graph generated by the modified gcc compiler.
    4. The gxl encoding of the gcc schema graph after reduction.
    5. The ta encoding of the gcc schema graph after reduction.
    6. A layout of the reduced graph generated by vcg.
  4. d5switch.cpp (If Statement)
    1. The dump file produced by the unmodified gcc compiler.
    2. The gxl encoding of the gcc schema graph generated by the modified gcc compiler.
    3. The ta encoding of the gcc schema graph generated by the modified gcc compiler.
    4. The gxl encoding of the gcc schema graph after reduction.
    5. The ta encoding of the gcc schema graph after reduction.
    6. A layout of the reduced graph generated by vcg.