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 16 declare external void @exit(i32) 17 18 define 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 26 define 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 40 define 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] 46 wide_load: 47 call void @wide_load() 48 br label %error 49 no_wide_load: 50 call void @no_wide_load() 51 br label %error 52 error: 53 call void @exit(i32 1) 54 unreachable 55 }
