1 ; RUN: opt < %s -asan -asan-module -S -mtriple=x86_64-scei-ps4 | FileCheck %s 2 3 define i32 @read_4_bytes(i32* %a) sanitize_address { 4 entry: 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
