sdardis accepted this revision. sdardis added a comment. This revision is now accepted and ready to land. Ok. The translation is covered by the irtranslator tests, so we should catch any unexpected changes. LGTM. https://reviews.llvm.org/D44304