1; RUN: opt < %s -passes=asan -S -mtriple=x86_64-scei-ps4 | FileCheck %s 2; RUN: opt < %s -passes=asan -S -mtriple=x86_64-sie-ps5 | FileCheck %s 3 4define i32 @read_4_bytes(ptr %a) sanitize_address { 5entry: 6 %tmp1 = load i32, ptr %a, align 4 7 ret i32 %tmp1 8} 9 10; CHECK: @read_4_bytes 11; CHECK-NOT: ret 12; Check for ASAN's Offset on the PS4/PS5 (2^40 or 0x10000000000) 13; CHECK: lshr {{.*}} 3 14; CHECK-NEXT: {{1099511627776}} 15; CHECK: ret 16