RockSalt's IR for x86