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 @site_for_call_safpeoint()
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:    [[X:%.*]] = getelementptr i64, i64 addrspace(1)* [[BASE_OBJ_X:%.*]], i32 1
1506a8a867SPhilip Reames; CHECK-NEXT:    br label [[MERGE:%.*]]
1606a8a867SPhilip Reames; CHECK:       there:
1706a8a867SPhilip Reames; CHECK-NEXT:    [[Y:%.*]] = getelementptr i64, i64 addrspace(1)* [[BASE_OBJ_Y:%.*]], i32 1
1806a8a867SPhilip Reames; CHECK-NEXT:    br label [[MERGE]]
1906a8a867SPhilip Reames; CHECK:       merge:
2006a8a867SPhilip Reames; CHECK-NEXT:    [[MERGED_VALUE_BASE:%.*]] = phi i64 addrspace(1)* [ [[BASE_OBJ_X]], [[HERE]] ], [ [[BASE_OBJ_Y]], [[THERE]] ], !is_base_value !0
2106a8a867SPhilip Reames; CHECK-NEXT:    [[MERGED_VALUE:%.*]] = phi i64 addrspace(1)* [ [[X]], [[HERE]] ], [ [[Y]], [[THERE]] ]
22*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 ()) @site_for_call_safpeoint, 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]]) ]
2306a8a867SPhilip Reames; CHECK-NEXT:    [[MERGED_VALUE_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 1, i32 0)
2406a8a867SPhilip Reames; CHECK-NEXT:    [[MERGED_VALUE_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[MERGED_VALUE_RELOCATED]] to i64 addrspace(1)*
2506a8a867SPhilip Reames; CHECK-NEXT:    [[MERGED_VALUE_BASE_RELOCATED:%.*]] = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token [[STATEPOINT_TOKEN]], i32 1, i32 1)
2606a8a867SPhilip Reames; CHECK-NEXT:    [[MERGED_VALUE_BASE_RELOCATED_CASTED:%.*]] = bitcast i8 addrspace(1)* [[MERGED_VALUE_BASE_RELOCATED]] to i64 addrspace(1)*
2706a8a867SPhilip Reames; CHECK-NEXT:    ret i64 addrspace(1)* [[MERGED_VALUE_RELOCATED_CASTED]]
2806a8a867SPhilip Reames;
29cee313d2SEric Christopherentry:
30cee313d2SEric Christopher  br i1 %runtime_condition, label %here, label %there
31cee313d2SEric Christopher
32cee313d2SEric Christopherhere:                                             ; preds = %entry
33cee313d2SEric Christopher  %x = getelementptr i64, i64 addrspace(1)* %base_obj_x, i32 1
34cee313d2SEric Christopher  br label %merge
35cee313d2SEric Christopher
36cee313d2SEric Christopherthere:                                            ; preds = %entry
37cee313d2SEric Christopher  %y = getelementptr i64, i64 addrspace(1)* %base_obj_y, i32 1
38cee313d2SEric Christopher  br label %merge
39cee313d2SEric Christopher
40cee313d2SEric Christophermerge:                                            ; preds = %there, %here
41cee313d2SEric Christopher  %merged_value = phi i64 addrspace(1)* [ %x, %here ], [ %y, %there ]
42cee313d2SEric Christopher  call void @site_for_call_safpeoint() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
43cee313d2SEric Christopher  ret i64 addrspace(1)* %merged_value
44cee313d2SEric Christopher}
45