Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

Begin the loop identification process with the data structures and fundamental methods of back edge discovery.

Do not allow DEF signedness to become mixed due to propagation of USE operand signedness within an RTL.