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
4 define i32 @read_4_bytes(ptr %a) sanitize_address {
6 %tmp1 = load i32, ptr %a, align 4
10 ; CHECK: @read_4_bytes
12 ; Check for ASAN's Offset on the PS4/PS5 (2^40 or 0x10000000000)
13 ; CHECK: lshr {{.*}} 3
14 ; CHECK-NEXT: {{1099511627776}}