@@ -2466,20 +2466,42 @@ int testBlockPredecessorsSuccessors(MlirContext ctx) {
2466
2466
MlirBlock middleBlock = mlirBlockGetNextInRegion (entryBlock );
2467
2467
MlirBlock successorBlock = mlirBlockGetNextInRegion (middleBlock );
2468
2468
2469
- assert (mlirBlockGetNumPredecessors (entryBlock ) == 0 );
2470
-
2471
- assert (mlirBlockGetNumSuccessors (entryBlock ) == 1 );
2472
- assert (mlirBlockEqual (middleBlock , mlirBlockGetSuccessor (entryBlock , 0 )));
2473
- assert (mlirBlockGetNumPredecessors (middleBlock ) == 1 );
2474
- assert (mlirBlockEqual (entryBlock , mlirBlockGetPredecessor (middleBlock , 0 )));
2475
-
2476
- assert (mlirBlockGetNumSuccessors (middleBlock ) == 1 );
2477
- assert (mlirBlockEqual (successorBlock , mlirBlockGetSuccessor (middleBlock , 0 )));
2478
- assert (mlirBlockGetNumPredecessors (successorBlock ) == 1 );
2479
- assert (
2480
- mlirBlockEqual (middleBlock , mlirBlockGetPredecessor (successorBlock , 0 )));
2481
-
2482
- assert (mlirBlockGetNumSuccessors (successorBlock ) == 0 );
2469
+ #define FPRINTF_OP (OP , FMT ) fprintf(stderr, #OP ": " FMT "\n", OP)
2470
+
2471
+ // CHECK: mlirBlockGetNumPredecessors(entryBlock): 0
2472
+ FPRINTF_OP (mlirBlockGetNumPredecessors (entryBlock ), "%ld" );
2473
+
2474
+ // CHECK: mlirBlockGetNumSuccessors(entryBlock): 1
2475
+ FPRINTF_OP (mlirBlockGetNumSuccessors (entryBlock ), "%ld" );
2476
+ // CHECK: mlirBlockEqual(middleBlock, mlirBlockGetSuccessor(entryBlock, 0)): 1
2477
+ FPRINTF_OP (mlirBlockEqual (middleBlock , mlirBlockGetSuccessor (entryBlock , 0 )),
2478
+ "%d" );
2479
+ // CHECK: mlirBlockGetNumPredecessors(middleBlock): 1
2480
+ FPRINTF_OP (mlirBlockGetNumPredecessors (middleBlock ), "%ld" );
2481
+ // CHECK: mlirBlockEqual(entryBlock, mlirBlockGetPredecessor(middleBlock, 0))
2482
+ FPRINTF_OP (
2483
+ mlirBlockEqual (entryBlock , mlirBlockGetPredecessor (middleBlock , 0 )),
2484
+ "%d" );
2485
+
2486
+ // CHECK: mlirBlockGetNumSuccessors(middleBlock): 1
2487
+ FPRINTF_OP (mlirBlockGetNumSuccessors (middleBlock ), "%ld" );
2488
+ // CHECK: mlirBlockEqual(successorBlock, mlirBlockGetSuccessor(middleBlock,
2489
+ // 0)): 1
2490
+ FPRINTF_OP (
2491
+ mlirBlockEqual (successorBlock , mlirBlockGetSuccessor (middleBlock , 0 )),
2492
+ "%d" );
2493
+ // CHECK: mlirBlockGetNumPredecessors(successorBlock): 1
2494
+ FPRINTF_OP (mlirBlockGetNumPredecessors (successorBlock ), "%ld" );
2495
+ // CHECK: mlirBlockEqual(middleBlock, mlirBlockGetPredecessor(successorBlock,
2496
+ // 0)): 1
2497
+ FPRINTF_OP (
2498
+ mlirBlockEqual (middleBlock , mlirBlockGetPredecessor (successorBlock , 0 )),
2499
+ "%d" );
2500
+
2501
+ // CHECK: mlirBlockGetNumSuccessors(successorBlock): 0
2502
+ FPRINTF_OP (mlirBlockGetNumSuccessors (successorBlock ), "%ld" );
2503
+
2504
+ #undef FPRINTF_OP
2483
2505
2484
2506
mlirModuleDestroy (module );
2485
2507
0 commit comments