46 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; Test basic address sanitizer instrumentation.3;4; RUN: opt < %s -passes=hwasan -hwasan-inline-fast-path-checks=0 -S | FileCheck %s5 6target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"7target triple = "riscv64-unknown-linux"8 9define void @atomicrmw(ptr %ptr) sanitize_hwaddress {10; CHECK-LABEL: define void @atomicrmw11; CHECK-SAME: (ptr [[PTR:%.*]]) #[[ATTR0:[0-9]+]] {12; CHECK-NEXT: entry:13; CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr @__hwasan_tls, align 814; CHECK-NEXT: [[TMP1:%.*]] = and i64 [[TMP0]], 7205759403792793515; CHECK-NEXT: [[TMP2:%.*]] = or i64 [[TMP1]], 429496729516; CHECK-NEXT: [[HWASAN_SHADOW:%.*]] = add i64 [[TMP2]], 117; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[HWASAN_SHADOW]] to ptr18; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[TMP3]], ptr [[PTR]], i32 19)19; CHECK-NEXT: [[TMP4:%.*]] = atomicrmw add ptr [[PTR]], i64 1 seq_cst, align 820; CHECK-NEXT: ret void21;22 23entry:24 %0 = atomicrmw add ptr %ptr, i64 1 seq_cst25 ret void26}27 28define void @cmpxchg(ptr %ptr, i64 %compare_to, i64 %new_value) sanitize_hwaddress {29; CHECK-LABEL: define void @cmpxchg30; CHECK-SAME: (ptr [[PTR:%.*]], i64 [[COMPARE_TO:%.*]], i64 [[NEW_VALUE:%.*]]) #[[ATTR0]] {31; CHECK-NEXT: entry:32; CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr @__hwasan_tls, align 833; CHECK-NEXT: [[TMP1:%.*]] = and i64 [[TMP0]], 7205759403792793534; CHECK-NEXT: [[TMP2:%.*]] = or i64 [[TMP1]], 429496729535; CHECK-NEXT: [[HWASAN_SHADOW:%.*]] = add i64 [[TMP2]], 136; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[HWASAN_SHADOW]] to ptr37; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[TMP3]], ptr [[PTR]], i32 19)38; CHECK-NEXT: [[TMP4:%.*]] = cmpxchg ptr [[PTR]], i64 [[COMPARE_TO]], i64 [[NEW_VALUE]] seq_cst seq_cst, align 839; CHECK-NEXT: ret void40;41 42entry:43 %0 = cmpxchg ptr %ptr, i64 %compare_to, i64 %new_value seq_cst seq_cst44 ret void45}46