Lines Matching full:ucast
2 // RUN: %clang_cc1 -triple x86_64-unknown-linux -fsanitize=cfi-unrelated-cast -fsanitize-trap=cfi-unrelated-cast -emit-llvm -o - %s | FileCheck -check-prefix=CHECK-UCAST %s
3 // RUN: %clang_cc1 -triple x86_64-unknown-linux -fsanitize=cfi-unrelated-cast,cfi-cast-strict -fsanitize-trap=cfi-unrelated-cast,cfi-cast-strict -emit-llvm -o - %s | FileCheck -check-prefix=CHECK-UCAST-STRICT %s
61 // CHECK-UCAST-LABEL: define void @_Z3vbpPv
63 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1B")
64 // CHECK-UCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]
66 // CHECK-UCAST: [[TRAPBB]]
67 // CHECK-UCAST-NEXT: call void @llvm.trap()
68 // CHECK-UCAST-NEXT: unreachable
70 // CHECK-UCAST: [[CONTBB]]
71 // CHECK-UCAST: ret
75 // CHECK-UCAST-LABEL: define void @_Z3vbrRc
77 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1B")
78 // CHECK-UCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]
80 // CHECK-UCAST: [[TRAPBB]]
81 // CHECK-UCAST-NEXT: call void @llvm.trap()
82 // CHECK-UCAST-NEXT: unreachable
84 // CHECK-UCAST: [[CONTBB]]
85 // CHECK-UCAST: ret
89 // CHECK-UCAST-LABEL: define void @_Z4vbrrOc
91 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1B")
92 // CHECK-UCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]
94 // CHECK-UCAST: [[TRAPBB]]
95 // CHECK-UCAST-NEXT: call void @llvm.trap()
96 // CHECK-UCAST-NEXT: unreachable
98 // CHECK-UCAST: [[CONTBB]]
99 // CHECK-UCAST: ret
103 // CHECK-UCAST-LABEL: define void @_Z3vcpPv
104 // CHECK-UCAST-STRICT-LABEL: define void @_Z3vcpPv
106 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1A")
107 // CHECK-UCAST-STRICT: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1C")
111 // CHECK-UCAST-LABEL: define void @_Z3bcpP1B
112 // CHECK-UCAST-STRICT-LABEL: define void @_Z3bcpP1B
114 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1A")
115 // CHECK-UCAST-STRICT: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1C")
119 // CHECK-UCAST-LABEL: define void @_Z8bcp_callP1B
120 // CHECK-UCAST-STRICT-LABEL: define void @_Z8bcp_callP1B
122 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1A")
123 // CHECK-UCAST-STRICT: [[P:%[^ ]*]] = call i1 @llvm.bitset.test(i8* {{%[^ ]*}}, metadata !"_ZTS1C")