davidxl added a comment. thanks. I don't seem to find explicit test cases added for this change. can you add one ? Please also update the description with a real motivation example -- the original code and the pseudo code after the transformation. http://reviews.llvm.org/D20505