[llvm] 02f2d73 - Revert "[HWASAN] Update the tag info for X86_64."

Xiang1 Zhang via llvm-commits llvm-commits at lists.llvm.org
Wed May 19 22:13:17 PDT 2021


Author: Xiang1 Zhang
Date: 2021-05-20T13:12:59+08:00
New Revision: 02f2d739e074782ac47531196739a2e003603e62

URL: https://github.com/llvm/llvm-project/commit/02f2d739e074782ac47531196739a2e003603e62
DIFF: https://github.com/llvm/llvm-project/commit/02f2d739e074782ac47531196739a2e003603e62.diff

LOG: Revert "[HWASAN] Update the tag info for X86_64."

This reverts commit 81c18ce03cd8199cc4f2c817e31b42a191a0fe7d.

Added: 
    

Modified: 
    llvm/lib/Transforms/Instrumentation/HWAddressSanitizer.cpp

Removed: 
    llvm/test/Instrumentation/HWAddressSanitizer/X86/stack.ll


################################################################################
diff  --git a/llvm/lib/Transforms/Instrumentation/HWAddressSanitizer.cpp b/llvm/lib/Transforms/Instrumentation/HWAddressSanitizer.cpp
index 6182887d2e906..04761f0d89f0b 100644
--- a/llvm/lib/Transforms/Instrumentation/HWAddressSanitizer.cpp
+++ b/llvm/lib/Transforms/Instrumentation/HWAddressSanitizer.cpp
@@ -69,27 +69,27 @@ static const size_t kNumberOfAccessSizes = 5;
 static const size_t kDefaultShadowScale = 4;
 static const uint64_t kDynamicShadowSentinel =
     std::numeric_limits<uint64_t>::max();
+static const unsigned kPointerTagShift = 56;
 
 static const unsigned kShadowBaseAlignment = 32;
 
-static cl::opt<std::string>
-    ClMemoryAccessCallbackPrefix("hwasan-memory-access-callback-prefix",
-                                 cl::desc("Prefix for memory access callbacks"),
-                                 cl::Hidden, cl::init("__hwasan_"));
+static cl::opt<std::string> ClMemoryAccessCallbackPrefix(
+    "hwasan-memory-access-callback-prefix",
+    cl::desc("Prefix for memory access callbacks"), cl::Hidden,
+    cl::init("__hwasan_"));
 
-static cl::opt<bool> ClInstrumentWithCalls(
-    "hwasan-instrument-with-calls",
-    cl::desc("instrument reads and writes with callbacks"), cl::Hidden,
-    cl::init(false));
+static cl::opt<bool>
+    ClInstrumentWithCalls("hwasan-instrument-with-calls",
+                cl::desc("instrument reads and writes with callbacks"),
+                cl::Hidden, cl::init(false));
 
 static cl::opt<bool> ClInstrumentReads("hwasan-instrument-reads",
                                        cl::desc("instrument read instructions"),
                                        cl::Hidden, cl::init(true));
 
-static cl::opt<bool>
-    ClInstrumentWrites("hwasan-instrument-writes",
-                       cl::desc("instrument write instructions"), cl::Hidden,
-                       cl::init(true));
+static cl::opt<bool> ClInstrumentWrites(
+    "hwasan-instrument-writes", cl::desc("instrument write instructions"),
+    cl::Hidden, cl::init(true));
 
 static cl::opt<bool> ClInstrumentAtomics(
     "hwasan-instrument-atomics",
@@ -100,10 +100,10 @@ static cl::opt<bool> ClInstrumentByval("hwasan-instrument-byval",
                                        cl::desc("instrument byval arguments"),
                                        cl::Hidden, cl::init(true));
 
-static cl::opt<bool>
-    ClRecover("hwasan-recover",
-              cl::desc("Enable recovery mode (continue-after-error)."),
-              cl::Hidden, cl::init(false));
+static cl::opt<bool> ClRecover(
+    "hwasan-recover",
+    cl::desc("Enable recovery mode (continue-after-error)."),
+    cl::Hidden, cl::init(false));
 
 static cl::opt<bool> ClInstrumentStack("hwasan-instrument-stack",
                                        cl::desc("instrument stack (allocas)"),
@@ -130,10 +130,10 @@ static cl::opt<int> ClMatchAllTag(
     cl::desc("don't report bad accesses via pointers with this tag"),
     cl::Hidden, cl::init(-1));
 
-static cl::opt<bool>
-    ClEnableKhwasan("hwasan-kernel",
-                    cl::desc("Enable KernelHWAddressSanitizer instrumentation"),
-                    cl::Hidden, cl::init(false));
+static cl::opt<bool> ClEnableKhwasan(
+    "hwasan-kernel",
+    cl::desc("Enable KernelHWAddressSanitizer instrumentation"),
+    cl::Hidden, cl::init(false));
 
 // These flags allow to change the shadow mapping and control how shadow memory
 // is accessed. The shadow mapping looks like:
@@ -185,15 +185,6 @@ static cl::opt<bool> ClInlineAllChecks("hwasan-inline-all-checks",
                                        cl::desc("inline all checks"),
                                        cl::Hidden, cl::init(false));
 
-static cl::opt<bool> ClUntagPointer("hwasan-untag-mem-operation",
-                                    cl::desc("untag mem operate"), cl::Hidden,
-                                    cl::init(false));
-
-// TODO: Need to co-related with clang option.
-static cl::opt<bool> ClUsePageAlias("hwasan-use-page-alias",
-                                    cl::desc("hwasan use page alias"),
-                                    cl::Hidden, cl::init(true));
-
 namespace {
 
 /// An instrumentation pass implementing detection of addressability bugs
@@ -201,12 +192,10 @@ namespace {
 class HWAddressSanitizer {
 public:
   explicit HWAddressSanitizer(Module &M, bool CompileKernel = false,
-                              bool Recover = false)
-      : M(M) {
+                              bool Recover = false) : M(M) {
     this->Recover = ClRecover.getNumOccurrences() > 0 ? ClRecover : Recover;
-    this->CompileKernel = ClEnableKhwasan.getNumOccurrences() > 0
-                              ? ClEnableKhwasan
-                              : CompileKernel;
+    this->CompileKernel = ClEnableKhwasan.getNumOccurrences() > 0 ?
+        ClEnableKhwasan : CompileKernel;
 
     initializeModule();
   }
@@ -235,7 +224,6 @@ class HWAddressSanitizer {
 
   bool isInterestingAlloca(const AllocaInst &AI);
   bool tagAlloca(IRBuilder<> &IRB, AllocaInst *AI, Value *Tag, size_t Size);
-  Value *getTargetTagPtr(IRBuilder<> &IRB, Value *PtrLong, Value *Tag);
   Value *tagPointer(IRBuilder<> &IRB, Type *Ty, Value *PtrLong, Value *Tag);
   Value *untagPointer(IRBuilder<> &IRB, Value *PtrLong);
   bool instrumentStack(
@@ -247,11 +235,10 @@ class HWAddressSanitizer {
   Value *getNextTagWithCall(IRBuilder<> &IRB);
   Value *getStackBaseTag(IRBuilder<> &IRB);
   Value *getAllocaTag(IRBuilder<> &IRB, Value *StackTag, AllocaInst *AI,
-                      unsigned AllocaNo);
+                     unsigned AllocaNo);
   Value *getUARTag(IRBuilder<> &IRB, Value *StackTag);
 
   Value *getHwasanThreadSlotPtr(IRBuilder<> &IRB, Type *Ty);
-  Value *retagTargetTag(IRBuilder<> &IRB, Value *OldTag);
   void emitPrologue(IRBuilder<> &IRB, bool WithFrameRecord);
 
   void instrumentGlobal(GlobalVariable *GV, uint8_t Tag);
@@ -259,23 +246,6 @@ class HWAddressSanitizer {
 
   void instrumentPersonalityFunctions();
 
-  unsigned getTargetTagShift() {
-    if (TargetTriple.getArch() == Triple::x86_64)
-      return 57;
-    else
-      return 56;
-  }
-
-  uint64_t getTargetTagMask() {
-    if (TargetTriple.getArch() == Triple::x86_64)
-      return 0x3FLL;
-    else
-      return 0xFFLL;
-  }
-
-  unsigned kPointerTagShift;
-  uint64_t TagMaskByte;
-
 private:
   LLVMContext *C;
   Module &M;
@@ -514,7 +484,7 @@ void HWAddressSanitizer::initializeModule() {
 
   // x86_64 uses userspace pointer aliases, currently heap-only with callback
   // instrumentation only.
-  UsePageAliases = ClUsePageAlias && (TargetTriple.getArch() == Triple::x86_64);
+  UsePageAliases = TargetTriple.getArch() == Triple::x86_64;
   InstrumentWithCalls = UsePageAliases ? true : ClInstrumentWithCalls;
   InstrumentStack = UsePageAliases ? false : ClInstrumentStack;
 
@@ -528,8 +498,6 @@ void HWAddressSanitizer::initializeModule() {
   Int32Ty = IRB.getInt32Ty();
 
   HwasanCtorFunction = nullptr;
-  kPointerTagShift = getTargetTagShift();
-  TagMaskByte = getTargetTagMask();
 
   // Older versions of Android do not have the required runtime support for
   // short granules, global or personality function instrumentation. On other
@@ -831,27 +799,28 @@ void HWAddressSanitizer::instrumentMemAccessInline(Value *Ptr, bool IsWrite,
   IRB.SetInsertPoint(CheckFailTerm);
   InlineAsm *Asm;
   switch (TargetTriple.getArch()) {
-  case Triple::x86_64:
-    // The signal handler will find the data address in rdi.
-    Asm = InlineAsm::get(
-        FunctionType::get(IRB.getVoidTy(), {PtrLong->getType()}, false),
-        "int3\nnopl " +
-            itostr(0x40 + (AccessInfo & HWASanAccessInfo::RuntimeMask)) +
-            "(%rax)",
-        "{rdi}",
-        /*hasSideEffects=*/true);
-    break;
-  case Triple::aarch64:
-  case Triple::aarch64_be:
-    // The signal handler will find the data address in x0.
-    Asm = InlineAsm::get(
-        FunctionType::get(IRB.getVoidTy(), {PtrLong->getType()}, false),
-        "brk #" + itostr(0x900 + (AccessInfo & HWASanAccessInfo::RuntimeMask)),
-        "{x0}",
-        /*hasSideEffects=*/true);
-    break;
-  default:
-    report_fatal_error("unsupported architecture");
+    case Triple::x86_64:
+      // The signal handler will find the data address in rdi.
+      Asm = InlineAsm::get(
+          FunctionType::get(IRB.getVoidTy(), {PtrLong->getType()}, false),
+          "int3\nnopl " +
+              itostr(0x40 + (AccessInfo & HWASanAccessInfo::RuntimeMask)) +
+              "(%rax)",
+          "{rdi}",
+          /*hasSideEffects=*/true);
+      break;
+    case Triple::aarch64:
+    case Triple::aarch64_be:
+      // The signal handler will find the data address in x0.
+      Asm = InlineAsm::get(
+          FunctionType::get(IRB.getVoidTy(), {PtrLong->getType()}, false),
+          "brk #" +
+              itostr(0x900 + (AccessInfo & HWASanAccessInfo::RuntimeMask)),
+          "{x0}",
+          /*hasSideEffects=*/true);
+      break;
+    default:
+      report_fatal_error("unsupported architecture");
   }
   IRB.CreateCall(Asm, PtrLong);
   if (Recover)
@@ -882,7 +851,7 @@ bool HWAddressSanitizer::instrumentMemAccess(InterestingMemoryOperand &O) {
   LLVM_DEBUG(dbgs() << "Instrumenting: " << O.getInsn() << "\n");
 
   if (O.MaybeMask)
-    return false; // FIXME
+    return false; //FIXME
 
   IRBuilder<> IRB(O.getInsn());
   if (isPowerOf2_64(O.TypeSize) &&
@@ -901,8 +870,7 @@ bool HWAddressSanitizer::instrumentMemAccess(InterestingMemoryOperand &O) {
                    {IRB.CreatePointerCast(Addr, IntptrTy),
                     ConstantInt::get(IntptrTy, O.TypeSize / 8)});
   }
-  if (ClUntagPointer)
-    untagPointerOperand(O.getInsn(), Addr);
+  untagPointerOperand(O.getInsn(), Addr);
 
   return true;
 }
@@ -919,8 +887,8 @@ static uint64_t getAllocaSizeInBytes(const AllocaInst &AI) {
   return SizeInBytes * ArraySize;
 }
 
-bool HWAddressSanitizer::tagAlloca(IRBuilder<> &IRB, AllocaInst *AI, Value *Tag,
-                                   size_t Size) {
+bool HWAddressSanitizer::tagAlloca(IRBuilder<> &IRB, AllocaInst *AI,
+                                   Value *Tag, size_t Size) {
   size_t AlignedSize = alignTo(Size, Mapping.getObjectAlignment());
   if (!UseShortGranules)
     Size = AlignedSize;
@@ -953,7 +921,7 @@ bool HWAddressSanitizer::tagAlloca(IRBuilder<> &IRB, AllocaInst *AI, Value *Tag,
   return true;
 }
 
-static unsigned retagMaskArmv8(unsigned AllocaNo) {
+static unsigned RetagMask(unsigned AllocaNo) {
   // A list of 8-bit numbers that have at most one run of non-zero bits.
   // x = x ^ (mask << 56) can be encoded as a single armv8 instruction for these
   // masks.
@@ -971,29 +939,6 @@ static unsigned retagMaskArmv8(unsigned AllocaNo) {
   return FastMasks[AllocaNo % (sizeof(FastMasks) / sizeof(FastMasks[0]))];
 }
 
-static unsigned retagX86_64(unsigned AllocaNo, uint64_t TagMaskByte) {
-  return AllocaNo & TagMaskByte;
-}
-
-static unsigned retagMask(unsigned AllocaNo, Triple TargetTriple,
-                          uint64_t TagMaskByte) {
-  if (TargetTriple.getArch() == Triple::x86_64)
-    return retagX86_64(AllocaNo, TagMaskByte);
-  return retagMaskArmv8(AllocaNo);
-}
-
-// The whole pass imply the Tag is 8-bits size, because it is first
-// implemented by aarch64 whose tag is happen 1 byte. We should 
diff 
-// it frome other targets now.
-Value *HWAddressSanitizer::retagTargetTag(IRBuilder<> &IRB, Value *OldTag) {
-  if (TargetTriple.getArch() == Triple::x86_64) {
-    Constant *TagMask = ConstantInt::get(IntptrTy, TagMaskByte);
-    Value *NewTag = IRB.CreateAnd(OldTag, TagMask);
-    return NewTag;
-  } else
-    return OldTag;
-}
-
 Value *HWAddressSanitizer::getNextTagWithCall(IRBuilder<> &IRB) {
   return IRB.CreateZExt(IRB.CreateCall(HwasanGenerateTagFunc), IntptrTy);
 }
@@ -1019,9 +964,6 @@ Value *HWAddressSanitizer::getStackBaseTag(IRBuilder<> &IRB) {
   Value *StackTag =
       IRB.CreateXor(StackPointerLong, IRB.CreateLShr(StackPointerLong, 20),
                     "hwasan.stack.base.tag");
-
-  StackTag = retagTargetTag(IRB, StackTag);
-
   return StackTag;
 }
 
@@ -1029,51 +971,34 @@ Value *HWAddressSanitizer::getAllocaTag(IRBuilder<> &IRB, Value *StackTag,
                                         AllocaInst *AI, unsigned AllocaNo) {
   if (ClGenerateTagsWithCalls)
     return getNextTagWithCall(IRB);
-
-  Value *Tag = IRB.CreateXor(
-      StackTag, ConstantInt::get(
-                    IntptrTy, retagMask(AllocaNo, TargetTriple, TagMaskByte)));
-  return retagTargetTag(IRB, Tag);
+  return IRB.CreateXor(StackTag,
+                       ConstantInt::get(IntptrTy, RetagMask(AllocaNo)));
 }
 
 Value *HWAddressSanitizer::getUARTag(IRBuilder<> &IRB, Value *StackTag) {
   if (ClUARRetagToZero)
     return ConstantInt::get(IntptrTy, 0);
-
   if (ClGenerateTagsWithCalls)
     return getNextTagWithCall(IRB);
-
-  Value *Tag = IRB.CreateXor(StackTag, ConstantInt::get(IntptrTy, 0xFFU));
-  return retagTargetTag(IRB, Tag);
+  return IRB.CreateXor(StackTag, ConstantInt::get(IntptrTy, 0xFFU));
 }
 
-Value *HWAddressSanitizer::getTargetTagPtr(IRBuilder<> &IRB, Value *PtrLong,
-                                           Value *Tag) {
+// Add a tag to an address.
+Value *HWAddressSanitizer::tagPointer(IRBuilder<> &IRB, Type *Ty,
+                                      Value *PtrLong, Value *Tag) {
+  assert(!UsePageAliases);
   Value *TaggedPtrLong;
-  Value *Mask;
-  Value *ShiftedTag = IRB.CreateShl(Tag, kPointerTagShift);
-  // Kernel addresses have 0xFF in the most significant byte.
   if (CompileKernel) {
-    // X86_64 can not tag the highest bit.
-    if (TargetTriple.getArch() == Triple::x86_64)
-      Mask = ConstantInt::get(IntptrTy, ((1ULL << kPointerTagShift) - 1) |
-                                            (1ULL << (64 - 1)));
-    else
-      Mask = ConstantInt::get(IntptrTy, (1ULL << kPointerTagShift) - 1);
-    ShiftedTag = IRB.CreateOr(ShiftedTag, Mask);
+    // Kernel addresses have 0xFF in the most significant byte.
+    Value *ShiftedTag = IRB.CreateOr(
+        IRB.CreateShl(Tag, kPointerTagShift),
+        ConstantInt::get(IntptrTy, (1ULL << kPointerTagShift) - 1));
     TaggedPtrLong = IRB.CreateAnd(PtrLong, ShiftedTag);
   } else {
-    // Userspace can simply do OR (tag << kPointerTagShift);
+    // Userspace can simply do OR (tag << 56);
+    Value *ShiftedTag = IRB.CreateShl(Tag, kPointerTagShift);
     TaggedPtrLong = IRB.CreateOr(PtrLong, ShiftedTag);
   }
-  return TaggedPtrLong;
-}
-
-// Add a tag to an address.
-Value *HWAddressSanitizer::tagPointer(IRBuilder<> &IRB, Type *Ty,
-                                      Value *PtrLong, Value *Tag) {
-  assert(!UsePageAliases);
-  Value *TaggedPtrLong = getTargetTagPtr(IRB, PtrLong, Tag);
   return IRB.CreateIntToPtr(TaggedPtrLong, Ty);
 }
 
@@ -1083,13 +1008,11 @@ Value *HWAddressSanitizer::untagPointer(IRBuilder<> &IRB, Value *PtrLong) {
   Value *UntaggedPtrLong;
   if (CompileKernel) {
     // Kernel addresses have 0xFF in the most significant byte.
-    UntaggedPtrLong =
-        IRB.CreateOr(PtrLong, ConstantInt::get(PtrLong->getType(),
-                                               0xFFULL << kPointerTagShift));
+    UntaggedPtrLong = IRB.CreateOr(PtrLong,
+        ConstantInt::get(PtrLong->getType(), 0xFFULL << kPointerTagShift));
   } else {
     // Userspace addresses have 0x00.
-    UntaggedPtrLong = IRB.CreateAnd(
-        PtrLong,
+    UntaggedPtrLong = IRB.CreateAnd(PtrLong,
         ConstantInt::get(PtrLong->getType(), ~(0xFFULL << kPointerTagShift)));
   }
   return UntaggedPtrLong;
@@ -1111,6 +1034,7 @@ Value *HWAddressSanitizer::getHwasanThreadSlotPtr(IRBuilder<> &IRB, Type *Ty) {
   if (ThreadPtrGlobal)
     return ThreadPtrGlobal;
 
+
   return nullptr;
 }
 
@@ -1239,9 +1163,8 @@ bool HWAddressSanitizer::instrumentStack(
       // Prepend "tag_offset, N" to the dwarf expression.
       // Tag offset logically applies to the alloca pointer, and it makes sense
       // to put it at the beginning of the expression.
-      SmallVector<uint64_t, 8> NewOps = {
-          dwarf::DW_OP_LLVM_tag_offset,
-          retagMask(N, TargetTriple, TagMaskByte)};
+      SmallVector<uint64_t, 8> NewOps = {dwarf::DW_OP_LLVM_tag_offset,
+                                         RetagMask(N)};
       auto Locations = DDI->location_ops();
       unsigned LocNo = std::distance(Locations.begin(), find(Locations, AI));
       DDI->setExpression(
@@ -1290,9 +1213,9 @@ bool HWAddressSanitizer::sanitizeFunction(Function &F) {
 
   SmallVector<InterestingMemoryOperand, 16> OperandsToInstrument;
   SmallVector<MemIntrinsic *, 16> IntrinToInstrument;
-  SmallVector<AllocaInst *, 8> AllocasToInstrument;
-  SmallVector<Instruction *, 8> RetVec;
-  SmallVector<Instruction *, 8> LandingPadVec;
+  SmallVector<AllocaInst*, 8> AllocasToInstrument;
+  SmallVector<Instruction*, 8> RetVec;
+  SmallVector<Instruction*, 8> LandingPadVec;
   DenseMap<AllocaInst *, std::vector<DbgVariableIntrinsic *>> AllocaDbgMap;
   for (auto &BB : F) {
     for (auto &Inst : BB) {
@@ -1536,10 +1459,8 @@ void HWAddressSanitizer::instrumentGlobals() {
 
   for (GlobalVariable *GV : Globals) {
     // Skip tag 0 in order to avoid collisions with untagged memory.
-    Tag &= TagMaskByte;
     if (Tag == 0)
       Tag = 1;
-
     instrumentGlobal(GV, Tag++);
   }
 }

diff  --git a/llvm/test/Instrumentation/HWAddressSanitizer/X86/stack.ll b/llvm/test/Instrumentation/HWAddressSanitizer/X86/stack.ll
deleted file mode 100644
index ea8191038fa4d..0000000000000
--- a/llvm/test/Instrumentation/HWAddressSanitizer/X86/stack.ll
+++ /dev/null
@@ -1,54 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -hwasan -hwasan-instrument-with-calls -hwasan-instrument-stack -hwasan-use-page-alias=false -S | FileCheck %s
-
-source_filename = "stack.c"
-target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
-
-; Function Attrs: noinline nounwind optnone uwtable
-define dso_local i32 @main() sanitize_hwaddress {
-; CHECK-LABEL: @main(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[DOTHWASAN_SHADOW:%.*]] = call i8* asm "", "=r,0"(i8* null)
-; CHECK-NEXT:    [[TMP0:%.*]] = call i8* @llvm.frameaddress.p0i8(i32 0)
-; CHECK-NEXT:    [[TMP1:%.*]] = ptrtoint i8* [[TMP0]] to i64
-; CHECK-NEXT:    [[TMP2:%.*]] = lshr i64 [[TMP1]], 20
-; CHECK-NEXT:    [[HWASAN_STACK_BASE_TAG:%.*]] = xor i64 [[TMP1]], [[TMP2]]
-; CHECK-NEXT:    [[TMP3:%.*]] = and i64 [[HWASAN_STACK_BASE_TAG]], 63
-; CHECK-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
-; CHECK-NEXT:    [[LV0:%.*]] = alloca { i32, [12 x i8] }, align 16
-; CHECK-NEXT:    [[TMP4:%.*]] = bitcast { i32, [12 x i8] }* [[LV0]] to i32*
-; CHECK-NEXT:    [[TMP5:%.*]] = xor i64 [[TMP3]], 0
-; CHECK-NEXT:    [[TMP6:%.*]] = and i64 [[TMP5]], 63
-; CHECK-NEXT:    [[TMP7:%.*]] = ptrtoint i32* [[TMP4]] to i64
-; CHECK-NEXT:    [[TMP8:%.*]] = shl i64 [[TMP6]], 57
-; CHECK-NEXT:    [[TMP9:%.*]] = or i64 [[TMP7]], [[TMP8]]
-; CHECK-NEXT:    [[LV0_HWASAN:%.*]] = inttoptr i64 [[TMP9]] to i32*
-; CHECK-NEXT:    [[TMP10:%.*]] = trunc i64 [[TMP6]] to i8
-; CHECK-NEXT:    [[TMP11:%.*]] = bitcast i32* [[TMP4]] to i8*
-; CHECK-NEXT:    call void @__hwasan_tag_memory(i8* [[TMP11]], i8 [[TMP10]], i64 16)
-; CHECK-NEXT:    [[TMP12:%.*]] = ptrtoint i32* [[RETVAL]] to i64
-; CHECK-NEXT:    call void @__hwasan_store4(i64 [[TMP12]])
-; CHECK-NEXT:    store i32 0, i32* [[RETVAL]], align 4
-; CHECK-NEXT:    [[TMP13:%.*]] = ptrtoint i32* [[LV0_HWASAN]] to i64
-; CHECK-NEXT:    call void @__hwasan_store4(i64 [[TMP13]])
-; CHECK-NEXT:    store i32 12345, i32* [[LV0_HWASAN]], align 4
-; CHECK-NEXT:    call void @foo(i32* [[LV0_HWASAN]])
-; CHECK-NEXT:    [[TMP14:%.*]] = ptrtoint i32* [[LV0_HWASAN]] to i64
-; CHECK-NEXT:    call void @__hwasan_load4(i64 [[TMP14]])
-; CHECK-NEXT:    [[TMP15:%.*]] = load i32, i32* [[LV0_HWASAN]], align 4
-; CHECK-NEXT:    [[TMP16:%.*]] = bitcast i32* [[TMP4]] to i8*
-; CHECK-NEXT:    call void @__hwasan_tag_memory(i8* [[TMP16]], i8 0, i64 16)
-; CHECK-NEXT:    ret i32 [[TMP15]]
-;
-entry:
-  %retval = alloca i32, align 4
-  %lv0 = alloca i32, align 4
-  store i32 0, i32* %retval, align 4
-  store i32 12345, i32* %lv0, align 4
-  call void @foo(i32* %lv0)
-  %0 = load i32, i32* %lv0, align 4
-  ret i32 %0
-}
-
-declare dso_local void @foo(i32*)


        


More information about the llvm-commits mailing list