• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; Test that potentially widened loads to not trigger an error report
2
3; REQUIRES: no_minimal_build
4
5; check for wide load exception
6; RUN: llvm-as %s -o - | pnacl-freeze > %t.pexe && %S/../../pydir/szbuild.py \
7; RUN:     --fsanitize-address --sz=-allow-externally-defined-symbols \
8; RUN:     %t.pexe -o %t && %t | FileCheck %s --check-prefix=WIDE --allow-empty
9
10; check for error reporting
11; RUN: llvm-as %s -o - | pnacl-freeze > %t.pexe && %S/../../pydir/szbuild.py \
12; RUN:     --fsanitize-address --sz=-allow-externally-defined-symbols \
13; RUN:     %t.pexe -o %t && %t 1 2>&1 | FileCheck %s --check-prefix=NOWIDE
14
15
16declare external void @exit(i32)
17
18define internal void @wide_load() {
19  %str = alloca i8, i32 1, align 1
20  %str4 = bitcast i8* %str to i32*
21  %contents = load i32, i32* %str4, align 1
22  call void @exit(i32 0)
23  unreachable
24}
25
26define internal void @no_wide_load() {
27  %str = alloca i8, i32 1, align 1
28  %straddr = ptrtoint i8* %str to i32
29  %off1addr = add i32 %straddr, 1
30  %off1 = inttoptr i32 %off1addr to i8*
31  %contents = load i8, i8* %off1, align 1
32  call void @exit(i32 1)
33  unreachable
34}
35
36; WIDE-NOT: Illegal
37; NOWIDE: Illegal 1 byte load from stack object at
38
39; use argc to determine which test routine to run
40define void @_start(i32 %arg) {
41  %argcaddr = add i32 %arg, 8
42  %argcptr = inttoptr i32 %argcaddr to i32*
43  %argc = load i32, i32* %argcptr, align 1
44  switch i32 %argc, label %error [i32 1, label %wide_load
45                                  i32 2, label %no_wide_load]
46wide_load:
47  call void @wide_load()
48  br label %error
49no_wide_load:
50  call void @no_wide_load()
51  br label %error
52error:
53  call void @exit(i32 1)
54  unreachable
55}