More error checks.
Added prerequisite LOOP.
Required and preferred registers.  Use mir:insert-instruction-xxx.