Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e2e32b32e8fb999c9231c1f09cd4ef36f3311af5 / . / llvm / test / Instrumentation / AddressSanitizer / basic.ll
blob: bcea2ce645f9d47b98f11612865239f72ad1c580 [file] [log] [blame]
Chandler Carruth663943e2012-07-16 08:56:46 +0000[diff] [blame]1; Test basic address sanitizer instrumentation.
2;
3; RUN: opt < %s -asan -S | FileCheck %s
4
5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
6target triple = "x86_64-unknown-linux-gnu"
7
8define i32 @test_load(i32* %a) address_safety {
9; CHECK: @test_load
10; CHECK-NOT: load
11; CHECK: %[[LOAD_ADDR:[^ ]*]] = ptrtoint i32* %a to i64
12; CHECK: lshr i64 %[[LOAD_ADDR]], 3
Kostya Serebryanye2e32b32013-02-12 11:14:24 +0000[diff] [blame^]13; CHECK: {{or|add}}
Chandler Carruth663943e2012-07-16 08:56:46 +0000[diff] [blame]14; CHECK: %[[LOAD_SHADOW_PTR:[^ ]*]] = inttoptr
15; CHECK: %[[LOAD_SHADOW:[^ ]*]] = load i8* %[[LOAD_SHADOW_PTR]]
16; CHECK: icmp ne i8
17; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
18;
Chandler Carruth663943e2012-07-16 08:56:46 +0000[diff] [blame]19; First instrumentation block refines the shadow test.
20; CHECK: and i64 %[[LOAD_ADDR]], 7
21; CHECK: add i64 %{{.*}}, 3
22; CHECK: trunc i64 %{{.*}} to i8
23; CHECK: icmp sge i8 %{{.*}}, %[[LOAD_SHADOW]]
24; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
25;
Kostya Serebryanyf02c6062012-07-20 09:54:50 +0000[diff] [blame]26; The crash block reports the error.
27; CHECK: call void @__asan_report_load4(i64 %[[LOAD_ADDR]])
28; CHECK: unreachable
29;
Kostya Serebryanybf479712012-08-14 14:05:50 +0000[diff] [blame]30; The actual load.
31; CHECK: %tmp1 = load i32* %a
32; CHECK: ret i32 %tmp1
33
Kostya Serebryanyf02c6062012-07-20 09:54:50 +0000[diff] [blame]34
Chandler Carruth663943e2012-07-16 08:56:46 +0000[diff] [blame]35
36entry:
37 %tmp1 = load i32* %a
38 ret i32 %tmp1
39}
40
41define void @test_store(i32* %a) address_safety {
42; CHECK: @test_store
43; CHECK-NOT: store
44; CHECK: %[[STORE_ADDR:[^ ]*]] = ptrtoint i32* %a to i64
45; CHECK: lshr i64 %[[STORE_ADDR]], 3
Kostya Serebryanye2e32b32013-02-12 11:14:24 +0000[diff] [blame^]46; CHECK: {{or|add}}
Chandler Carruth663943e2012-07-16 08:56:46 +0000[diff] [blame]47; CHECK: %[[STORE_SHADOW_PTR:[^ ]*]] = inttoptr
48; CHECK: %[[STORE_SHADOW:[^ ]*]] = load i8* %[[STORE_SHADOW_PTR]]
49; CHECK: icmp ne i8
50; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
51;
Chandler Carruth663943e2012-07-16 08:56:46 +0000[diff] [blame]52; First instrumentation block refines the shadow test.
53; CHECK: and i64 %[[STORE_ADDR]], 7
54; CHECK: add i64 %{{.*}}, 3
55; CHECK: trunc i64 %{{.*}} to i8
56; CHECK: icmp sge i8 %{{.*}}, %[[STORE_SHADOW]]
57; CHECK: br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
58;
Kostya Serebryanyf02c6062012-07-20 09:54:50 +0000[diff] [blame]59; The crash block reports the error.
60; CHECK: call void @__asan_report_store4(i64 %[[STORE_ADDR]])
61; CHECK: unreachable
62;
Kostya Serebryanybf479712012-08-14 14:05:50 +0000[diff] [blame]63; The actual load.
64; CHECK: store i32 42, i32* %a
65; CHECK: ret void
66;
Chandler Carruth663943e2012-07-16 08:56:46 +0000[diff] [blame]67
68entry:
69 store i32 42, i32* %a
70 ret void
71}
Kostya Serebryany09959942012-10-19 06:20:53 +0000[diff] [blame]72
73; Check that asan leaves just one alloca.
74
75declare void @alloca_test_use([10 x i8]*)
76define void @alloca_test() address_safety {
77entry:
78 %x = alloca [10 x i8], align 1
79 %y = alloca [10 x i8], align 1
80 %z = alloca [10 x i8], align 1
81 call void @alloca_test_use([10 x i8]* %x)
82 call void @alloca_test_use([10 x i8]* %y)
83 call void @alloca_test_use([10 x i8]* %z)
84 ret void
85}
86
87; CHECK: define void @alloca_test()
88; CHECK: = alloca
89; CHECK-NOT: = alloca
90; CHECK: ret void
91