mlir::LogicalResult
matchAndRewrite(fir::BoxProcHostOp boxprochost, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- boxprochost, "fir.boxproc_host codegen is not implemented yet");
+ TODO(boxprochost.getLoc(), "fir.boxproc_host codegen");
+ return failure();
}
};
mlir::LogicalResult
matchAndRewrite(fir::DispatchOp dispatch, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- dispatch, "fir.dispatch codegen is not implemented yet");
+ TODO(dispatch.getLoc(), "fir.dispatch codegen");
+ return failure();
}
};
mlir::LogicalResult
matchAndRewrite(fir::DispatchTableOp dispTab, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- dispTab, "fir.dispatch_table codegen is not implemented yet");
+ TODO(dispTab.getLoc(), "fir.dispatch_table codegen");
+ return failure();
}
};
mlir::LogicalResult
matchAndRewrite(fir::DTEntryOp dtEnt, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- dtEnt, "fir.dt_entry codegen is not implemented yet");
+ TODO(dtEnt.getLoc(), "fir.dt_entry codegen");
+ return failure();
}
};
mlir::LogicalResult
matchAndRewrite(fir::GlobalLenOp globalLen, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- globalLen, "fir.global_len codegen is not implemented yet");
+ TODO(globalLen.getLoc(), "fir.global_len codegen");
+ return failure();
}
};
mlir::LogicalResult
matchAndRewrite(fir::LenParamIndexOp lenp, OpAdaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- lenp, "fir.len_param_index codegen is not implemented yet");
+ TODO(lenp.getLoc(), "fir.len_param_index codegen");
}
};
mlir::LogicalResult
matchAndRewrite(fir::GenTypeDescOp gentypedesc, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- gentypedesc, "fir.fir.gentypedesc codegen is not implemented yet");
+ TODO(gentypedesc.getLoc(), "fir.gentypedesc codegen");
+ return failure();
}
};
mlir::LogicalResult
matchAndRewrite(fir::FirEndOp firEnd, OpAdaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- firEnd, "fir.end codegen is not implemented yet");
+ TODO(firEnd.getLoc(), "fir.end codegen");
+ return failure();
}
};
unsigned conds = caseOp.getNumConditions();
llvm::ArrayRef<mlir::Attribute> cases = caseOp.getCases().getValue();
// Type can be CHARACTER, INTEGER, or LOGICAL (C1145)
- LLVM_ATTRIBUTE_UNUSED auto ty = caseOp.getSelector().getType();
- if (ty.isa<fir::CharacterType>())
- return rewriter.notifyMatchFailure(caseOp,
- "conversion of fir.select_case with "
- "character type not implemented yet");
+ auto ty = caseOp.getSelector().getType();
+ if (ty.isa<fir::CharacterType>()) {
+ TODO(caseOp.getLoc(), "fir.select_case codegen with character type");
+ return failure();
+ }
mlir::Value selector = caseOp.getSelector(adaptor.getOperands());
auto loc = caseOp.getLoc();
for (unsigned t = 0; t != conds; ++t) {
mlir::LogicalResult
matchAndRewrite(fir::SelectTypeOp select, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- select, "fir.select_type codegen is not implemented yet");
+ mlir::emitError(select.getLoc(),
+ "fir.select_type should have already been converted");
+ return failure();
}
};
mlir::LogicalResult
matchAndRewrite(fir::ZeroOp zero, OpAdaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- auto ty = convertType(zero.getType());
+ mlir::Type ty = convertType(zero.getType());
if (ty.isa<mlir::LLVM::LLVMPointerType>()) {
rewriter.replaceOpWithNewOp<mlir::LLVM::NullOp>(zero, ty);
} else if (ty.isa<mlir::IntegerType>()) {
/*lenParams=*/adaptor.getOperands().drop_front(1));
dest = insertBaseAddress(rewriter, embox.getLoc(), dest,
adaptor.getOperands()[0]);
- if (isDerivedTypeWithLenParams(boxTy))
- return rewriter.notifyMatchFailure(
- embox, "fir.embox codegen of derived with length parameters not "
- "implemented yet");
+ if (isDerivedTypeWithLenParams(boxTy)) {
+ TODO(embox.getLoc(),
+ "fir.embox codegen of derived with length parameters");
+ return failure();
+ }
auto result = placeInMemoryIfNotGlobalInit(rewriter, embox.getLoc(), dest);
rewriter.replaceOp(embox, result);
return success();
mlir::LogicalResult
matchAndRewrite(fir::EmboxProcOp emboxproc, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- emboxproc, "fir.emboxproc codegen is not implemented yet");
+ TODO(emboxproc.getLoc(), "fir.emboxproc codegen");
+ return failure();
}
};
-
// Code shared between insert_value and extract_value Ops.
struct ValueOpCommon {
// Translate the arguments pertaining to any multidimensional array to
mlir::LogicalResult
matchAndRewrite(fir::UnboxProcOp unboxproc, OpAdaptor adaptor,
mlir::ConversionPatternRewriter &rewriter) const override {
- return rewriter.notifyMatchFailure(
- unboxproc, "fir.unboxproc codegen is not implemented yet");
+ TODO(unboxproc.getLoc(), "fir.unboxproc codegen");
+ return failure();
}
};
flang_site_config=${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg.py)
set(FLANG_TEST_DEPENDS
- flang-new FileCheck count not module_files fir-opt tco
+ flang-new llvm-config FileCheck count not module_files fir-opt tco
)
if (FLANG_INCLUDE_TESTS)
--- /dev/null
+// RUN: not fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test that `fir.boxproc_host` fails conversion to llvm.
+// At the moment this test fails since `fir.boxproc` type does not have a conversion.
+
+// CHECK: failed to legalize operation 'builtin.func'
+func @test(%bproc: !fir.boxproc<(i32) -> ()>) {
+ %tuple = fir.boxproc_host %bproc : (!fir.boxproc<(i32) -> ()>) -> (!fir.ref<tuple<i32,f64>>)
+ return
+}
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.dispatch` conversion to llvm.
+// Not implemented yet.
+
+func @dispatch(%arg0: !fir.box<!fir.type<derived3{f:f32}>>) {
+// CHECK: not yet implemented fir.dispatch codegen
+ %0 = fir.dispatch "method"(%arg0) : (!fir.box<!fir.type<derived3{f:f32}>>) -> i32
+ return
+}
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test fir.dispatch_table conversion to llvm.
+// Not implemented yet.
+
+// CHECK: not yet implemented fir.dispatch_table codegen
+fir.dispatch_table @dispatch_tbl {
+ fir.dt_entry "method", @method_impl
+}
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.emboxproc` conversion to llvm.
+// Not implemented yet.
+
+func @emboxproc_test() {
+ %host_vars = fir.alloca tuple<i32,f64>
+// CHECK: not yet implemented fir.emboxproc codegen
+ %bproc = fir.emboxproc @method_impl, %host_vars : ((i32) -> (), !fir.ref<tuple<i32,f64>>) -> !fir.boxproc<(i32) -> ()>
+ return
+}
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.end` conversion to llvm.
+// Not implemented yet.
+
+func @end_test() {
+// CHECK: not yet implemented fir.end codegen
+ "fir.end"() : () -> ()
+}
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.gentypedesc` conversion to llvm.
+// Not implemented yet.
+
+func @gentypedesc() {
+// CHECK: not yet implemented fir.gentypedesc codegen
+ %0 = fir.gentypedesc !fir.type<derived3>
+ return
+}
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.global_len` conversion to llvm.
+// Not implemented yet.
+
+fir.global @global_derived : !fir.type<minez(f:i32)> {
+// CHECK: not yet implemented fir.global_len codegen
+ fir.global_len f, 1 : i32
+ %0 = fir.undefined !fir.type<minez>
+ fir.has_value %0 : !fir.type<minez>
+}
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.len_param_index` conversion to llvm.
+// Not implemented yet.
+
+func @lenparamindex() {
+ // CHECK: not yet implemented fir.len_param_index codegen
+ %0 = fir.len_param_index l1, !fir.type<twolens(l1:i32, l2:i32){i:i32, f:f32, l:i64}>
+ return
+}
+
--- /dev/null
+// RUN: %not_todo_cmd fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.select_case` conversion to llvm with character type.
+// Not implemented yet.
+
+func @select_case_charachter(%arg0: !fir.char<2, 10>, %arg1: !fir.char<2, 10>, %arg2: !fir.char<2, 10>) {
+// CHECK: not yet implemented fir.select_case codegen with character type
+ fir.select_case %arg0 : !fir.char<2, 10> [#fir.point, %arg1, ^bb1,
+ #fir.point, %arg2, ^bb2,
+ unit, ^bb3]
+^bb1:
+ %c1_i32 = arith.constant 1 : i32
+ br ^bb3
+^bb2:
+ %c2_i32 = arith.constant 2 : i32
+ br ^bb3
+^bb3:
+ return
+}
--- /dev/null
+// RUN: not fir-opt --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s 2>&1 | FileCheck %s
+
+// Test `fir.unboxproc` conversion to llvm.
+// Not implemented yet.
+// Currently fails since coversion for boxproc type is not implemented.
+
+// CHECK: failed to legalize operation 'builtin.func'
+func @boxing_match(%bproc: !fir.boxproc<(i32) -> ()>) {
+ %ubproc:2 = fir.unboxproc %bproc : (!fir.boxproc<(i32) -> ()>) -> ((i32) -> (), !fir.ref<tuple<i32,f64>>)
+ return
+}
// -----
-// Test that `fir.dispatch` fails to be legalized. Not implemented yet.
-
-func @dispatch(%arg0: !fir.box<!fir.type<derived3{f:f32}>>) {
- // expected-error@+1{{failed to legalize operation 'fir.dispatch'}}
- %0 = fir.dispatch "method"(%arg0) : (!fir.box<!fir.type<derived3{f:f32}>>) -> i32
- return
-}
-
-// -----
-
-// Test that `fir.dispatch_table`/`fir.dt_entry` fails to be legalized.
-// Not implemented yet.
-
-// expected-error@+1{{failed to legalize operation 'fir.dispatch_table'}}
-fir.dispatch_table @dispatch_tbl {
- fir.dt_entry "method", @method_impl
-}
-
-// -----
-
-// Test `fir.select_case` conversion failure with character type.
-// Not implemented yet.
-
-func @select_case_charachter(%arg0: !fir.char<2, 10>, %arg1: !fir.char<2, 10>, %arg2: !fir.char<2, 10>) {
- // expected-error@+1{{failed to legalize operation 'fir.select_case'}}
- fir.select_case %arg0 : !fir.char<2, 10> [#fir.point, %arg1, ^bb1,
- #fir.point, %arg2, ^bb2,
- unit, ^bb3]
-^bb1:
- %c1_i32 = arith.constant 1 : i32
- br ^bb3
-^bb2:
- %c2_i32 = arith.constant 2 : i32
- br ^bb3
-^bb3:
- return
-}
-
-// -----
-
-// Test `fir.select_type` conversion failure. Not implemented yet.
-
-func @bar_select_type(%arg : !fir.box<!fir.type<derived3{f:f32}>>) -> i32 {
- %0 = arith.constant 1 : i32
- %2 = arith.constant 3 : i32
-
- // expected-error@+1{{failed to legalize operation 'fir.select_type'}}
- fir.select_type %arg : !fir.box<!fir.type<derived3{f:f32}>> [
- #fir.instance<!fir.int<4>>,^bb1(%0:i32),
- #fir.instance<!fir.int<8>>,^bb2(%2:i32),
- unit,^bb5 ]
-^bb1(%a : i32) :
- return %a : i32
-^bb2(%b : i32) :
- return %b : i32
-^bb5 :
- %zero = arith.constant 0 : i32
- return %zero : i32
-}
-
-// -----
-
-// Test `fir.global_len` conversion failure. Not implemented yet.
-
-fir.global @global_derived : !fir.type<minez(f:i32)> {
- // expected-error@+1{{failed to legalize operation 'fir.global_len'}}
- fir.global_len f, 1 : i32
- %0 = fir.undefined !fir.type<minez>
- fir.has_value %0 : !fir.type<minez>
-}
-
-// -----
-
-// Test `fir.len_param_index` conversion failure. Not implemented yet.
-
-func @lenparamindex() {
- // expected-error@+1{{failed to legalize operation 'fir.len_param_index'}}
- %0 = fir.len_param_index l1, !fir.type<twolens(l1:i32, l2:i32){i:i32, f:f32, l:i64}>
- return
-}
-
-// -----
-
-// Test `fir.gentypedesc` conversion failure. Not implemented yet.
-
-func @gentypedesc() {
- // expected-error@+1{{failed to legalize operation 'fir.gentypedesc'}}
- %0 = fir.gentypedesc !fir.type<derived3>
- return
-}
-
-// -----
-
// Verify that `fir.dt_entry` requires a parent op
// expected-error@+1{{'fir.dt_entry' op expects parent op 'fir.dispatch_table'}}
// -----
-// Test that the type `fir.boxproc` fails to be legalized.
-// Not implemented yet.
-
-// expected-error@+1{{failed to legalize operation 'builtin.func'}}
-func private @foo0(%arg0: !fir.boxproc<() -> ()>)
-
-// -----
-
-// Test that `fir.emboxproc` fails to be legalized.
-// Not implemented yet.
-
-func private @method_impl(i32)
+// Test `fir.select_type` conversion to llvm.
+// Should have been converted.
-func @emboxproc_test() {
- %host_vars = fir.alloca tuple<i32,f64>
-// expected-error@+1{{failed to legalize operation 'fir.emboxproc'}}
- %bproc = fir.emboxproc @method_impl, %host_vars : ((i32) -> (), !fir.ref<tuple<i32,f64>>) -> !fir.boxproc<(i32) -> ()>
- return
+func @bar_select_type(%arg : !fir.box<!fir.ref<f32>>) -> i32 {
+ %0 = arith.constant 1 : i32
+ %2 = arith.constant 3 : i32
+ // expected-error@+2{{fir.select_type should have already been converted}}
+ // expected-error@+1{{failed to legalize operation 'fir.select_type'}}
+ fir.select_type %arg : !fir.box<!fir.ref<f32>> [
+ #fir.instance<!fir.int<4>>,^bb1(%0:i32),
+ #fir.instance<!fir.int<8>>,^bb2(%2:i32),
+ unit,^bb5 ]
+^bb1(%a : i32) :
+ return %a : i32
+^bb2(%b : i32) :
+ return %b : i32
+^bb5 :
+ %zero = arith.constant 0 : i32
+ return %zero : i32
}
-
-// Test that `fir.unboxproc` and `fir.boxproc_host` also fails to be legalized.
-// At the moment these cannot be tested since the `fir.boxproc` type does not have a conversion.
-
-// -----
-
-// Test `fir.end` conversion failure. Not implemented yet.
-
-// expected-error@+1{{failed to legalize operation 'fir.end'}}
-"fir.end"() : () -> ()
llvm_config.use_default_substitutions()
+# ask llvm-config about asserts
+llvm_config.feature_config(
+ [('--assertion-mode', {'ON': 'asserts'})])
+
# excludes: A list of directories to exclude from the testsuite. The 'Inputs'
# subdirectories contain auxiliary inputs for various tests in their parent
# directories.
ToolSubst('%flang_fc1', command=FindTool('flang-new'), extra_args=['-fc1'],
unresolved='fatal')]
+# Flang has several unimplemented features. TODO messages are used to mark and fail if these
+# features are exercised. TODOs exit with an error in non-assert builds but in assert builds
+# it aborts. To catch aborts, the `--crash` option for the `not` command has to be used.
+if 'asserts' in config.available_features:
+ tools.append(ToolSubst('%not_todo_cmd', command=FindTool('not'), extra_args=['--crash'],
+ unresolved='fatal'))
+else:
+ tools.append(ToolSubst('%not_todo_cmd', command=FindTool('not'), unresolved='fatal'))
+
# Define some variables to help us test that the flang runtime doesn't depend on
# the C++ runtime libraries. For this we need a C compiler. If for some reason
# we don't have one, we can just disable the test.
projects / platform / upstream / llvm.git / commitdiff