Rate   IRS_map     Split IRS_while
IRS_map    9659/s        --      -26%      -28%
Split     13017/s       35%        --       -3%
IRS_while 13379/s       39%        3%        --