diff --git a/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll b/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll --- a/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll +++ b/llvm/test/CodeGen/AArch64/hwasan-check-memaccess.ll @@ -36,6 +36,12 @@ 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 @@ ; 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