DescriptionGiven a closed connected oriented Riemannian 3-manifold Y equipped with a non-homotopically trivial circle-valued function, one can define an instanton Floer cohomology group as well as a quilted Lagrangian Floer cohomology group. We develop compactness results relating the boundary operators.