[libc] Add implementations of div, ldiv, lldiv and imaxdiv.

[michaelrj]

LGTM with nits

libc/config/linux/aarch64/entrypoints.txt

171–175

this seems to be empty, so probably remove it, or at least the stdlib.h comment.

libc/src/inttypes/imaxdiv.h

9

should be LLVM_LIBC_SRC_INTTYPES_IMAXDIV_H

[sivachandra]

Address comments

libc/config/linux/aarch64/entrypoints.txt

set(TARGET_LIBC_ENTRYPOINTS
     libc.src.string.strpbrk
     libc.src.string.strrchr
     libc.src.string.strspn
     libc.src.string.strstr
     libc.src.string.strtok
     libc.src.string.strtok_r
 
     # inttypes.h entrypoints
+    libc.src.inttypes.imaxdiv
     libc.src.inttypes.strtoimax
     libc.src.inttypes.strtoumax
 
     # stdlib.h entrypoints
+    libc.src.stdlib.abs
     libc.src.stdlib.atoi
     libc.src.stdlib.atol
     libc.src.stdlib.atoll
+    libc.src.stdlib.div
+    libc.src.stdlib.labs
+    libc.src.stdlib.ldiv
+    libc.src.stdlib.llabs
+    libc.src.stdlib.lldiv
     libc.src.stdlib.strtol
     libc.src.stdlib.strtoll
     libc.src.stdlib.strtoul
     libc.src.stdlib.strtoull
 )
 
 set(TARGET_LIBM_ENTRYPOINTS
     # fenv.h entrypoints
set(TARGET_LIBM_ENTRYPOINTS
     libc.src.math.sqrt
     libc.src.math.sqrtf
     libc.src.math.sqrtl
     libc.src.math.trunc
     libc.src.math.truncf
     libc.src.math.truncl
 )
 
 if(LLVM_LIBC_FULL_BUILD)
   list(APPEND TARGET_LIBC_ENTRYPOINTS
     # stdlib.h entrypoints
-    libc.src.stdlib.abs
-    libc.src.stdlib.labs
-    libc.src.stdlib.llabs
   )
 endif()
 
 set(TARGET_LLVMLIBC_ENTRYPOINTS
   ${TARGET_LIBC_ENTRYPOINTS}
   ${TARGET_LIBM_ENTRYPOINTS}
 )

libc/config/linux/api.td

let Macros = [
     AssertMacro,
     StaticAssertMacro,
   ];
 }
 
 def CTypeAPI : PublicAPI<"ctype.h"> {
 }
 
+def IMaxDivT : TypeDecl<"imaxdiv_t"> {
+  let Decl = [{
+    typedef struct {
+      intmax_t quot;
+      intmax_t rem;
+    } imaxdiv_t;
+  }];
+}
+
+def IntTypesAPI : PublicAPI<"inttypes.h"> {
+  let TypeDeclarations = [
+    IMaxDivT,
+  ];
+}
+
 def MathErrHandlingMacro : MacroDef<"math_errhandling"> {
   let Defn = [{
     #ifndef math_errhandling
     #ifdef __FAST_MATH__
     #define math_errhandling 0
     #elif defined __NO_MATH_ERRNO__
     #define math_errhandling (MATH_ERREXCEPT)
     #else

 
 def StdIOAPI : PublicAPI<"stdio.h"> {
   let TypeDeclarations = [
     SizeT,
     FILE,
   ];
 }
 
+def DivT : TypeDecl<"div_t"> {
+  let Decl = [{
+    typedef struct {
+      int quot;
+      int rem;
+    } div_t;
+  }];
+}
+
+def LDivT : TypeDecl<"ldiv_t"> {
+  let Decl = [{
+    typedef struct {
+      long quot;
+      long rem;
+    } ldiv_t;
+  }];
+}
+
+def LLDivT : TypeDecl<"lldiv_t"> {
+  let Decl = [{
+    typedef struct {
+      long long quot;
+      long long rem;
+    } lldiv_t;
+  }];
+}
+
 def StdlibAPI : PublicAPI<"stdlib.h"> {
+  let TypeDeclarations = [
+    DivT,
+    LDivT,
+    LLDivT,
+  ];
 }
 
 def TimeAPI : PublicAPI<"time.h"> {
   let TypeDeclarations = [
     StructTm,
     TimeT,
   ];
 

libc/config/linux/x86_64/entrypoints.txt

set(TARGET_LIBC_ENTRYPOINTS
     libc.src.string.strpbrk
     libc.src.string.strrchr
     libc.src.string.strspn
     libc.src.string.strstr
     libc.src.string.strtok
     libc.src.string.strtok_r
 
     # inttypes.h entrypoints
+    libc.src.inttypes.imaxdiv
     libc.src.inttypes.strtoimax
     libc.src.inttypes.strtoumax
 
     # stdlib.h entrypoints
+    libc.src.stdlib.abs
     libc.src.stdlib.atoi
     libc.src.stdlib.atol
     libc.src.stdlib.atoll
+    libc.src.stdlib.div
+    libc.src.stdlib.labs
+    libc.src.stdlib.ldiv
+    libc.src.stdlib.llabs
+    libc.src.stdlib.lldiv
     libc.src.stdlib.strtol
     libc.src.stdlib.strtoll
     libc.src.stdlib.strtoul
     libc.src.stdlib.strtoull
 )
 
 set(TARGET_LIBM_ENTRYPOINTS
     # fenv.h entrypoints

 if(LLVM_LIBC_FULL_BUILD)
   list(APPEND TARGET_LIBC_ENTRYPOINTS
     # assert.h entrypoints
     libc.src.assert.__assert_fail
 
     # stdlib.h entrypoints
     libc.src.stdlib._Exit
     libc.src.stdlib.abort
-    libc.src.stdlib.abs
-    libc.src.stdlib.labs
-    libc.src.stdlib.llabs
 
     # signal.h entrypoints
     libc.src.signal.raise
     libc.src.signal.sigaction
     libc.src.signal.sigdelset
     libc.src.signal.sigaddset
     libc.src.signal.sigemptyset
     libc.src.signal.sigprocmask

libc/spec/stdc.td

 def StdC : StandardSpec<"stdc"> {
 
   NamedType FILE = NamedType<"FILE">;
   PtrType FILEPtr = PtrType<FILE>;
   RestrictedPtrType FILERestrictedPtr = RestrictedPtrType<FILE>;
   NamedType StructTmType = NamedType<"struct tm">;
   PtrType StructTmPtr = PtrType<StructTmType>;
   PtrType TimeTTypePtr = PtrType<TimeTType>;
 
+  NamedType DivTType = NamedType<"div_t">;
+  NamedType LDivTType = NamedType<"ldiv_t">;
+  NamedType LLDivTType = NamedType<"lldiv_t">;
+
   HeaderSpec Assert = HeaderSpec<
       "assert.h",
       [
           Macro<"static_assert">,
           Macro<"assert">,
       ],
       [], // Types
       [], // Enumerations
HeaderSpec StdIO = HeaderSpec<
               ArgSpec<FILERestrictedPtr>]
           >,
       ]
   >;
 
   HeaderSpec StdLib = HeaderSpec<
       "stdlib.h",
       [], // Macros
-      [], // Types
+      [
+          DivTType,
+          LDivTType,
+          LLDivTType,
+      ], // Types
       [], // Enumerations
       [
           FunctionSpec<"abort", RetValSpec<NoReturn>, [ArgSpec<VoidType>]>,
+
           FunctionSpec<"abs", RetValSpec<IntType>, [ArgSpec<IntType>]>,
+          FunctionSpec<"labs", RetValSpec<LongType>, [ArgSpec<LongType>]>,
+          FunctionSpec<"llabs", RetValSpec<LongLongType>, [ArgSpec<LongLongType>]>,
+
           FunctionSpec<"atoi", RetValSpec<IntType>, [ArgSpec<ConstCharPtr>]>,
           FunctionSpec<"atol", RetValSpec<LongType>, [ArgSpec<ConstCharPtr>]>,
           FunctionSpec<"atoll", RetValSpec<LongLongType>, [ArgSpec<ConstCharPtr>]>,
-          FunctionSpec<"labs", RetValSpec<LongType>, [ArgSpec<LongType>]>,
-          FunctionSpec<"llabs", RetValSpec<LongLongType>, [ArgSpec<LongLongType>]>,
+
+          FunctionSpec<"div", RetValSpec<DivTType>, [ArgSpec<IntType>, ArgSpec<IntType>]>,
+          FunctionSpec<"ldiv", RetValSpec<LDivTType>, [ArgSpec<LongType>, ArgSpec<LongType>]>,
+          FunctionSpec<"lldiv", RetValSpec<LLDivTType>, [ArgSpec<LongLongType>, ArgSpec<LongLongType>]>,
+
           FunctionSpec<"strtol", RetValSpec<LongType>, [ArgSpec<ConstCharRestrictedPtr>, ArgSpec<CharRestrictedPtrPtr>, ArgSpec<IntType>]>,
           FunctionSpec<"strtoll", RetValSpec<LongLongType>, [ArgSpec<ConstCharRestrictedPtr>, ArgSpec<CharRestrictedPtrPtr>, ArgSpec<IntType>]>,
           FunctionSpec<"strtoul", RetValSpec<UnsignedLongType>, [ArgSpec<ConstCharRestrictedPtr>, ArgSpec<CharRestrictedPtrPtr>, ArgSpec<IntType>]>,
           FunctionSpec<"strtoull", RetValSpec<UnsignedLongLongType>, [ArgSpec<ConstCharRestrictedPtr>, ArgSpec<CharRestrictedPtrPtr>, ArgSpec<IntType>]>,
+
           FunctionSpec<"_Exit", RetValSpec<NoReturn>, [ArgSpec<IntType>]>,
       ]
   >;
 
+  NamedType IMaxDivTType = NamedType<"imaxdiv_t">;
+
   HeaderSpec IntTypes = HeaderSpec<
       "inttypes.h",
       [], // Macros
-      [], // Types
+      [
+        IMaxDivTType,
+      ], // Types
       [], // Enumerations
       [
           FunctionSpec<"imaxabs", RetValSpec<IntMaxTType>, [ArgSpec<IntMaxTType>]>,
-          FunctionSpec<"imaxdiv", RetValSpec<IntMaxTType>, [ArgSpec<IntMaxTType>, ArgSpec<IntMaxTType>]>,
+          FunctionSpec<"imaxdiv", RetValSpec<IMaxDivTType>, [ArgSpec<IntMaxTType>, ArgSpec<IntMaxTType>]>,
           FunctionSpec<"strtoimax", RetValSpec<IntMaxTType>, [ArgSpec<ConstCharRestrictedPtr>, ArgSpec<CharRestrictedPtrPtr>, ArgSpec<IntType>]>,
           FunctionSpec<"strtoumax", RetValSpec<UIntMaxTType>, [ArgSpec<ConstCharRestrictedPtr>, ArgSpec<CharRestrictedPtrPtr>, ArgSpec<IntType>]>,
       ]
   >;
 
   HeaderSpec Errno = HeaderSpec<
       "errno.h",
       [

libc/src/__support/integer_operations.h

 namespace __llvm_libc {
 
 template <typename T>
 static constexpr cpp::EnableIfType<cpp::IsIntegral<T>::Value, T>
 integerAbs(T n) {
   return (n < 0) ? -n : n;
 }
 
+template <typename T>
+static constexpr cpp::EnableIfType<cpp::IsIntegral<T>::Value, void>
+integerRemQuo(T x, T y, T &quot, T &rem) {
+  quot = x / y;
+  rem = x % y;
+}
+
 } // namespace __llvm_libc
 
 #endif // LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H

libc/src/inttypes/CMakeLists.txt

add_entrypoint_object(
   strtoumax
   SRCS
     strtoumax.cpp
   HDRS
     strtoumax.h
   DEPENDS
     libc.src.__support.str_conv_utils
 )
+
+add_entrypoint_object(
+  imaxdiv
+  SRCS
+    imaxdiv.cpp
+  HDRS
+    imaxdiv.h
+  DEPENDS
+    libc.src.__support.integer_operations
+)

libc/src/inttypes/imaxdiv.h

-//===-- Utils for abs and friends -------------------------------*- C++ -*-===//
+//===-- Implementation header for imaxdiv -----------------------*- C++ -*-===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
-#define LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#ifndef LLVM_LIBC_SRC_STDLIB_IMAXDIV_H
+#define LLVM_LIBC_SRC_STDLIB_IMAXDIV_H
 
-#include "utils/CPP/TypeTraits.h"
+#include <inttypes.h>
 
 namespace __llvm_libc {
 
-template <typename T>
-static constexpr cpp::EnableIfType<cpp::IsIntegral<T>::Value, T>
-integerAbs(T n) {
-  return (n < 0) ? -n : n;
-}
+imaxdiv_t imaxdiv(intmax_t x, intmax_t y);
 
 } // namespace __llvm_libc
 
-#endif // LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#endif // LLVM_LIBC_SRC_STDLIB_IMAXDIV_H

libc/src/inttypes/imaxdiv.cpp

+//===-- Implementation of imaxdiv -----------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "src/inttypes/imaxdiv.h"
+#include "src/__support/common.h"
+#include "src/__support/integer_operations.h"
+
+namespace __llvm_libc {
+
+LLVM_LIBC_FUNCTION(imaxdiv_t, imaxdiv, (intmax_t x, intmax_t y)) {
+  imaxdiv_t res;
+  integerRemQuo(x, y, res.quot, res.rem);
+  return res;
+}
+
+} // namespace __llvm_libc

libc/src/stdlib/CMakeLists.txt

add_entrypoint_object(
   llabs
   SRCS
     llabs.cpp
   HDRS
     llabs.h
   DEPENDS
     libc.src.__support.integer_operations
 )
+
+add_entrypoint_object(
+  div
+  SRCS
+    div.cpp
+  HDRS
+    div.h
+  DEPENDS
+    libc.src.__support.integer_operations
+)
+
+add_entrypoint_object(
+  ldiv
+  SRCS
+    ldiv.cpp
+  HDRS
+    ldiv.h
+  DEPENDS
+    libc.src.__support.integer_operations
+)
+
+add_entrypoint_object(
+  lldiv
+  SRCS
+    lldiv.cpp
+  HDRS
+    lldiv.h
+  DEPENDS
+    libc.src.__support.integer_operations
+)

libc/src/stdlib/div.h

-//===-- Utils for abs and friends -------------------------------*- C++ -*-===//
+//===-- Implementation header for div ---------------------------*- C++ -*-===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
-#define LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#include <stdlib.h>
 
-#include "utils/CPP/TypeTraits.h"
+#ifndef LLVM_LIBC_SRC_STDLIB_DIV_H
+#define LLVM_LIBC_SRC_STDLIB_DIV_H
 
 namespace __llvm_libc {
 
-template <typename T>
-static constexpr cpp::EnableIfType<cpp::IsIntegral<T>::Value, T>
-integerAbs(T n) {
-  return (n < 0) ? -n : n;
-}
+div_t div(int x, int y);
 
 } // namespace __llvm_libc
 
-#endif // LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#endif // LLVM_LIBC_SRC_STDLIB_DIV_H

libc/src/stdlib/div.cpp

+//===-- Implementation of div ---------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "src/stdlib/div.h"
+#include "src/__support/common.h"
+#include "src/__support/integer_operations.h"
+
+namespace __llvm_libc {
+
+LLVM_LIBC_FUNCTION(div_t, div, (int x, int y)) {
+  div_t res;
+  integerRemQuo(x, y, res.quot, res.rem);
+  return res;
+}
+
+} // namespace __llvm_libc

libc/src/stdlib/ldiv.h

-//===-- Utils for abs and friends -------------------------------*- C++ -*-===//
+//===-- Implementation header for ldiv --------------------------*- C++ -*-===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
-#define LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#include <stdlib.h>
 
-#include "utils/CPP/TypeTraits.h"
+#ifndef LLVM_LIBC_SRC_STDLIB_LDIV_H
+#define LLVM_LIBC_SRC_STDLIB_LDIV_H
 
 namespace __llvm_libc {
 
-template <typename T>
-static constexpr cpp::EnableIfType<cpp::IsIntegral<T>::Value, T>
-integerAbs(T n) {
-  return (n < 0) ? -n : n;
-}
+ldiv_t ldiv(long x, long y);
 
 } // namespace __llvm_libc
 
-#endif // LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#endif // LLVM_LIBC_SRC_STDLIB_LDIV_H

libc/src/stdlib/ldiv.cpp

+//===-- Implementation of ldiv --------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "src/stdlib/ldiv.h"
+#include "src/__support/common.h"
+#include "src/__support/integer_operations.h"
+
+namespace __llvm_libc {
+
+LLVM_LIBC_FUNCTION(ldiv_t, ldiv, (long x, long y)) {
+  ldiv_t res;
+  integerRemQuo(x, y, res.quot, res.rem);
+  return res;
+}
+
+} // namespace __llvm_libc

libc/src/stdlib/lldiv.h

-//===-- Utils for abs and friends -------------------------------*- C++ -*-===//
+//===-- Implementation header for lldiv -------------------------*- C++ -*-===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
-#define LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#include <stdlib.h>
 
-#include "utils/CPP/TypeTraits.h"
+#ifndef LLVM_LIBC_SRC_STDLIB_LLDIV_H
+#define LLVM_LIBC_SRC_STDLIB_LLDIV_H
 
 namespace __llvm_libc {
 
-template <typename T>
-static constexpr cpp::EnableIfType<cpp::IsIntegral<T>::Value, T>
-integerAbs(T n) {
-  return (n < 0) ? -n : n;
-}
+lldiv_t lldiv(long long x, long long y);
 
 } // namespace __llvm_libc
 
-#endif // LLVM_LIBC_SRC_STDLIB_ABS_UTILS_H
+#endif // LLVM_LIBC_SRC_STDLIB_LDIV_H

libc/src/stdlib/lldiv.cpp

+//===-- Implementation of lldiv -------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "src/stdlib/lldiv.h"
+#include "src/__support/common.h"
+#include "src/__support/integer_operations.h"
+
+namespace __llvm_libc {
+
+LLVM_LIBC_FUNCTION(lldiv_t, lldiv, (long long x, long long y)) {
+  lldiv_t res;
+  integerRemQuo(x, y, res.quot, res.rem);
+  return res;
+}
+
+} // namespace __llvm_libc

libc/test/src/inttypes/CMakeLists.txt

add_libc_unittest(
   strtoumax_test
   SUITE
     libc_inttypes_unittests
   SRCS
     strtoumax_test.cpp
   DEPENDS
     libc.src.inttypes.strtoumax
 )
+
+add_libc_unittest(
+  imaxdiv_test
+  SUITE
+    libc_inttypes_unittests
+  SRCS
+    imaxdiv_test.cpp
+  HDRS
+    ../stdlib/DivTest.h
+  DEPENDS
+    libc.include.stdlib
+    libc.src.inttypes.imaxdiv
+)

libc/test/src/inttypes/imaxdiv_test.cpp

+//===-- Unittests for imaxdiv ---------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "../stdlib/DivTest.h"
+
+#include "src/inttypes/imaxdiv.h"
+
+#include <inttypes.h>
+
+LIST_DIV_TESTS(intmax_t, imaxdiv_t, __llvm_libc::imaxdiv)

libc/test/src/stdlib/CMakeLists.txt

add_libc_unittest(
   llabs_test
   SUITE
     libc_stdlib_unittests
   SRCS
     llabs_test.cpp
   DEPENDS
     libc.src.stdlib.llabs
 )
+
+add_libc_unittest(
+  div_test
+  SUITE
+    libc_stdlib_unittests
+  SRCS
+    div_test.cpp
+  HDRS
+    DivTest.h
+  DEPENDS
+    libc.include.stdlib
+    libc.src.stdlib.div
+)
+
+add_libc_unittest(
+  ldiv_test
+  SUITE
+    libc_stdlib_unittests
+  SRCS
+    ldiv_test.cpp
+  HDRS
+    DivTest.h
+  DEPENDS
+    libc.include.stdlib
+    libc.src.stdlib.ldiv
+)
+
+add_libc_unittest(
+  lldiv_test
+  SUITE
+    libc_stdlib_unittests
+  SRCS
+    lldiv_test.cpp
+  HDRS
+    DivTest.h
+  DEPENDS
+    libc.include.stdlib
+    libc.src.stdlib.lldiv
+)

libc/test/src/stdlib/DivTest.h

+//===-- A template class for testing div functions --------------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "utils/UnitTest/Test.h"
+
+template <typename IntType, typename ReturnType>
+class DivTest : public __llvm_libc::testing::Test {
+public:
+  using DivFunc = ReturnType(IntType, IntType);
+
+  void simpleTest(DivFunc func) {
+    auto result = func(10, 3);
+    EXPECT_EQ(result.quot, IntType(3));
+    EXPECT_EQ(result.rem, IntType(1));
+
+    result = func(-10, 3);
+    EXPECT_EQ(result.quot, IntType(-3));
+    EXPECT_EQ(result.rem, IntType(-1));
+
+    result = func(-10, -3);
+    EXPECT_EQ(result.quot, IntType(3));
+    EXPECT_EQ(result.rem, IntType(-1));
+
+    result = func(10, -3);
+    EXPECT_EQ(result.quot, IntType(-3));
+    EXPECT_EQ(result.rem, IntType(1));
+  }
+};
+
+#define LIST_DIV_TESTS(IntType, ReturnType, func)                              \
+  using LlvmLibcDivTest = DivTest<IntType, ReturnType>;                        \
+  TEST_F(LlvmLibcDivTest, SimpleTest) { simpleTest(func); }

libc/test/src/stdlib/div_test.cpp

+//===-- Unittests for div -------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "DivTest.h"
+
+#include "src/stdlib/div.h"
+
+#include <stdlib.h>
+
+LIST_DIV_TESTS(int, div_t, __llvm_libc::div)

libc/test/src/stdlib/ldiv_test.cpp

+//===-- Unittests for ldiv ------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "DivTest.h"
+
+#include "src/stdlib/ldiv.h"
+
+#include <stdlib.h>
+
+LIST_DIV_TESTS(long, ldiv_t, __llvm_libc::ldiv)

libc/test/src/stdlib/lldiv_test.cpp

+//===-- Unittests for lldiv -----------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "DivTest.h"
+
+#include "src/stdlib/lldiv.h"
+
+#include <stdlib.h>
+
+LIST_DIV_TESTS(long long, lldiv_t, __llvm_libc::lldiv)