; Test that HWASan remove writeonly and memory(*) attributes from instrumented functions.
; RUN: opt -S -passes=hwasan %s | FileCheck %s

target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
target triple = "aarch64-unknown-linux-android30"

; CHECK: define dso_local void @test_writeonly(ptr noundef captures(none) %p) local_unnamed_addr #0
define dso_local void @test_writeonly(ptr noundef writeonly captures(none) %p) local_unnamed_addr #0 {
entry:
  store i32 42, ptr %p, align 4
  ret void
}

; CHECK: define dso_local void @test_readonly(ptr noundef readonly captures(none) %p) local_unnamed_addr #0
define dso_local void @test_readonly(ptr noundef readonly captures(none) %p) local_unnamed_addr #1 {
entry:
  store i32 42, ptr %p, align 4
  ret void
}

; CHECK: attributes #0 = { nobuiltin sanitize_hwaddress uwtable }
attributes #0 = { sanitize_hwaddress memory(argmem: write) uwtable }
attributes #1 = { sanitize_hwaddress memory(argmem: read) uwtable }