diff options
Diffstat (limited to 'llvm/test')
5 files changed, 41 insertions, 13 deletions
diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-4.ll b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-4.ll index 8d2f8ef921a..5694cfd5ecb 100644 --- a/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-4.ll +++ b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-4.ll @@ -1,6 +1,6 @@ ; RUN: opt < %s -rewrite-statepoints-for-gc -spp-print-base-pointers -S 2>&1 | FileCheck %s -; CHECK: derived %obj_to_consume base %obj_to_consume +; CHECK: derived %obj_to_consume base %obj_to_consume.base declare void @foo() diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers.ll b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers.ll index 00e71ff88f9..e65897e7a89 100644 --- a/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers.ll +++ b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers.ll @@ -81,6 +81,7 @@ entry: ; we'd have commoned these, but that's a missed optimization, not correctness. ; CHECK-DAG: [ [[DISCARD:%.*.base.relocated.casted]], %loop ] ; CHECK-NOT: extra.base +; CHECK: next.base = select ; CHECK: next = select ; CHECK: extra2.base = select ; CHECK: extra2 = select @@ -107,7 +108,8 @@ taken: ; preds = %entry merge: ; preds = %taken, %entry ; CHECK-LABEL: merge: -; CHECK-NEXT: %bdv = phi +; CHECK-NEXT: phi +; CHECK-NEXT: phi ; CHECK-NEXT: gc.statepoint %bdv = phi i64 addrspace(1)* [ %obj, %entry ], [ %obj2, %taken ] call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ] @@ -124,7 +126,7 @@ taken: ; preds = %entry merge: ; preds = %taken, %entry ; CHECK-LABEL: merge: -; CHECK-NEXT: %bdv = phi +; CHECK-NEXT: phi ; CHECK-NEXT: gc.statepoint %bdv = phi i64 addrspace(1)* [ %obj, %entry ], [ %obj, %taken ] call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ] @@ -138,7 +140,8 @@ entry: merge: ; preds = %merge, %entry ; CHECK-LABEL: merge: -; CHECK-NEXT: %bdv = phi +; CHECK-NEXT: phi +; CHECK-NEXT: phi ; CHECK-NEXT: br i1 %bdv = phi i64 addrspace(1)* [ %obj, %entry ], [ %obj2, %merge ] br i1 %cnd, label %merge, label %next diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll b/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll index f49d1d9ccdd..2ec82aa2557 100644 --- a/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll +++ b/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll @@ -45,10 +45,13 @@ untaken2: ; preds = %merge merge2: ; preds = %untaken2, %taken2 ; CHECK-LABEL: merge2: -; CHECK-NEXT: %obj = phi i64 addrspace(1)* -; CHECK-NEXT: statepoint +; CHECK: %obj.base = phi i64 addrspace(1)* +; CHECK: %obj = phi i64 addrspace(1)* +; CHECK: statepoint +; CHECK: gc.relocate +; CHECK-DAG: ; (%obj.base, %obj) ; CHECK: gc.relocate -; CHECK-DAG: ; (%obj, %obj) +; CHECK-DAG: ; (%obj.base, %obj.base) %obj = phi i64 addrspace(1)* [ %obj0, %taken2 ], [ %obj1, %untaken2 ] call void @do_safepoint() [ "deopt"() ] ret i64 addrspace(1)* %obj @@ -60,7 +63,7 @@ define i64 addrspace(1)* @test3(i64 addrspace(1)* %ptr) gc "statepoint-example" ; CHECK: extractelement ; CHECK: statepoint ; CHECK: gc.relocate -; CHECK-DAG: (%obj, %obj) +; CHECK-DAG: (%obj.base, %obj) entry: %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %ptr, i32 0 %obj = extractelement <2 x i64 addrspace(1)*> %vec, i32 0 @@ -72,9 +75,7 @@ define i64 addrspace(1)* @test4(i64 addrspace(1)* %ptr) gc "statepoint-example" ; CHECK-LABEL: test4 ; CHECK: statepoint ; CHECK: gc.relocate -; CHECK-DAG: ; (%ptr, %obj) -; CHECK: gc.relocate -; CHECK-DAG: ; (%ptr, %ptr) +; CHECK-DAG: ; (%obj.base, %obj) ; When we can optimize an extractelement from a known ; index and avoid introducing new base pointer instructions entry: @@ -91,7 +92,7 @@ declare void @use(i64 addrspace(1)*) "gc-leaf-function" define void @test5(i1 %cnd, i64 addrspace(1)* %obj) gc "statepoint-example" { ; CHECK-LABEL: @test5 ; CHECK: gc.relocate -; CHECK-DAG: (%obj, %bdv) +; CHECK-DAG: (%bdv.base, %bdv) ; When we fundementally have to duplicate entry: %gep = getelementptr i64, i64 addrspace(1)* %obj, i64 1 diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/live-vector-nosplit.ll b/llvm/test/Transforms/RewriteStatepointsForGC/live-vector-nosplit.ll index 9b649f2bc68..d3e25d56b6d 100644 --- a/llvm/test/Transforms/RewriteStatepointsForGC/live-vector-nosplit.ll +++ b/llvm/test/Transforms/RewriteStatepointsForGC/live-vector-nosplit.ll @@ -73,9 +73,12 @@ exceptional_return: ; preds = %entry define <2 x i64 addrspace(1)*> @test5(i64 addrspace(1)* %p) gc "statepoint-example" { ; CHECK-LABEL: test5 ; CHECK: insertelement +; CHECK-NEXT: insertelement ; CHECK-NEXT: gc.statepoint ; CHECK-NEXT: gc.relocate ; CHECK-NEXT: bitcast +; CHECK-NEXT: gc.relocate +; CHECK-NEXT: bitcast ; CHECK-NEXT: ret <2 x i64 addrspace(1)*> %vec.relocated.casted entry: %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %p, i32 0 @@ -100,9 +103,12 @@ untaken: ; preds = %entry merge: ; preds = %untaken, %taken ; CHECK-LABEL: merge: ; CHECK-NEXT: = phi +; CHECK-NEXT: = phi ; CHECK-NEXT: gc.statepoint ; CHECK-NEXT: gc.relocate ; CHECK-NEXT: bitcast +; CHECK-NEXT: gc.relocate +; CHECK-NEXT: bitcast ; CHECK-NEXT: ret <2 x i64 addrspace(1)*> %obj = phi <2 x i64 addrspace(1)*> [ %obja, %taken ], [ %objb, %untaken ] call void @do_safepoint() [ "deopt"() ] diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/live-vector.ll b/llvm/test/Transforms/RewriteStatepointsForGC/live-vector.ll index ab84cbc5e52..a289d47ec81 100644 --- a/llvm/test/Transforms/RewriteStatepointsForGC/live-vector.ll +++ b/llvm/test/Transforms/RewriteStatepointsForGC/live-vector.ll @@ -98,6 +98,9 @@ exceptional_return: ; preds = %entry define <2 x i64 addrspace(1)*> @test5(i64 addrspace(1)* %p) gc "statepoint-example" { ; CHECK-LABEL: test5 ; CHECK: insertelement +; CHECK-NEXT: insertelement +; CHECK-NEXT: extractelement +; CHECK-NEXT: extractelement ; CHECK-NEXT: extractelement ; CHECK-NEXT: extractelement ; CHECK-NEXT: gc.statepoint @@ -105,9 +108,15 @@ define <2 x i64 addrspace(1)*> @test5(i64 addrspace(1)* %p) gc "statepoint-examp ; CHECK-NEXT: bitcast ; CHECK-NEXT: gc.relocate ; CHECK-NEXT: bitcast +; CHECK-NEXT: gc.relocate +; CHECK-NEXT: bitcast +; CHECK-NEXT: gc.relocate +; CHECK-NEXT: bitcast ; CHECK-NEXT: insertelement ; CHECK-NEXT: insertelement -; CHECK-NEXT: ret <2 x i64 addrspace(1)*> %7 +; CHECK-NEXT: insertelement +; CHECK-NEXT: insertelement +; CHECK-NEXT: ret <2 x i64 addrspace(1)*> ; A base vector from a load entry: %vec = insertelement <2 x i64 addrspace(1)*> undef, i64 addrspace(1)* %p, i32 0 @@ -131,6 +140,9 @@ untaken: ; preds = %entry merge: ; preds = %untaken, %taken ; CHECK-LABEL: merge: ; CHECK-NEXT: = phi +; CHECK-NEXT: = phi +; CHECK-NEXT: extractelement +; CHECK-NEXT: extractelement ; CHECK-NEXT: extractelement ; CHECK-NEXT: extractelement ; CHECK-NEXT: gc.statepoint @@ -138,6 +150,12 @@ merge: ; preds = %untaken, %taken ; CHECK-NEXT: bitcast ; CHECK-NEXT: gc.relocate ; CHECK-NEXT: bitcast +; CHECK-NEXT: gc.relocate +; CHECK-NEXT: bitcast +; CHECK-NEXT: gc.relocate +; CHECK-NEXT: bitcast +; CHECK-NEXT: insertelement +; CHECK-NEXT: insertelement ; CHECK-NEXT: insertelement ; CHECK-NEXT: insertelement ; CHECK-NEXT: ret <2 x i64 addrspace(1)*> |
