Disable TempRValueOpt when there are users of the temp object preceding the copy

Author: meg-gupta

lib/SILOptimizer/Transforms/TempRValueElimination.cpp

@@ -542,6 +542,8 @@ void TempRValueOptPass::tryOptimizeCopyIntoTemp(CopyAddrInst *copyInst) {
   // re-initialization of the source.
   bool needFinalDeinit = copyInst->isTakeOfSrc();
 
+  SmallPtrSet<SILInstruction *, 4> userSet;
+
   // Scan all uses of the temporary storage (tempObj) to verify they all refer
   // to the value initialized by this copy. It is sufficient to check that the
   // only users that modify memory are the copy_addr [initialization] and
@@ -550,6 +552,8 @@ void TempRValueOptPass::tryOptimizeCopyIntoTemp(CopyAddrInst *copyInst) {
   for (auto *useOper : tempObj->getUses()) {
     SILInstruction *user = useOper->getUser();
 
+    userSet.insert(user);
+
     if (user == copyInst)
       continue;
 
@@ -576,6 +580,15 @@ void TempRValueOptPass::tryOptimizeCopyIntoTemp(CopyAddrInst *copyInst) {
       return;
   }
 
+  // Check and return without optimization if we have any users of tempObj that
+  // precede the copyInst. This can happen with projections.
+  for (SILInstruction &inst : llvm::make_range(copyInst->getParent()->begin(),
+                                               copyInst->getIterator())) {
+    if (userSet.count(&inst)) {
+      return;
+    }
+  }
+
   AliasAnalysis *aa = getPassManager()->getAnalysis<AliasAnalysis>(getFunction());
 
   // Check if the source is modified within the lifetime of the temporary.

test/SILOptimizer/temp_rvalue_opt_ossa.sil

@@ -1847,3 +1847,21 @@ bb0:
   dealloc_stack %src : $*MOS
   return %instance_3 : $MOS
 }
+
+// CHECK-LABEL: sil [ossa] @dont_optimize_use_before_copy :
+// CHECK: copy_addr
+// CHECK_LABEL: } // end sil function 'dont_optimize_use_before_copy'
+sil [ossa] @dont_optimize_use_before_copy : $@convention(thin) <B> (@in_guaranteed GS<B>, @inout GS<B>) -> () {
+bb0(%0 : $*GS<B>, %1 : $*GS<B>):
+  %2 = alloc_stack $GS<B>
+  %3 = struct_element_addr %2 : $*GS<B>, #GS._value
+  copy_addr %1 to [init] %2 : $*GS<B>
+  %5 = load [trivial] %3 : $*Builtin.Int64
+  %6 = builtin "cmp_slt_Int64"(%5 : $Builtin.Int64, %5 : $Builtin.Int64) : $Builtin.Int1
+  copy_addr %2 to %1 : $*GS<B>
+  destroy_addr %2 : $*GS<B>
+  dealloc_stack %2 : $*GS<B>
+  %10 = tuple ()
+  return %10 : $()
+}
+