1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -rewrite-statepoints-for-gc < %s | FileCheck %s 3; RUN: opt -S -passes=rewrite-statepoints-for-gc < %s | FileCheck %s 4 5declare void @g() 6declare i32 @h() 7 8define i32 addrspace(1)* @f0(i32 addrspace(1)* %arg) gc "statepoint-example" { 9; CHECK-LABEL: @f0( 10; CHECK-NEXT: entry: 11; CHECK-NEXT: [[STATEPOINT_TOKEN:%.*]] = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @g, i32 0, i32 0, i32 0, i32 0) [ "deopt"(i32 100), "gc-live"(i32 addrspace(1)* [[ARG:%.*]]) ] 12; CHECK-NEXT: [[ARG_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 0, i32 0) 13; CHECK-NEXT: [[ARG_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[ARG_RELOCATED]] to i32 addrspace(1)* 14; CHECK-NEXT: ret i32 addrspace(1)* [[ARG_RELOCATED_CASTED]] 15; 16 entry: 17 call void @g() [ "deopt"(i32 100) ] 18 19 ret i32 addrspace(1)* %arg 20} 21 22define i32 addrspace(1)* @f1(i32 addrspace(1)* %arg) gc "statepoint-example" personality i32 8 { 23; CHECK-LABEL: @f1( 24; CHECK-NEXT: entry: 25; CHECK-NEXT: [[STATEPOINT_TOKEN:%.*]] = invoke token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @g, i32 0, i32 0, i32 0, i32 0) [ "deopt"(i32 100), "gc-live"(i32 addrspace(1)* [[ARG:%.*]]) ] 26; CHECK-NEXT: to label [[NORMAL_DEST:%.*]] unwind label [[UNWIND_DEST:%.*]] 27; CHECK: normal_dest: 28; CHECK-NEXT: [[ARG_RELOCATED1:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 0, i32 0) 29; CHECK-NEXT: [[ARG_RELOCATED1_CASTED:%.*]] = bitcast i8 addrspace(1)* [[ARG_RELOCATED1]] to i32 addrspace(1)* 30; CHECK-NEXT: ret i32 addrspace(1)* [[ARG_RELOCATED1_CASTED]] 31; CHECK: unwind_dest: 32; CHECK-NEXT: [[LPAD:%.*]] = landingpad token 33; CHECK-NEXT: cleanup 34; CHECK-NEXT: [[ARG_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[LPAD]], i32 0, i32 0) 35; CHECK-NEXT: [[ARG_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[ARG_RELOCATED]] to i32 addrspace(1)* 36; CHECK-NEXT: resume token undef 37; 38 entry: 39 invoke void @g() [ "deopt"(i32 100) ] to label %normal_dest unwind label %unwind_dest 40 41 normal_dest: 42 ret i32 addrspace(1)* %arg 43 44 unwind_dest: 45 %lpad = landingpad token cleanup 46 resume token undef 47} 48 49define i32 addrspace(1)* @f2(i32 addrspace(1)* %arg) gc "statepoint-example" { 50; CHECK-LABEL: @f2( 51; CHECK-NEXT: entry: 52; CHECK-NEXT: [[STATEPOINT_TOKEN:%.*]] = call token (i64, i32, i32 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i32f(i64 2882400000, i32 0, i32 ()* @h, i32 0, i32 0, i32 0, i32 0) [ "deopt"(i32 100), "gc-live"(i32 addrspace(1)* [[ARG:%.*]]) ] 53; CHECK-NEXT: [[VAL1:%.*]] = call i32 @llvm.experimental.gc.result.i32(token [[STATEPOINT_TOKEN]]) 54; CHECK-NEXT: [[ARG_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 0, i32 0) 55; CHECK-NEXT: [[ARG_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[ARG_RELOCATED]] to i32 addrspace(1)* 56; CHECK-NEXT: store i32 [[VAL1]], i32 addrspace(1)* [[ARG_RELOCATED_CASTED]], align 4 57; CHECK-NEXT: ret i32 addrspace(1)* [[ARG_RELOCATED_CASTED]] 58; 59 entry: 60 %val = call i32 @h() [ "deopt"(i32 100) ] 61 62 63 store i32 %val, i32 addrspace(1)* %arg 64 ret i32 addrspace(1)* %arg 65} 66 67define i32 addrspace(1)* @f3(i32 addrspace(1)* %arg) gc "statepoint-example" personality i32 8 { 68; CHECK-LABEL: @f3( 69; CHECK-NEXT: entry: 70; CHECK-NEXT: [[STATEPOINT_TOKEN:%.*]] = invoke token (i64, i32, i32 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i32f(i64 2882400000, i32 0, i32 ()* @h, i32 0, i32 0, i32 0, i32 0) [ "deopt"(i32 100), "gc-live"(i32 addrspace(1)* [[ARG:%.*]]) ] 71; CHECK-NEXT: to label [[NORMAL_DEST:%.*]] unwind label [[UNWIND_DEST:%.*]] 72; CHECK: normal_dest: 73; CHECK-NEXT: [[VAL1:%.*]] = call i32 @llvm.experimental.gc.result.i32(token [[STATEPOINT_TOKEN]]) 74; CHECK-NEXT: [[ARG_RELOCATED2:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 0, i32 0) 75; CHECK-NEXT: [[ARG_RELOCATED2_CASTED:%.*]] = bitcast i8 addrspace(1)* [[ARG_RELOCATED2]] to i32 addrspace(1)* 76; CHECK-NEXT: store i32 [[VAL1]], i32 addrspace(1)* [[ARG_RELOCATED2_CASTED]], align 4 77; CHECK-NEXT: ret i32 addrspace(1)* [[ARG_RELOCATED2_CASTED]] 78; CHECK: unwind_dest: 79; CHECK-NEXT: [[LPAD:%.*]] = landingpad token 80; CHECK-NEXT: cleanup 81; CHECK-NEXT: [[ARG_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[LPAD]], i32 0, i32 0) 82; CHECK-NEXT: [[ARG_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[ARG_RELOCATED]] to i32 addrspace(1)* 83; CHECK-NEXT: resume token undef 84; 85 entry: 86 %val = invoke i32 @h() [ "deopt"(i32 100) ] to label %normal_dest unwind label %unwind_dest 87 88 normal_dest: 89 90 store i32 %val, i32 addrspace(1)* %arg 91 92 ret i32 addrspace(1)* %arg 93 94 unwind_dest: 95 %lpad = landingpad token cleanup 96 resume token undef 97} 98 99define i32 addrspace(1)* @f4(i32 addrspace(1)* %arg) gc "statepoint-example" { 100; CHECK-LABEL: @f4( 101; CHECK-NEXT: entry: 102; CHECK-NEXT: [[STATEPOINT_TOKEN:%.*]] = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @g, i32 0, i32 1, i32 0, i32 0) [ "gc-transition"(i32 400, i8 90), "gc-live"(i32 addrspace(1)* [[ARG:%.*]]) ] 103; CHECK-NEXT: [[ARG_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 0, i32 0) 104; CHECK-NEXT: [[ARG_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[ARG_RELOCATED]] to i32 addrspace(1)* 105; CHECK-NEXT: ret i32 addrspace(1)* [[ARG_RELOCATED_CASTED]] 106; 107 entry: 108 call void @g() [ "gc-transition"(i32 400, i8 90) ] 109 ret i32 addrspace(1)* %arg 110} 111