Home
last modified time | relevance | path

Searched refs:verifier (Results 1 – 25 of 244) sorted by relevance

12345678910

/llvm-project-15.0.7/mlir/test/IR/
H A Dtest-verification-order.mlir16 // expected-remark@+1 {{success run of verifier}}
29 // expected-remark@+1 {{success run of verifier}}
44 // expected-remark@+1 {{success run of verifier}}
46 // expected-remark@-1 {{success run of region verifier}}
48 // expected-remark@+1 {{success run of verifier}}
50 // expected-remark@-1 {{success run of region verifier}}
/llvm-project-15.0.7/mlir/lib/IR/
H A DExtensibleDialect.cpp62 VerifierFn &&verifier) { in get() argument
63 return DynamicTypeDefinition::get(name, dialect, std::move(verifier), in get()
69 VerifierFn &&verifier, ParserFn &&parser, in get() argument
72 new DynamicTypeDefinition(name, dialect, std::move(verifier), in get()
78 VerifierFn &&verifier, in DynamicTypeDefinition() argument
81 : name(nameRef), dialect(dialect), verifier(std::move(verifier)), in DynamicTypeDefinition()
179 VerifierFn &&verifier) { in get() argument
186 VerifierFn &&verifier, ParserFn &&parser, in get() argument
189 new DynamicAttrDefinition(name, dialect, std::move(verifier), in get()
195 VerifierFn &&verifier, in DynamicAttrDefinition() argument
[all …]
/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DExtensibleDialect.h67 get(StringRef name, ExtensibleDialect *dialect, VerifierFn &&verifier);
69 get(StringRef name, ExtensibleDialect *dialect, VerifierFn &&verifier,
75 return verifier(emitError, params); in verify()
90 VerifierFn &&verifier, ParserFn &&parser,
110 VerifierFn verifier; variable
212 get(StringRef name, ExtensibleDialect *dialect, VerifierFn &&verifier);
214 get(StringRef name, ExtensibleDialect *dialect, VerifierFn &&verifier,
220 return verifier(emitError, params); in verify()
235 VerifierFn &&verifier, ParserFn &&parser,
255 VerifierFn verifier; variable
/llvm-project-15.0.7/clang/test/CodeGen/
H A Denable-split-lto-unit.ll3 ; Disable the verifier so the compiler doesn't abort and thus lead to empty
6 ; RUN: %clang_cc1 -emit-llvm-bc -flto=full -disable-llvm-verifier -o - %s | llvm-dis | FileCheck %s…
7 ; RUN: %clang_cc1 -emit-llvm-bc -flto=thin -disable-llvm-verifier -o - %s | llvm-dis | FileCheck %s…
/llvm-project-15.0.7/llvm/test/Verifier/
H A DREADME.txt1 This directory contains testcases that the verifier is supposed to detect as
2 malformed LLVM code. Testcases for situations that the verifier incorrectly
H A Dnon-integer-gep-index.ll3 ; Test that verifier checks that gep indexes has correct type
7 ; IR parser checks for this pattern independently from the verifier, so it's
H A Dcomdat3.ll1 ; This used to be invalid, but now it's valid. Ensure the verifier
H A Dalloc-size-failedparse.ll4 ; verifier. So, a seperate test is needed.
/llvm-project-15.0.7/llvm/test/Linker/
H A Dcomdat-rm-dst.ll16 ; the verifier accepts it, test that we at least produce an output that passes
17 ; the verifier.
/llvm-project-15.0.7/llvm/test/CodeGen/AMDGPU/
H A Dat-least-one-def-value-assert.mir12 # This MIR is invalid and should be caught by the verifier. %0.sub0 is
16 # LiveRange should be produced and the verifier will catch it.
H A Dllvm.amdgcn.wave.barrier.ll13 ; Check for verifier error from interpreting wave_barrier as a control
/llvm-project-15.0.7/llvm/test/SafepointIRVerifier/
H A Dbasic-use-after-reloc.ll1 ; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s
4 ; safepoint without using the relocated value that the verifier
/llvm-project-15.0.7/llvm/test/CodeGen/Hexagon/
H A Dverify-undef.ll4 ; This test fails in the machine verifier because the verifier thinks the
/llvm-project-15.0.7/llvm/test/CodeGen/ARM/
H A Dregcoal-invalid-subrange-update.mir25 # verifier error: No live segment at def.
28 # to force the live intervals to be carried around so that the verifier
30 # the live intervals would be dropped before running the verifier since
H A Dmachine-verifier.mir2 # This test ensures that the MIR parser runs the machine verifier after parsing.
/llvm-project-15.0.7/llvm/test/Bitcode/
H A Dupgrade-linker-options-2.ll2 ;; Inputs is generated from IR and checked in as bitcode as it will get rejected by verifier.
/llvm-project-15.0.7/llvm/test/CodeGen/MIR/X86/
H A Dmachine-verifier.mir2 # This test ensures that the MIR parser runs the machine verifier after parsing.
/llvm-project-15.0.7/llvm/test/Assembler/
H A D2002-08-22-DominanceProblem.ll5 ; which causes the verifier to barf on this input.
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A Dcfi-inserter-noreturnblock.mir4 # Test that CFI verifier does not report inconsistent offset for the
H A Dcfi-inserter-verify-inconsistent-offset.mir3 # Test that CFI verifier finds inconsistent offset between bb.end and one of
H A Dcfi-inserter-verify-inconsistent-csr.mir3 # Test that CFI verifier finds inconsistent csr saved set between bb.end and
H A Dcfi-inserter-verify-inconsistent-register.mir3 # Test that CFI verifier finds inconsistent register between bb.end and one of
/llvm-project-15.0.7/clang/test/Modules/
H A Dmissing-header.m5 // a different source manager than the verifier.
/llvm-project-15.0.7/llvm/test/LTO/Resolution/X86/
H A Dsetting-dso-local.ll5 ; We used to fail the verifier by clearing dso_local from foobar
/llvm-project-15.0.7/llvm/test/MachineVerifier/
H A Dverifier-implicit-virtreg-invalid-physreg-liveness.mir4 # When the verifier was detecting the invalid liveness for vcc, it would assert when trying to iter…

12345678910