Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 2952bf50052021edcfab086f28446740846f2eff / . / clang / test / CodeGen / cfi-check-fail.c
blob: 9e0a64902caa79a51ac4aa6f93951c872d5a89ac [file] [log] [blame]
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]1// RUN: %clang_cc1 -triple x86_64-unknown-linux -O0 -fsanitize=cfi-icall -fsanitize-cfi-cross-dso \
2// RUN: -fsanitize-trap=cfi-icall,cfi-nvcall -fsanitize-recover=cfi-vcall,cfi-unrelated-cast \
3// RUN: -emit-llvm -o - %s | FileCheck %s
4
5void caller(void (*f)()) {
6 f();
7}
8
9// CHECK: define weak_odr hidden void @__cfi_check_fail(i8*, i8*) {
10// CHECK: store i8* %0, i8** %[[ALLOCA0:.*]], align 8
11// CHECK: store i8* %1, i8** %[[ALLOCA1:.*]], align 8
12// CHECK: %[[DATA:.*]] = load i8*, i8** %[[ALLOCA0]], align 8
13// CHECK: %[[ADDR:.*]] = load i8*, i8** %[[ALLOCA1]], align 8
14// CHECK: %[[ICMP_NOT_NULL:.*]] = icmp ne i8* %[[DATA]], null
15// CHECK: br i1 %[[ICMP_NOT_NULL]], label %[[CONT0:.*]], label %[[TRAP:.*]],
16
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]17// CHECK: [[TRAP]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]18// CHECK-NEXT: call void @llvm.trap()
19// CHECK-NEXT: unreachable
20
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]21// CHECK: [[CONT0]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]22// CHECK: %[[A:.*]] = bitcast i8* %[[DATA]] to { i8, { i8*, i32, i32 }, i8* }*
23// CHECK: %[[KINDPTR:.*]] = getelementptr {{.*}} %[[A]], i32 0, i32 0
24// CHECK: %[[KIND:.*]] = load i8, i8* %[[KINDPTR]], align 4
25// CHECK: %[[NOT_0:.*]] = icmp ne i8 %[[KIND]], 0
26// CHECK: br i1 %[[NOT_0]], label %[[CONT1:.*]], label %[[HANDLE0:.*]], !prof
27
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]28// CHECK: [[HANDLE0]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]29// CHECK: %[[DATA0:.*]] = ptrtoint i8* %[[DATA]] to i64,
30// CHECK: %[[ADDR0:.*]] = ptrtoint i8* %[[ADDR]] to i64,
31// CHECK: call void @__ubsan_handle_cfi_check_fail(i64 %[[DATA0]], i64 %[[ADDR0]])
32// CHECK: br label %[[CONT1]]
33
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]34// CHECK: [[CONT1]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]35// CHECK: %[[NOT_1:.*]] = icmp ne i8 %[[KIND]], 1
36// CHECK: br i1 %[[NOT_1]], label %[[CONT2:.*]], label %[[HANDLE1:.*]], !nosanitize
37
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]38// CHECK: [[HANDLE1]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]39// CHECK-NEXT: call void @llvm.trap()
40// CHECK-NEXT: unreachable
41
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]42// CHECK: [[CONT2]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]43// CHECK: %[[NOT_2:.*]] = icmp ne i8 %[[KIND]], 2
44// CHECK: br i1 %[[NOT_2]], label %[[CONT3:.*]], label %[[HANDLE2:.*]], !prof
45
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]46// CHECK: [[HANDLE2]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]47// CHECK: %[[DATA2:.*]] = ptrtoint i8* %[[DATA]] to i64,
48// CHECK: %[[ADDR2:.*]] = ptrtoint i8* %[[ADDR]] to i64,
49// CHECK: call void @__ubsan_handle_cfi_check_fail_abort(i64 %[[DATA2]], i64 %[[ADDR2]])
50// CHECK: unreachable
51
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]52// CHECK: [[CONT3]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]53// CHECK: %[[NOT_3:.*]] = icmp ne i8 %[[KIND]], 3
54// CHECK: br i1 %[[NOT_3]], label %[[CONT4:.*]], label %[[HANDLE3:.*]], !prof
55
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]56// CHECK: [[HANDLE3]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]57// CHECK: %[[DATA3:.*]] = ptrtoint i8* %[[DATA]] to i64,
58// CHECK: %[[ADDR3:.*]] = ptrtoint i8* %[[ADDR]] to i64,
59// CHECK: call void @__ubsan_handle_cfi_check_fail(i64 %[[DATA3]], i64 %[[ADDR3]])
60// CHECK: br label %[[CONT4]]
61
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]62// CHECK: [[CONT4]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]63// CHECK: %[[NOT_4:.*]] = icmp ne i8 %[[KIND]], 4
64// CHECK: br i1 %[[NOT_4]], label %[[CONT5:.*]], label %[[HANDLE4:.*]], !nosanitize
65
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]66// CHECK: [[HANDLE4]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]67// CHECK-NEXT: call void @llvm.trap()
68// CHECK-NEXT: unreachable
69
Evgeniy Stepanov2952bf52016-01-27 22:28:56 +0000[diff] [blame^]70// CHECK: [[CONT5]]:
Evgeniy Stepanov3fd61df2016-01-25 23:34:52 +0000[diff] [blame]71// CHECK: ret void