Use the proper push IR instruction

git-svn-id: http://address-sanitizer.googlecode.com/svn/trunk@1963 3c3640eb-14a6-2bb8-0b94-e9e73afe33f5