From: weiyu <weiyuluo1232@gmail.com>
Date: Thu, 20 Jun 2019 22:55:07 +0000 (-0700)
Subject: Loose the conditions that atomic calls are captured. Need to come up with better... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11llvm.git;a=commitdiff_plain;h=c7be9ffa4a8c95788e862c08572e38dbcaad2abc

Loose the conditions that atomic calls are captured. Need to come up with better rules for function name checking
---

diff --git a/isAtomicCall.hpp b/isAtomicCall.hpp
index a127619..99e7532 100644
--- a/isAtomicCall.hpp
+++ b/isAtomicCall.hpp
@@ -11,10 +11,13 @@ bool isAtomicCall(Instruction *I)
 
 		StringRef funName = fun->getName();
 
-		if ( (CI->isTailCall() && funName.contains("atomic_")) ||
-			funName.contains("atomic_compare_exchange_") ) {
+		// todo: come up with better rules for function name checking
+		if ( funName.contains("atomic_") ) {
 			// printArgs(CI);
 			return true;
+		} else if (funName.contains("atomic") ) {
+			// errs() << "intercepted atomic calls: " << *I << "\n";
+			return true;
 		}
 	}