30 lines · cpp
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 42// RUN: %clang_cc1 -cc1 -triple x86_64-pc-linux-gnu -emit-llvm -o - %s | FileCheck %s3 4static_assert(__has_builtin(__builtin_allow_runtime_check), "");5 6// CHECK-LABEL: define dso_local noundef zeroext i1 @_Z4testv(7// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {8// CHECK-NEXT: entry:9// CHECK-NEXT: [[TMP0:%.*]] = call i1 @llvm.allow.runtime.check(metadata !"mycheck")10// CHECK-NEXT: ret i1 [[TMP0]]11//12bool test() {13 return __builtin_allow_runtime_check("mycheck");14}15 16// CHECK-LABEL: define dso_local noundef zeroext i1 @_Z10test_twicev(17// CHECK-SAME: ) #[[ATTR0]] {18// CHECK-NEXT: entry:19// CHECK-NEXT: [[TMP0:%.*]] = call i1 @llvm.allow.runtime.check(metadata !"mycheck")20// CHECK-NEXT: [[CONV:%.*]] = zext i1 [[TMP0]] to i3221// CHECK-NEXT: [[TMP1:%.*]] = call i1 @llvm.allow.runtime.check(metadata !"mycheck")22// CHECK-NEXT: [[CONV1:%.*]] = zext i1 [[TMP1]] to i3223// CHECK-NEXT: [[OR:%.*]] = or i32 [[CONV]], [[CONV1]]24// CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[OR]], 025// CHECK-NEXT: ret i1 [[TOBOOL]]26//27bool test_twice() {28 return __builtin_allow_runtime_check("mycheck") | __builtin_allow_runtime_check("mycheck");29}30