clang/test/AST/ByteCode/builtins.cpp

   1 // RUN: %clang_cc1 -fexperimental-new-constant-interpreter %s -Wno-constant-evaluated -verify -fms-extensions
   2 // RUN: %clang_cc1 -fexperimental-new-constant-interpreter %s -Wno-constant-evaluated -fms-extensions -emit-llvm -o - | FileCheck %s
   3 // RUN: %clang_cc1 -verify=ref %s -Wno-constant-evaluated -fms-extensions
   4 // RUN: %clang_cc1 -verify=ref %s -Wno-constant-evaluated %s -fms-extensions -emit-llvm -o - | FileCheck %s
   5
   6 // expected-no-diagnostics
   7 // ref-no-diagnostics
   8
   9 using size_t = decltype(sizeof(int));
  10
  11 namespace std {
  12 inline constexpr bool is_constant_evaluated() noexcept {
  13   return __builtin_is_constant_evaluated();
  14 }
  15 } // namespace std
  16
  17 constexpr bool b = std::is_constant_evaluated();
  18 static_assert(b, "");
  19 static_assert(std::is_constant_evaluated() , "");
  20
  21
  22 bool is_this_constant() {
  23   return __builtin_is_constant_evaluated(); // CHECK: ret i1 false
  24 }
  25
  26 constexpr bool assume() {
  27   __builtin_assume(true);
  28   __builtin_assume(false);
  29   __assume(1);
  30   __assume(false);
  31   return true;
  32 }
  33 static_assert(assume(), "");
  34
  35 void test_builtin_os_log(void *buf, int i, const char *data) {
  36   constexpr int len = __builtin_os_log_format_buffer_size("%d %{public}s %{private}.16P", i, data, data);
  37   static_assert(len > 0, "Expect len > 0");
  38 }