From 8e838b30ec118e20acb7a434fd082fb05ac27585 Mon Sep 17 00:00:00 2001
From: steven_117f <steven.829665@huawei.com>
Date: Mon, 8 Sep 2025 22:36:15 -0400
Subject: [PATCH] [BUGFIX][LLVM AOT] Fix mem-barrier sinking test

Issue: https://gitee.com/openharmony/arkcompiler_runtime_core/issues/ICX17D

Signed-off-by: steven_117f <steven.829665@huawei.com>
---
 .../checked/llvmaot-mem-barriers-sinking.pa   | 44 +++++++++----------
 1 file changed, 22 insertions(+), 22 deletions(-)

diff --git a/static_core/tests/checked/llvmaot-mem-barriers-sinking.pa b/static_core/tests/checked/llvmaot-mem-barriers-sinking.pa
index 97b73f1e99..df1ccdb010 100644
--- a/static_core/tests/checked/llvmaot-mem-barriers-sinking.pa
+++ b/static_core/tests/checked/llvmaot-mem-barriers-sinking.pa
@@ -16,63 +16,63 @@
 #! READ_FILE    	"console.out"
 #! LLVM_METHOD  	/define.*barrierToSink/
 #! INST         	/br i1/
-#! INST_NEXT 	    /fence/
-#! INST_NEXT 	    /fence/
-#! INST_NEXT_NOT 	/fence/
+#! INST_NEXT 	    /fence|dmb/
+#! INST_NEXT 	    /fence|dmb/
+#! INST_NEXT_NOT 	/fence|dmb/
 
 #! CHECKER          Check DMB deletion if both paths are protected
 #! RUN_LLVM     	options: "--llvm-pre-opt=0 --llvm-options='--print-after=mem-barriers'"
 #! READ_FILE    	"console.out"
 #! LLVM_METHOD  	/define.*barrierToDelete/
-#! INST         	/fence/
-#! INST_NEXT    	/fence/
-#! INST_NEXT_NOT    /fence/
+#! INST         	/fence|dmb/
+#! INST_NEXT    	/fence|dmb/
+#! INST_NEXT_NOT    /fence|dmb/
 
 #! CHECKER          Check DMB not sunk with unconditional branch 
 #! RUN_LLVM     	options: "--llvm-pre-opt=0 --llvm-options='--print-after=mem-barriers'"
 #! READ_FILE    	"console.out"
 #! LLVM_METHOD  	/define.*unconditionalBranch/
-#! INST				/fence/
+#! INST				/fence|dmb/
 #! INST_NEXT		/br/
-#! INST_NEXT_NOT	/fence/
+#! INST_NEXT_NOT	/fence|dmb/
 
 #! CHECKER          Check DMB not sunk with successor basicblock have two predecessors 
 #! RUN_LLVM     	options: "--llvm-pre-opt=0 --llvm-options='--print-after=mem-barriers'"
 #! READ_FILE    	"console.out"
 #! LLVM_METHOD  	/define.*twoPredecessors/
-#! INST				/fence/
+#! INST				/fence|dmb/
 #! INST_NEXT		/br i1/
-#! INST_NEXT		/fence/
-#! INST_NEXT_NOT	/fence/
+#! INST_NEXT		/fence|dmb/
+#! INST_NEXT_NOT	/fence|dmb/
 
 #! CHECKER          Check DMB not sunk if object is used before branching 
 #! RUN_LLVM     	options: "--llvm-pre-opt=0 --llvm-options='--print-after=mem-barriers'"
 #! READ_FILE    	"console.out"
 #! LLVM_METHOD  	/define.*useBeforeBranch/
-#! INST				/fence/
+#! INST				/fence|dmb/
 #! INST_NEXT		/br i1/
-#! INST_NEXT		/fence/
-#! INST_NEXT_NOT	/fence/
+#! INST_NEXT		/fence|dmb/
+#! INST_NEXT_NOT	/fence|dmb/
 
 #! CHECKER          Check DMB not sunk if both path uses object before next dmb 
 #! RUN_LLVM     	options: "--llvm-pre-opt=0 --llvm-options='--print-after=mem-barriers'"
 #! READ_FILE    	"console.out"
 #! LLVM_METHOD  	/define.*useBeforeNewObjectNotSink/
-#! INST				/fence/
+#! INST				/fence|dmb/
 #! INST_NEXT		/br i1/
-#! INST_NEXT		/fence/
-#! INST_NEXT		/fence/
-#! INST_NEXT_NOT	/fence/
+#! INST_NEXT		/fence|dmb/
+#! INST_NEXT		/fence|dmb/
+#! INST_NEXT_NOT	/fence|dmb/
 
 #! CHECKER          Check DMB not deleted if one path use object before dmb. DMB should be sunk instead 
 #! RUN_LLVM     	options: "--llvm-pre-opt=0 --llvm-options='--print-after=mem-barriers'"
 #! READ_FILE    	"console.out"
 #! LLVM_METHOD  	/define.*useBeforeNewObjectNotDelete/
 #! INST				/br i1/
-#! INST_NEXT		/fence/
-#! INST_NEXT		/fence/
-#! INST_NEXT		/fence/
-#! INST_NEXT_NOT	/fence/
+#! INST_NEXT		/fence|dmb/
+#! INST_NEXT		/fence|dmb/
+#! INST_NEXT		/fence|dmb/
+#! INST_NEXT_NOT	/fence|dmb/
 
 .record A <access.record=public> {
 	i32 a <final>
-- 
Gitee