mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-01 15:40:53 +00:00
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
This commit is contained in:
parent
26d83150b4
commit
94f7c7aeaa
@ -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
|
||||
|
@ -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
|
||||
|
@ -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 ; <double> [#uses=1]
|
||||
|
@ -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 ; <float> [#uses=1]
|
||||
|
@ -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
|
||||
|
||||
|
@ -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.
|
||||
|
||||
|
@ -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
|
||||
|
||||
|
@ -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]
|
||||
|
||||
|
@ -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()
|
||||
|
||||
|
@ -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"
|
||||
|
@ -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 )
|
||||
|
@ -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]
|
||||
|
||||
|
@ -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]
|
||||
|
||||
|
@ -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 ; <i8**> [#uses=0]
|
||||
|
@ -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 ; <i32*> [#uses=0]
|
||||
|
@ -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.
|
||||
|
@ -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!
|
||||
|
@ -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]
|
||||
|
@ -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*
|
||||
|
@ -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"
|
||||
|
||||
|
@ -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) {
|
||||
|
@ -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 ; <i32> [#uses=0]
|
||||
|
@ -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
|
||||
|
@ -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 )
|
||||
|
@ -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
|
||||
|
||||
|
@ -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
|
||||
|
@ -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.
|
||||
|
@ -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]
|
||||
|
||||
|
@ -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*) ; <i32**>:0 [#uses=0]
|
||||
|
@ -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)
|
||||
|
@ -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]
|
||||
|
||||
|
@ -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 }
|
||||
|
@ -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
|
||||
|
||||
|
@ -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
|
||||
|
@ -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!
|
||||
|
||||
|
@ -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
|
||||
|
||||
|
||||
|
@ -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 ; <i32*> [#uses=0]
|
||||
|
@ -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:
|
||||
|
@ -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
|
||||
|
||||
|
@ -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
|
||||
|
@ -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()
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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]
|
||||
|
||||
|
@ -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
|
||||
|
@ -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:
|
||||
|
@ -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:
|
||||
|
@ -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)
|
||||
|
||||
|
@ -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 }
|
||||
|
@ -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
|
||||
|
@ -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*)
|
||||
|
@ -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:
|
||||
|
@ -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]
|
||||
|
@ -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 { }
|
||||
|
||||
|
@ -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"
|
||||
|
@ -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 {
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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() {
|
||||
|
@ -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
|
||||
|
@ -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]
|
||||
|
||||
|
@ -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)
|
||||
|
@ -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"
|
||||
|
@ -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
|
||||
|
||||
|
@ -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
|
||||
|
@ -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() {
|
||||
|
@ -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"
|
||||
|
@ -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 }
|
||||
|
||||
|
@ -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
|
||||
|
||||
|
@ -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
|
||||
|
@ -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 }
|
||||
|
@ -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
|
||||
|
||||
|
@ -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"
|
||||
|
||||
|
@ -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"
|
||||
|
@ -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) {
|
||||
|
@ -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)
|
||||
|
@ -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"
|
||||
|
@ -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 =
|
||||
|
@ -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
|
||||
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
||||
|
@ -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:
|
||||
|
@ -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]]]]
|
||||
|
@ -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
|
||||
|
||||
|
@ -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 {
|
||||
|
@ -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 {
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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:
|
||||
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -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"}
|
||||
|
@ -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 {
|
||||
|
@ -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) {
|
||||
|
@ -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
|
||||
|
@ -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 }
|
||||
|
||||
|
@ -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"
|
||||
|
||||
|
@ -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:
|
||||
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user