diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
| commit | 01095a5d43bbfde13731688ddcf6048ebb8b7721 (patch) | |
| tree | 4def12e759965de927d963ac65840d663ef9d1ea /test/Transforms/RewriteStatepointsForGC/deopt-bundles/codegen-cond.ll | |
| parent | f0f4822ed4b66e3579e92a89f368f8fb860e218e (diff) | |
Vendor import of llvm release_39 branch r276489:vendor/llvm/llvm-release_39-r276489
Diffstat (limited to 'test/Transforms/RewriteStatepointsForGC/deopt-bundles/codegen-cond.ll')
| -rw-r--r-- | test/Transforms/RewriteStatepointsForGC/deopt-bundles/codegen-cond.ll | 81 |
1 files changed, 0 insertions, 81 deletions
diff --git a/test/Transforms/RewriteStatepointsForGC/deopt-bundles/codegen-cond.ll b/test/Transforms/RewriteStatepointsForGC/deopt-bundles/codegen-cond.ll deleted file mode 100644 index f0da0c06db0a..000000000000 --- a/test/Transforms/RewriteStatepointsForGC/deopt-bundles/codegen-cond.ll +++ /dev/null @@ -1,81 +0,0 @@ -; RUN: opt -rewrite-statepoints-for-gc -rs4gc-use-deopt-bundles -S < %s | FileCheck %s - -; A null test of a single value - -define i1 @test(i8 addrspace(1)* %p, i1 %rare) gc "statepoint-example" { -; CHECK-LABEL: @test -entry: - %cond = icmp eq i8 addrspace(1)* %p, null - br i1 %rare, label %safepoint, label %continue, !prof !0 - -safepoint: ; preds = %entry - call void @safepoint() [ "deopt"() ] - br label %continue - -continue: ; preds = %safepoint, %entry -; CHECK-LABEL: continue: -; CHECK: phi -; CHECK-DAG: [ %p.relocated, %safepoint ] -; CHECK-DAG: [ %p, %entry ] -; CHECK: %cond = icmp -; CHECK: br i1 %cond -; Comparing two pointers - br i1 %cond, label %taken, label %untaken - -taken: ; preds = %continue - ret i1 true - -untaken: ; preds = %continue - ret i1 false -} - -define i1 @test2(i8 addrspace(1)* %p, i8 addrspace(1)* %q, i1 %rare) gc "statepoint-example" { -; CHECK-LABEL: @test2 -entry: - %cond = icmp eq i8 addrspace(1)* %p, %q - br i1 %rare, label %safepoint, label %continue, !prof !0 - -safepoint: ; preds = %entry - call void @safepoint() [ "deopt"() ] - br label %continue - -continue: ; preds = %safepoint, %entry -; CHECK-LABEL: continue: -; CHECK: phi -; CHECK-DAG: [ %q.relocated, %safepoint ] -; CHECK-DAG: [ %q, %entry ] -; CHECK: phi -; CHECK-DAG: [ %p.relocated, %safepoint ] -; CHECK-DAG: [ %p, %entry ] -; CHECK: %cond = icmp -; CHECK: br i1 %cond -; Sanity check that nothing bad happens if already last instruction -; before terminator - br i1 %cond, label %taken, label %untaken - -taken: ; preds = %continue - ret i1 true - -untaken: ; preds = %continue - ret i1 false -} - -define i1 @test3(i8 addrspace(1)* %p, i8 addrspace(1)* %q, i1 %rare) gc "statepoint-example" { -; CHECK-LABEL: @test3 -; CHECK: gc.statepoint -; CHECK: %cond = icmp -; CHECK: br i1 %cond -entry: - call void @safepoint() [ "deopt"() ] - %cond = icmp eq i8 addrspace(1)* %p, %q - br i1 %cond, label %taken, label %untaken - -taken: ; preds = %entry - ret i1 true - -untaken: ; preds = %entry - ret i1 false -} - -declare void @safepoint() -!0 = !{!"branch_weights", i32 1, i32 10000} |