diff --git a/clang/test/OpenMP/depobj_codegen.cpp b/clang/test/OpenMP/depobj_codegen.cpp index 05a552529e3a6f..ed0f14493454df 100644 --- a/clang/test/OpenMP/depobj_codegen.cpp +++ b/clang/test/OpenMP/depobj_codegen.cpp @@ -45,25 +45,25 @@ int main(int argc, char **argv) { // CHECK: [[DEP_ADDR_VOID:%.+]] = call i8* @__kmpc_alloc(i32 [[GTID]], i64 72, i8* null) // CHECK: [[DEP_ADDR:%.+]] = bitcast i8* [[DEP_ADDR_VOID]] to %struct.kmp_depend_info* // CHECK: [[SZ_BASE:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 0, i{{.+}} 0 -// CHECK: store i64 2, i64* [[SZ_BASE]], +// CHECK: store i64 2, i64* [[SZ_BASE]], align 8 // CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 1 // CHECK: [[ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 0 -// CHECK: store i64 %{{.+}}, i64* [[ADDR]], +// CHECK: store i64 %{{.+}}, i64* [[ADDR]], align 8 // CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 1 -// CHECK: store i64 4, i64* [[SZ_ADDR]], +// CHECK: store i64 4, i64* [[SZ_ADDR]], align 8 // CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 2 -// CHECK: store i8 3, i8* [[FLAGS_ADDR]], +// CHECK: store i8 3, i8* [[FLAGS_ADDR]], align 8 // CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 2 // CHECK: [[ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 0 -// CHECK: store i64 %{{.+}}, i64* [[ADDR]], +// CHECK: store i64 %{{.+}}, i64* [[ADDR]], align 8 // CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 1 -// CHECK: store i64 8, i64* [[SZ_ADDR]], +// CHECK: store i64 8, i64* [[SZ_ADDR]], align 8 // CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 2 -// CHECK: store i8 3, i8* [[FLAGS_ADDR]], +// CHECK: store i8 3, i8* [[FLAGS_ADDR]], align 8 // CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 1 // CHECK: [[DEP:%.+]] = bitcast %struct.kmp_depend_info* [[BASE_ADDR]] to i8* -// CHECK: store i8* [[DEP]], i8** [[MAIN_A]], -// CHECK: [[B:%.+]] = load i8*, i8** [[B_ADDR]], +// CHECK: store i8* [[DEP]], i8** [[MAIN_A]], align 8 +// CHECK: [[B:%.+]] = load i8*, i8** [[B_ADDR]], align 8 // CHECK: [[B_BASE:%.+]] = bitcast i8* [[B]] to %struct.kmp_depend_info* // CHECK: [[B_REF:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[B_BASE]], i{{.+}} -1 // CHECK: [[B:%.+]] = bitcast %struct.kmp_depend_info* [[B_REF]] to i8* @@ -72,13 +72,13 @@ int main(int argc, char **argv) { // CHECK: [[B_BASE:%.+]] = load %struct.kmp_depend_info*, %struct.kmp_depend_info** [[B_ADDR_CAST]], align 8 // CHECK: [[NUMDEPS_BASE:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[B_BASE]], i64 -1 // CHECK: [[NUMDEPS_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[NUMDEPS_BASE]], i{{.+}} 0, i{{.+}} 0 -// CHECK: [[NUMDEPS:%.+]] = load i64, i64* [[NUMDEPS_ADDR]], +// CHECK: [[NUMDEPS:%.+]] = load i64, i64* [[NUMDEPS_ADDR]], align 8 // CHECK: [[END:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[B_BASE]], i64 [[NUMDEPS]] // CHECK: br label %[[BODY:.+]] // CHECK: [[BODY]]: // CHECK: [[EL:%.+]] = phi %struct.kmp_depend_info* [ [[B_BASE]], %{{.+}} ], [ [[EL_NEXT:%.+]], %[[BODY]] ] // CHECK: [[FLAG_BASE:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[EL]], i{{.+}} 0, i{{.+}} 2 -// CHECK: store i8 4, i8* [[FLAG_BASE]], +// CHECK: store i8 4, i8* [[FLAG_BASE]], align 8 // CHECK: [[EL_NEXT]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[EL]], i{{.+}} 1 // CHECK: [[IS_DONE:%.+]] = icmp eq %struct.kmp_depend_info* [[EL_NEXT]], [[END]] // CHECK: br i1 [[IS_DONE]], label %[[DONE:.+]], label %[[BODY]] @@ -86,14 +86,14 @@ int main(int argc, char **argv) { // Claculate toal number of elements. // (argv[argc]-argv[0]-(-1)-1) / -(-1); -// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR:%.+]], -// CHECK: [[ARGC:%.+]] = load i32, i32* [[ARGC_ADDR:%.+]], +// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR:%.+]], align 8 +// CHECK: [[ARGC:%.+]] = load i32, i32* [[ARGC_ADDR:%.+]], align 4 // CHECK: [[IDX:%.+]] = sext i32 [[ARGC]] to i64 // CHECK: [[BEGIN_ADDR:%.+]] = getelementptr inbounds i8*, i8** [[ARGV]], i64 [[IDX]] -// CHECK: [[BEGIN:%.+]] = load i8*, i8** [[BEGIN_ADDR]], -// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], +// CHECK: [[BEGIN:%.+]] = load i8*, i8** [[BEGIN_ADDR]], align 8 +// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], align 8 // CHECK: [[END_ADDR:%.+]] = getelementptr inbounds i8*, i8** [[ARGV]], i64 0 -// CHECK: [[END:%.+]] = load i8*, i8** [[END_ADDR]], +// CHECK: [[END:%.+]] = load i8*, i8** [[END_ADDR]], align 8 // CHECK: [[BEGIN_INT:%.+]] = ptrtoint i8* [[BEGIN]] to i64 // CHECK: [[END_INT:%.+]] = ptrtoint i8* [[END]] to i64 // CHECK: [[BE_SUB:%.+]] = sub i64 [[BEGIN_INT]], [[END_INT]] @@ -114,20 +114,20 @@ int main(int argc, char **argv) { // dep[0].base_addr = NELEMS. // CHECK: [[BASE_ADDR_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 0, i{{.+}} 0 -// CHECK: store i64 [[NELEMS]], i64* [[BASE_ADDR_ADDR]], +// CHECK: store i64 [[NELEMS]], i64* [[BASE_ADDR_ADDR]], align 8 // iterator_counter = 1; -// CHECK: store i64 1, i64* [[ITERATOR_COUNTER_ADDR:%.+]], +// CHECK: store i64 1, i64* [[ITERATOR_COUNTER_ADDR:%.+]], align 8 // NITER = (argv[argc]-argv[0]-(-1)-1) / -(-1); -// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], -// CHECK: [[ARGC:%.+]] = load i32, i32* [[ARGC_ADDR]], +// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], align 8 +// CHECK: [[ARGC:%.+]] = load i32, i32* [[ARGC_ADDR]], align 4 // CHECK: [[IDX:%.+]] = sext i32 [[ARGC]] to i64 // CHECK: [[BEGIN_ADDR:%.+]] = getelementptr inbounds i8*, i8** [[ARGV]], i64 [[IDX]] -// CHECK: [[BEGIN:%.+]] = load i8*, i8** [[BEGIN_ADDR]], -// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], +// CHECK: [[BEGIN:%.+]] = load i8*, i8** [[BEGIN_ADDR]], align 8 +// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], align 8 // CHECK: [[END_ADDR:%.+]] = getelementptr inbounds i8*, i8** [[ARGV]], i64 0 -// CHECK: [[END:%.+]] = load i8*, i8** [[END_ADDR]], +// CHECK: [[END:%.+]] = load i8*, i8** [[END_ADDR]], align 8 // CHECK: [[BEGIN_INT:%.+]] = ptrtoint i8* [[BEGIN]] to i64 // CHECK: [[END_INT:%.+]] = ptrtoint i8* [[END]] to i64 // CHECK: [[BE_SUB:%.+]] = sub i64 [[BEGIN_INT]], [[END_INT]] @@ -136,54 +136,54 @@ int main(int argc, char **argv) { // CHECK: [[NITER:%.+]] = sdiv i64 [[BE_SUB_ST_SUB_1_SUB]], 1 // Loop. -// CHECK: store i64 0, i64* [[COUNTER_ADDR:%.+]], +// CHECK: store i64 0, i64* [[COUNTER_ADDR:%.+]], align 8 // CHECK: br label %[[CONT:.+]] // CHECK: [[CONT]]: -// CHECK: [[COUNTER:%.+]] = load i64, i64* [[COUNTER_ADDR]], +// CHECK: [[COUNTER:%.+]] = load i64, i64* [[COUNTER_ADDR]], align 8 // CHECK: [[CMP:%.+]] = icmp slt i64 [[COUNTER]], [[NITER]] // CHECK: br i1 [[CMP]], label %[[BODY:.+]], label %[[EXIT:.+]] // CHECK: [[BODY]]: // p = BEGIN + COUNTER * STEP; -// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], -// CHECK: [[ARGC:%.+]] = load i32, i32* [[ARGC_ADDR]], +// CHECK: [[ARGV:%.+]] = load i8**, i8*** [[ARGV_ADDR]], align 8 +// CHECK: [[ARGC:%.+]] = load i32, i32* [[ARGC_ADDR]], align 4 // CHECK: [[IDX:%.+]] = sext i32 [[ARGC]] to i64 // CHECK: [[BEGIN_ADDR:%.+]] = getelementptr inbounds i8*, i8** [[ARGV]], i64 [[IDX]] -// CHECK: [[BEGIN:%.+]] = load i8*, i8** [[BEGIN_ADDR]], -// CHECK: [[COUNTER:%.+]] = load i64, i64* [[COUNTER_ADDR]], +// CHECK: [[BEGIN:%.+]] = load i8*, i8** [[BEGIN_ADDR]], align 8 +// CHECK: [[COUNTER:%.+]] = load i64, i64* [[COUNTER_ADDR]], align 8 // CHECK: [[CS_MUL:%.+]] = mul nsw i64 [[COUNTER]], -1 // CHECK: [[CS_MUL_BEGIN_ADD:%.+]] = getelementptr inbounds i8, i8* [[BEGIN]], i64 [[CS_MUL]] -// CHECK: store i8* [[CS_MUL_BEGIN_ADD]], i8** [[P_ADDR:%.+]], +// CHECK: store i8* [[CS_MUL_BEGIN_ADD]], i8** [[P_ADDR:%.+]], align 8 // &p[0] -// CHECK: [[P:%.+]] = load i8*, i8** [[P_ADDR]], +// CHECK: [[P:%.+]] = load i8*, i8** [[P_ADDR]], align 8 // CHECK: [[P0:%.+]] = getelementptr inbounds i8, i8* [[P]], i64 0 // dep[ITERATOR_COUNTER].base_addr = &p[0]; -// CHECK: [[ITERATOR_COUNTER:%.+]] = load i64, i64* [[ITERATOR_COUNTER_ADDR]], +// CHECK: [[ITERATOR_COUNTER:%.+]] = load i64, i64* [[ITERATOR_COUNTER_ADDR]], align 8 // CHECK: [[DEP_IC:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i64 [[ITERATOR_COUNTER]] // CHECK: [[DEP_IC_BASE_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_IC]], i{{.+}} 0, i{{.+}} 0 // CHECK: [[P0_ADDR:%.+]] = ptrtoint i8* [[P0]] to i64 -// CHECK: store i64 [[P0_ADDR]], i64* [[DEP_IC_BASE_ADDR]], +// CHECK: store i64 [[P0_ADDR]], i64* [[DEP_IC_BASE_ADDR]], align 8 // dep[ITERATOR_COUNTER].size = sizeof(p[0]); // CHECK: [[DEP_IC_SIZE:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_IC]], i{{.+}} 0, i{{.+}} 1 -// CHECK: store i64 1, i64* [[DEP_IC_SIZE]], +// CHECK: store i64 1, i64* [[DEP_IC_SIZE]], align 8 // dep[ITERATOR_COUNTER].flags = in_out; // CHECK: [[DEP_IC_FLAGS:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_IC]], i{{.+}} 0, i{{.+}} 2 -// CHECK: store i8 3, i8* [[DEP_IC_FLAGS]], +// CHECK: store i8 3, i8* [[DEP_IC_FLAGS]], align 8 // ITERATOR_COUNTER = ITERATOR_COUNTER + 1; -// CHECK: [[ITERATOR_COUNTER:%.+]] = load i64, i64* [[ITERATOR_COUNTER_ADDR]], +// CHECK: [[ITERATOR_COUNTER:%.+]] = load i64, i64* [[ITERATOR_COUNTER_ADDR]], align 8 // CHECK: [[INC:%.+]] = add nuw i64 [[ITERATOR_COUNTER]], 1 -// CHECK: store i64 [[INC]], i64* [[ITERATOR_COUNTER_ADDR]], +// CHECK: store i64 [[INC]], i64* [[ITERATOR_COUNTER_ADDR]], align 8 // COUNTER = COUNTER + 1; -// CHECK: [[COUNTER:%.+]] = load i64, i64* [[COUNTER_ADDR]], +// CHECK: [[COUNTER:%.+]] = load i64, i64* [[COUNTER_ADDR]], align 8 // CHECK: [[INC:%.+]] = add nsw i64 [[COUNTER]], 1 -// CHECK: store i64 [[INC]], i64* [[COUNTER_ADDR]], +// CHECK: store i64 [[INC]], i64* [[COUNTER_ADDR]], align 8 // CHECK: br label %[[CONT]] // CHECK: [[EXIT]]: @@ -191,7 +191,7 @@ int main(int argc, char **argv) { // a = &dep[1]; // CHECK: [[DEP_BEGIN:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i64 1 // CHECK: [[DEP:%.+]] = bitcast %struct.kmp_depend_info* [[DEP_BEGIN]] to i8* -// CHECK: store i8* [[DEP]], i8** [[MAIN_A]], +// CHECK: store i8* [[DEP]], i8** [[MAIN_A]], align 8 // CHECK-LABEL: tmain // CHECK: [[ARGC_ADDR:%.+]] = alloca i8*, @@ -199,29 +199,29 @@ int main(int argc, char **argv) { // CHECK: [[DEP_ADDR_VOID:%.+]] = call i8* @__kmpc_alloc(i32 [[GTID]], i64 72, i8* null) // CHECK: [[DEP_ADDR:%.+]] = bitcast i8* [[DEP_ADDR_VOID]] to %struct.kmp_depend_info* // CHECK: [[SZ_BASE:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 0, i{{.+}} 0 -// CHECK: store i64 2, i64* [[SZ_BASE]], +// CHECK: store i64 2, i64* [[SZ_BASE]], align 8 // CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 1 // CHECK: [[ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 0 -// CHECK: store i64 %{{.+}}, i64* [[ADDR]], +// CHECK: store i64 %{{.+}}, i64* [[ADDR]], align 8 // CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 1 -// CHECK: store i64 8, i64* [[SZ_ADDR]], +// CHECK: store i64 8, i64* [[SZ_ADDR]], align 8 // CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 2 -// CHECK: store i8 1, i8* [[FLAGS_ADDR]], -// CHECK: [[SHAPE_ADDR:%.+]] = load i32*, i32** [[ARGV_ADDR:%.+]], +// CHECK: store i8 1, i8* [[FLAGS_ADDR]], align 8 +// CHECK: [[SHAPE_ADDR:%.+]] = load i32*, i32** [[ARGV_ADDR:%.+]], align 8 // CHECK: [[SZ1:%.+]] = mul nuw i64 12, %{{.+}} // CHECK: [[SZ:%.+]] = mul nuw i64 [[SZ1]], 4 // CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 2 // CHECK: [[ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 0 // CHECK: [[SHAPE:%.+]] = ptrtoint i32* [[SHAPE_ADDR]] to i64 -// CHECK: store i64 [[SHAPE]], i64* [[ADDR]], +// CHECK: store i64 [[SHAPE]], i64* [[ADDR]], align 8 // CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 1 -// CHECK: store i64 [[SZ]], i64* [[SZ_ADDR]], +// CHECK: store i64 [[SZ]], i64* [[SZ_ADDR]], align 8 // CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 2 -// CHECK: store i8 1, i8* [[FLAGS_ADDR]], +// CHECK: store i8 1, i8* [[FLAGS_ADDR]], align 8 // CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[DEP_ADDR]], i{{.+}} 1 // CHECK: [[DEP:%.+]] = bitcast %struct.kmp_depend_info* [[BASE_ADDR]] to i8* -// CHECK: store i8* [[DEP]], i8** [[TMAIN_A]], -// CHECK: [[ARGC:%.+]] = load i8*, i8** [[ARGC_ADDR]], +// CHECK: store i8* [[DEP]], i8** [[TMAIN_A]], align 8 +// CHECK: [[ARGC:%.+]] = load i8*, i8** [[ARGC_ADDR]], align 8 // CHECK: [[ARGC_BASE:%.+]] = bitcast i8* [[ARGC]] to %struct.kmp_depend_info* // CHECK: [[ARGC_REF:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[ARGC_BASE]], i{{.+}} -1 // CHECK: [[ARGC:%.+]] = bitcast %struct.kmp_depend_info* [[ARGC_REF]] to i8* @@ -230,13 +230,13 @@ int main(int argc, char **argv) { // CHECK: [[ARGC_BASE:%.+]] = load %struct.kmp_depend_info*, %struct.kmp_depend_info** [[ARGC_ADDR_CAST]], align 8 // CHECK: [[NUMDEPS_BASE:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[ARGC_BASE]], i64 -1 // CHECK: [[NUMDEPS_ADDR:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[NUMDEPS_BASE]], i{{.+}} 0, i{{.+}} 0 -// CHECK: [[NUMDEPS:%.+]] = load i64, i64* [[NUMDEPS_ADDR]], +// CHECK: [[NUMDEPS:%.+]] = load i64, i64* [[NUMDEPS_ADDR]], align 8 // CHECK: [[END:%.+]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[ARGC_BASE]], i64 [[NUMDEPS]] // CHECK: br label %[[BODY:.+]] // CHECK: [[BODY]]: // CHECK: [[EL:%.+]] = phi %struct.kmp_depend_info* [ [[ARGC_BASE]], %{{.+}} ], [ [[EL_NEXT:%.+]], %[[BODY]] ] // CHECK: [[FLAG_BASE:%.+]] = getelementptr inbounds %struct.kmp_depend_info, %struct.kmp_depend_info* [[EL]], i{{.+}} 0, i{{.+}} 2 -// CHECK: store i8 3, i8* [[FLAG_BASE]], +// CHECK: store i8 3, i8* [[FLAG_BASE]], align 8 // CHECK: [[EL_NEXT]] = getelementptr %struct.kmp_depend_info, %struct.kmp_depend_info* [[EL]], i{{.+}} 1 // CHECK: [[IS_DONE:%.+]] = icmp eq %struct.kmp_depend_info* [[EL_NEXT]], [[END]] // CHECK: br i1 [[IS_DONE]], label %[[DONE:.+]], label %[[BODY]]