[HWASan] Improve dbg-value-tag-offset test.

[hctim]

Motivation?

[hctim]

In D119961#3326977, @hctim wrote:

Motivation?

(in the commit comment)

[fmayer]

In D119961#3326979, @hctim wrote:

In D119961#3326977, @hctim wrote:

Motivation?

(in the commit comment)

Motivation is the comment in D119873. But I can add something like "this tests the intended semantics more strictly.

[hctim]

In D119961#3326985, @fmayer wrote:

Motivation is the comment in D119873. But I can add something like "this tests the intended semantics more strictly.

Nah, that's fine.

llvm/test/Instrumentation/HWAddressSanitizer/dbg-value-tag-offset.ll

 ; RUN: opt -passes=hwasan -S -o - %s | FileCheck %s
 
 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
 target triple = "aarch64-unknown-linux-android24"
 
 define dso_local void @f() sanitize_hwaddress !dbg !14 {
-  %1 = alloca i32, align 4
-  %2 = alloca i32, align 4
-  %3 = bitcast i32* %1 to i8*, !dbg !21
-  %4 = bitcast i32* %2 to i8*, !dbg !21
+  %a1 = alloca i32, align 4
+  %a2 = alloca i32, align 4
+  %1 = bitcast i32* %a1 to i8*, !dbg !21
+  %2 = bitcast i32* %a2 to i8*, !dbg !21
+; CHECK: {{[ ]*}}[[BITCASTa1:.*]] = bitcast { i32, [12 x i8] }* %a1 to i32*
+; CHECK: {{[ ]*}}[[BITCASTa2:.*]] = bitcast { i32, [12 x i8] }* %a2 to i32*
 ; CHECK: call void @llvm.dbg.value(metadata i32 1, {{.*}}, metadata !DIExpression())
   call void @llvm.dbg.value(metadata i32 1, metadata !20, metadata !DIExpression()), !dbg !22
-  store i32 1, i32* %2, align 4, !dbg !23, !tbaa !24
-; CHECK: call void @llvm.dbg.value(metadata i32* {{.*}}, metadata !DIExpression(DW_OP_LLVM_tag_offset, 0, DW_OP_deref))
-  call void @llvm.dbg.value(metadata i32* %1, metadata !18, metadata !DIExpression(DW_OP_deref)), !dbg !22
-  call void @use(i8* nonnull %3), !dbg !28
-; CHECK: call void @llvm.dbg.value(metadata i32* {{.*}}, metadata !DIExpression(DW_OP_LLVM_tag_offset, 128, DW_OP_deref))
-  call void @llvm.dbg.value(metadata i32* %2, metadata !20, metadata !DIExpression(DW_OP_deref)), !dbg !22
-  call void @use(i8* nonnull %4), !dbg !29
+  store i32 1, i32* %a2, align 4, !dbg !23, !tbaa !24
+; CHECK: call void @llvm.dbg.value(metadata i32* {{.*}}[[BITCASTa1]], {{.*}} metadata !DIExpression(DW_OP_LLVM_tag_offset, 0, DW_OP_deref))
+  call void @llvm.dbg.value(metadata i32* %a1, metadata !18, metadata !DIExpression(DW_OP_deref)), !dbg !22
+  call void @use(i8* nonnull %1), !dbg !28
+; CHECK: call void @llvm.dbg.value(metadata i32* {{.*}}[[BITCASTa2]], {{.*}} metadata !DIExpression(DW_OP_LLVM_tag_offset, 128, DW_OP_deref))
+  call void @llvm.dbg.value(metadata i32* %a2, metadata !20, metadata !DIExpression(DW_OP_deref)), !dbg !22
+  call void @use(i8* nonnull %2), !dbg !29
   ret void, !dbg !30
 }
 
 declare !dbg !5 void @use(i8*)
 
 declare void @llvm.dbg.value(metadata, metadata, metadata)
 
 !llvm.dbg.cu = !{!0}