On 10/21/2013 11:10 AM, Jeff Law wrote: > So why are bounds distinct modes? Is there some inherent reason why bounds > are something other than an integer mode (MODE_INT)?
I suggested the distinct modes during the NDA phase. The primary reason for this is that MPX is designed to be kind of backward compatible with previous ISAs, operating as nops. Thus we cannot allow the compiler to use the MPX registers for anything besides implementing the bounds checking. The only way I could think to positively ensure that normal operations didn't get implemented via mpx insns is to describe the new patterns with distinct modes. r~
