Fix branching to undef where appropriate, and fix reversed arguments on isNoAlias
Add stacksave instructions to avoid leaking due to alloca, and add data