106a8a867SPhilip Reames; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 206a8a867SPhilip Reames; RUN: opt < %s -rewrite-statepoints-for-gc -S 2>&1 | FileCheck %s 306a8a867SPhilip Reames; RUN: opt < %s -passes=rewrite-statepoints-for-gc -S 2>&1 | FileCheck %s 4cee313d2SEric Christopher 5cee313d2SEric Christopher 6cee313d2SEric Christopherdeclare void @foo() 7cee313d2SEric Christopher 806a8a867SPhilip Reames; derived %merged_value base %merged_value.base 9cee313d2SEric Christopherdefine i64 addrspace(1)* @test(i64 addrspace(1)* %base_obj_x, i64 addrspace(1)* %base_obj_y, i1 %runtime_condition) gc "statepoint-example" { 1006a8a867SPhilip Reames; CHECK-LABEL: @test( 1106a8a867SPhilip Reames; CHECK-NEXT: entry: 1206a8a867SPhilip Reames; CHECK-NEXT: br i1 [[RUNTIME_CONDITION:%.*]], label [[HERE:%.*]], label [[THERE:%.*]] 1306a8a867SPhilip Reames; CHECK: here: 1406a8a867SPhilip Reames; CHECK-NEXT: br label [[BUMP:%.*]] 1506a8a867SPhilip Reames; CHECK: bump: 1606a8a867SPhilip Reames; CHECK-NEXT: br label [[MERGE:%.*]] 1706a8a867SPhilip Reames; CHECK: there: 1806a8a867SPhilip Reames; CHECK-NEXT: [[Y:%.*]] = getelementptr i64, i64 addrspace(1)* [[BASE_OBJ_Y:%.*]], i32 1 1906a8a867SPhilip Reames; CHECK-NEXT: br label [[MERGE]] 2006a8a867SPhilip Reames; CHECK: merge: 2106a8a867SPhilip Reames; CHECK-NEXT: [[MERGED_VALUE_BASE:%.*]] = phi i64 addrspace(1)* [ [[BASE_OBJ_X:%.*]], [[BUMP]] ], [ [[BASE_OBJ_Y]], [[THERE]] ], !is_base_value !0 2206a8a867SPhilip Reames; CHECK-NEXT: [[MERGED_VALUE:%.*]] = phi i64 addrspace(1)* [ [[BASE_OBJ_X]], [[BUMP]] ], [ [[Y]], [[THERE]] ] 23*c680eeabSNikita Popov; CHECK-NEXT: [[STATEPOINT_TOKEN:%.*]] = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* elementtype(void ()) @foo, i32 0, i32 0, i32 0, i32 0) [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0), "gc-live"(i64 addrspace(1)* [[MERGED_VALUE]], i64 addrspace(1)* [[MERGED_VALUE_BASE]]) ] 2406a8a867SPhilip Reames; CHECK-NEXT: [[MERGED_VALUE_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 1, i32 0) 2506a8a867SPhilip Reames; CHECK-NEXT: [[MERGED_VALUE_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[MERGED_VALUE_RELOCATED]] to i64 addrspace(1)* 2606a8a867SPhilip Reames; CHECK-NEXT: [[MERGED_VALUE_BASE_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 1, i32 1) 2706a8a867SPhilip Reames; CHECK-NEXT: [[MERGED_VALUE_BASE_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[MERGED_VALUE_BASE_RELOCATED]] to i64 addrspace(1)* 2806a8a867SPhilip Reames; CHECK-NEXT: ret i64 addrspace(1)* [[MERGED_VALUE_RELOCATED_CASTED]] 2906a8a867SPhilip Reames; 30cee313d2SEric Christopherentry: 31cee313d2SEric Christopher br i1 %runtime_condition, label %here, label %there 32cee313d2SEric Christopher 33cee313d2SEric Christopherhere: ; preds = %entry 34cee313d2SEric Christopher br label %bump 35cee313d2SEric Christopher 36cee313d2SEric Christopherbump: ; preds = %here 37cee313d2SEric Christopher br label %merge 38cee313d2SEric Christopher 39cee313d2SEric Christopherthere: ; preds = %entry 40cee313d2SEric Christopher %y = getelementptr i64, i64 addrspace(1)* %base_obj_y, i32 1 41cee313d2SEric Christopher br label %merge 42cee313d2SEric Christopher 43cee313d2SEric Christophermerge: ; preds = %there, %bump 44cee313d2SEric Christopher %merged_value = phi i64 addrspace(1)* [ %base_obj_x, %bump ], [ %y, %there ] 45cee313d2SEric Christopher call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ] 46cee313d2SEric Christopher ret i64 addrspace(1)* %merged_value 47cee313d2SEric Christopher} 48