From 9baa85271dff411dace755c879cef1412c69ebd9 Mon Sep 17 00:00:00 2001 From: Enna1 Date: Fri, 28 Apr 2023 16:56:40 +0800 Subject: [PATCH] [hwasan][test] add test for hwasan-check-memaccess when hwasan-match-all-tag flag and short granules both used Reviewed By: vitalybuka Differential Revision: https://reviews.llvm.org/D149399 --- .../CodeGen/AArch64/hwasan-check-memaccess.ll | 35 +++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll b/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll index 018f58c36eb1..3aff1c2906de 100644 --- a/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll +++ b/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll @@ -36,6 +36,12 @@ define void @f3(ptr %x0, ptr %x1) { ret void } +define void @f4(ptr %x0, ptr %x1) { + ; 0x1000010 (access-size-index = 0, is-write = 1, match-all = 0x0) + call void @llvm.hwasan.check.memaccess.shortgranules(ptr %x0, ptr %x1, i32 16777232) + ret void +} + declare void @llvm.hwasan.check.memaccess(ptr, ptr, i32) declare void @llvm.hwasan.check.memaccess.shortgranules(ptr, ptr, i32) @@ -106,3 +112,32 @@ declare void @llvm.hwasan.check.memaccess.shortgranules(ptr, ptr, i32) ; CHECK-NEXT: mov x0, x1 ; CHECK-NEXT: mov x1, #0 ; CHECK-NEXT: b __hwasan_tag_mismatch + +; CHECK: __hwasan_check_x1_16777232_short_v2: +; CHECK-NEXT: sbfx x16, x1, #4, #52 +; CHECK-NEXT: ldrb w16, [x20, x16] +; CHECK-NEXT: cmp x16, x1, lsr #56 +; CHECK-NEXT: b.ne .Ltmp7 +; CHECK-NEXT: .Ltmp8: +; CHECK-NEXT: ret +; CHECK-NEXT: .Ltmp7: +; CHECK-NEXT: lsr x16, x1, #56 +; CHECK-NEXT: cmp x16, #0 +; CHECK-NEXT: b.eq .Ltmp8 +; CHECK-NEXT: cmp w16, #15 +; CHECK-NEXT: b.hi .Ltmp9 +; CHECK-NEXT: and x17, x1, #0xf +; CHECK-NEXT: cmp w16, w17 +; CHECK-NEXT: b.ls .Ltmp9 +; CHECK-NEXT: orr x16, x1, #0xf +; CHECK-NEXT: ldrb w16, [x16] +; CHECK-NEXT: cmp x16, x1, lsr #56 +; CHECK-NEXT: b.eq .Ltmp8 +; CHECK-NEXT: .Ltmp9: +; CHECK-NEXT: stp x0, x1, [sp, #-256]! +; CHECK-NEXT: stp x29, x30, [sp, #232] +; CHECK-NEXT: mov x0, x1 +; CHECK-NEXT: mov x1, #16 +; CHECK-NEXT: adrp x16, :got:__hwasan_tag_mismatch_v2 +; CHECK-NEXT: ldr x16, [x16, :got_lo12:__hwasan_tag_mismatch_v2] +; CHECK-NEXT: br x16