Use the llvm-upgrade program to upgrade llvm assembly.

llvm-svn: 32115

28 files changed, 31 insertions, 31 deletions

diff --git a/llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll b/llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll
index 713a876536d..9afd1daa8a1 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=Ptr:HR
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=Ptr:HR
 
 
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing.ll b/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing.ll
index db956231f8f..9ecf0f17416 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
+; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
 %T = type { int*, int* }
 
 int %main() {
diff --git a/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll b/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll
index 93260e821e4..d9ded6019e2 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2003-06-29-NodeCollapsing2.ll
@@ -1,7 +1,7 @@
 ; This is the same testcase as 2003-06-29-NodeCollapsing2.ll, but it uses the 
 ; graph checker.
 ;
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
 ;
 %T = type { int}
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll b/llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll
index 631eb9f078e..143289ceee1 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2003-06-30-TopDownResolve.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=X:GM
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=X:GM
 
 %G = internal global int 5
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll b/llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll
index a0ab4924438..3ae36fef8b8 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2003-07-01-FieldCollapse.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
 
 %X = internal global { int, short, short } { int 1, short 2, short 3 }
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll b/llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll
index cd8919df0fa..0fd930f06dc 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2003-07-16-ConstantExprCollapse.ll
@@ -1,6 +1,6 @@
 ; This should cause the global node to collapse!!
 ; XFAIL: *
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc --dsgc-check-flags=test:GAU
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc --dsgc-check-flags=test:GAU
 
 %Tree = type { int, %Tree*, %Tree* }
 %T5 = external global %Tree
diff --git a/llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll b/llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll
index 416fc25bbb8..c082b61ea45 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2003-11-02-NodeCollapsing.ll
@@ -1,7 +1,7 @@
 ; This is the same testcase as 2003-06-29-NodeCollapsing2.ll, but it uses the 
 ; graph checker.
 ;
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
 ;
 
 %S = type { double, int }
diff --git a/llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll b/llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll
index 835b42cbe43..d580097e927 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2004-02-13-memcpy.ll
@@ -1,5 +1,5 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=Xn:SMR &&
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=X:SMR
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=Xn:SMR &&
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=X:SMR
 
 declare void %llvm.memcpy.i32(sbyte*, sbyte*, uint, uint)
 declare void %llvm.memmove.i32(sbyte*, sbyte*, uint, uint)
diff --git a/llvm/test/Regression/Analysis/DSGraph/2004-03-10-ElimLoad.ll b/llvm/test/Regression/Analysis/DSGraph/2004-03-10-ElimLoad.ll
index 1ae0a48a843..09ebb2b4a4b 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2004-03-10-ElimLoad.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2004-03-10-ElimLoad.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep sub
+; RUN: llvm-upgrade < %s | llvm-as | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep sub
 
 void %bar(int* %p) {
   ret void
diff --git a/llvm/test/Regression/Analysis/DSGraph/2004-03-10-NoElimLoad.ll b/llvm/test/Regression/Analysis/DSGraph/2004-03-10-NoElimLoad.ll
index 3a8e540ef16..fdd16de047a 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2004-03-10-NoElimLoad.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2004-03-10-NoElimLoad.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | grep sub
+; RUN: llvm-upgrade < %s | llvm-as | opt -ds-aa -load-vn -gcse -instcombine | llvm-dis | grep sub
 
 void %bar(int* %p) {
   store int 15, int* %p
diff --git a/llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll b/llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll
index 86b053367d6..b8abe2e41b5 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2005-03-22-IncompleteGlobal.ll
@@ -1,5 +1,5 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=bu &&\
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=td
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=bu &&\
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc  -dsgc-check-flags=G:GIM -dsgc-dspass=td
 
 %S = type { double, int }
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/2005-03-24-Global-Arg-Alias.ll b/llvm/test/Regression/Analysis/DSGraph/2005-03-24-Global-Arg-Alias.ll
index 510997de22f..e79acd777b4 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2005-03-24-Global-Arg-Alias.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2005-03-24-Global-Arg-Alias.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -ds-aa -load-vn -gcse | llvm-dis | grep 'load int\* %L'
+; RUN: llvm-upgrade < %s | llvm-as | opt -ds-aa -load-vn -gcse | llvm-dis | grep 'load int\* %L'
 
 %G = internal global int* null
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll b/llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll
index ce1ebb92027..1c5ed693a22 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2006-03-27-LinkedCollapsed.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure
 
 target endian = little
 target pointersize = 32
diff --git a/llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll b/llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll
index 0fa6ba8d8f3..14ef03319b6 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2006-04-13-ZeroArrayStruct.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure
 
 ; ModuleID = 'bug3.bc'
 target endian = little
diff --git a/llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll b/llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll
index db072d906d9..5598c2035ba 100644
--- a/llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/2006-04-25-ZeroArrayStructUse.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=x:IA
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=x:IA
 
 ; ModuleID = 'bug3.bc'
 target endian = little
diff --git a/llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll b/llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll
index 9c904fa0e07..6ac224721dd 100644
--- a/llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/FunctionPointerTable-const.ll
@@ -1,5 +1,5 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHM && \
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=Y:SHM && \
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=P1:SHM,P2:SHM
 
 %G = internal constant [2 x int*(int*)*] [ 
   int*(int*)* %callee1, int*(int*)* %callee2
diff --git a/llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll b/llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll
index 6cc06c4b01e..a44488d8855 100644
--- a/llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/GlobalsGraphFuncPtr.ll
@@ -4,7 +4,7 @@
 ; -- latter should remain unresolved in main() and copied to GG
 ; -- globals in GG pointed to by latter should be marked I, but not other nodes
 ;
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-check-flags=KnownPtr:S,UnknownPtr:SI -dsgc-dspass=bu
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-check-flags=KnownPtr:S,UnknownPtr:SI -dsgc-dspass=bu
 
 %Z = internal global int 0
 %X = internal global int 0
diff --git a/llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll b/llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll
index 63ec3faca06..838a33ac82e 100644
--- a/llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/HardBUCase.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -budatastructure -dont-print-ds
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -budatastructure -dont-print-ds
 
 %MidFnTy = type void (\2*)
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll b/llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll
index 6e9676ea125..025ead093f9 100644
--- a/llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/PhysicalSubtyping.ll
@@ -1,6 +1,6 @@
 ; Test to check for support for "physical subtyping"
 ;
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-abort-if-any-collapsed
 ;
 %S = type { int }
 %T = type { int, float, double }
diff --git a/llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll b/llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll
index c742afa25f6..d55e5415674 100644
--- a/llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/SCCSimpleExample.ll
@@ -1,5 +1,5 @@
 
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc --dsgc-abort-if-merged=Y,BVal
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc --dsgc-abort-if-merged=Y,BVal
 
 implementation
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/buglobals.ll b/llvm/test/Regression/Analysis/DSGraph/buglobals.ll
index c3bc745686a..2f7c8f6449d 100644
--- a/llvm/test/Regression/Analysis/DSGraph/buglobals.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/buglobals.ll
@@ -1,7 +1,7 @@
 ; This tests to make sure that G ends up in the globals graph of the BU pass.
 ; If it is not, then %G will get converted to a 'constant' from a 'global'
 ;
-; RUN: llvm-as < %s | opt -ds-opt -globaldce | llvm-dis | grep %G
+; RUN: llvm-upgrade < %s | llvm-as | opt -ds-opt -globaldce | llvm-dis | grep %G
 
 
 %G = internal global int 0		; <int*> [#uses=2]
diff --git a/llvm/test/Regression/Analysis/DSGraph/constant_globals.ll b/llvm/test/Regression/Analysis/DSGraph/constant_globals.ll
index 1ee65308837..67de589de39 100644
--- a/llvm/test/Regression/Analysis/DSGraph/constant_globals.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/constant_globals.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SM
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SM
 ; Constant globals should not mark stuff incomplete.  This should allow the 
 ; bu pass to resolve the indirect call immediately in "test", allowing %A to
 ; be marked complete and the store to happen.
diff --git a/llvm/test/Regression/Analysis/DSGraph/constantize.ll b/llvm/test/Regression/Analysis/DSGraph/constantize.ll
index fa7c12f5d85..c8d0ad8fc56 100644
--- a/llvm/test/Regression/Analysis/DSGraph/constantize.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/constantize.ll
@@ -1,6 +1,6 @@
 ; Make sure that the ds-opt pass is constantizing globals
 ;
-; RUN: llvm-as < %s | opt -ds-opt | llvm-dis | grep %G | grep constant
+; RUN: llvm-upgrade < %s | llvm-as | opt -ds-opt | llvm-dis | grep %G | grep constant
 
 
 %G = internal global int 0		; <int*> [#uses=2]
diff --git a/llvm/test/Regression/Analysis/DSGraph/field-sensitive.ll b/llvm/test/Regression/Analysis/DSGraph/field-sensitive.ll
index dc3fc22dfb8..49aeaba7dfe 100644
--- a/llvm/test/Regression/Analysis/DSGraph/field-sensitive.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/field-sensitive.ll
@@ -1,5 +1,5 @@
 ; Test that ds-aa can be used for queries that require field sensitive AA.
-; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
+; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
 
 %Pair = type { int, int }
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/gcsetest.ll b/llvm/test/Regression/Analysis/DSGraph/gcsetest.ll
index b9b28c4f8c5..bb7af1249c4 100644
--- a/llvm/test/Regression/Analysis/DSGraph/gcsetest.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/gcsetest.ll
@@ -1,7 +1,7 @@
 ; Test that GCSE uses ds-aa to do alias analysis, which is capable of 
 ; disambiguating some cases.
 
-; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse -instcombine -dce | llvm-dis | not grep ELIM
+; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse -instcombine -dce | llvm-dis | not grep ELIM
 
 %intpair = type {int*, int*}
 implementation
diff --git a/llvm/test/Regression/Analysis/DSGraph/incompletenode.ll b/llvm/test/Regression/Analysis/DSGraph/incompletenode.ll
index b9940db157f..c94faf08946 100644
--- a/llvm/test/Regression/Analysis/DSGraph/incompletenode.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/incompletenode.ll
@@ -1,7 +1,7 @@
 ; This test was failing because the globals X and Y are marked incomplete
 ; in the TD graph for %test
 ; XFAIL: *
-; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep seteq
+; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse -instcombine | llvm-dis | not grep seteq
 
 %X = internal global int 20
 %Y = internal global int* null
diff --git a/llvm/test/Regression/Analysis/DSGraph/mustalias.ll b/llvm/test/Regression/Analysis/DSGraph/mustalias.ll
index 4425157f088..111b7addced 100644
--- a/llvm/test/Regression/Analysis/DSGraph/mustalias.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/mustalias.ll
@@ -1,6 +1,6 @@
 ; Test that ds-aa is returning must-alias information when it can.
 ; XFAIL: *
-; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
+; RUN: llvm-upgrade < %s | llvm-as | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
 
 %X = internal global int 20
 
diff --git a/llvm/test/Regression/Analysis/DSGraph/strcpy.ll b/llvm/test/Regression/Analysis/DSGraph/strcpy.ll
index 7697c7ffa72..20c2da802d8 100644
--- a/llvm/test/Regression/Analysis/DSGraph/strcpy.ll
+++ b/llvm/test/Regression/Analysis/DSGraph/strcpy.ll
@@ -3,7 +3,7 @@
 ; has no defined way to check for this, so DSA can know that strcpy doesn't
 ; require merging the input arguments.
 
-; RUN: llvm-as < %s | opt -analyze -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:ASM,B:ASR --dsgc-dspass=bu
+; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:ASM,B:ASR --dsgc-dspass=bu
 
 implementation