@@ -36,6 +36,12 @@ define void @f3(ptr %x0, ptr %x1) {
36
36
ret void
37
37
}
38
38
39
+ define void @f4 (ptr %x0 , ptr %x1 ) {
40
+ ; 0x1000010 (access-size-index = 0, is-write = 1, match-all = 0x0)
41
+ call void @llvm.hwasan.check.memaccess.shortgranules (ptr %x0 , ptr %x1 , i32 16777232 )
42
+ ret void
43
+ }
44
+
39
45
declare void @llvm.hwasan.check.memaccess (ptr , ptr , i32 )
40
46
declare void @llvm.hwasan.check.memaccess.shortgranules (ptr , ptr , i32 )
41
47
@@ -106,3 +112,32 @@ declare void @llvm.hwasan.check.memaccess.shortgranules(ptr, ptr, i32)
106
112
; CHECK-NEXT: mov x0, x1
107
113
; CHECK-NEXT: mov x1, #0
108
114
; CHECK-NEXT: b __hwasan_tag_mismatch
115
+
116
+ ; CHECK: __hwasan_check_x1_16777232_short_v2:
117
+ ; CHECK-NEXT: sbfx x16, x1, #4, #52
118
+ ; CHECK-NEXT: ldrb w16, [x20, x16]
119
+ ; CHECK-NEXT: cmp x16, x1, lsr #56
120
+ ; CHECK-NEXT: b.ne .Ltmp7
121
+ ; CHECK-NEXT: .Ltmp8:
122
+ ; CHECK-NEXT: ret
123
+ ; CHECK-NEXT: .Ltmp7:
124
+ ; CHECK-NEXT: lsr x16, x1, #56
125
+ ; CHECK-NEXT: cmp x16, #0
126
+ ; CHECK-NEXT: b.eq .Ltmp8
127
+ ; CHECK-NEXT: cmp w16, #15
128
+ ; CHECK-NEXT: b.hi .Ltmp9
129
+ ; CHECK-NEXT: and x17, x1, #0xf
130
+ ; CHECK-NEXT: cmp w16, w17
131
+ ; CHECK-NEXT: b.ls .Ltmp9
132
+ ; CHECK-NEXT: orr x16, x1, #0xf
133
+ ; CHECK-NEXT: ldrb w16, [x16]
134
+ ; CHECK-NEXT: cmp x16, x1, lsr #56
135
+ ; CHECK-NEXT: b.eq .Ltmp8
136
+ ; CHECK-NEXT: .Ltmp9:
137
+ ; CHECK-NEXT: stp x0, x1, [sp, #-256]!
138
+ ; CHECK-NEXT: stp x29, x30, [sp, #232]
139
+ ; CHECK-NEXT: mov x0, x1
140
+ ; CHECK-NEXT: mov x1, #16
141
+ ; CHECK-NEXT: adrp x16, :got:__hwasan_tag_mismatch_v2
142
+ ; CHECK-NEXT: ldr x16, [x16, :got_lo12:__hwasan_tag_mismatch_v2]
143
+ ; CHECK-NEXT: br x16
0 commit comments