15 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s2 3@flag0 = internal global i32 zeroinitializer4@turn = internal global i32 zeroinitializer5 6; CHECK: ret i32 07 8define i32 @main() {9 %a = load i32, ptr @flag010 %b = atomicrmw xchg ptr @turn, i32 1 monotonic11 %c = load i32, ptr @flag012 %d = sub i32 %a, %c13 ret i32 %d14}15