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