1; RUN: opt -codegenprepare -S < %s | FileCheck %s 2 3target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" 4target triple = "x86_64-pc-linux-gnu" 5 6declare zeroext i1 @return_i1() 7 8define i32 @test_sor_basic(i32* %base) gc "statepoint-example" { 9; CHECK: getelementptr i32, i32* %base, i32 15 10; CHECK: getelementptr i32, i32* %base-new, i32 15 11entry: 12 %ptr = getelementptr i32, i32* %base, i32 15 13 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr) 14 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 15 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 16 %ret = load i32, i32* %ptr-new 17 ret i32 %ret 18} 19 20define i32 @test_sor_two_derived(i32* %base) gc "statepoint-example" { 21; CHECK: getelementptr i32, i32* %base, i32 15 22; CHECK: getelementptr i32, i32* %base, i32 12 23; CHECK: getelementptr i32, i32* %base-new, i32 12 24; CHECK: getelementptr i32, i32* %base-new, i32 15 25entry: 26 %ptr = getelementptr i32, i32* %base, i32 15 27 %ptr2 = getelementptr i32, i32* %base, i32 12 28 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr, i32* %ptr2) 29 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 30 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 31 %ptr2-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 9) 32 %ret = load i32, i32* %ptr-new 33 ret i32 %ret 34} 35 36define i32 @test_sor_ooo(i32* %base) gc "statepoint-example" { 37; CHECK: getelementptr i32, i32* %base, i32 15 38; CHECK: getelementptr i32, i32* %base-new, i32 15 39entry: 40 %ptr = getelementptr i32, i32* %base, i32 15 41 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr) 42 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 43 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 44 %ret = load i32, i32* %ptr-new 45 ret i32 %ret 46} 47 48define i32 @test_sor_gep_smallint([3 x i32]* %base) gc "statepoint-example" { 49; CHECK: getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 2 50; CHECK: getelementptr [3 x i32], [3 x i32]* %base-new, i32 0, i32 2 51entry: 52 %ptr = getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 2 53 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, [3 x i32]* %base, i32* %ptr) 54 %base-new = call [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token %tok, i32 7, i32 7) 55 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 56 %ret = load i32, i32* %ptr-new 57 ret i32 %ret 58} 59 60define i32 @test_sor_gep_largeint([3 x i32]* %base) gc "statepoint-example" { 61; CHECK: getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 21 62; CHECK-NOT: getelementptr [3 x i32], [3 x i32]* %base-new, i32 0, i32 21 63entry: 64 %ptr = getelementptr [3 x i32], [3 x i32]* %base, i32 0, i32 21 65 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, [3 x i32]* %base, i32* %ptr) 66 %base-new = call [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token %tok, i32 7, i32 7) 67 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 68 %ret = load i32, i32* %ptr-new 69 ret i32 %ret 70} 71 72define i32 @test_sor_noop(i32* %base) gc "statepoint-example" { 73; CHECK: getelementptr i32, i32* %base, i32 15 74; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 75; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 9) 76entry: 77 %ptr = getelementptr i32, i32* %base, i32 15 78 %ptr2 = getelementptr i32, i32* %base, i32 12 79 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr, i32* %ptr2) 80 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 81 %ptr2-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 9) 82 %ret = load i32, i32* %ptr-new 83 ret i32 %ret 84} 85 86define i32 @test_sor_basic_wrong_order(i32* %base) gc "statepoint-example" { 87; CHECK-LABEL: @test_sor_basic_wrong_order 88; Here we have base relocate inserted after derived. Make sure that we don't 89; produce uses of the relocated base pointer before it's definition. 90entry: 91 %ptr = getelementptr i32, i32* %base, i32 15 92 ; CHECK: getelementptr i32, i32* %base, i32 15 93 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr) 94 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 95 %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 96 ; CHECK: %base-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 97 ; CHECK-NEXT: getelementptr i32, i32* %base-new, i32 15 98 %ret = load i32, i32* %ptr-new 99 ret i32 %ret 100} 101 102define i32 @test_sor_noop_cross_bb(i1 %external-cond, i32* %base) gc "statepoint-example" { 103; CHECK-LABEL: @test_sor_noop_cross_bb 104; Here base relocate doesn't dominate derived relocate. Make sure that we don't 105; produce undefined use of the relocated base pointer. 106entry: 107 %ptr = getelementptr i32, i32* %base, i32 15 108 ; CHECK: getelementptr i32, i32* %base, i32 15 109 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %base, i32* %ptr) 110 br i1 %external-cond, label %left, label %right 111 112left: 113 %ptr-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 114 ; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 8) 115 %ret-new = load i32, i32* %ptr-new 116 ret i32 %ret-new 117 118right: 119 %ptr-base = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 120 ; CHECK: call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 121 %ret-base = load i32, i32* %ptr-base 122 ret i32 %ret-base 123} 124 125declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...) 126declare i32* @llvm.experimental.gc.relocate.p0i32(token, i32, i32) 127declare [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token, i32, i32) 128