Employer's Contribution and tax implications

Maybe a silly question but I just want to be sure - I am in a company pension plan where I pay 6% of my wage into a pension plan and my company matches this with 6%.
Being 30 years old I am entitled to write off up to 20% of my income against tax.

Is the 6% contribution from the company seen by the revenue as my income ? In other words, given the above have I already used up 12% of my tax deductable allowance and I can only make an 8% tax free AVC. Or have I used 6% of my tax deductable allowand and I can make 14% tax free AVC.

Based on your age you can personally contribute 20% (an extra 14%).
The Company contribution is not treated as a benefit-in-kind in your hands and is not taxable in your hands.