55 lines · plain
1// RUN: mlir-translate -mlir-to-llvmir -split-input-file %s | FileCheck %s2 3// Tests regression uncovered by "1009/1009_0029.f90" (from the Fujitsu test4// suite). This test replicates a simplified version of the block structure5// produced by the Fujitsu test.6 7llvm.func @test_block_structure() {8 %i1 = llvm.mlir.constant(1 : index) : i19 %i64 = llvm.mlir.constant(1 : index) : i6410 llvm.br ^bb1(%i64, %i64 : i64, i64)11 12^bb1(%20: i64, %21: i64): // 2 preds: ^bb0, ^bb513 llvm.cond_br %i1, ^bb2, ^bb614 15^bb2: // pred: ^bb116 llvm.br ^bb3(%i64, %i64 : i64, i64)17 18^bb3(%25: i64, %26: i64): // 2 preds: ^bb2, ^bb419 llvm.cond_br %i1, ^bb4, ^bb520 21^bb4: // pred: ^bb322 omp.wsloop {23 omp.loop_nest (%arg0) : i64 = (%i64) to (%i64) inclusive step (%i64) {24 omp.yield25 }26 }27 llvm.br ^bb1(%i64, %i64 : i64, i64)28 29^bb5: // pred: ^bb330 llvm.br ^bb1(%i64, %i64 : i64, i64)31 32^bb6: // pred: ^bb133 llvm.return34}35 36// CHECK: define void @test_block_structure37// CHECK: br label %[[AFTER_ALLOCA:.*]]38 39// CHECK: [[AFTER_ALLOCA:]]:40// CHECK: br label %[[BB1:.*]]41 42// CHECK: [[BB1:]]:43// CHECK: %{{.*}} = phi i64 44// CHECK: br i1 true, label %[[BB2:.*]], label %{{.*}}45 46// CHECK: [[BB2]]:47// CHECK: br label %[[BB3:.*]]48 49// CHECK: [[BB3]]:50// CHECK: %{{.*}} = phi i64 51// CHECK: br i1 true, label %[[BB4:.*]], label %{{.*}}52 53// CHECK: [[BB4]]:54// CHECK: br label %omp_loop.preheader55