blob: 5312c7cc7336d34528a53595b4adf474494c3fcf [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=hwasan -S | FileCheck %s
target triple = "aarch64--linux-android10000"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @load.v1i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.v1i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[DOTHWASAN_SHADOW]], ptr [[P:%.*]], i32 2)
; CHECK-NEXT: [[TMP1:%.*]] = load <1 x i32>, ptr [[P]], align 4
; CHECK-NEXT: ret void
;
load <1 x i32>, ptr %p
ret void
}
define void @load.v2i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.v2i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[DOTHWASAN_SHADOW]], ptr [[P:%.*]], i32 3)
; CHECK-NEXT: [[TMP1:%.*]] = load <2 x i32>, ptr [[P]], align 8
; CHECK-NEXT: ret void
;
load <2 x i32>, ptr %p
ret void
}
define void @load.v4i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.v4i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[DOTHWASAN_SHADOW]], ptr [[P:%.*]], i32 4)
; CHECK-NEXT: [[TMP1:%.*]] = load <4 x i32>, ptr [[P]], align 16
; CHECK-NEXT: ret void
;
load <4 x i32>, ptr %p
ret void
}
define void @load.v8i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.v8i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP1]], i64 32)
; CHECK-NEXT: [[TMP2:%.*]] = load <8 x i32>, ptr [[P]], align 32
; CHECK-NEXT: ret void
;
load <8 x i32>, ptr %p
ret void
}
define void @load.v16i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.v16i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP1]], i64 64)
; CHECK-NEXT: [[TMP2:%.*]] = load <16 x i32>, ptr [[P]], align 64
; CHECK-NEXT: ret void
;
load <16 x i32>, ptr %p
ret void
}
define void @store.v1i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.v1i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[DOTHWASAN_SHADOW]], ptr [[P:%.*]], i32 18)
; CHECK-NEXT: store <1 x i32> zeroinitializer, ptr [[P]], align 4
; CHECK-NEXT: ret void
;
store <1 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.v2i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.v2i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[DOTHWASAN_SHADOW]], ptr [[P:%.*]], i32 19)
; CHECK-NEXT: store <2 x i32> zeroinitializer, ptr [[P]], align 8
; CHECK-NEXT: ret void
;
store <2 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.v4i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.v4i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules(ptr [[DOTHWASAN_SHADOW]], ptr [[P:%.*]], i32 20)
; CHECK-NEXT: store <4 x i32> zeroinitializer, ptr [[P]], align 16
; CHECK-NEXT: ret void
;
store <4 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.v8i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.v8i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP1]], i64 32)
; CHECK-NEXT: store <8 x i32> zeroinitializer, ptr [[P]], align 32
; CHECK-NEXT: ret void
;
store <8 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.v16i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.v16i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP1]], i64 64)
; CHECK-NEXT: store <16 x i32> zeroinitializer, ptr [[P]], align 64
; CHECK-NEXT: ret void
;
store <16 x i32> zeroinitializer, ptr %p
ret void
}
define void @load.nxv1i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.nxv1i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 32
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: [[TMP5:%.*]] = load <vscale x 1 x i32>, ptr [[P]], align 4
; CHECK-NEXT: ret void
;
load <vscale x 1 x i32>, ptr %p
ret void
}
define void @load.nxv2i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.nxv2i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 64
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: [[TMP5:%.*]] = load <vscale x 2 x i32>, ptr [[P]], align 8
; CHECK-NEXT: ret void
;
load <vscale x 2 x i32>, ptr %p
ret void
}
define void @load.nxv4i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.nxv4i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 128
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: [[TMP5:%.*]] = load <vscale x 4 x i32>, ptr [[P]], align 16
; CHECK-NEXT: ret void
;
load <vscale x 4 x i32>, ptr %p
ret void
}
define void @load.nxv8i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.nxv8i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 256
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: [[TMP5:%.*]] = load <vscale x 8 x i32>, ptr [[P]], align 32
; CHECK-NEXT: ret void
;
load <vscale x 8 x i32>, ptr %p
ret void
}
define void @load.nxv16i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @load.nxv16i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 512
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_loadN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: [[TMP5:%.*]] = load <vscale x 16 x i32>, ptr [[P]], align 64
; CHECK-NEXT: ret void
;
load <vscale x 16 x i32>, ptr %p
ret void
}
define void @store.nxv1i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.nxv1i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 32
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: store <vscale x 1 x i32> zeroinitializer, ptr [[P]], align 4
; CHECK-NEXT: ret void
;
store <vscale x 1 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.nxv2i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.nxv2i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 64
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: store <vscale x 2 x i32> zeroinitializer, ptr [[P]], align 8
; CHECK-NEXT: ret void
;
store <vscale x 2 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.nxv4i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.nxv4i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 128
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: store <vscale x 4 x i32> zeroinitializer, ptr [[P]], align 16
; CHECK-NEXT: ret void
;
store <vscale x 4 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.nxv8i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.nxv8i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 256
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: store <vscale x 8 x i32> zeroinitializer, ptr [[P]], align 32
; CHECK-NEXT: ret void
;
store <vscale x 8 x i32> zeroinitializer, ptr %p
ret void
}
define void @store.nxv16i32(ptr %p) sanitize_hwaddress {
; CHECK-LABEL: @store.nxv16i32(
; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)
; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[P:%.*]] to i64
; CHECK-NEXT: [[TMP2:%.*]] = call i64 @llvm.vscale.i64()
; CHECK-NEXT: [[TMP3:%.*]] = mul i64 [[TMP2]], 512
; CHECK-NEXT: [[TMP4:%.*]] = udiv i64 [[TMP3]], 8
; CHECK-NEXT: call void @__hwasan_storeN(i64 [[TMP1]], i64 [[TMP4]])
; CHECK-NEXT: store <vscale x 16 x i32> zeroinitializer, ptr [[P]], align 64
; CHECK-NEXT: ret void
;
store <vscale x 16 x i32> zeroinitializer, ptr %p
ret void
}