[CIR][CIRGen] Handle __sync_nand_and_fetch (#1351)

The final part of #1273.

Author: moar55

Diff for: clang/include/clang/CIR/MissingFeatures.h

@@ -247,7 +247,6 @@ struct MissingFeatures {
   static bool emitConstrainedFPCall() { return false; }
   static bool emitEmptyRecordCheck() { return false; }
   static bool isPPC_FP128Ty() { return false; }
-  static bool emitBinaryAtomicPostHasInvert() { return false; }
   static bool createLaunderInvariantGroup() { return false; }
 
   // Inline assembly

Diff for: clang/lib/CIR/CodeGen/CIRGenBuiltin.cpp

@@ -293,21 +293,19 @@ static RValue emitBinaryAtomic(CIRGenFunction &CGF, cir::AtomicFetchKind kind,
 
 static RValue emitBinaryAtomicPost(CIRGenFunction &cgf,
                                    cir::AtomicFetchKind atomicOpkind,
-                                   const CallExpr *e,
-                                   cir::BinOpKind binopKind) {
+                                   const CallExpr *e, cir::BinOpKind binopKind,
+                                   bool invert = false) {
   mlir::Value val;
   mlir::Type valueType;
   clang::QualType typ = e->getType();
   mlir::Value result =
       makeBinaryAtomicValue(cgf, atomicOpkind, e, &val, &valueType);
   clang::CIRGen::CIRGenBuilderTy &builder = cgf.getBuilder();
   result = builder.create<cir::BinOp>(result.getLoc(), binopKind, result, val);
+  if (invert)
+    result = builder.create<cir::UnaryOp>(result.getLoc(),
+                                          cir::UnaryOpKind::Not, result);
   result = emitFromInt(cgf, result, typ, valueType);
-  // FIXME: Some callers of this function expect the result to be inverted,
-  // which would need invert flag passed in and do the inversion here like
-  // traditional clang code gen does. When we implment those caller builtins
-  // we should implement the inversion here.
-  assert(!MissingFeatures::emitBinaryAtomicPostHasInvert());
   return RValue::get(result);
 }
 
@@ -1841,7 +1839,8 @@ RValue CIRGenFunction::emitBuiltinExpr(const GlobalDecl GD, unsigned BuiltinID,
   case Builtin::BI__sync_nand_and_fetch_4:
   case Builtin::BI__sync_nand_and_fetch_8:
   case Builtin::BI__sync_nand_and_fetch_16:
-    llvm_unreachable("BI__sync_nand_and_fetch like NYI");
+    return emitBinaryAtomicPost(*this, cir::AtomicFetchKind::Nand, E,
+                                cir::BinOpKind::And, true);
 
   case Builtin::BI__sync_val_compare_and_swap_1:
   case Builtin::BI__sync_val_compare_and_swap_2: