From: Duncan P. N. Exon Smith <dexonsmith@apple.com>
Date: Thu, 31 Jul 2014 00:10:27 +0000 (+0000)
Subject: verify-uselistorder: Add RUN lines to cases in test/Assembly
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=5faa6225ad738883f76e94feb9414c911b31a0f6;p=platform%2Fupstream%2Fllvm.git

verify-uselistorder: Add RUN lines to cases in test/Assembly

Add RUN line for `verify-uselistorder` to every test in `test/Assembly`,
unless it's a negative check (assembler rejects it) or verification
fails.

There are three files that verification fails on (so I've left out the
RUN lines):

  - 2002-08-22-DominanceProblem.ll
  - ConstantExprFold.ll
  - ConstantExprFoldCast.ll

This is part of PR5680.

llvm-svn: 214365
---

diff --git a/llvm/test/Assembler/2002-03-08-NameCollision.ll b/llvm/test/Assembler/2002-03-08-NameCollision.ll
index b49789b..958bcca 100644
--- a/llvm/test/Assembler/2002-03-08-NameCollision.ll
+++ b/llvm/test/Assembler/2002-03-08-NameCollision.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Method arguments were being checked for collisions at the global scope before
 ; the method object was created by the parser.  Because of this, false
diff --git a/llvm/test/Assembler/2002-03-08-NameCollision2.ll b/llvm/test/Assembler/2002-03-08-NameCollision2.ll
index 1f7a4e1..80af53f 100644
--- a/llvm/test/Assembler/2002-03-08-NameCollision2.ll
+++ b/llvm/test/Assembler/2002-03-08-NameCollision2.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Another name collision problem.  Here the problem was that if a forward
 ; declaration for a method was found, that this would cause spurious conflicts
diff --git a/llvm/test/Assembler/2002-04-07-HexFloatConstants.ll b/llvm/test/Assembler/2002-04-07-HexFloatConstants.ll
index b0d7cc0..22ded4f 100644
--- a/llvm/test/Assembler/2002-04-07-HexFloatConstants.ll
+++ b/llvm/test/Assembler/2002-04-07-HexFloatConstants.ll
@@ -9,6 +9,7 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | opt -constprop | \
 ; RUN: llvm-dis > %t.2
 ; RUN: diff %t.1 %t.2
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define double @test() {
         %tmp = fmul double 7.200000e+101, 0x427F4000             ; <double> [#uses=1]
diff --git a/llvm/test/Assembler/2002-04-07-InfConstant.ll b/llvm/test/Assembler/2002-04-07-InfConstant.ll
index 71837c9..5589392 100644
--- a/llvm/test/Assembler/2002-04-07-InfConstant.ll
+++ b/llvm/test/Assembler/2002-04-07-InfConstant.ll
@@ -1,6 +1,7 @@
 ; The output formater prints out 1.0e100 as Inf!
 ;
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | grep 0x7FF0000000000000
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define float @test() {
         %tmp = fmul float 0x7FF0000000000000, 1.000000e+01               ; <float> [#uses=1]
diff --git a/llvm/test/Assembler/2002-04-29-NameBinding.ll b/llvm/test/Assembler/2002-04-29-NameBinding.ll
index 7960c20..7174a8e 100644
--- a/llvm/test/Assembler/2002-04-29-NameBinding.ll
+++ b/llvm/test/Assembler/2002-04-29-NameBinding.ll
@@ -7,6 +7,7 @@
 ; RUN: opt < %s -globaldce -S | \
 ; RUN:   not grep constant
 ;
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @v1 = internal constant i32 5           
 
diff --git a/llvm/test/Assembler/2002-05-02-InvalidForwardRef.ll b/llvm/test/Assembler/2002-05-02-InvalidForwardRef.ll
index 234545c..03e3d39 100644
--- a/llvm/test/Assembler/2002-05-02-InvalidForwardRef.ll
+++ b/llvm/test/Assembler/2002-05-02-InvalidForwardRef.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; It looks like the assembler is not forward resolving the function declaraion
 ; correctly.
 
diff --git a/llvm/test/Assembler/2002-07-14-OpaqueType.ll b/llvm/test/Assembler/2002-07-14-OpaqueType.ll
index 662fb0f..54c5174 100644
--- a/llvm/test/Assembler/2002-07-14-OpaqueType.ll
+++ b/llvm/test/Assembler/2002-07-14-OpaqueType.ll
@@ -1,6 +1,7 @@
 ; Test that opaque types are preserved correctly
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis
 ;
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 %Ty = type opaque
 
diff --git a/llvm/test/Assembler/2002-07-25-QuoteInString.ll b/llvm/test/Assembler/2002-07-25-QuoteInString.ll
index facc5bd..5ca41dd 100644
--- a/llvm/test/Assembler/2002-07-25-QuoteInString.ll
+++ b/llvm/test/Assembler/2002-07-25-QuoteInString.ll
@@ -1,5 +1,6 @@
 ; Test double quotes in strings work correctly!
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis
 ;
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 @str = internal global [6 x i8] c"\22foo\22\00"         ; <[6 x i8]*> [#uses=0]
 
diff --git a/llvm/test/Assembler/2002-07-25-ReturnPtrFunction.ll b/llvm/test/Assembler/2002-07-25-ReturnPtrFunction.ll
index 6988fad..b200b9f 100644
--- a/llvm/test/Assembler/2002-07-25-ReturnPtrFunction.ll
+++ b/llvm/test/Assembler/2002-07-25-ReturnPtrFunction.ll
@@ -2,6 +2,7 @@
 ; the right thing.
 ;
 ; RUN: llvm-as < %s | llvm-dis | llvm-as
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 declare void (i32)* @foo()
 
diff --git a/llvm/test/Assembler/2002-07-31-SlashInString.ll b/llvm/test/Assembler/2002-07-31-SlashInString.ll
index ff48258..92f8f90 100644
--- a/llvm/test/Assembler/2002-07-31-SlashInString.ll
+++ b/llvm/test/Assembler/2002-07-31-SlashInString.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as 
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Make sure that \\ works in a string initializer
 @Slashtest = internal global [8 x i8] c"\5Cbegin{\00"
diff --git a/llvm/test/Assembler/2002-08-15-CastAmbiguity.ll b/llvm/test/Assembler/2002-08-15-CastAmbiguity.ll
index c716524..07eadb2 100644
--- a/llvm/test/Assembler/2002-08-15-CastAmbiguity.ll
+++ b/llvm/test/Assembler/2002-08-15-CastAmbiguity.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @test(i32 %X) {
         call void @test( i32 6 )
diff --git a/llvm/test/Assembler/2002-08-15-ConstantExprProblem.ll b/llvm/test/Assembler/2002-08-15-ConstantExprProblem.ll
index 02b9ea9..e09322d 100644
--- a/llvm/test/Assembler/2002-08-15-ConstantExprProblem.ll
+++ b/llvm/test/Assembler/2002-08-15-ConstantExprProblem.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @.LC0 = internal global [12 x i8] c"hello world\00"             ; <[12 x i8]*> [#uses=1]
 
diff --git a/llvm/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll b/llvm/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll
index 2ba3f14a..2c858d8 100644
--- a/llvm/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll
+++ b/llvm/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @.LC0 = internal global [12 x i8] c"hello world\00"             ; <[12 x i8]*> [#uses=1]
 
diff --git a/llvm/test/Assembler/2002-08-16-ConstExprInlined.ll b/llvm/test/Assembler/2002-08-16-ConstExprInlined.ll
index f233bac..9df1f46 100644
--- a/llvm/test/Assembler/2002-08-16-ConstExprInlined.ll
+++ b/llvm/test/Assembler/2002-08-16-ConstExprInlined.ll
@@ -9,6 +9,7 @@
 ; around!
 ;
 ; RUN: llvm-as < %s | llvm-dis | llvm-as
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @.LC0 = internal global [4 x i8] c"foo\00"		; <[4 x i8]*> [#uses=1]
 @X = global i8* null		; <i8**> [#uses=0]
diff --git a/llvm/test/Assembler/2002-08-19-BytecodeReader.ll b/llvm/test/Assembler/2002-08-19-BytecodeReader.ll
index e211014..8d369e5 100644
--- a/llvm/test/Assembler/2002-08-19-BytecodeReader.ll
+++ b/llvm/test/Assembler/2002-08-19-BytecodeReader.ll
@@ -2,6 +2,7 @@
 ; "crafty" spec benchmark.
 ;
 ; RUN: opt < %s -instcombine | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 	
 %CHESS_POSITION = type { i32, i32 }
 @pawn_probes = external global i32		; <i32*> [#uses=0]
diff --git a/llvm/test/Assembler/2002-10-08-LargeArrayPerformance.ll b/llvm/test/Assembler/2002-10-08-LargeArrayPerformance.ll
index 34a9932..99a264a 100644
--- a/llvm/test/Assembler/2002-10-08-LargeArrayPerformance.ll
+++ b/llvm/test/Assembler/2002-10-08-LargeArrayPerformance.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; This testcase comes from the following really simple c file:
 ;; int foo[30000]
 ;;; We should not be soo slow for such a simple case!
diff --git a/llvm/test/Assembler/2002-10-13-ConstantEncodingProblem.ll b/llvm/test/Assembler/2002-10-13-ConstantEncodingProblem.ll
index bf3a521..5765e55 100644
--- a/llvm/test/Assembler/2002-10-13-ConstantEncodingProblem.ll
+++ b/llvm/test/Assembler/2002-10-13-ConstantEncodingProblem.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 %Domain = type { %Domain**, %Domain* }
 @D = global %Domain zeroinitializer             ; <%Domain*> [#uses=0]
diff --git a/llvm/test/Assembler/2002-12-15-GlobalResolve.ll b/llvm/test/Assembler/2002-12-15-GlobalResolve.ll
index a873a61..c4fa4f4 100644
--- a/llvm/test/Assembler/2002-12-15-GlobalResolve.ll
+++ b/llvm/test/Assembler/2002-12-15-GlobalResolve.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @X = external global i32*
 @X1 = external global %T* 
diff --git a/llvm/test/Assembler/2003-01-30-UnsignedString.ll b/llvm/test/Assembler/2003-01-30-UnsignedString.ll
index 3c14d71..bd4594b 100644
--- a/llvm/test/Assembler/2003-01-30-UnsignedString.ll
+++ b/llvm/test/Assembler/2003-01-30-UnsignedString.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @spell_order = global [4 x i8] c"\FF\00\F7\00"
 
diff --git a/llvm/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll b/llvm/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll
index f1a5ed7..d47610a 100644
--- a/llvm/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll
+++ b/llvm/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; There should be absolutely no problem with this testcase.
 
 define i32 @test(i32 %arg1, i32 %arg2) {
diff --git a/llvm/test/Assembler/2003-05-03-BytecodeReaderProblem.ll b/llvm/test/Assembler/2003-05-03-BytecodeReaderProblem.ll
index f4a6911..2d8be31 100644
--- a/llvm/test/Assembler/2003-05-03-BytecodeReaderProblem.ll
+++ b/llvm/test/Assembler/2003-05-03-BytecodeReaderProblem.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @test() {
         %tmp.123 = trunc i64 0 to i32           ; <i32> [#uses=0]
diff --git a/llvm/test/Assembler/2003-05-12-MinIntProblem.ll b/llvm/test/Assembler/2003-05-12-MinIntProblem.ll
index ebe1690..71b4f83 100644
--- a/llvm/test/Assembler/2003-05-12-MinIntProblem.ll
+++ b/llvm/test/Assembler/2003-05-12-MinIntProblem.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep -- -2147483648
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define i32 @foo() {
         ret i32 -2147483648
diff --git a/llvm/test/Assembler/2003-05-15-AssemblerProblem.ll b/llvm/test/Assembler/2003-05-15-AssemblerProblem.ll
index 146ce65..6651d40 100644
--- a/llvm/test/Assembler/2003-05-15-AssemblerProblem.ll
+++ b/llvm/test/Assembler/2003-05-15-AssemblerProblem.ll
@@ -1,6 +1,7 @@
 ; This bug was caused by two CPR's existing for the same global variable, 
 ; colliding in the Module level CPR map.
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @test() {
         call void (...)* bitcast (void (i16*, i32)* @AddString to void (...)*)( i16* null, i32 0 )
diff --git a/llvm/test/Assembler/2003-05-15-SwitchBug.ll b/llvm/test/Assembler/2003-05-15-SwitchBug.ll
index 3768d9c..9be311e 100644
--- a/llvm/test/Assembler/2003-05-15-SwitchBug.ll
+++ b/llvm/test/Assembler/2003-05-15-SwitchBug.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Check minimal switch statement
 
diff --git a/llvm/test/Assembler/2003-05-21-ConstantShiftExpr.ll b/llvm/test/Assembler/2003-05-21-ConstantShiftExpr.ll
index 40b9651..fcb0cfb 100644
--- a/llvm/test/Assembler/2003-05-21-ConstantShiftExpr.ll
+++ b/llvm/test/Assembler/2003-05-21-ConstantShiftExpr.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Test that shift instructions can be used in constant expressions.
 
 global i32 3670016
diff --git a/llvm/test/Assembler/2003-05-21-EmptyStructTest.ll b/llvm/test/Assembler/2003-05-21-EmptyStructTest.ll
index 26e83d93..17621c3 100644
--- a/llvm/test/Assembler/2003-05-21-EmptyStructTest.ll
+++ b/llvm/test/Assembler/2003-05-21-EmptyStructTest.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; The old C front-end never generated empty structures, now the new one
 ; can.  For some reason we never handled them in the parser. Weird.
diff --git a/llvm/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll b/llvm/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll
index 50cdeed..0679ac3 100644
--- a/llvm/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll
+++ b/llvm/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll
@@ -1,4 +1,5 @@
 ; RUN: opt < %s -instcombine -simplifycfg -S | not grep br
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @.str_1 = internal constant [6 x i8] c"_Bool\00"                ; <[6 x i8]*> [#uses=2]
 
diff --git a/llvm/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll b/llvm/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll
index b76f774..ff84698 100644
--- a/llvm/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll
+++ b/llvm/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | not grep getelementptr
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @A = external global { float }          ; <{ float }*> [#uses=2]
 global i32* bitcast ({ float }* @A to i32*)             ; <i32**>:0 [#uses=0]
diff --git a/llvm/test/Assembler/2003-11-05-ConstantExprShift.ll b/llvm/test/Assembler/2003-11-05-ConstantExprShift.ll
index 86b093e..17587c6 100644
--- a/llvm/test/Assembler/2003-11-05-ConstantExprShift.ll
+++ b/llvm/test/Assembler/2003-11-05-ConstantExprShift.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define i32 @test() {
         ret i32 ashr (i32 ptrtoint (i32 ()* @test to i32), i32 2)
diff --git a/llvm/test/Assembler/2003-11-12-ConstantExprCast.ll b/llvm/test/Assembler/2003-11-12-ConstantExprCast.ll
index 47a5353..12b4ead 100644
--- a/llvm/test/Assembler/2003-11-12-ConstantExprCast.ll
+++ b/llvm/test/Assembler/2003-11-12-ConstantExprCast.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | not grep " bitcast ("
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @.Base64_1 = external constant [4 x i8]         ; <[4 x i8]*> [#uses=1]
 
diff --git a/llvm/test/Assembler/2004-01-11-getelementptrfolding.ll b/llvm/test/Assembler/2004-01-11-getelementptrfolding.ll
index 5249d0e..fb33d8c 100644
--- a/llvm/test/Assembler/2004-01-11-getelementptrfolding.ll
+++ b/llvm/test/Assembler/2004-01-11-getelementptrfolding.ll
@@ -1,5 +1,6 @@
 ; RUN: llvm-as < %s | llvm-dis | \
 ; RUN:   not grep "getelementptr.*getelementptr"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 %struct.TTriangleItem = type { i8*, i8*, [3 x %struct.TUVVertex] }
 %struct.TUVVertex = type { i16, i16, i16, i16 }
diff --git a/llvm/test/Assembler/2004-01-20-MaxLongLong.ll b/llvm/test/Assembler/2004-01-20-MaxLongLong.ll
index 8af5332..6c70ca1 100644
--- a/llvm/test/Assembler/2004-01-20-MaxLongLong.ll
+++ b/llvm/test/Assembler/2004-01-20-MaxLongLong.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep 9223372036854775808
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 global i64 -9223372036854775808
 
diff --git a/llvm/test/Assembler/2004-02-01-NegativeZero.ll b/llvm/test/Assembler/2004-02-01-NegativeZero.ll
index b28930f..d1a3884 100644
--- a/llvm/test/Assembler/2004-02-01-NegativeZero.ll
+++ b/llvm/test/Assembler/2004-02-01-NegativeZero.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep -- -0.0
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 global double 0x8000000000000000
 global float -0.0
diff --git a/llvm/test/Assembler/2004-02-27-SelfUseAssertError.ll b/llvm/test/Assembler/2004-02-27-SelfUseAssertError.ll
index 7052eac..f3cf577 100644
--- a/llvm/test/Assembler/2004-02-27-SelfUseAssertError.ll
+++ b/llvm/test/Assembler/2004-02-27-SelfUseAssertError.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; %inc2 uses it's own value, but that's ok, as it's unreachable!
 
diff --git a/llvm/test/Assembler/2004-03-07-FunctionAddressAlignment.ll b/llvm/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
index e3bf0bb..4c320f1 100644
--- a/llvm/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
+++ b/llvm/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | not grep ptrtoint
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; All of these should be eliminable
 
 
diff --git a/llvm/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll b/llvm/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll
index ab46f88..c40f8ed 100644
--- a/llvm/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll
+++ b/llvm/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define i32* @t1({ float, i32 }* %X) {
         %W = getelementptr { float, i32 }* %X, i32 20, i32 1            ; <i32*> [#uses=0]
diff --git a/llvm/test/Assembler/2004-06-07-VerifierBug.ll b/llvm/test/Assembler/2004-06-07-VerifierBug.ll
index 07d2383..c049a74 100644
--- a/llvm/test/Assembler/2004-06-07-VerifierBug.ll
+++ b/llvm/test/Assembler/2004-06-07-VerifierBug.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s > /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @t() {
 entry:
diff --git a/llvm/test/Assembler/2004-10-22-BCWriterUndefBug.ll b/llvm/test/Assembler/2004-10-22-BCWriterUndefBug.ll
index 694b80b..88c3c27 100644
--- a/llvm/test/Assembler/2004-10-22-BCWriterUndefBug.ll
+++ b/llvm/test/Assembler/2004-10-22-BCWriterUndefBug.ll
@@ -1,5 +1,6 @@
 ;; The bytecode writer was trying to treat undef values as ConstantArray's when
 ;; they looked like strings.
 ;; RUN: llvm-as %s -o /dev/null
+;; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 @G = internal global [8 x i8] undef
 
diff --git a/llvm/test/Assembler/2005-01-03-FPConstantDisassembly.ll b/llvm/test/Assembler/2005-01-03-FPConstantDisassembly.ll
index aaa776f..4de4a20 100644
--- a/llvm/test/Assembler/2005-01-03-FPConstantDisassembly.ll
+++ b/llvm/test/Assembler/2005-01-03-FPConstantDisassembly.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep 1.0
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define double @test() {
         ret double 1.0   ;; This should not require hex notation
diff --git a/llvm/test/Assembler/2005-01-31-CallingAggregateFunction.ll b/llvm/test/Assembler/2005-01-31-CallingAggregateFunction.ll
index ce769a2..7aa2c2b 100644
--- a/llvm/test/Assembler/2005-01-31-CallingAggregateFunction.ll
+++ b/llvm/test/Assembler/2005-01-31-CallingAggregateFunction.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @test() {
 	call {i32} @foo()
diff --git a/llvm/test/Assembler/2005-05-05-OpaqueUndefValues.ll b/llvm/test/Assembler/2005-05-05-OpaqueUndefValues.ll
index 8cd1419..832b37e 100644
--- a/llvm/test/Assembler/2005-05-05-OpaqueUndefValues.ll
+++ b/llvm/test/Assembler/2005-05-05-OpaqueUndefValues.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as > /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 %t = type opaque
 @x = global %t undef
diff --git a/llvm/test/Assembler/2005-12-21-ZeroInitVector.ll b/llvm/test/Assembler/2005-12-21-ZeroInitVector.ll
index d3a692c..f758179 100644
--- a/llvm/test/Assembler/2005-12-21-ZeroInitVector.ll
+++ b/llvm/test/Assembler/2005-12-21-ZeroInitVector.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s > /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define <4 x i32> @foo() {
         ret <4 x i32> zeroinitializer
diff --git a/llvm/test/Assembler/2006-12-09-Cast-To-Bool.ll b/llvm/test/Assembler/2006-12-09-Cast-To-Bool.ll
index a70262c..5571e11 100644
--- a/llvm/test/Assembler/2006-12-09-Cast-To-Bool.ll
+++ b/llvm/test/Assembler/2006-12-09-Cast-To-Bool.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep bitcast
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define i1 @main(i32 %X) {
   %res = bitcast i1 true to i1
diff --git a/llvm/test/Assembler/2007-01-05-Cmp-ConstExpr.ll b/llvm/test/Assembler/2007-01-05-Cmp-ConstExpr.ll
index e3f67ba..22c7a28 100644
--- a/llvm/test/Assembler/2007-01-05-Cmp-ConstExpr.ll
+++ b/llvm/test/Assembler/2007-01-05-Cmp-ConstExpr.ll
@@ -1,5 +1,6 @@
 ; Test Case for PR1080
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @str = internal constant [4 x i8] c"-ga\00"             ; <[4 x i8]*> [#uses=2]
 
diff --git a/llvm/test/Assembler/2007-03-19-NegValue.ll b/llvm/test/Assembler/2007-03-19-NegValue.ll
index 64eb3cb..908b385 100644
--- a/llvm/test/Assembler/2007-03-19-NegValue.ll
+++ b/llvm/test/Assembler/2007-03-19-NegValue.ll
@@ -1,5 +1,6 @@
 ; Test whether negative values > 64 bits retain their negativeness.
 ; RUN: llvm-as < %s | llvm-dis | grep "add i65.*, -1"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define i65 @testConsts(i65 %N) {
   %a = add i65 %N, -1
diff --git a/llvm/test/Assembler/2007-04-20-AlignedLoad.ll b/llvm/test/Assembler/2007-04-20-AlignedLoad.ll
index 98a5428..2586a08 100644
--- a/llvm/test/Assembler/2007-04-20-AlignedLoad.ll
+++ b/llvm/test/Assembler/2007-04-20-AlignedLoad.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep "align 1024"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define i32 @test(i32* %arg) {
 entry:
diff --git a/llvm/test/Assembler/2007-04-20-AlignedStore.ll b/llvm/test/Assembler/2007-04-20-AlignedStore.ll
index 9e4dd9f..bc29298 100644
--- a/llvm/test/Assembler/2007-04-20-AlignedStore.ll
+++ b/llvm/test/Assembler/2007-04-20-AlignedStore.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep "align 1024"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @test(i32* %arg) {
 entry:
diff --git a/llvm/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll b/llvm/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll
index b0ca1aa..5f2ecc4 100644
--- a/llvm/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll
+++ b/llvm/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep "icmp.*test_weak.*null"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR1358
 @G = global i1 icmp ne (i32 (...)* @test_weak, i32 (...)* null)
 
diff --git a/llvm/test/Assembler/2007-05-21-Escape.ll b/llvm/test/Assembler/2007-05-21-Escape.ll
index 0868133..9eb1d74 100644
--- a/llvm/test/Assembler/2007-05-21-Escape.ll
+++ b/llvm/test/Assembler/2007-05-21-Escape.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
 target triple = "x86_64-apple-darwin8"
 	%struct.bar = type { i32 }
diff --git a/llvm/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll b/llvm/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll
index 9c7daa8..1bb9ad1 100644
--- a/llvm/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll
+++ b/llvm/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll
@@ -1,5 +1,6 @@
 ; PR1553
 ; RUN: llvm-as < %s > /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 define void @bar() {
         %t = call i8 @foo( i8 10 )
         zext i8 %t to i32
diff --git a/llvm/test/Assembler/2007-09-10-AliasFwdRef.ll b/llvm/test/Assembler/2007-09-10-AliasFwdRef.ll
index bcb7c6f..7d13096 100644
--- a/llvm/test/Assembler/2007-09-10-AliasFwdRef.ll
+++ b/llvm/test/Assembler/2007-09-10-AliasFwdRef.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR1645
 
 @__gthread_active_ptr.5335 = internal constant i8* bitcast (i32 (i32)* @__gthrw_pthread_cancel to i8*)    
diff --git a/llvm/test/Assembler/2007-09-29-GC.ll b/llvm/test/Assembler/2007-09-29-GC.ll
index 9aefd0b..d0f894c 100644
--- a/llvm/test/Assembler/2007-09-29-GC.ll
+++ b/llvm/test/Assembler/2007-09-29-GC.ll
@@ -1,5 +1,6 @@
 ; RUN: llvm-as < %s | llvm-dis | grep "@f.*gc.*shadowstack"
 ; RUN: llvm-as < %s | llvm-dis | grep "@g.*gc.*java"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @f() gc "shadowstack" {
 entry:
diff --git a/llvm/test/Assembler/2007-12-11-AddressSpaces.ll b/llvm/test/Assembler/2007-12-11-AddressSpaces.ll
index 7c9b5b5..a1fb7fa 100644
--- a/llvm/test/Assembler/2007-12-11-AddressSpaces.ll
+++ b/llvm/test/Assembler/2007-12-11-AddressSpaces.ll
@@ -3,6 +3,7 @@
 ; RUN: llvm-as < %s | llvm-dis | grep "addrspace(66)" | count 2
 ; RUN: llvm-as < %s | llvm-dis | grep "addrspace(11)" | count 6
 ; RUN: llvm-as < %s | llvm-dis | grep "addrspace(22)" | count 5
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 	%struct.mystruct = type { i32, i32 addrspace(33)*, i32, i32 addrspace(33)* }
 @input = weak addrspace(42) global %struct.mystruct zeroinitializer  		; <%struct.mystruct addrspace(42)*> [#uses=1]
diff --git a/llvm/test/Assembler/2008-01-11-VarargAttrs.ll b/llvm/test/Assembler/2008-01-11-VarargAttrs.ll
index c0aedc80..dd1eed2 100644
--- a/llvm/test/Assembler/2008-01-11-VarargAttrs.ll
+++ b/llvm/test/Assembler/2008-01-11-VarargAttrs.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | grep byval
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 	%struct = type {  }
 
diff --git a/llvm/test/Assembler/2008-07-10-APInt.ll b/llvm/test/Assembler/2008-07-10-APInt.ll
index 99347e9..3a54c8e 100644
--- a/llvm/test/Assembler/2008-07-10-APInt.ll
+++ b/llvm/test/Assembler/2008-07-10-APInt.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR2538
 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
 target triple = "i686-pc-linux-gnu"
diff --git a/llvm/test/Assembler/2008-09-02-FunctionNotes.ll b/llvm/test/Assembler/2008-09-02-FunctionNotes.ll
index 11a0411..c3f077d 100644
--- a/llvm/test/Assembler/2008-09-02-FunctionNotes.ll
+++ b/llvm/test/Assembler/2008-09-02-FunctionNotes.ll
@@ -1,5 +1,6 @@
 ; Test function attributes
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK: define void @fn1() #0
 define void @fn1() alwaysinline {
diff --git a/llvm/test/Assembler/2008-09-29-RetAttr.ll b/llvm/test/Assembler/2008-09-29-RetAttr.ll
index f7db96d..bb20c7f 100644
--- a/llvm/test/Assembler/2008-09-29-RetAttr.ll
+++ b/llvm/test/Assembler/2008-09-29-RetAttr.ll
@@ -1,6 +1,7 @@
 ; Test return attributes
 ; RUN: llvm-as < %s | llvm-dis | grep "define inreg i32"
 ; RUN: llvm-as < %s | llvm-dis | grep "call inreg i32"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define inreg i32 @fn1() {
   ret i32 0
diff --git a/llvm/test/Assembler/2008-10-14-QuoteInName.ll b/llvm/test/Assembler/2008-10-14-QuoteInName.ll
index ccd7779..f3dc239 100644
--- a/llvm/test/Assembler/2008-10-14-QuoteInName.ll
+++ b/llvm/test/Assembler/2008-10-14-QuoteInName.ll
@@ -1,3 +1,4 @@
 ; RUN: llvm-as < %s | llvm-dis | grep "quote"
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @"a\22quote" = global i32 0
diff --git a/llvm/test/Assembler/2009-02-01-UnnamedForwardRef.ll b/llvm/test/Assembler/2009-02-01-UnnamedForwardRef.ll
index 9c6e20d..9d60e9d 100644
--- a/llvm/test/Assembler/2009-02-01-UnnamedForwardRef.ll
+++ b/llvm/test/Assembler/2009-02-01-UnnamedForwardRef.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR3372
 
 @X = global i32* @0
diff --git a/llvm/test/Assembler/2009-02-28-CastOpc.ll b/llvm/test/Assembler/2009-02-28-CastOpc.ll
index 6035643..9d557a0 100644
--- a/llvm/test/Assembler/2009-02-28-CastOpc.ll
+++ b/llvm/test/Assembler/2009-02-28-CastOpc.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 
 define void @foo() {
diff --git a/llvm/test/Assembler/2009-02-28-StripOpaqueName.ll b/llvm/test/Assembler/2009-02-28-StripOpaqueName.ll
index f61a44c..cefd78c 100644
--- a/llvm/test/Assembler/2009-02-28-StripOpaqueName.ll
+++ b/llvm/test/Assembler/2009-02-28-StripOpaqueName.ll
@@ -1,4 +1,5 @@
 ; RUN: opt < %s -strip -S | llvm-as | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Stripping the name from A should not break references to it.
 %A = type opaque
diff --git a/llvm/test/Assembler/2009-03-24-ZextConstantExpr.ll b/llvm/test/Assembler/2009-03-24-ZextConstantExpr.ll
index daedb95..37bb2ef 100644
--- a/llvm/test/Assembler/2009-03-24-ZextConstantExpr.ll
+++ b/llvm/test/Assembler/2009-03-24-ZextConstantExpr.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR3876
 @gdtr = external global [0 x i8]
 
diff --git a/llvm/test/Assembler/2009-07-24-ZeroArgGEP.ll b/llvm/test/Assembler/2009-07-24-ZeroArgGEP.ll
index 2a3d114..d37601b 100644
--- a/llvm/test/Assembler/2009-07-24-ZeroArgGEP.ll
+++ b/llvm/test/Assembler/2009-07-24-ZeroArgGEP.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @foo = global i32 0
 @bar = constant i32* getelementptr(i32* @foo)
diff --git a/llvm/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll b/llvm/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll
index 17dd745..87470b6 100644
--- a/llvm/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll
+++ b/llvm/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll
@@ -1,4 +1,5 @@
 ; RUN: opt -std-compile-opts < %s | llvm-dis | not grep badref
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
 target triple = "x86_64-apple-darwin10.2"
diff --git a/llvm/test/Assembler/ConstantExprFoldSelect.ll b/llvm/test/Assembler/ConstantExprFoldSelect.ll
index b000e026..82c2b9c 100644
--- a/llvm/test/Assembler/ConstantExprFoldSelect.ll
+++ b/llvm/test/Assembler/ConstantExprFoldSelect.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR18319
 
 define void @function() {
diff --git a/llvm/test/Assembler/ConstantExprNoFold.ll b/llvm/test/Assembler/ConstantExprNoFold.ll
index b41959f..97a20d6 100644
--- a/llvm/test/Assembler/ConstantExprNoFold.ll
+++ b/llvm/test/Assembler/ConstantExprNoFold.ll
@@ -2,6 +2,7 @@
 ; situations
 
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Even give it a datalayout, to tempt folding as much as possible.
 target datalayout = "p:32:32"
diff --git a/llvm/test/Assembler/MultipleReturnValueType.ll b/llvm/test/Assembler/MultipleReturnValueType.ll
index 61771439..eb60597 100644
--- a/llvm/test/Assembler/MultipleReturnValueType.ll
+++ b/llvm/test/Assembler/MultipleReturnValueType.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
         %struct.S_102 = type { float, float }
 
diff --git a/llvm/test/Assembler/addrspacecast-alias.ll b/llvm/test/Assembler/addrspacecast-alias.ll
index 1d2c579..40ca1e3 100644
--- a/llvm/test/Assembler/addrspacecast-alias.ll
+++ b/llvm/test/Assembler/addrspacecast-alias.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Test that global aliases are allowed to be constant addrspacecast
 
diff --git a/llvm/test/Assembler/aggregate-constant-values.ll b/llvm/test/Assembler/aggregate-constant-values.ll
index d0aab81..bb4c6b0 100644
--- a/llvm/test/Assembler/aggregate-constant-values.ll
+++ b/llvm/test/Assembler/aggregate-constant-values.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK: @foo
 ; CHECK: store { i32, i32 } { i32 7, i32 9 }, { i32, i32 }* %x
diff --git a/llvm/test/Assembler/aggregate-return-single-value.ll b/llvm/test/Assembler/aggregate-return-single-value.ll
index 04540b5..4922993 100644
--- a/llvm/test/Assembler/aggregate-return-single-value.ll
+++ b/llvm/test/Assembler/aggregate-return-single-value.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define { i32 } @foob() nounwind {
   ret {i32}{ i32 0 }
diff --git a/llvm/test/Assembler/align-inst.ll b/llvm/test/Assembler/align-inst.ll
index 6f7100e..dc22a3d 100644
--- a/llvm/test/Assembler/align-inst.ll
+++ b/llvm/test/Assembler/align-inst.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @A = global i1 0, align 536870912
 
diff --git a/llvm/test/Assembler/alignstack.ll b/llvm/test/Assembler/alignstack.ll
index 9f2059f..6efae91 100644
--- a/llvm/test/Assembler/alignstack.ll
+++ b/llvm/test/Assembler/alignstack.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
 target triple = "i386-apple-darwin10.0"
 
diff --git a/llvm/test/Assembler/anon-functions.ll b/llvm/test/Assembler/anon-functions.ll
index ac06e8c..5329cd6 100644
--- a/llvm/test/Assembler/anon-functions.ll
+++ b/llvm/test/Assembler/anon-functions.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR3611
 
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
diff --git a/llvm/test/Assembler/atomic.ll b/llvm/test/Assembler/atomic.ll
index d7ccd99..a953015 100644
--- a/llvm/test/Assembler/atomic.ll
+++ b/llvm/test/Assembler/atomic.ll
@@ -1,4 +1,5 @@
 ; RUN: opt < %s | opt -S | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Basic smoke test for atomic operations.
 
 define void @f(i32* %x) {
diff --git a/llvm/test/Assembler/auto_upgrade_intrinsics.ll b/llvm/test/Assembler/auto_upgrade_intrinsics.ll
index 8f655ce..e207588 100644
--- a/llvm/test/Assembler/auto_upgrade_intrinsics.ll
+++ b/llvm/test/Assembler/auto_upgrade_intrinsics.ll
@@ -1,5 +1,6 @@
 ; Test to make sure intrinsics are automatically upgraded.
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 declare i8 @llvm.ctlz.i8(i8)
 declare i16 @llvm.ctlz.i16(i16)
diff --git a/llvm/test/Assembler/bcwrap.ll b/llvm/test/Assembler/bcwrap.ll
index 4bec48c..4805900 100644
--- a/llvm/test/Assembler/bcwrap.ll
+++ b/llvm/test/Assembler/bcwrap.ll
@@ -1,5 +1,6 @@
 ; RUN: llvm-as < %s > %t
 ; RUN: llvm-nm %t | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Test for isBitcodeFile, llvm-nm must read from a file for this test.
 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
 target triple = "i686-apple-darwin9.2.2"
diff --git a/llvm/test/Assembler/comment.ll b/llvm/test/Assembler/comment.ll
index 16362ab..265065b 100644
--- a/llvm/test/Assembler/comment.ll
+++ b/llvm/test/Assembler/comment.ll
@@ -1,5 +1,6 @@
 ; RUN: llvm-as < %s | llvm-dis -show-annotations | FileCheck -check-prefix=ANNOT %s
 ; RUN: llvm-as < %s | llvm-dis | FileCheck -check-prefix=BARE %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; The bare version of this file should not have any #uses lines.
 ; BARE: @B =
diff --git a/llvm/test/Assembler/externally-initialized.ll b/llvm/test/Assembler/externally-initialized.ll
index 4be6e62..7c30677 100644
--- a/llvm/test/Assembler/externally-initialized.ll
+++ b/llvm/test/Assembler/externally-initialized.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK: @G = externally_initialized global i32 0
 
diff --git a/llvm/test/Assembler/fast-math-flags.ll b/llvm/test/Assembler/fast-math-flags.ll
index 3a116c5..3a334a2 100644
--- a/llvm/test/Assembler/fast-math-flags.ll
+++ b/llvm/test/Assembler/fast-math-flags.ll
@@ -1,5 +1,6 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
 ; RUN: opt -S < %s | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @addr   = external global i64
 @select = external global i1
diff --git a/llvm/test/Assembler/flags.ll b/llvm/test/Assembler/flags.ll
index 310b807..24cd5db 100644
--- a/llvm/test/Assembler/flags.ll
+++ b/llvm/test/Assembler/flags.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 @addr = external global i64
 
diff --git a/llvm/test/Assembler/functionlocal-metadata.ll b/llvm/test/Assembler/functionlocal-metadata.ll
index f9b1d740..7ab4990 100644
--- a/llvm/test/Assembler/functionlocal-metadata.ll
+++ b/llvm/test/Assembler/functionlocal-metadata.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @Foo(i32 %a, i32 %b) {
 entry:
diff --git a/llvm/test/Assembler/getelementptr.ll b/llvm/test/Assembler/getelementptr.ll
index af03fca..c531b4a 100644
--- a/llvm/test/Assembler/getelementptr.ll
+++ b/llvm/test/Assembler/getelementptr.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Verify that over-indexed getelementptrs are folded.
 @A = external global [2 x [3 x [5 x [7 x i32]]]]
diff --git a/llvm/test/Assembler/global-addrspace-forwardref.ll b/llvm/test/Assembler/global-addrspace-forwardref.ll
index f0f094a..ca82dd7 100644
--- a/llvm/test/Assembler/global-addrspace-forwardref.ll
+++ b/llvm/test/Assembler/global-addrspace-forwardref.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; Make sure the address space of forward decls is preserved
 
diff --git a/llvm/test/Assembler/half-constprop.ll b/llvm/test/Assembler/half-constprop.ll
index 9e24f72..c4429bc 100644
--- a/llvm/test/Assembler/half-constprop.ll
+++ b/llvm/test/Assembler/half-constprop.ll
@@ -1,4 +1,5 @@
 ; RUN: opt < %s -O3 -S | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Testing half constant propagation.
 
 define half @abc() nounwind {
diff --git a/llvm/test/Assembler/half-conv.ll b/llvm/test/Assembler/half-conv.ll
index 70a6b86..95c1365 100644
--- a/llvm/test/Assembler/half-conv.ll
+++ b/llvm/test/Assembler/half-conv.ll
@@ -1,4 +1,5 @@
 ; RUN: opt < %s -O3 -S | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Testing half to float conversion.
 
 define float @abc() nounwind {
diff --git a/llvm/test/Assembler/half.ll b/llvm/test/Assembler/half.ll
index 63ad392..515322e 100644
--- a/llvm/test/Assembler/half.ll
+++ b/llvm/test/Assembler/half.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Basic smoke test for half type.
 
 ; CHECK: define half @halftest
diff --git a/llvm/test/Assembler/huge-array.ll b/llvm/test/Assembler/huge-array.ll
index a1abf87..4d70c72 100644
--- a/llvm/test/Assembler/huge-array.ll
+++ b/llvm/test/Assembler/huge-array.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK: define [18446744073709551615 x i8]* @foo() {
 ; CHECK: ret [18446744073709551615 x i8]* null
diff --git a/llvm/test/Assembler/inalloca.ll b/llvm/test/Assembler/inalloca.ll
index ff7a87e..4a880201 100644
--- a/llvm/test/Assembler/inalloca.ll
+++ b/llvm/test/Assembler/inalloca.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @a() {
 entry:
diff --git a/llvm/test/Assembler/insertextractvalue.ll b/llvm/test/Assembler/insertextractvalue.ll
index 6c00b13..9215e28 100644
--- a/llvm/test/Assembler/insertextractvalue.ll
+++ b/llvm/test/Assembler/insertextractvalue.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK:      @foo
 ; CHECK-NEXT: load
diff --git a/llvm/test/Assembler/metadata.ll b/llvm/test/Assembler/metadata.ll
index 56888fd..de07ddd 100644
--- a/llvm/test/Assembler/metadata.ll
+++ b/llvm/test/Assembler/metadata.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK: @test
 ; CHECK: ret void, !bar !1, !foo !0
diff --git a/llvm/test/Assembler/named-metadata.ll b/llvm/test/Assembler/named-metadata.ll
index db728108..a21e464 100644
--- a/llvm/test/Assembler/named-metadata.ll
+++ b/llvm/test/Assembler/named-metadata.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 !0 = metadata !{metadata !"zero"}
 !1 = metadata !{metadata !"one"}
diff --git a/llvm/test/Assembler/numbered-values.ll b/llvm/test/Assembler/numbered-values.ll
index 2439c83..affdd21 100644
--- a/llvm/test/Assembler/numbered-values.ll
+++ b/llvm/test/Assembler/numbered-values.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR2480
 
 define i32 @test(i32 %X) nounwind {
diff --git a/llvm/test/Assembler/select.ll b/llvm/test/Assembler/select.ll
index 2d3f412..026f173 100644
--- a/llvm/test/Assembler/select.ll
+++ b/llvm/test/Assembler/select.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 
 define i32 @test(i1 %C, i32 %V1, i32 %V2) {
diff --git a/llvm/test/Assembler/tls-models.ll b/llvm/test/Assembler/tls-models.ll
index 42f2496..ec02eaf5 100644
--- a/llvm/test/Assembler/tls-models.ll
+++ b/llvm/test/Assembler/tls-models.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK: @a = thread_local global i32 0
 ; CHECK: @b = thread_local(localdynamic) global i32 0
diff --git a/llvm/test/Assembler/unnamed-addr.ll b/llvm/test/Assembler/unnamed-addr.ll
index 35b3b39..64e5915 100644
--- a/llvm/test/Assembler/unnamed-addr.ll
+++ b/llvm/test/Assembler/unnamed-addr.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 %struct.foobar = type { i32 }
 
diff --git a/llvm/test/Assembler/unnamed.ll b/llvm/test/Assembler/unnamed.ll
index fb4fa62..f77228c 100644
--- a/llvm/test/Assembler/unnamed.ll
+++ b/llvm/test/Assembler/unnamed.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
 
diff --git a/llvm/test/Assembler/upgrade-loop-metadata.ll b/llvm/test/Assembler/upgrade-loop-metadata.ll
index 1c0311d..05bd2ad 100644
--- a/llvm/test/Assembler/upgrade-loop-metadata.ll
+++ b/llvm/test/Assembler/upgrade-loop-metadata.ll
@@ -5,6 +5,7 @@
 ;
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
 ; RUN: opt -S < %s | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 define void @_Z28loop_with_vectorize_metadatav() {
 entry:
diff --git a/llvm/test/Assembler/vbool-cmp.ll b/llvm/test/Assembler/vbool-cmp.ll
index e652d2f..5ce7e56f 100644
--- a/llvm/test/Assembler/vbool-cmp.ll
+++ b/llvm/test/Assembler/vbool-cmp.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Rudimentary test of fcmp/icmp on vectors returning vector of bool
 
 ; CHECK: @ffoo
diff --git a/llvm/test/Assembler/vector-cmp.ll b/llvm/test/Assembler/vector-cmp.ll
index 6e3894c..e44443f 100644
--- a/llvm/test/Assembler/vector-cmp.ll
+++ b/llvm/test/Assembler/vector-cmp.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; PR2317
 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
 target triple = "i686-apple-darwin9.2.2"
diff --git a/llvm/test/Assembler/vector-select.ll b/llvm/test/Assembler/vector-select.ll
index ae8358a..750b0ac 100644
--- a/llvm/test/Assembler/vector-select.ll
+++ b/llvm/test/Assembler/vector-select.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Rudimentary test of select on vectors returning vector of bool
 
 ; CHECK: @foo
diff --git a/llvm/test/Assembler/vector-shift.ll b/llvm/test/Assembler/vector-shift.ll
index 6a6531b..d2bca55 100644
--- a/llvm/test/Assembler/vector-shift.ll
+++ b/llvm/test/Assembler/vector-shift.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 
 ; CHECK: @foo
 ; CHECK: shl
diff --git a/llvm/test/Assembler/x86mmx.ll b/llvm/test/Assembler/x86mmx.ll
index 732d3be..da93e9a 100644
--- a/llvm/test/Assembler/x86mmx.ll
+++ b/llvm/test/Assembler/x86mmx.ll
@@ -1,4 +1,5 @@
 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5
 ; Basic smoke test for x86_mmx type.
 
 ; CHECK: define x86_mmx @sh16