icf: support the fence instruction

yuri91 · alexp-sssup · commit c0313be09dc5 · 2026-03-04T11:06:23.000+01:00
diff --git a/llvm/lib/CheerpUtils/IdenticalCodeFolding.cpp b/llvm/lib/CheerpUtils/IdenticalCodeFolding.cpp
@@ -571,6 +571,12 @@ bool IdenticalCodeFolding::equivalentInstruction(const llvm::Instruction* A, con
 				equivalentOperand(a->getCompareOperand(), b->getCompareOperand()) &&
 				equivalentOperand(a->getNewValOperand(), b->getNewValOperand()));
 		}
+		case Instruction::Fence:
+		{
+			const FenceInst* a = cast<FenceInst>(A);
+			const FenceInst* b = cast<FenceInst>(B);
+			return CacheAndReturn(a->getOrdering() == b->getOrdering() && a->getSyncScopeID() == b->getSyncScopeID());
+		}
 		default:
 		{
 #ifndef NDEBUG

Original file line number	Diff line number	Diff line change
`@@ -571,6 +571,12 @@ bool IdenticalCodeFolding::equivalentInstruction(const llvm::Instruction* A, con`
`571`	`571`	`equivalentOperand(a->getCompareOperand(), b->getCompareOperand()) &&`
`572`	`572`	`equivalentOperand(a->getNewValOperand(), b->getNewValOperand()));`
`573`	`573`	`}`
	`574`	`+ case Instruction::Fence:`
	`575`	`+ {`
	`576`	`+ const FenceInst* a = cast<FenceInst>(A);`
	`577`	`+ const FenceInst* b = cast<FenceInst>(B);`
	`578`	`+ return CacheAndReturn(a->getOrdering() == b->getOrdering() && a->getSyncScopeID() == b->getSyncScopeID());`
	`579`	`+ }`
`574`	`580`	`default:`
`575`	`581`	`{`
`576`	`582`	`#ifndef NDEBUG`