1; RUN: opt < %s -passes='asan-pipeline' -S -mtriple=x86_64-scei-ps4 | FileCheck %s
2; RUN: opt < %s -passes='asan-pipeline' -S -mtriple=x86_64-sie-ps5 | FileCheck %s
3
4define i32 @read_4_bytes(i32* %a) sanitize_address {
5entry:
6  %tmp1 = load i32, i32* %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