1; RUN: llc -o - < %s | FileCheck %s 2 3target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" 4target 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 16define void @sanitize() #0 { 17entry: 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 22if.then: 23 %tmp3 = icmp sge i8 3, %tmp 24 br i1 %tmp3, label %else, label %end 25 26else: 27 call void @__asan_report_load4(i64 40) 28 call void asm sideeffect "", ""() 29 unreachable 30 31end: 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 38attributes #0 = { sanitize_address nounwind "frame-pointer"="all" } 39 40declare void @__asan_report_load4(i64) 41