ostannard added a comment. This doesn't look correct to me - the IT instruction writes to `CPSR` (which we represent as `ITSTATE`), but it doesn't read anything from it. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D75186/new/ https://reviews.llvm.org/D75186