Not removing 'unnecessary' atomics

ftsrg · Nov 14, 2024 · 615d2ee · 615d2ee
1 parent e02be89
commit 615d2ee
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 52 deletions.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt
@@ -70,7 +70,6 @@ class CPasses(checkOverflow: Boolean, parseContext: ParseContext, uniqueWarningL
       UnusedLocRemovalPass(),
     ),
     listOf(FetchExecuteWriteback(parseContext)),
-    listOf(RemoveAtomics()),
   )
 
 class ChcPasses(parseContext: ParseContext, uniqueWarningLogger: Logger) :

diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/RemoveAtomics.kt