| ; RUN: llc -o - < %s | FileCheck %s |
| |
| target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" |
| target triple = "x86_64-apple-macosx" |
| |
| ; Even if the target supports shrink-wrapping, the prologue and epilogue |
| ; must not move because a crash can happen anywhere and sanitizers need |
| ; to be able to unwind from the PC of the crash. |
| ; CHECK-LABEL: sanitize: |
| ; CHECK: pushq |
| ; CHECK: incl 40 |
| ; CHECK: popq |
| ; CHECK-NEXT: retq |
| ; CHECK: movl $40, %edi |
| ; CHECK-NEXT: callq ___asan_report_load4 |
| define void @sanitize() #0 { |
| entry: |
| %tmp = load i8, i8* inttoptr (i64 17592186044421 to i8*) |
| %tmp1 = icmp ne i8 %tmp, 0 |
| br i1 %tmp1, label %if.then, label %else |
| |
| if.then: |
| %tmp3 = icmp sge i8 3, %tmp |
| br i1 %tmp3, label %else, label %end |
| |
| else: |
| call void @__asan_report_load4(i64 40) |
| call void asm sideeffect "", ""() |
| unreachable |
| |
| end: |
| %tmp6 = load i32, i32* inttoptr (i64 40 to i32*), align 8 |
| %inc = add nsw i32 %tmp6, 1 |
| store i32 %inc, i32* inttoptr (i64 40 to i32*), align 8 |
| ret void |
| } |
| |
| attributes #0 = { sanitize_address nounwind "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" } |
| |
| declare void @__asan_report_load4(i64) |
