99 lines · plain
1! RUN: bbc -emit-fir -hlfir=false -o - %s | FileCheck %s2 3! CHECK-LABEL: func @_QQmain4program bb ! block stack management and exits5 ! CHECK: %[[V_0:[0-9]+]] = fir.alloca i32 {adapt.valuebyref}6 ! CHECK: %[[V_1:[0-9]+]] = fir.alloca i32 {bindc_name = "i", uniq_name = "_QFEi"}7 integer :: i, j8 ! CHECK: fir.store %c0{{.*}} to %[[V_1]] : !fir.ref<i32>9 i = 010 ! CHECK: %[[V_3:[0-9]+]] = llvm.intr.stacksave : !llvm.ptr11 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>12 ! CHECK: br ^bb113 ! CHECK: ^bb1: // 2 preds: ^bb0, ^bb1614 ! CHECK: cond_br %{{.*}}, ^bb2, ^bb1715 ! CHECK: ^bb2: // pred: ^bb116 ! CHECK: %[[V_11:[0-9]+]] = llvm.intr.stacksave : !llvm.ptr17 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>18 ! CHECK: cond_br %{{.*}}, ^bb3, ^bb419 ! CHECK: ^bb3: // pred: ^bb220 ! CHECK: br ^bb1021 ! CHECK: ^bb4: // pred: ^bb222 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>23 ! CHECK: cond_br %{{.*}}, ^bb5, ^bb624 ! CHECK: ^bb5: // pred: ^bb425 ! CHECK: br ^bb1426 ! CHECK: ^bb6: // pred: ^bb427 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>28 ! CHECK: cond_br %{{.*}}, ^bb7, ^bb829 ! CHECK: ^bb7: // pred: ^bb630 ! CHECK: llvm.intr.stackrestore %[[V_11]] : !llvm.ptr31 ! CHECK: br ^bb1532 ! CHECK: ^bb8: // pred: ^bb633 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>34 ! CHECK: cond_br %{{.*}}, ^bb9, ^bb1035 ! CHECK: ^bb9: // pred: ^bb836 ! CHECK: llvm.intr.stackrestore %[[V_11]] : !llvm.ptr37 ! CHECK: br ^bb1638 ! CHECK: ^bb10: // 2 preds: ^bb3, ^bb839 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>40 ! CHECK: cond_br %{{.*}}, ^bb11, ^bb1241 ! CHECK: ^bb11: // pred: ^bb1042 ! CHECK: llvm.intr.stackrestore %[[V_11]] : !llvm.ptr43 ! CHECK: br ^bb1844 ! CHECK: ^bb12: // pred: ^bb1045 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>46 ! CHECK: cond_br %{{.*}}, ^bb13, ^bb1447 ! CHECK: ^bb13: // pred: ^bb1248 ! CHECK: llvm.intr.stackrestore %[[V_11]] : !llvm.ptr49 ! CHECK: llvm.intr.stackrestore %[[V_3]] : !llvm.ptr50 ! CHECK: br ^bb1951 ! CHECK: ^bb14: // 2 preds: ^bb5, ^bb1252 ! CHECK: llvm.intr.stackrestore %[[V_11]] : !llvm.ptr53 ! CHECK: br ^bb1554 ! CHECK: ^bb15: // 2 preds: ^bb7, ^bb1455 ! CHECK: br ^bb1656 ! CHECK: ^bb16: // 2 preds: ^bb9, ^bb1557 ! CHECK: br ^bb158 ! CHECK: ^bb17: // pred: ^bb159 ! CHECK: fir.store %{{.*}} to %[[V_1]] : !fir.ref<i32>60 ! CHECK: cf.br ^bb1861 ! CHECK: ^bb18: // 2 preds: ^bb11, ^bb1762 ! CHECK: llvm.intr.stackrestore %[[V_3]] : !llvm.ptr63 ! CHECK: br ^bb1964 ! CHECK: ^bb19: // 2 preds: ^bb13, ^bb1865 block66 i = i + 1 ! 1 increment67 do j = 1, 568 block69 i = i + 1; if (j == 1) goto 1 ! inner block - 5 increments, 1 goto70 i = i + 1; if (j == 2) goto 2 ! inner block - 4 increments, 1 goto71 i = i + 1; if (j == 3) goto 10 ! outer block - 3 increments, 1 goto72 i = i + 1; if (j == 4) goto 11 ! outer block - 2 increments, 1 goto731 i = i + 1; if (j == 5) goto 12 ! outer block - 2 increments, 1 goto74 i = i + 1; if (j == 6) goto 100 ! program - 1 increment752 end block7610 i = i + 1 ! 3 increments7711 end do78 i = i + 1 ! 0 increments7912 end block80100 print*, i ! expect 2181 82 ! CHECK: %[[V_51:[0-9]+]] = llvm.intr.stacksave : !llvm.ptr83 ! CHECK: fir.store %c5{{.*}} to %[[V_0]] : !fir.ref<i32>84 ! CHECK: fir.call @ss(%[[V_0]]) proc_attrs<bind_c> fastmath<contract> : (!fir.ref<i32>) -> ()85 ! CHECK: llvm.intr.stackrestore %[[V_51]] : !llvm.ptr86 block87 interface88 subroutine ss(n) bind(c)89 integer :: n90 end subroutine91 end interface92 call ss(5)93 end block94end95 96subroutine ss(n) bind(c)97 print*, n98end subroutine99