blob: f1f4f3f703b020e97fbbce510f6ee11b00643048 [file] [log] [blame]
Kostya Serebryany4fb78012013-12-06 09:00:17 +00001; Test the ASan's stack layout.
2; More tests in tests/Transforms/Utils/ASanStackFrameLayoutTest.cpp
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-S128"
6target triple = "x86_64-unknown-linux-gnu"
7
8declare void @Use(i8*)
9
10; CHECK: internal unnamed_addr constant{{.*}}3 32 10 3 XXX 64 20 3 YYY 128 30 3 ZZZ
11; CHECK: internal unnamed_addr constant{{.*}}3 32 5 3 AAA 64 55 3 BBB 160 555 3 CCC
12; CHECK: internal unnamed_addr constant{{.*}}3 256 128 3 CCC 448 128 3 BBB 608 128 3 AAA
13
14define void @Func1() sanitize_address {
15entry:
16; CHECK-LABEL: Func1
17; CHECK: alloca [192 x i8]
18; CHECK-NOT: alloca
19; CHECK: ret void
20 %XXX = alloca [10 x i8], align 1
21 %YYY = alloca [20 x i8], align 1
22 %ZZZ = alloca [30 x i8], align 1
23 ret void
24}
25
26define void @Func2() sanitize_address {
27entry:
28; CHECK-LABEL: Func2
29; CHECK: alloca [864 x i8]
30; CHECK-NOT: alloca
31; CHECK: ret void
32 %AAA = alloca [5 x i8], align 1
33 %BBB = alloca [55 x i8], align 1
34 %CCC = alloca [555 x i8], align 1
35 ret void
36}
37
38; Check that we reorder vars according to alignment and handle large alignments.
39define void @Func3() sanitize_address {
40entry:
41; CHECK-LABEL: Func3
42; CHECK: alloca [768 x i8]
43; CHECK-NOT: alloca
44; CHECK: ret void
45 %AAA = alloca [128 x i8], align 16
46 %BBB = alloca [128 x i8], align 64
47 %CCC = alloca [128 x i8], align 256
48 ret void
49}