Teach basicaa that 'byval' arguments define a new memory location that

can't be aliased to other known objects.  This allows us to know that byval 
pointer args don't alias globals, etc.

llvm-svn: 46315