Commits
Joe Groff committed 90edf845200
SIL: Verify func args, branch args, and returns. Add code to the verifier to verify that the entry point BB for a function has the right argument types for its function type, return instructions match the function type, and branch instruction arguments match the branched-to BB. Swift SVN r4487