1f35e72271
RFC: https://discourse.llvm.org/t/rfc-introduce-new-clang-builtin-builtin-allow-runtime-check/78281 --------- Co-authored-by: Noah Goldstein <goldstein.w.n@gmail.com> Co-authored-by: Aaron Ballman <aaron@aaronballman.com>
30 lines
1.2 KiB
C++
30 lines
1.2 KiB
C++
// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 4
|
|
// RUN: %clang_cc1 -cc1 -triple x86_64-pc-linux-gnu -emit-llvm -o - %s | FileCheck %s
|
|
|
|
static_assert(__has_builtin(__builtin_allow_runtime_check), "");
|
|
|
|
// CHECK-LABEL: define dso_local noundef zeroext i1 @_Z4testv(
|
|
// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
|
|
// CHECK-NEXT: entry:
|
|
// CHECK-NEXT: [[TMP0:%.*]] = call i1 @llvm.allow.runtime.check(metadata !"mycheck")
|
|
// CHECK-NEXT: ret i1 [[TMP0]]
|
|
//
|
|
bool test() {
|
|
return __builtin_allow_runtime_check("mycheck");
|
|
}
|
|
|
|
// CHECK-LABEL: define dso_local noundef zeroext i1 @_Z10test_twicev(
|
|
// CHECK-SAME: ) #[[ATTR0]] {
|
|
// CHECK-NEXT: entry:
|
|
// CHECK-NEXT: [[TMP0:%.*]] = call i1 @llvm.allow.runtime.check(metadata !"mycheck")
|
|
// CHECK-NEXT: [[CONV:%.*]] = zext i1 [[TMP0]] to i32
|
|
// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.allow.runtime.check(metadata !"mycheck")
|
|
// CHECK-NEXT: [[CONV1:%.*]] = zext i1 [[TMP1]] to i32
|
|
// CHECK-NEXT: [[OR:%.*]] = or i32 [[CONV]], [[CONV1]]
|
|
// CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[OR]], 0
|
|
// CHECK-NEXT: ret i1 [[TOBOOL]]
|
|
//
|
|
bool test_twice() {
|
|
return __builtin_allow_runtime_check("mycheck") | __builtin_allow_runtime_check("mycheck");
|
|
}
|