[salawat]

The IRS only gets your employer's contribution to taxable revenue. They don't have a way of knowing what you do with that income, which may be taxable. That's what you're supposed to do.