| Adhemerval Zanella | d93c0c4 | 2015-11-27 12:42:39 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -dfsan -S | FileCheck %s |
| 2 | target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128" | ||||
| 3 | target triple = "aarch64-unknown-linux-gnu" | ||||
| 4 | |||||
| 5 | define i32 @test(i32 %a, i32* nocapture readonly %b) #0 { | ||||
| 6 | ; CHECK: @"dfs$test" | ||||
| 7 | ; CHECK: %[[RV:.*]] load{{.*}}__dfsan_shadow_ptr_mask | ||||
| 8 | ; CHECK: ptrtoint i32* {{.*}} to i64 | ||||
| 9 | ; CHECK: and {{.*}}%[[RV:.*]] | ||||
| 10 | ; CHECK: mul i64 | ||||
| 11 | %1 = load i32, i32* %b, align 4 | ||||
| 12 | %2 = add nsw i32 %1, %a | ||||
| 13 | ret i32 %2 | ||||
| 14 | } | ||||