42 lines · plain
1; RUN: opt < %s -passes=asan -S -mtriple=i386-unknown-freebsd -data-layout="e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128" | FileCheck --check-prefix=CHECK-32 %s2 3; RUN: opt < %s -passes=asan -S -mtriple=x86_64-unknown-freebsd -data-layout="e-m:e-i64:64-f80:128-n8:16:32:64-S128" | FileCheck --check-prefix=CHECK-64 %s4 5; RUN: opt < %s -passes=asan -S -mtriple=aarch64-unknown-freebsd -data-layout="e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" | FileCheck --check-prefix=CHECK-AARCH64 %s6 7; RUN: opt < %s -passes=asan -S -mtriple=mips64-unknown-freebsd -data-layout="E-m:e-i64:64-n32:64-S128" | FileCheck --check-prefix=CHECK-MIPS64 %s8 9define i32 @read_4_bytes(ptr %a) sanitize_address {10entry:11 %tmp1 = load i32, ptr %a, align 412 ret i32 %tmp113}14 15; CHECK-32: @read_4_bytes16; CHECK-32-NOT: ret17; Check for ASAN's Offset for 32-bit (2^30 or 0x40000000)18; CHECK-32: lshr {{.*}} 319; CHECK-32-NEXT: {{1073741824}}20; CHECK-32: ret21 22; CHECK-64: @read_4_bytes23; CHECK-64-NOT: ret24; Check for ASAN's Offset for 64-bit (2^46 or 0x400000000000)25; CHECK-64: lshr {{.*}} 326; CHECK-64-NEXT: {{70368744177664}}27; CHECK-64: ret28 29; CHECK-AARCH64: @read_4_bytes30; CHECK-AARCH64-NOT: ret31; Check for ASAN's Offset for 64-bit (2^47 or 0x800000000000)32; CHECK-AARCH64: lshr {{.*}} 333; CHECK-AARCH64-NEXT: {{140737488355328}}34; CHECK-AARCH64: ret35 36; CHECK-MIPS64: @read_4_bytes37; CHECK-MIPS64-NOT: ret38; Check for ASAN's Offset for 64-bit (2^37 or 0x2000000000)39; CHECK-MIPS64: lshr {{.*}} 340; CHECK-MIPS64-NEXT: {{137438953472}}41; CHECK-MIPS64: ret42