From 94f7c7aeaa1821c657c57926c67ee691c007fe43 Mon Sep 17 00:00:00 2001 From: "Duncan P. N. Exon Smith" Date: Thu, 31 Jul 2014 18:46:24 +0000 Subject: [PATCH] verify-uselistorder: Change the default -num-shuffles=5 Change the default for `-num-shuffles` to 5 and better document the algorithm in the header docs of `verify-uselistorder`. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214419 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Assembler/2002-03-08-NameCollision.ll | 2 +- test/Assembler/2002-03-08-NameCollision2.ll | 2 +- test/Assembler/2002-04-07-HexFloatConstants.ll | 2 +- test/Assembler/2002-04-07-InfConstant.ll | 2 +- test/Assembler/2002-04-29-NameBinding.ll | 2 +- test/Assembler/2002-05-02-InvalidForwardRef.ll | 2 +- test/Assembler/2002-07-14-OpaqueType.ll | 2 +- test/Assembler/2002-07-25-QuoteInString.ll | 2 +- test/Assembler/2002-07-25-ReturnPtrFunction.ll | 2 +- test/Assembler/2002-07-31-SlashInString.ll | 2 +- test/Assembler/2002-08-15-CastAmbiguity.ll | 2 +- .../Assembler/2002-08-15-ConstantExprProblem.ll | 2 +- .../2002-08-15-UnresolvedGlobalReference.ll | 2 +- test/Assembler/2002-08-16-ConstExprInlined.ll | 2 +- test/Assembler/2002-08-19-BytecodeReader.ll | 2 +- test/Assembler/2002-08-22-DominanceProblem.ll | 2 +- .../2002-10-08-LargeArrayPerformance.ll | 2 +- .../2002-10-13-ConstantEncodingProblem.ll | 2 +- test/Assembler/2002-12-15-GlobalResolve.ll | 2 +- test/Assembler/2003-01-30-UnsignedString.ll | 2 +- .../2003-04-25-UnresolvedGlobalReference.ll | 2 +- .../2003-05-03-BytecodeReaderProblem.ll | 2 +- test/Assembler/2003-05-12-MinIntProblem.ll | 2 +- test/Assembler/2003-05-15-AssemblerProblem.ll | 2 +- test/Assembler/2003-05-15-SwitchBug.ll | 2 +- test/Assembler/2003-05-21-ConstantShiftExpr.ll | 2 +- test/Assembler/2003-05-21-EmptyStructTest.ll | 2 +- .../2003-08-20-ConstantExprGEP-Fold.ll | 2 +- .../2003-08-21-ConstantExprCast-Fold.ll | 2 +- test/Assembler/2003-11-05-ConstantExprShift.ll | 2 +- test/Assembler/2003-11-12-ConstantExprCast.ll | 2 +- .../2004-01-11-getelementptrfolding.ll | 2 +- test/Assembler/2004-01-20-MaxLongLong.ll | 2 +- test/Assembler/2004-02-01-NegativeZero.ll | 2 +- test/Assembler/2004-02-27-SelfUseAssertError.ll | 2 +- .../2004-03-07-FunctionAddressAlignment.ll | 2 +- .../2004-04-04-GetElementPtrIndexTypes.ll | 2 +- test/Assembler/2004-06-07-VerifierBug.ll | 2 +- test/Assembler/2004-10-22-BCWriterUndefBug.ll | 2 +- .../2005-01-03-FPConstantDisassembly.ll | 2 +- .../2005-01-31-CallingAggregateFunction.ll | 2 +- test/Assembler/2005-05-05-OpaqueUndefValues.ll | 2 +- test/Assembler/2005-12-21-ZeroInitVector.ll | 2 +- test/Assembler/2006-12-09-Cast-To-Bool.ll | 2 +- test/Assembler/2007-01-05-Cmp-ConstExpr.ll | 2 +- test/Assembler/2007-03-19-NegValue.ll | 2 +- test/Assembler/2007-04-20-AlignedLoad.ll | 2 +- test/Assembler/2007-04-20-AlignedStore.ll | 2 +- .../2007-04-25-AssemblerFoldExternWeak.ll | 2 +- test/Assembler/2007-05-21-Escape.ll | 2 +- test/Assembler/2007-07-19-ParamAttrAmbiguity.ll | 2 +- test/Assembler/2007-09-10-AliasFwdRef.ll | 2 +- test/Assembler/2007-09-29-GC.ll | 2 +- test/Assembler/2007-12-11-AddressSpaces.ll | 2 +- test/Assembler/2008-01-11-VarargAttrs.ll | 2 +- test/Assembler/2008-07-10-APInt.ll | 2 +- test/Assembler/2008-09-02-FunctionNotes.ll | 2 +- test/Assembler/2008-09-29-RetAttr.ll | 2 +- test/Assembler/2008-10-14-QuoteInName.ll | 2 +- test/Assembler/2009-02-01-UnnamedForwardRef.ll | 2 +- test/Assembler/2009-02-28-CastOpc.ll | 2 +- test/Assembler/2009-02-28-StripOpaqueName.ll | 2 +- test/Assembler/2009-03-24-ZextConstantExpr.ll | 2 +- test/Assembler/2009-07-24-ZeroArgGEP.ll | 2 +- ...10-02-05-FunctionLocalMetadataBecomesNull.ll | 2 +- test/Assembler/ConstantExprFold.ll | 2 +- test/Assembler/ConstantExprFoldCast.ll | 2 +- test/Assembler/ConstantExprFoldSelect.ll | 2 +- test/Assembler/ConstantExprNoFold.ll | 2 +- test/Assembler/MultipleReturnValueType.ll | 2 +- test/Assembler/addrspacecast-alias.ll | 2 +- test/Assembler/aggregate-constant-values.ll | 2 +- test/Assembler/aggregate-return-single-value.ll | 2 +- test/Assembler/align-inst.ll | 2 +- test/Assembler/alignstack.ll | 2 +- test/Assembler/anon-functions.ll | 2 +- test/Assembler/atomic.ll | 2 +- test/Assembler/auto_upgrade_intrinsics.ll | 2 +- test/Assembler/bcwrap.ll | 2 +- test/Assembler/comment.ll | 2 +- test/Assembler/externally-initialized.ll | 2 +- test/Assembler/fast-math-flags.ll | 2 +- test/Assembler/flags.ll | 2 +- test/Assembler/functionlocal-metadata.ll | 2 +- test/Assembler/getelementptr.ll | 2 +- test/Assembler/global-addrspace-forwardref.ll | 2 +- test/Assembler/half-constprop.ll | 2 +- test/Assembler/half-conv.ll | 2 +- test/Assembler/half.ll | 2 +- test/Assembler/huge-array.ll | 2 +- test/Assembler/inalloca.ll | 2 +- test/Assembler/insertextractvalue.ll | 2 +- test/Assembler/metadata.ll | 2 +- test/Assembler/named-metadata.ll | 2 +- test/Assembler/numbered-values.ll | 2 +- test/Assembler/select.ll | 2 +- test/Assembler/tls-models.ll | 2 +- test/Assembler/unnamed-addr.ll | 2 +- test/Assembler/unnamed.ll | 2 +- test/Assembler/upgrade-loop-metadata.ll | 2 +- test/Assembler/vbool-cmp.ll | 2 +- test/Assembler/vector-cmp.ll | 2 +- test/Assembler/vector-select.ll | 2 +- test/Assembler/vector-shift.ll | 2 +- test/Assembler/x86mmx.ll | 2 +- test/Bitcode/2006-12-11-Cast-ConstExpr.ll | 2 +- .../2009-06-11-FirstClassAggregateConstant.ll | 2 +- test/Bitcode/aggregateInstructions.3.2.ll | 2 +- test/Bitcode/arm32_neon_vcnt_upgrade.ll | 2 +- test/Bitcode/atomic.ll | 2 +- test/Bitcode/attributes-3.3.ll | 2 +- test/Bitcode/attributes.ll | 2 +- test/Bitcode/binaryFloatInstructions.3.2.ll | 2 +- test/Bitcode/binaryIntInstructions.3.2.ll | 2 +- test/Bitcode/bitwiseInstructions.3.2.ll | 2 +- test/Bitcode/calling-conventions.3.2.ll | 2 +- test/Bitcode/case-ranges-3.3.ll | 2 +- test/Bitcode/cmpxchg-upgrade.ll | 2 +- test/Bitcode/conversionInstructions.3.2.ll | 2 +- test/Bitcode/drop-debug-info.ll | 2 +- test/Bitcode/extractelement.ll | 2 +- test/Bitcode/flags.ll | 2 +- test/Bitcode/function-encoding-rel-operands.ll | 2 +- test/Bitcode/global-variables.3.2.ll | 2 +- test/Bitcode/inalloca.ll | 2 +- test/Bitcode/linkage-types-3.2.ll | 2 +- .../local-linkage-default-visibility.3.4.ll | 2 +- test/Bitcode/memInstructions.3.2.ll | 2 +- test/Bitcode/metadata.ll | 2 +- test/Bitcode/miscInstructions.3.2.ll | 2 +- test/Bitcode/old-aliases.ll | 2 +- test/Bitcode/ptest-new.ll | 2 +- test/Bitcode/ptest-old.ll | 2 +- test/Bitcode/select.ll | 2 +- test/Bitcode/shuffle.ll | 2 +- test/Bitcode/ssse3_palignr.ll | 2 +- test/Bitcode/tailcall.ll | 2 +- test/Bitcode/terminatorInstructions.3.2.ll | 2 +- test/Bitcode/upgrade-global-ctors.ll | 2 +- test/Bitcode/upgrade-loop-metadata.ll | 2 +- test/Bitcode/upgrade-tbaa.ll | 2 +- test/Bitcode/use-list-order.ll | 2 +- test/Bitcode/variableArgumentIntrinsic.3.2.ll | 2 +- test/Bitcode/vectorInstructions.3.2.ll | 2 +- test/Bitcode/visibility-styles.3.2.ll | 2 +- test/Bitcode/weak-cmpxchg-upgrade.ll | 2 +- .../verify-uselistorder/verify-uselistorder.cpp | 17 ++++++++++++++++- 147 files changed, 162 insertions(+), 147 deletions(-) diff --git a/test/Assembler/2002-03-08-NameCollision.ll b/test/Assembler/2002-03-08-NameCollision.ll index 958bcca1701..fb7295551db 100644 --- a/test/Assembler/2002-03-08-NameCollision.ll +++ b/test/Assembler/2002-03-08-NameCollision.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/2002-03-08-NameCollision2.ll b/test/Assembler/2002-03-08-NameCollision2.ll index 80af53fb3ef..6ec14f892f3 100644 --- a/test/Assembler/2002-03-08-NameCollision2.ll +++ b/test/Assembler/2002-03-08-NameCollision2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/2002-04-07-HexFloatConstants.ll b/test/Assembler/2002-04-07-HexFloatConstants.ll index 22ded4f2feb..518a6a31d69 100644 --- a/test/Assembler/2002-04-07-HexFloatConstants.ll +++ b/test/Assembler/2002-04-07-HexFloatConstants.ll @@ -9,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define double @test() { %tmp = fmul double 7.200000e+101, 0x427F4000 ; [#uses=1] diff --git a/test/Assembler/2002-04-07-InfConstant.ll b/test/Assembler/2002-04-07-InfConstant.ll index 5589392cb27..003c3207cc0 100644 --- a/test/Assembler/2002-04-07-InfConstant.ll +++ b/test/Assembler/2002-04-07-InfConstant.ll @@ -1,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define float @test() { %tmp = fmul float 0x7FF0000000000000, 1.000000e+01 ; [#uses=1] diff --git a/test/Assembler/2002-04-29-NameBinding.ll b/test/Assembler/2002-04-29-NameBinding.ll index 7174a8e671a..f8351b5a8b2 100644 --- a/test/Assembler/2002-04-29-NameBinding.ll +++ b/test/Assembler/2002-04-29-NameBinding.ll @@ -7,7 +7,7 @@ ; RUN: opt < %s -globaldce -S | \ ; RUN: not grep constant ; -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @v1 = internal constant i32 5 diff --git a/test/Assembler/2002-05-02-InvalidForwardRef.ll b/test/Assembler/2002-05-02-InvalidForwardRef.ll index 03e3d39c207..cb8abdf1b4e 100644 --- a/test/Assembler/2002-05-02-InvalidForwardRef.ll +++ b/test/Assembler/2002-05-02-InvalidForwardRef.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; It looks like the assembler is not forward resolving the function declaraion ; correctly. diff --git a/test/Assembler/2002-07-14-OpaqueType.ll b/test/Assembler/2002-07-14-OpaqueType.ll index 54c517427ea..79709c04a0b 100644 --- a/test/Assembler/2002-07-14-OpaqueType.ll +++ b/test/Assembler/2002-07-14-OpaqueType.ll @@ -1,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %Ty = type opaque diff --git a/test/Assembler/2002-07-25-QuoteInString.ll b/test/Assembler/2002-07-25-QuoteInString.ll index 5ca41dddcac..e6e4eae54d9 100644 --- a/test/Assembler/2002-07-25-QuoteInString.ll +++ b/test/Assembler/2002-07-25-QuoteInString.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @str = internal global [6 x i8] c"\22foo\22\00" ; <[6 x i8]*> [#uses=0] diff --git a/test/Assembler/2002-07-25-ReturnPtrFunction.ll b/test/Assembler/2002-07-25-ReturnPtrFunction.ll index b200b9f7051..a3ef8b7f361 100644 --- a/test/Assembler/2002-07-25-ReturnPtrFunction.ll +++ b/test/Assembler/2002-07-25-ReturnPtrFunction.ll @@ -2,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order declare void (i32)* @foo() diff --git a/test/Assembler/2002-07-31-SlashInString.ll b/test/Assembler/2002-07-31-SlashInString.ll index 92f8f90e69b..0bce3bcfad5 100644 --- a/test/Assembler/2002-07-31-SlashInString.ll +++ b/test/Assembler/2002-07-31-SlashInString.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | llvm-as -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Make sure that \\ works in a string initializer @Slashtest = internal global [8 x i8] c"\5Cbegin{\00" diff --git a/test/Assembler/2002-08-15-CastAmbiguity.ll b/test/Assembler/2002-08-15-CastAmbiguity.ll index 07eadb2b7d8..a99bc9ac50d 100644 --- a/test/Assembler/2002-08-15-CastAmbiguity.ll +++ b/test/Assembler/2002-08-15-CastAmbiguity.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @test(i32 %X) { call void @test( i32 6 ) diff --git a/test/Assembler/2002-08-15-ConstantExprProblem.ll b/test/Assembler/2002-08-15-ConstantExprProblem.ll index e09322de10f..45df371fd98 100644 --- a/test/Assembler/2002-08-15-ConstantExprProblem.ll +++ b/test/Assembler/2002-08-15-ConstantExprProblem.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @.LC0 = internal global [12 x i8] c"hello world\00" ; <[12 x i8]*> [#uses=1] diff --git a/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll b/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll index 2c858d84a8e..5e23eb61d06 100644 --- a/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll +++ b/test/Assembler/2002-08-15-UnresolvedGlobalReference.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @.LC0 = internal global [12 x i8] c"hello world\00" ; <[12 x i8]*> [#uses=1] diff --git a/test/Assembler/2002-08-16-ConstExprInlined.ll b/test/Assembler/2002-08-16-ConstExprInlined.ll index 9df1f46ad7a..d02b5cc6f8b 100644 --- a/test/Assembler/2002-08-16-ConstExprInlined.ll +++ b/test/Assembler/2002-08-16-ConstExprInlined.ll @@ -9,7 +9,7 @@ ; around! ; ; RUN: llvm-as < %s | llvm-dis | llvm-as -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @.LC0 = internal global [4 x i8] c"foo\00" ; <[4 x i8]*> [#uses=1] @X = global i8* null ; [#uses=0] diff --git a/test/Assembler/2002-08-19-BytecodeReader.ll b/test/Assembler/2002-08-19-BytecodeReader.ll index 8d369e5b9c1..2b4ae75fb1d 100644 --- a/test/Assembler/2002-08-19-BytecodeReader.ll +++ b/test/Assembler/2002-08-19-BytecodeReader.ll @@ -2,7 +2,7 @@ ; "crafty" spec benchmark. ; ; RUN: opt < %s -instcombine | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %CHESS_POSITION = type { i32, i32 } @pawn_probes = external global i32 ; [#uses=0] diff --git a/test/Assembler/2002-08-22-DominanceProblem.ll b/test/Assembler/2002-08-22-DominanceProblem.ll index 4097f0ab629..2926294f72d 100644 --- a/test/Assembler/2002-08-22-DominanceProblem.ll +++ b/test/Assembler/2002-08-22-DominanceProblem.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Dominance relationships is not calculated correctly for unreachable blocks, ; which causes the verifier to barf on this input. diff --git a/test/Assembler/2002-10-08-LargeArrayPerformance.ll b/test/Assembler/2002-10-08-LargeArrayPerformance.ll index 99a264a2cc1..a3e031fcf8b 100644 --- a/test/Assembler/2002-10-08-LargeArrayPerformance.ll +++ b/test/Assembler/2002-10-08-LargeArrayPerformance.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/2002-10-13-ConstantEncodingProblem.ll b/test/Assembler/2002-10-13-ConstantEncodingProblem.ll index 5765e55d74b..0ff1a2d027f 100644 --- a/test/Assembler/2002-10-13-ConstantEncodingProblem.ll +++ b/test/Assembler/2002-10-13-ConstantEncodingProblem.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %Domain = type { %Domain**, %Domain* } @D = global %Domain zeroinitializer ; <%Domain*> [#uses=0] diff --git a/test/Assembler/2002-12-15-GlobalResolve.ll b/test/Assembler/2002-12-15-GlobalResolve.ll index c4fa4f46086..2a49f978074 100644 --- a/test/Assembler/2002-12-15-GlobalResolve.ll +++ b/test/Assembler/2002-12-15-GlobalResolve.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @X = external global i32* @X1 = external global %T* diff --git a/test/Assembler/2003-01-30-UnsignedString.ll b/test/Assembler/2003-01-30-UnsignedString.ll index bd4594be563..b66341b61b1 100644 --- a/test/Assembler/2003-01-30-UnsignedString.ll +++ b/test/Assembler/2003-01-30-UnsignedString.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @spell_order = global [4 x i8] c"\FF\00\F7\00" diff --git a/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll b/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll index d47610a1d1c..25d718ccbc9 100644 --- a/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll +++ b/test/Assembler/2003-04-25-UnresolvedGlobalReference.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; There should be absolutely no problem with this testcase. define i32 @test(i32 %arg1, i32 %arg2) { diff --git a/test/Assembler/2003-05-03-BytecodeReaderProblem.ll b/test/Assembler/2003-05-03-BytecodeReaderProblem.ll index 2d8be31acbf..12017831221 100644 --- a/test/Assembler/2003-05-03-BytecodeReaderProblem.ll +++ b/test/Assembler/2003-05-03-BytecodeReaderProblem.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @test() { %tmp.123 = trunc i64 0 to i32 ; [#uses=0] diff --git a/test/Assembler/2003-05-12-MinIntProblem.ll b/test/Assembler/2003-05-12-MinIntProblem.ll index 71b4f83ca0b..78a4796fac7 100644 --- a/test/Assembler/2003-05-12-MinIntProblem.ll +++ b/test/Assembler/2003-05-12-MinIntProblem.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep -- -2147483648 -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define i32 @foo() { ret i32 -2147483648 diff --git a/test/Assembler/2003-05-15-AssemblerProblem.ll b/test/Assembler/2003-05-15-AssemblerProblem.ll index 6651d4050a0..fcab14f2e7d 100644 --- a/test/Assembler/2003-05-15-AssemblerProblem.ll +++ b/test/Assembler/2003-05-15-AssemblerProblem.ll @@ -1,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @test() { call void (...)* bitcast (void (i16*, i32)* @AddString to void (...)*)( i16* null, i32 0 ) diff --git a/test/Assembler/2003-05-15-SwitchBug.ll b/test/Assembler/2003-05-15-SwitchBug.ll index 9be311e0599..37bec39e6a5 100644 --- a/test/Assembler/2003-05-15-SwitchBug.ll +++ b/test/Assembler/2003-05-15-SwitchBug.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Check minimal switch statement diff --git a/test/Assembler/2003-05-21-ConstantShiftExpr.ll b/test/Assembler/2003-05-21-ConstantShiftExpr.ll index fcb0cfbbd08..c4751b42387 100644 --- a/test/Assembler/2003-05-21-ConstantShiftExpr.ll +++ b/test/Assembler/2003-05-21-ConstantShiftExpr.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Test that shift instructions can be used in constant expressions. global i32 3670016 diff --git a/test/Assembler/2003-05-21-EmptyStructTest.ll b/test/Assembler/2003-05-21-EmptyStructTest.ll index 17621c30ab7..1ef5753caf7 100644 --- a/test/Assembler/2003-05-21-EmptyStructTest.ll +++ b/test/Assembler/2003-05-21-EmptyStructTest.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll b/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll index 0679ac35fc6..94ade481b89 100644 --- a/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll +++ b/test/Assembler/2003-08-20-ConstantExprGEP-Fold.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -instcombine -simplifycfg -S | not grep br -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @.str_1 = internal constant [6 x i8] c"_Bool\00" ; <[6 x i8]*> [#uses=2] diff --git a/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll b/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll index ff84698e6e0..938e70b20fd 100644 --- a/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll +++ b/test/Assembler/2003-08-21-ConstantExprCast-Fold.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | not grep getelementptr -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @A = external global { float } ; <{ float }*> [#uses=2] global i32* bitcast ({ float }* @A to i32*) ; :0 [#uses=0] diff --git a/test/Assembler/2003-11-05-ConstantExprShift.ll b/test/Assembler/2003-11-05-ConstantExprShift.ll index 17587c64191..09597793d98 100644 --- a/test/Assembler/2003-11-05-ConstantExprShift.ll +++ b/test/Assembler/2003-11-05-ConstantExprShift.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define i32 @test() { ret i32 ashr (i32 ptrtoint (i32 ()* @test to i32), i32 2) diff --git a/test/Assembler/2003-11-12-ConstantExprCast.ll b/test/Assembler/2003-11-12-ConstantExprCast.ll index 12b4eadd7b6..43234eb55b3 100644 --- a/test/Assembler/2003-11-12-ConstantExprCast.ll +++ b/test/Assembler/2003-11-12-ConstantExprCast.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | not grep " bitcast (" -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @.Base64_1 = external constant [4 x i8] ; <[4 x i8]*> [#uses=1] diff --git a/test/Assembler/2004-01-11-getelementptrfolding.ll b/test/Assembler/2004-01-11-getelementptrfolding.ll index fb33d8cb4ef..42a99b12f52 100644 --- a/test/Assembler/2004-01-11-getelementptrfolding.ll +++ b/test/Assembler/2004-01-11-getelementptrfolding.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %struct.TTriangleItem = type { i8*, i8*, [3 x %struct.TUVVertex] } %struct.TUVVertex = type { i16, i16, i16, i16 } diff --git a/test/Assembler/2004-01-20-MaxLongLong.ll b/test/Assembler/2004-01-20-MaxLongLong.ll index 6c70ca1bc84..4087688ed7b 100644 --- a/test/Assembler/2004-01-20-MaxLongLong.ll +++ b/test/Assembler/2004-01-20-MaxLongLong.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep 9223372036854775808 -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order global i64 -9223372036854775808 diff --git a/test/Assembler/2004-02-01-NegativeZero.ll b/test/Assembler/2004-02-01-NegativeZero.ll index d1a3884bf5b..1359c7394c9 100644 --- a/test/Assembler/2004-02-01-NegativeZero.ll +++ b/test/Assembler/2004-02-01-NegativeZero.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep -- -0.0 -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order global double 0x8000000000000000 global float -0.0 diff --git a/test/Assembler/2004-02-27-SelfUseAssertError.ll b/test/Assembler/2004-02-27-SelfUseAssertError.ll index f3cf577b504..a8bc875f9cc 100644 --- a/test/Assembler/2004-02-27-SelfUseAssertError.ll +++ b/test/Assembler/2004-02-27-SelfUseAssertError.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; %inc2 uses it's own value, but that's ok, as it's unreachable! diff --git a/test/Assembler/2004-03-07-FunctionAddressAlignment.ll b/test/Assembler/2004-03-07-FunctionAddressAlignment.ll index 4c320f1b488..65f3162f0fa 100644 --- a/test/Assembler/2004-03-07-FunctionAddressAlignment.ll +++ b/test/Assembler/2004-03-07-FunctionAddressAlignment.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | not grep ptrtoint -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; All of these should be eliminable diff --git a/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll b/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll index c40f8ede814..64c64c6f5b0 100644 --- a/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll +++ b/test/Assembler/2004-04-04-GetElementPtrIndexTypes.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define i32* @t1({ float, i32 }* %X) { %W = getelementptr { float, i32 }* %X, i32 20, i32 1 ; [#uses=0] diff --git a/test/Assembler/2004-06-07-VerifierBug.ll b/test/Assembler/2004-06-07-VerifierBug.ll index c049a74371b..3f275cca58e 100644 --- a/test/Assembler/2004-06-07-VerifierBug.ll +++ b/test/Assembler/2004-06-07-VerifierBug.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s > /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @t() { entry: diff --git a/test/Assembler/2004-10-22-BCWriterUndefBug.ll b/test/Assembler/2004-10-22-BCWriterUndefBug.ll index 88c3c2749d0..31ece680c05 100644 --- a/test/Assembler/2004-10-22-BCWriterUndefBug.ll +++ b/test/Assembler/2004-10-22-BCWriterUndefBug.ll @@ -1,6 +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 +;; RUN: verify-uselistorder %s -preserve-bc-use-list-order @G = internal global [8 x i8] undef diff --git a/test/Assembler/2005-01-03-FPConstantDisassembly.ll b/test/Assembler/2005-01-03-FPConstantDisassembly.ll index 4de4a2057d7..719b15978e5 100644 --- a/test/Assembler/2005-01-03-FPConstantDisassembly.ll +++ b/test/Assembler/2005-01-03-FPConstantDisassembly.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep 1.0 -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define double @test() { ret double 1.0 ;; This should not require hex notation diff --git a/test/Assembler/2005-01-31-CallingAggregateFunction.ll b/test/Assembler/2005-01-31-CallingAggregateFunction.ll index 7aa2c2bad97..88b51f8bb4e 100644 --- a/test/Assembler/2005-01-31-CallingAggregateFunction.ll +++ b/test/Assembler/2005-01-31-CallingAggregateFunction.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @test() { call {i32} @foo() diff --git a/test/Assembler/2005-05-05-OpaqueUndefValues.ll b/test/Assembler/2005-05-05-OpaqueUndefValues.ll index 832b37e3212..022440ec325 100644 --- a/test/Assembler/2005-05-05-OpaqueUndefValues.ll +++ b/test/Assembler/2005-05-05-OpaqueUndefValues.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | llvm-as > /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %t = type opaque @x = global %t undef diff --git a/test/Assembler/2005-12-21-ZeroInitVector.ll b/test/Assembler/2005-12-21-ZeroInitVector.ll index f758179808b..3ddd2b5d253 100644 --- a/test/Assembler/2005-12-21-ZeroInitVector.ll +++ b/test/Assembler/2005-12-21-ZeroInitVector.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s > /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define <4 x i32> @foo() { ret <4 x i32> zeroinitializer diff --git a/test/Assembler/2006-12-09-Cast-To-Bool.ll b/test/Assembler/2006-12-09-Cast-To-Bool.ll index 5571e115cef..5bde5ce4cf5 100644 --- a/test/Assembler/2006-12-09-Cast-To-Bool.ll +++ b/test/Assembler/2006-12-09-Cast-To-Bool.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep bitcast -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define i1 @main(i32 %X) { %res = bitcast i1 true to i1 diff --git a/test/Assembler/2007-01-05-Cmp-ConstExpr.ll b/test/Assembler/2007-01-05-Cmp-ConstExpr.ll index 22c7a281add..97c6e5a7d70 100644 --- a/test/Assembler/2007-01-05-Cmp-ConstExpr.ll +++ b/test/Assembler/2007-01-05-Cmp-ConstExpr.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @str = internal constant [4 x i8] c"-ga\00" ; <[4 x i8]*> [#uses=2] diff --git a/test/Assembler/2007-03-19-NegValue.ll b/test/Assembler/2007-03-19-NegValue.ll index 908b3856747..efdf61e2492 100644 --- a/test/Assembler/2007-03-19-NegValue.ll +++ b/test/Assembler/2007-03-19-NegValue.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define i65 @testConsts(i65 %N) { %a = add i65 %N, -1 diff --git a/test/Assembler/2007-04-20-AlignedLoad.ll b/test/Assembler/2007-04-20-AlignedLoad.ll index 2586a089c12..31aef1dadea 100644 --- a/test/Assembler/2007-04-20-AlignedLoad.ll +++ b/test/Assembler/2007-04-20-AlignedLoad.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep "align 1024" -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define i32 @test(i32* %arg) { entry: diff --git a/test/Assembler/2007-04-20-AlignedStore.ll b/test/Assembler/2007-04-20-AlignedStore.ll index bc29298aaf4..d46fdfa8f6e 100644 --- a/test/Assembler/2007-04-20-AlignedStore.ll +++ b/test/Assembler/2007-04-20-AlignedStore.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep "align 1024" -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @test(i32* %arg) { entry: diff --git a/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll b/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll index 5f2ecc4f04c..7471fdbabe5 100644 --- a/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll +++ b/test/Assembler/2007-04-25-AssemblerFoldExternWeak.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; PR1358 @G = global i1 icmp ne (i32 (...)* @test_weak, i32 (...)* null) diff --git a/test/Assembler/2007-05-21-Escape.ll b/test/Assembler/2007-05-21-Escape.ll index 9eb1d74af24..a6217828c1e 100644 --- a/test/Assembler/2007-05-21-Escape.ll +++ b/test/Assembler/2007-05-21-Escape.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order 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/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll b/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll index 1bb9ad1fb1d..a4d0437ddb2 100644 --- a/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll +++ b/test/Assembler/2007-07-19-ParamAttrAmbiguity.ll @@ -1,6 +1,6 @@ ; PR1553 ; RUN: llvm-as < %s > /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @bar() { %t = call i8 @foo( i8 10 ) zext i8 %t to i32 diff --git a/test/Assembler/2007-09-10-AliasFwdRef.ll b/test/Assembler/2007-09-10-AliasFwdRef.ll index 7d130960f8d..8478809dbd8 100644 --- a/test/Assembler/2007-09-10-AliasFwdRef.ll +++ b/test/Assembler/2007-09-10-AliasFwdRef.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; PR1645 @__gthread_active_ptr.5335 = internal constant i8* bitcast (i32 (i32)* @__gthrw_pthread_cancel to i8*) diff --git a/test/Assembler/2007-09-29-GC.ll b/test/Assembler/2007-09-29-GC.ll index d0f894c3e6b..6a614d500c6 100644 --- a/test/Assembler/2007-09-29-GC.ll +++ b/test/Assembler/2007-09-29-GC.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @f() gc "shadowstack" { entry: diff --git a/test/Assembler/2007-12-11-AddressSpaces.ll b/test/Assembler/2007-12-11-AddressSpaces.ll index a1fb7fafd53..6878d5d1af5 100644 --- a/test/Assembler/2007-12-11-AddressSpaces.ll +++ b/test/Assembler/2007-12-11-AddressSpaces.ll @@ -3,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %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/test/Assembler/2008-01-11-VarargAttrs.ll b/test/Assembler/2008-01-11-VarargAttrs.ll index dd1eed283f3..040d1b00bb7 100644 --- a/test/Assembler/2008-01-11-VarargAttrs.ll +++ b/test/Assembler/2008-01-11-VarargAttrs.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | grep byval -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %struct = type { } diff --git a/test/Assembler/2008-07-10-APInt.ll b/test/Assembler/2008-07-10-APInt.ll index 3a54c8e00d4..2a8bab4c239 100644 --- a/test/Assembler/2008-07-10-APInt.ll +++ b/test/Assembler/2008-07-10-APInt.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/2008-09-02-FunctionNotes.ll b/test/Assembler/2008-09-02-FunctionNotes.ll index c3f077d79ed..6ab85faf3fb 100644 --- a/test/Assembler/2008-09-02-FunctionNotes.ll +++ b/test/Assembler/2008-09-02-FunctionNotes.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: define void @fn1() #0 define void @fn1() alwaysinline { diff --git a/test/Assembler/2008-09-29-RetAttr.ll b/test/Assembler/2008-09-29-RetAttr.ll index bb20c7fbfea..dff00bd0e79 100644 --- a/test/Assembler/2008-09-29-RetAttr.ll +++ b/test/Assembler/2008-09-29-RetAttr.ll @@ -1,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define inreg i32 @fn1() { ret i32 0 diff --git a/test/Assembler/2008-10-14-QuoteInName.ll b/test/Assembler/2008-10-14-QuoteInName.ll index f3dc23979d5..24a64b2d8fb 100644 --- a/test/Assembler/2008-10-14-QuoteInName.ll +++ b/test/Assembler/2008-10-14-QuoteInName.ll @@ -1,4 +1,4 @@ ; RUN: llvm-as < %s | llvm-dis | grep "quote" -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @"a\22quote" = global i32 0 diff --git a/test/Assembler/2009-02-01-UnnamedForwardRef.ll b/test/Assembler/2009-02-01-UnnamedForwardRef.ll index 9d60e9d4268..33dfe82de04 100644 --- a/test/Assembler/2009-02-01-UnnamedForwardRef.ll +++ b/test/Assembler/2009-02-01-UnnamedForwardRef.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; PR3372 @X = global i32* @0 diff --git a/test/Assembler/2009-02-28-CastOpc.ll b/test/Assembler/2009-02-28-CastOpc.ll index 9d557a0c843..66063c2f369 100644 --- a/test/Assembler/2009-02-28-CastOpc.ll +++ b/test/Assembler/2009-02-28-CastOpc.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @foo() { diff --git a/test/Assembler/2009-02-28-StripOpaqueName.ll b/test/Assembler/2009-02-28-StripOpaqueName.ll index cefd78cc1da..386bef70bb9 100644 --- a/test/Assembler/2009-02-28-StripOpaqueName.ll +++ b/test/Assembler/2009-02-28-StripOpaqueName.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -strip -S | llvm-as | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Stripping the name from A should not break references to it. %A = type opaque diff --git a/test/Assembler/2009-03-24-ZextConstantExpr.ll b/test/Assembler/2009-03-24-ZextConstantExpr.ll index 37bb2efe819..32729227069 100644 --- a/test/Assembler/2009-03-24-ZextConstantExpr.ll +++ b/test/Assembler/2009-03-24-ZextConstantExpr.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; PR3876 @gdtr = external global [0 x i8] diff --git a/test/Assembler/2009-07-24-ZeroArgGEP.ll b/test/Assembler/2009-07-24-ZeroArgGEP.ll index d37601b6ce6..6f60263822f 100644 --- a/test/Assembler/2009-07-24-ZeroArgGEP.ll +++ b/test/Assembler/2009-07-24-ZeroArgGEP.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @foo = global i32 0 @bar = constant i32* getelementptr(i32* @foo) diff --git a/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll b/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll index 87470b6223e..ceea4989895 100644 --- a/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll +++ b/test/Assembler/2010-02-05-FunctionLocalMetadataBecomesNull.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order 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/test/Assembler/ConstantExprFold.ll b/test/Assembler/ConstantExprFold.ll index f3da4e089b4..4c239c2c332 100644 --- a/test/Assembler/ConstantExprFold.ll +++ b/test/Assembler/ConstantExprFold.ll @@ -2,7 +2,7 @@ ; situations ; RUN: llvm-as < %s | llvm-dis | not grep "(" -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @A = global i64 0 diff --git a/test/Assembler/ConstantExprFoldCast.ll b/test/Assembler/ConstantExprFoldCast.ll index 825ca573d94..07da7aa41a4 100644 --- a/test/Assembler/ConstantExprFoldCast.ll +++ b/test/Assembler/ConstantExprFoldCast.ll @@ -1,7 +1,7 @@ ; This test checks to make sure that constant exprs fold in some simple situations ; RUN: llvm-as < %s | llvm-dis | not grep cast -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @A = global i32* bitcast (i8* null to i32*) ; Cast null -> fold @B = global i32** bitcast (i32** @A to i32**) ; Cast to same type -> fold diff --git a/test/Assembler/ConstantExprFoldSelect.ll b/test/Assembler/ConstantExprFoldSelect.ll index 82c2b9cd9c1..01c66217e79 100644 --- a/test/Assembler/ConstantExprFoldSelect.ll +++ b/test/Assembler/ConstantExprFoldSelect.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; PR18319 define void @function() { diff --git a/test/Assembler/ConstantExprNoFold.ll b/test/Assembler/ConstantExprNoFold.ll index 97a20d69e6c..d21441372bf 100644 --- a/test/Assembler/ConstantExprNoFold.ll +++ b/test/Assembler/ConstantExprNoFold.ll @@ -2,7 +2,7 @@ ; situations ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Even give it a datalayout, to tempt folding as much as possible. target datalayout = "p:32:32" diff --git a/test/Assembler/MultipleReturnValueType.ll b/test/Assembler/MultipleReturnValueType.ll index eb605976f3b..f0dd0d501a4 100644 --- a/test/Assembler/MultipleReturnValueType.ll +++ b/test/Assembler/MultipleReturnValueType.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %struct.S_102 = type { float, float } diff --git a/test/Assembler/addrspacecast-alias.ll b/test/Assembler/addrspacecast-alias.ll index 40ca1e3e566..0c55fbd060c 100644 --- a/test/Assembler/addrspacecast-alias.ll +++ b/test/Assembler/addrspacecast-alias.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Test that global aliases are allowed to be constant addrspacecast diff --git a/test/Assembler/aggregate-constant-values.ll b/test/Assembler/aggregate-constant-values.ll index bb4c6b00e77..dda604f492a 100644 --- a/test/Assembler/aggregate-constant-values.ll +++ b/test/Assembler/aggregate-constant-values.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: @foo ; CHECK: store { i32, i32 } { i32 7, i32 9 }, { i32, i32 }* %x diff --git a/test/Assembler/aggregate-return-single-value.ll b/test/Assembler/aggregate-return-single-value.ll index 49229933ec2..cd9cc241bd3 100644 --- a/test/Assembler/aggregate-return-single-value.ll +++ b/test/Assembler/aggregate-return-single-value.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define { i32 } @foob() nounwind { ret {i32}{ i32 0 } diff --git a/test/Assembler/align-inst.ll b/test/Assembler/align-inst.ll index dc22a3df531..7f4b81f3e1a 100644 --- a/test/Assembler/align-inst.ll +++ b/test/Assembler/align-inst.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @A = global i1 0, align 536870912 diff --git a/test/Assembler/alignstack.ll b/test/Assembler/alignstack.ll index 6efae91b4d8..047a4274b5f 100644 --- a/test/Assembler/alignstack.ll +++ b/test/Assembler/alignstack.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order 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/test/Assembler/anon-functions.ll b/test/Assembler/anon-functions.ll index 5329cd6aa11..2f8bae07ffa 100644 --- a/test/Assembler/anon-functions.ll +++ b/test/Assembler/anon-functions.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/atomic.ll b/test/Assembler/atomic.ll index a953015fd69..162bbcbf3b2 100644 --- a/test/Assembler/atomic.ll +++ b/test/Assembler/atomic.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s | opt -S | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Basic smoke test for atomic operations. define void @f(i32* %x) { diff --git a/test/Assembler/auto_upgrade_intrinsics.ll b/test/Assembler/auto_upgrade_intrinsics.ll index e207588216b..327f9fbaf1a 100644 --- a/test/Assembler/auto_upgrade_intrinsics.ll +++ b/test/Assembler/auto_upgrade_intrinsics.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order declare i8 @llvm.ctlz.i8(i8) declare i16 @llvm.ctlz.i16(i16) diff --git a/test/Assembler/bcwrap.ll b/test/Assembler/bcwrap.ll index 4805900c434..4b862ec4b65 100644 --- a/test/Assembler/bcwrap.ll +++ b/test/Assembler/bcwrap.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/comment.ll b/test/Assembler/comment.ll index 265065b9ee0..24c124006b2 100644 --- a/test/Assembler/comment.ll +++ b/test/Assembler/comment.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; The bare version of this file should not have any #uses lines. ; BARE: @B = diff --git a/test/Assembler/externally-initialized.ll b/test/Assembler/externally-initialized.ll index 7c30677d42f..6a3c6c315f7 100644 --- a/test/Assembler/externally-initialized.ll +++ b/test/Assembler/externally-initialized.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: @G = externally_initialized global i32 0 diff --git a/test/Assembler/fast-math-flags.ll b/test/Assembler/fast-math-flags.ll index 3a334a24a1c..99d8b765d18 100644 --- a/test/Assembler/fast-math-flags.ll +++ b/test/Assembler/fast-math-flags.ll @@ -1,6 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @addr = external global i64 @select = external global i1 diff --git a/test/Assembler/flags.ll b/test/Assembler/flags.ll index 24cd5dbdf83..dd7d49ddb64 100644 --- a/test/Assembler/flags.ll +++ b/test/Assembler/flags.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order @addr = external global i64 diff --git a/test/Assembler/functionlocal-metadata.ll b/test/Assembler/functionlocal-metadata.ll index 7ab49901bd0..3fcf636a72c 100644 --- a/test/Assembler/functionlocal-metadata.ll +++ b/test/Assembler/functionlocal-metadata.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @Foo(i32 %a, i32 %b) { entry: diff --git a/test/Assembler/getelementptr.ll b/test/Assembler/getelementptr.ll index c531b4a0d4d..e85a648af70 100644 --- a/test/Assembler/getelementptr.ll +++ b/test/Assembler/getelementptr.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Verify that over-indexed getelementptrs are folded. @A = external global [2 x [3 x [5 x [7 x i32]]]] diff --git a/test/Assembler/global-addrspace-forwardref.ll b/test/Assembler/global-addrspace-forwardref.ll index ca82dd7ca6e..94c641d0801 100644 --- a/test/Assembler/global-addrspace-forwardref.ll +++ b/test/Assembler/global-addrspace-forwardref.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Make sure the address space of forward decls is preserved diff --git a/test/Assembler/half-constprop.ll b/test/Assembler/half-constprop.ll index c4429bcaddb..82c2099bf48 100644 --- a/test/Assembler/half-constprop.ll +++ b/test/Assembler/half-constprop.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -O3 -S | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Testing half constant propagation. define half @abc() nounwind { diff --git a/test/Assembler/half-conv.ll b/test/Assembler/half-conv.ll index 95c1365ffe7..b45f27134dd 100644 --- a/test/Assembler/half-conv.ll +++ b/test/Assembler/half-conv.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -O3 -S | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Testing half to float conversion. define float @abc() nounwind { diff --git a/test/Assembler/half.ll b/test/Assembler/half.ll index 515322ef6ec..372887708aa 100644 --- a/test/Assembler/half.ll +++ b/test/Assembler/half.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Basic smoke test for half type. ; CHECK: define half @halftest diff --git a/test/Assembler/huge-array.ll b/test/Assembler/huge-array.ll index 4d70c72bb4d..62f9e7f9c40 100644 --- a/test/Assembler/huge-array.ll +++ b/test/Assembler/huge-array.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: define [18446744073709551615 x i8]* @foo() { ; CHECK: ret [18446744073709551615 x i8]* null diff --git a/test/Assembler/inalloca.ll b/test/Assembler/inalloca.ll index 4a88020150b..4dd1b90f3f9 100644 --- a/test/Assembler/inalloca.ll +++ b/test/Assembler/inalloca.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @a() { entry: diff --git a/test/Assembler/insertextractvalue.ll b/test/Assembler/insertextractvalue.ll index 9215e2839f3..f68ac00d569 100644 --- a/test/Assembler/insertextractvalue.ll +++ b/test/Assembler/insertextractvalue.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: @foo ; CHECK-NEXT: load diff --git a/test/Assembler/metadata.ll b/test/Assembler/metadata.ll index de07ddd3853..397b777f48a 100644 --- a/test/Assembler/metadata.ll +++ b/test/Assembler/metadata.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: @test ; CHECK: ret void, !bar !1, !foo !0 diff --git a/test/Assembler/named-metadata.ll b/test/Assembler/named-metadata.ll index a21e4649dda..9ef2e27570e 100644 --- a/test/Assembler/named-metadata.ll +++ b/test/Assembler/named-metadata.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order !0 = metadata !{metadata !"zero"} !1 = metadata !{metadata !"one"} diff --git a/test/Assembler/numbered-values.ll b/test/Assembler/numbered-values.ll index affdd21fdf5..21a0c8a95c8 100644 --- a/test/Assembler/numbered-values.ll +++ b/test/Assembler/numbered-values.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; PR2480 define i32 @test(i32 %X) nounwind { diff --git a/test/Assembler/select.ll b/test/Assembler/select.ll index 026f17344fe..ea94a9c5ea8 100644 --- a/test/Assembler/select.ll +++ b/test/Assembler/select.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o /dev/null -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define i32 @test(i1 %C, i32 %V1, i32 %V2) { diff --git a/test/Assembler/tls-models.ll b/test/Assembler/tls-models.ll index ec02eaf557f..4113ac7c365 100644 --- a/test/Assembler/tls-models.ll +++ b/test/Assembler/tls-models.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: @a = thread_local global i32 0 ; CHECK: @b = thread_local(localdynamic) global i32 0 diff --git a/test/Assembler/unnamed-addr.ll b/test/Assembler/unnamed-addr.ll index 64e59157483..2d061ce18b7 100644 --- a/test/Assembler/unnamed-addr.ll +++ b/test/Assembler/unnamed-addr.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order %struct.foobar = type { i32 } diff --git a/test/Assembler/unnamed.ll b/test/Assembler/unnamed.ll index f77228cea1e..8f205432613 100644 --- a/test/Assembler/unnamed.ll +++ b/test/Assembler/unnamed.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order 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/test/Assembler/upgrade-loop-metadata.ll b/test/Assembler/upgrade-loop-metadata.ll index 05bd2adfc71..c05e1a25c0d 100644 --- a/test/Assembler/upgrade-loop-metadata.ll +++ b/test/Assembler/upgrade-loop-metadata.ll @@ -5,7 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order define void @_Z28loop_with_vectorize_metadatav() { entry: diff --git a/test/Assembler/vbool-cmp.ll b/test/Assembler/vbool-cmp.ll index 5ce7e56f455..15c0be979f0 100644 --- a/test/Assembler/vbool-cmp.ll +++ b/test/Assembler/vbool-cmp.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Rudimentary test of fcmp/icmp on vectors returning vector of bool ; CHECK: @ffoo diff --git a/test/Assembler/vector-cmp.ll b/test/Assembler/vector-cmp.ll index e44443f87e8..b41b5674f74 100644 --- a/test/Assembler/vector-cmp.ll +++ b/test/Assembler/vector-cmp.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; 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/test/Assembler/vector-select.ll b/test/Assembler/vector-select.ll index 750b0acc664..1b1f0a35ba3 100644 --- a/test/Assembler/vector-select.ll +++ b/test/Assembler/vector-select.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Rudimentary test of select on vectors returning vector of bool ; CHECK: @foo diff --git a/test/Assembler/vector-shift.ll b/test/Assembler/vector-shift.ll index d2bca557a04..69b6cb10dd2 100644 --- a/test/Assembler/vector-shift.ll +++ b/test/Assembler/vector-shift.ll @@ -1,5 +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 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; CHECK: @foo ; CHECK: shl diff --git a/test/Assembler/x86mmx.ll b/test/Assembler/x86mmx.ll index da93e9ac5a6..286030f6c9f 100644 --- a/test/Assembler/x86mmx.ll +++ b/test/Assembler/x86mmx.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder %s -preserve-bc-use-list-order ; Basic smoke test for x86_mmx type. ; CHECK: define x86_mmx @sh16 diff --git a/test/Bitcode/2006-12-11-Cast-ConstExpr.ll b/test/Bitcode/2006-12-11-Cast-ConstExpr.ll index 461a92a84a1..9c238db17a8 100644 --- a/test/Bitcode/2006-12-11-Cast-ConstExpr.ll +++ b/test/Bitcode/2006-12-11-Cast-ConstExpr.ll @@ -1,7 +1,7 @@ ; This test ensures that we get a bitcast constant expression in and out, ; not a sitofp constant expression. ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; CHECK: bitcast ( @G = external global i32 diff --git a/test/Bitcode/2009-06-11-FirstClassAggregateConstant.ll b/test/Bitcode/2009-06-11-FirstClassAggregateConstant.ll index 16f7e9ab9ae..e45ddaccf6a 100644 --- a/test/Bitcode/2009-06-11-FirstClassAggregateConstant.ll +++ b/test/Bitcode/2009-06-11-FirstClassAggregateConstant.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -disable-output -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; PR4373 @foo = weak global { i32 } zeroinitializer diff --git a/test/Bitcode/aggregateInstructions.3.2.ll b/test/Bitcode/aggregateInstructions.3.2.ll index 2853823f1c9..bb93afe058a 100644 --- a/test/Bitcode/aggregateInstructions.3.2.ll +++ b/test/Bitcode/aggregateInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; aggregateOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread instructions with aggregate operands diff --git a/test/Bitcode/arm32_neon_vcnt_upgrade.ll b/test/Bitcode/arm32_neon_vcnt_upgrade.ll index c1eba948b6b..6d309bd5c5f 100644 --- a/test/Bitcode/arm32_neon_vcnt_upgrade.ll +++ b/test/Bitcode/arm32_neon_vcnt_upgrade.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; Tests vclz and vcnt define <4 x i16> @vclz16(<4 x i16>* %A) nounwind { diff --git a/test/Bitcode/atomic.ll b/test/Bitcode/atomic.ll index bccb868653c..e45ef16aaee 100644 --- a/test/Bitcode/atomic.ll +++ b/test/Bitcode/atomic.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as %s -o - | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order define void @test_cmpxchg(i32* %addr, i32 %desired, i32 %new) { cmpxchg i32* %addr, i32 %desired, i32 %new seq_cst seq_cst diff --git a/test/Bitcode/attributes-3.3.ll b/test/Bitcode/attributes-3.3.ll index 359d7ce3875..441e3562c4e 100644 --- a/test/Bitcode/attributes-3.3.ll +++ b/test/Bitcode/attributes-3.3.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; attributes-3.3.ll.bc was generated by passing this file to llvm-as-3.3. ; The test checks that LLVM does not silently misread attributes of diff --git a/test/Bitcode/attributes.ll b/test/Bitcode/attributes.ll index 8286e396adf..154355829d3 100644 --- a/test/Bitcode/attributes.ll +++ b/test/Bitcode/attributes.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; PR12696 define void @f1(i8 zeroext) diff --git a/test/Bitcode/binaryFloatInstructions.3.2.ll b/test/Bitcode/binaryFloatInstructions.3.2.ll index 4df57109435..30c21da2d24 100644 --- a/test/Bitcode/binaryFloatInstructions.3.2.ll +++ b/test/Bitcode/binaryFloatInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; BinaryFloatOperation.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread binary float instructions from diff --git a/test/Bitcode/binaryIntInstructions.3.2.ll b/test/Bitcode/binaryIntInstructions.3.2.ll index 4559b4f4526..ba10399a1f5 100644 --- a/test/Bitcode/binaryIntInstructions.3.2.ll +++ b/test/Bitcode/binaryIntInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; BinaryIntOperation.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread binary integer instructions from diff --git a/test/Bitcode/bitwiseInstructions.3.2.ll b/test/Bitcode/bitwiseInstructions.3.2.ll index f6d46577d97..ad251104ec7 100644 --- a/test/Bitcode/bitwiseInstructions.3.2.ll +++ b/test/Bitcode/bitwiseInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; bitwiseOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread bitwise instructions from diff --git a/test/Bitcode/calling-conventions.3.2.ll b/test/Bitcode/calling-conventions.3.2.ll index e1f16349499..6f3d1d03650 100644 --- a/test/Bitcode/calling-conventions.3.2.ll +++ b/test/Bitcode/calling-conventions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; calling-conventions.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not silently misread calling conventions of diff --git a/test/Bitcode/case-ranges-3.3.ll b/test/Bitcode/case-ranges-3.3.ll index eaab6ec5823..1998b35f2e3 100644 --- a/test/Bitcode/case-ranges-3.3.ll +++ b/test/Bitcode/case-ranges-3.3.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; case-ranges.ll.bc was generated by passing this file to llvm-as from the 3.3 ; release of LLVM. This tests that the bitcode for switches from that release diff --git a/test/Bitcode/cmpxchg-upgrade.ll b/test/Bitcode/cmpxchg-upgrade.ll index 2a69ec5db5b..78a9cc936d3 100644 --- a/test/Bitcode/cmpxchg-upgrade.ll +++ b/test/Bitcode/cmpxchg-upgrade.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc | FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; cmpxchg-upgrade.ll.bc was produced by running a version of llvm-as from just ; before the IR change on this file. diff --git a/test/Bitcode/conversionInstructions.3.2.ll b/test/Bitcode/conversionInstructions.3.2.ll index 550d44349e7..2aa156404dd 100644 --- a/test/Bitcode/conversionInstructions.3.2.ll +++ b/test/Bitcode/conversionInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; conversionOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread conversion instructions from diff --git a/test/Bitcode/drop-debug-info.ll b/test/Bitcode/drop-debug-info.ll index ee860115a83..d2f281ac0a6 100644 --- a/test/Bitcode/drop-debug-info.ll +++ b/test/Bitcode/drop-debug-info.ll @@ -1,6 +1,6 @@ ; RUN: llvm-as < %s -o %t.bc 2>&1 >/dev/null | FileCheck -check-prefix=WARN %s ; RUN: llvm-dis < %t.bc | FileCheck %s -; RUN: verify-uselistorder < %t.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %t.bc -preserve-bc-use-list-order define i32 @main() { entry: diff --git a/test/Bitcode/extractelement.ll b/test/Bitcode/extractelement.ll index ba806a4e3f2..945dd394fa5 100644 --- a/test/Bitcode/extractelement.ll +++ b/test/Bitcode/extractelement.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -constprop | llvm-dis -disable-output -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; PR3465 define double @test() { diff --git a/test/Bitcode/flags.ll b/test/Bitcode/flags.ll index a996a8a8f8d..17e923dc6a4 100644 --- a/test/Bitcode/flags.ll +++ b/test/Bitcode/flags.ll @@ -1,7 +1,7 @@ ; RUN: llvm-as < %s | llvm-dis > %t0 ; RUN: opt -S < %s > %t1 ; RUN: diff %t0 %t1 -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; PR6140 ; Make sure the flags are serialized/deserialized properly for both diff --git a/test/Bitcode/function-encoding-rel-operands.ll b/test/Bitcode/function-encoding-rel-operands.ll index 14aa01fc1d9..02265f90678 100644 --- a/test/Bitcode/function-encoding-rel-operands.ll +++ b/test/Bitcode/function-encoding-rel-operands.ll @@ -1,7 +1,7 @@ ; Basic sanity test to check that instruction operands are encoded with ; relative IDs. ; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; CHECK: FUNCTION_BLOCK ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 diff --git a/test/Bitcode/global-variables.3.2.ll b/test/Bitcode/global-variables.3.2.ll index cbba464a298..dec4694bcf8 100644 --- a/test/Bitcode/global-variables.3.2.ll +++ b/test/Bitcode/global-variables.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; global-variables.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not silently misread global variables attributes of diff --git a/test/Bitcode/inalloca.ll b/test/Bitcode/inalloca.ll index 386a476b455..b8550052aa6 100644 --- a/test/Bitcode/inalloca.ll +++ b/test/Bitcode/inalloca.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; inalloca should roundtrip. diff --git a/test/Bitcode/linkage-types-3.2.ll b/test/Bitcode/linkage-types-3.2.ll index 06e81b949f1..a3791aa130a 100644 --- a/test/Bitcode/linkage-types-3.2.ll +++ b/test/Bitcode/linkage-types-3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; linkage-types-3.2.ll.bc was generated by passing this file to llvm-as-3.2 ; The test checks that LLVM does not silently misread linkage types of diff --git a/test/Bitcode/local-linkage-default-visibility.3.4.ll b/test/Bitcode/local-linkage-default-visibility.3.4.ll index f75e94d3b0e..dfd0d83b7fc 100644 --- a/test/Bitcode/local-linkage-default-visibility.3.4.ll +++ b/test/Bitcode/local-linkage-default-visibility.3.4.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc | FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; local-linkage-default-visibility.3.4.ll.bc was generated by passing this file ; to llvm-as-3.4. The test checks that LLVM upgrades visibility of symbols diff --git a/test/Bitcode/memInstructions.3.2.ll b/test/Bitcode/memInstructions.3.2.ll index 67d24f41a10..8b0c85032d9 100644 --- a/test/Bitcode/memInstructions.3.2.ll +++ b/test/Bitcode/memInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; memOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread memory related instructions of diff --git a/test/Bitcode/metadata.ll b/test/Bitcode/metadata.ll index 1ceb606dd18..c721bd429e5 100644 --- a/test/Bitcode/metadata.ll +++ b/test/Bitcode/metadata.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -disable-output -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order !llvm.foo = !{!0} !0 = metadata !{i32 42} diff --git a/test/Bitcode/miscInstructions.3.2.ll b/test/Bitcode/miscInstructions.3.2.ll index ccef8dff67c..bd7aa9cb7e4 100644 --- a/test/Bitcode/miscInstructions.3.2.ll +++ b/test/Bitcode/miscInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; miscInstructions.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread miscellaneous instructions of diff --git a/test/Bitcode/old-aliases.ll b/test/Bitcode/old-aliases.ll index b32bc1b18cd..f77caff9822 100644 --- a/test/Bitcode/old-aliases.ll +++ b/test/Bitcode/old-aliases.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc | FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; old-aliases.bc consist of this file assembled with an old llvm-as (3.5 trunk) ; from when aliases contained a ConstantExpr. diff --git a/test/Bitcode/ptest-new.ll b/test/Bitcode/ptest-new.ll index ff284814189..66ef530de43 100644 --- a/test/Bitcode/ptest-new.ll +++ b/test/Bitcode/ptest-new.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order define i32 @foo(<2 x i64> %bar) nounwind { entry: diff --git a/test/Bitcode/ptest-old.ll b/test/Bitcode/ptest-old.ll index 5f252aabf73..e4d826b950e 100644 --- a/test/Bitcode/ptest-old.ll +++ b/test/Bitcode/ptest-old.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order define i32 @foo(<4 x float> %bar) nounwind { entry: diff --git a/test/Bitcode/select.ll b/test/Bitcode/select.ll index a33926c2829..5a5a524d752 100644 --- a/test/Bitcode/select.ll +++ b/test/Bitcode/select.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order define <2 x i32> @main() { ret <2 x i32> select (<2 x i1> , <2 x i32> zeroinitializer, <2 x i32> ) diff --git a/test/Bitcode/shuffle.ll b/test/Bitcode/shuffle.ll index 5b0e9e70e44..a9e94f68ecd 100644 --- a/test/Bitcode/shuffle.ll +++ b/test/Bitcode/shuffle.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis -disable-output -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; ; tests the bitcodereader can handle the case where the reader will initially diff --git a/test/Bitcode/ssse3_palignr.ll b/test/Bitcode/ssse3_palignr.ll index 4a612ec546d..d75fe151255 100644 --- a/test/Bitcode/ssse3_palignr.ll +++ b/test/Bitcode/ssse3_palignr.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -S | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; CHECK-NOT: {@llvm\\.palign} define <4 x i32> @align1(<4 x i32> %a, <4 x i32> %b) nounwind readnone ssp { diff --git a/test/Bitcode/tailcall.ll b/test/Bitcode/tailcall.ll index 5eed7a39574..266457423b9 100644 --- a/test/Bitcode/tailcall.ll +++ b/test/Bitcode/tailcall.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; Check that musttail and tail roundtrip. diff --git a/test/Bitcode/terminatorInstructions.3.2.ll b/test/Bitcode/terminatorInstructions.3.2.ll index a2285a13871..96876fb78c4 100644 --- a/test/Bitcode/terminatorInstructions.3.2.ll +++ b/test/Bitcode/terminatorInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; TerminatorOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread terminator instructions from diff --git a/test/Bitcode/upgrade-global-ctors.ll b/test/Bitcode/upgrade-global-ctors.ll index b01c7520c95..9ba422fe491 100644 --- a/test/Bitcode/upgrade-global-ctors.ll +++ b/test/Bitcode/upgrade-global-ctors.ll @@ -1,4 +1,4 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; CHECK: @llvm.global_ctors = appending global [0 x { i32, void ()*, i8* }] zeroinitializer diff --git a/test/Bitcode/upgrade-loop-metadata.ll b/test/Bitcode/upgrade-loop-metadata.ll index 3c1db98273a..806eda64434 100644 --- a/test/Bitcode/upgrade-loop-metadata.ll +++ b/test/Bitcode/upgrade-loop-metadata.ll @@ -1,7 +1,7 @@ ; Test to make sure loop vectorizer metadata is automatically upgraded. ; ; RUN: llvm-dis < %s.bc | FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order define void @_Z28loop_with_vectorize_metadatav() { entry: diff --git a/test/Bitcode/upgrade-tbaa.ll b/test/Bitcode/upgrade-tbaa.ll index 8dd3b695a67..4c7decffb54 100644 --- a/test/Bitcode/upgrade-tbaa.ll +++ b/test/Bitcode/upgrade-tbaa.ll @@ -1,5 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order ; Function Attrs: nounwind define void @_Z4testPiPf(i32* nocapture %pI, float* nocapture %pF) #0 { diff --git a/test/Bitcode/use-list-order.ll b/test/Bitcode/use-list-order.ll index 293650f4082..ccd9e968465 100644 --- a/test/Bitcode/use-list-order.ll +++ b/test/Bitcode/use-list-order.ll @@ -1,4 +1,4 @@ -; RUN: verify-uselistorder < %s -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s -preserve-bc-use-list-order @a = global [4 x i1] [i1 0, i1 1, i1 0, i1 1] @b = alias i1* getelementptr ([4 x i1]* @a, i64 0, i64 2) diff --git a/test/Bitcode/variableArgumentIntrinsic.3.2.ll b/test/Bitcode/variableArgumentIntrinsic.3.2.ll index 14914b78b42..ac7a9411bda 100644 --- a/test/Bitcode/variableArgumentIntrinsic.3.2.ll +++ b/test/Bitcode/variableArgumentIntrinsic.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; vaArgIntrinsic.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread variable argument intrinsic instructions diff --git a/test/Bitcode/vectorInstructions.3.2.ll b/test/Bitcode/vectorInstructions.3.2.ll index 4daae418722..6bd52b9eb4c 100644 --- a/test/Bitcode/vectorInstructions.3.2.ll +++ b/test/Bitcode/vectorInstructions.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; vectorOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread vector operations of diff --git a/test/Bitcode/visibility-styles.3.2.ll b/test/Bitcode/visibility-styles.3.2.ll index aecbc6562cd..00672cbab03 100644 --- a/test/Bitcode/visibility-styles.3.2.ll +++ b/test/Bitcode/visibility-styles.3.2.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; visibility-styles.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not silently misread visibility styles of diff --git a/test/Bitcode/weak-cmpxchg-upgrade.ll b/test/Bitcode/weak-cmpxchg-upgrade.ll index a09efc70992..07006f7c516 100644 --- a/test/Bitcode/weak-cmpxchg-upgrade.ll +++ b/test/Bitcode/weak-cmpxchg-upgrade.ll @@ -1,5 +1,5 @@ ; RUN: llvm-dis < %s.bc | FileCheck %s -; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order ; cmpxchg-upgrade.ll.bc was produced by running a version of llvm-as from just ; before the IR change on this file. diff --git a/tools/verify-uselistorder/verify-uselistorder.cpp b/tools/verify-uselistorder/verify-uselistorder.cpp index 37d7f5f52a5..f5699e40c9b 100644 --- a/tools/verify-uselistorder/verify-uselistorder.cpp +++ b/tools/verify-uselistorder/verify-uselistorder.cpp @@ -11,6 +11,21 @@ // provided IR, this tool shuffles the use-lists and then writes and reads to a // separate Module whose use-list orders are compared to the original. // +// The shuffles are deterministic and somewhat naive. On a given shuffle, some +// use-lists will not change at all. The algorithm per iteration is as follows: +// +// 1. Seed the random number generator. The seed is different for each +// shuffle. Shuffle 0 uses default+0, shuffle 1 uses default+1, and so on. +// +// 2. Visit every Value in a deterministic order. +// +// 3. Assign a random number to each Use in the Value's use-list in order. +// +// 4. Sort the use-list using Value::sortUseList(), which is a stable sort. +// +// Shuffling a larger number of times provides a better statistical guarantee +// that each use-list has changed at least once. +// //===----------------------------------------------------------------------===// #include "llvm/ADT/DenseMap.h" @@ -47,7 +62,7 @@ static cl::opt SaveTemps("save-temps", cl::desc("Save temp files"), static cl::opt NumShuffles("num-shuffles", cl::desc("Number of times to shuffle and verify use-lists"), - cl::init(1)); + cl::init(5)); namespace {