133a134,139
>
> if (Debug::ExecFlags) {
> outs << " flags=(";
> inst->printFlags(outs, "|");
> outs << ")";
> }