diff options
Diffstat (limited to 'test/Transforms/RewriteStatepointsForGC/base-pointers-10.ll')
| -rw-r--r-- | test/Transforms/RewriteStatepointsForGC/base-pointers-10.ll | 33 |
1 files changed, 15 insertions, 18 deletions
diff --git a/test/Transforms/RewriteStatepointsForGC/base-pointers-10.ll b/test/Transforms/RewriteStatepointsForGC/base-pointers-10.ll index 19f1423eea030..04795741ead66 100644 --- a/test/Transforms/RewriteStatepointsForGC/base-pointers-10.ll +++ b/test/Transforms/RewriteStatepointsForGC/base-pointers-10.ll @@ -1,38 +1,35 @@ -; RUN: opt %s -rewrite-statepoints-for-gc -spp-print-base-pointers -S 2>&1 | FileCheck %s +; RUN: opt < %s -rewrite-statepoints-for-gc -spp-print-base-pointers -S 2>&1 | FileCheck %s -; CHECK: Base Pairs (w/o Relocation): -; CHECK-DAG: derived %next base %next.base -; CHECK-DAG: derived %next_x base %base_obj_x -; CHECK-DAG: derived %next_y base %base_obj_y -declare i1 @runtime_value() +declare i1 @runtime_value() "gc-leaf-function" + declare void @do_safepoint() define void @select_of_phi(i64 addrspace(1)* %base_obj_x, i64 addrspace(1)* %base_obj_y) gc "statepoint-example" { entry: br label %loop -loop: - %current_x = phi i64 addrspace(1)* [ %base_obj_x , %entry ], [ %next_x, %merge ] - %current_y = phi i64 addrspace(1)* [ %base_obj_y , %entry ], [ %next_y, %merge ] - %current = phi i64 addrspace(1)* [ null , %entry ], [ %next , %merge ] - +loop: ; preds = %merge, %entry + %current_x = phi i64 addrspace(1)* [ %base_obj_x, %entry ], [ %next_x, %merge ] + %current_y = phi i64 addrspace(1)* [ %base_obj_y, %entry ], [ %next_y, %merge ] + %current = phi i64 addrspace(1)* [ null, %entry ], [ %next, %merge ] %condition = call i1 @runtime_value() %next_x = getelementptr i64, i64 addrspace(1)* %current_x, i32 1 %next_y = getelementptr i64, i64 addrspace(1)* %current_y, i32 1 - br i1 %condition, label %true, label %false -true: +true: ; preds = %loop br label %merge -false: +false: ; preds = %loop br label %merge -merge: +merge: ; preds = %false, %true %next = phi i64 addrspace(1)* [ %next_x, %true ], [ %next_y, %false ] - %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @do_safepoint, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0) + call void @do_safepoint() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ] br label %loop } - -declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) +; CHECK: Base Pairs (w/o Relocation): +; CHECK-DAG: derived %next base %next.base +; CHECK-DAG: derived %next_x base %base_obj_x +; CHECK-DAG: derived %next_y base %base_obj_y |