Extended Description
InstCombine turns memcpys of 8 bytes into a load/store which SROA might later split up into smaller values. In the attached test case, this ends up extracting a pointer to doing a trunc + inttoptr operation, which stops the second conditional branch from being eliminated, although it's clear that the branch to "panic" will never be taken.