clang/test/AST/Interp/builtins.cpp

   1 // RUN: %clang_cc1 -fexperimental-new-constant-interpreter %s -verify
   2 // RUN: %clang_cc1 -fexperimental-new-constant-interpreter %s -S -emit-llvm -o - | FileCheck %s
   3 // RUN: %clang_cc1 -verify=ref %s -Wno-constant-evaluated
   4 // RUN: %clang_cc1 -verify=ref %s -Wno-constant-evaluated %s -S -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   return true;
  30 }
  31 static_assert(assume(), "");