test/Instrumentation/AddressSanitizer/ps4.ll

   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