← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/Instrumentation/AddressSanitizer/freebsd.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Instrumentation/AddressSanitizer/freebsd.ll
 
1
; RUN: opt < %s -asan -asan-module -S \
 
2
; RUN:     -mtriple=i386-unknown-freebsd \
 
3
; RUN:     -default-data-layout="e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128" | \
 
4
; RUN:     FileCheck --check-prefix=CHECK-32 %s
 
5
 
 
6
; RUN: opt < %s -asan -asan-module -S \
 
7
; RUN:     -mtriple=x86_64-unknown-freebsd \
 
8
; RUN:     -default-data-layout="e-m:e-i64:64-f80:128-n8:16:32:64-S128" | \
 
9
; RUN:     FileCheck --check-prefix=CHECK-64 %s
 
10
 
 
11
define i32 @read_4_bytes(i32* %a) sanitize_address {
 
12
entry:
 
13
  %tmp1 = load i32, i32* %a, align 4
 
14
  ret i32 %tmp1
 
15
}
 
16
 
 
17
; CHECK-32: @read_4_bytes
 
18
; CHECK-32-NOT: ret
 
19
; Check for ASAN's Offset for 32-bit (2^30 or 0x40000000)
 
20
; CHECK-32: lshr {{.*}} 3
 
21
; CHECK-32-NEXT: {{1073741824}}
 
22
; CHECK-32: ret
 
23
 
 
24
; CHECK-64: @read_4_bytes
 
25
; CHECK-64-NOT: ret
 
26
; Check for ASAN's Offset for 64-bit (2^46 or 0x400000000000)
 
27
; CHECK-64: lshr {{.*}} 3
 
28
; CHECK-64-NEXT: {{70368744177664}}
 
29
; CHECK-64: ret