Fill in flags for most branches and memory accesses