Do not move "auto-init" instruction if they're volatile

This is overly conservative, but at least it's safe. This is a follow-up to https://reviews.llvm.org/D137707
llvm · Apr 4, 2023 · ad9ad37 · ad9ad37
1 parent 73fd9d3
commit ad9ad37
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/llvm/lib/Transforms/Utils/MoveAutoInit.cpp b/llvm/lib/Transforms/Utils/MoveAutoInit.cpp
@@ -109,7 +109,8 @@ static bool runMoveAutoInit(Function &F, DominatorTree &DT, MemorySSA &MSSA) {
     if (!hasAutoInitMetadata(I))
       continue;
 
-    assert(!I.isVolatile() && "auto init instructions cannot be volatile.");
+    if (I.isVolatile())
+      continue;
 
     BasicBlock *UsersDominator = usersDominator(&I, DT, MSSA);
     if (!UsersDominator)