fix bug with atomic ops not marked as having side effects, so we eliminated them by mistake

3 files changed, 22 insertions, 1 deletions

diff --git a/src/analyzer.js b/src/analyzer.js
index cf6baafc..7412be6d 100644
--- a/src/analyzer.js
+++ b/src/analyzer.js
@@ -20,7 +20,7 @@ function cleanFunc(func) {
 // Handy sets
 
 var BRANCH_INVOKE = set('branch', 'invoke');
-var SIDE_EFFECT_CAUSERS = set('call', 'invoke');
+var SIDE_EFFECT_CAUSERS = set('call', 'invoke', 'atomic');
 
 // Analyzer
 
diff --git a/tests/cases/atomicrmw.ll b/tests/cases/atomicrmw.ll
new file mode 100644
index 00000000..2f5a4224
--- /dev/null
+++ b/tests/cases/atomicrmw.ll
@@ -0,0 +1,20 @@
+; ModuleID = 'tests/hello_world.bc'
+target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S128"
+target triple = "i386-pc-linux-gnu"
+
+@.str = private unnamed_addr constant [15 x i8] c"hello, %d,%d!\0A\00", align 1 ; [#uses=1 type=[15 x i8]*]
+
+; [#uses=0]
+define i32 @main() {
+entry:
+  %t = alloca i32, align 4                  ; [#uses=2 type=i32**]
+  store i32 50, i32* %t, align 4
+  %0 = load i32* %t
+  %1 = atomicrmw add i32* %t, i32 3 seq_cst, ; [#uses=0 type=i32] [debug line = 21:12]
+  %2 = load i32* %t
+  %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8]* @.str, i32 0, i32 0), i32 %0, i32 %2) ; [#uses=0 type=i32]
+  ret i32 1
+}
+
+; [#uses=1]
+declare i32 @printf(i8*, ...)
diff --git a/tests/cases/atomicrmw.txt b/tests/cases/atomicrmw.txt
new file mode 100644
index 00000000..45d16fb1
--- /dev/null
+++ b/tests/cases/atomicrmw.txt
@@ -0,0 +1 @@
+hello, 50,53!