1 ; RUN: llc -o - < %s | FileCheck %s 2 3 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" 4 target triple = "x86_64-apple-macosx" 5 6 ; Even if the target supports shrink-wrapping, the prologue and epilogue 7 ; must not move because a crash can happen anywhere and sanitizers need 8 ; to be able to unwind from the PC of the crash. 9 ; CHECK-LABEL: sanitize: 10 ; CHECK: pushq 11 ; CHECK: incl 40 12 ; CHECK: popq 13 ; CHECK-NEXT: retq 14 ; CHECK: movl $40, %edi 15 ; CHECK-NEXT callq ___asan_report_load4 16 define void @sanitize() #0 { 17 entry: 18 %tmp = load i8, i8* inttoptr (i64 17592186044421 to i8*) 19 %tmp1 = icmp ne i8 %tmp, 0 20 br i1 %tmp1, label %if.then, label %else 21 22 if.then: 23 %tmp3 = icmp sge i8 3, %tmp 24 br i1 %tmp3, label %else, label %end 25 26 else: 27 call void @__asan_report_load4(i64 40) 28 call void asm sideeffect "", ""() 29 unreachable 30 31 end: 32 %tmp6 = load i32, i32* inttoptr (i64 40 to i32*), align 8 33 %inc = add nsw i32 %tmp6, 1 34 store i32 %inc, i32* inttoptr (i64 40 to i32*), align 8 35 ret void 36 } 37 38 attributes #0 = { sanitize_address nounwind "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" } 39 40 declare void @__asan_report_load4(i64) 41
