Rate   IRS_map     Split IRS_while
IRS_map    9804/s        --      -24%      -27%
Split     12876/s       31%        --       -4%
IRS_while 13399/s       37%        4%        --