[Assignment Tracking] Change placeholder from undef to poison

pedroclobo · pedroclobo · commit e7ffd0839858 · 2024-12-12T21:04:41.000Z
Empty metadata address components of `dbg.assign` can be represented as
`poison` values instead of `undef` values.
diff --git a/llvm/lib/IR/IntrinsicInst.cpp b/llvm/lib/IR/IntrinsicInst.cpp
@@ -223,12 +223,12 @@ void DbgAssignIntrinsic::setAddress(Value *V) {
 void DbgAssignIntrinsic::setKillAddress() {
   if (isKillAddress())
     return;
-  setAddress(UndefValue::get(getAddress()->getType()));
+  setAddress(PoisonValue::get(getAddress()->getType()));
 }
 
 bool DbgAssignIntrinsic::isKillAddress() const {
   Value *Addr = getAddress();
-  return !Addr || isa<UndefValue>(Addr);
+  return !Addr || isa<PoisonValue>(Addr);
 }
 
 void DbgAssignIntrinsic::setValue(Value *V) {

Original file line number	Diff line number	Diff line change
`@@ -223,12 +223,12 @@ void DbgAssignIntrinsic::setAddress(Value *V) {`
`223`	`223`	`void DbgAssignIntrinsic::setKillAddress() {`
`224`	`224`	`if (isKillAddress())`
`225`	`225`	`return;`
`226`		`- setAddress(UndefValue::get(getAddress()->getType()));`
	`226`	`+ setAddress(PoisonValue::get(getAddress()->getType()));`
`227`	`227`	`}`
`228`	`228`
`229`	`229`	`bool DbgAssignIntrinsic::isKillAddress() const {`
`230`	`230`	`Value *Addr = getAddress();`
`231`		`- return !Addr \|\| isa<UndefValue>(Addr);`
	`231`	`+ return !Addr \|\| isa<PoisonValue>(Addr);`
`232`	`232`	`}`
`233`	`233`
`234`	`234`	`void DbgAssignIntrinsic::setValue(Value *V) {`