If you may recall, they changed the 401K match policy. Now they pay the match only to those were with the company between Jan 1 2017 and Dec 1 2017. That about what that means in the context of layoffs in 2017. A conservative estimate is they laid off at least 8000 people in 2017. Also a conservative estimate of average 401k match is $4000 per employee. Now let us do the math and see how much the company saves by not paying 401k match...
8000 x 4000 = $320,000,000
That is $320 million going straight to the bottom line of the company. This is one of the Tools they are using to show more profitability to Wall street.