; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s

@flag0 = internal global i32 zeroinitializer
@turn = internal global i32 zeroinitializer

; CHECK: ret i32 0

define i32 @main() {
  %a = load i32, ptr @flag0
  %b = atomicrmw xchg ptr @turn, i32 1 monotonic
  %c = load i32, ptr @flag0
  %d = sub i32 %a, %c
  ret i32 %d
}