Home
last modified time | relevance | path

Searched refs:Verify (Results 1 – 25 of 1087) sorted by relevance

12345678910>>...44

/llvm-project-15.0.7/llvm/test/CodeGen/AArch64/
H A Darm64-opt-remarks-lazy-bfi.ll35 ; HOTNESS-NEXT: Executing Pass 'Verify generated machine code'
36 ; HOTNESS-NEXT: Freeing Pass 'Verify generated machine code'
39 ; HOTNESS-NEXT: Executing Pass 'Verify generated machine code'
40 ; HOTNESS-NEXT: Freeing Pass 'Verify generated machine code'
43 ; HOTNESS-NEXT: Executing Pass 'Verify generated machine code'
44 ; HOTNESS-NEXT: Freeing Pass 'Verify generated machine code'
60 ; NO_HOTNESS-NEXT: Executing Pass 'Verify generated machine code'
61 ; NO_HOTNESS-NEXT: Freeing Pass 'Verify generated machine code'
64 ; NO_HOTNESS-NEXT: Executing Pass 'Verify generated machine code'
65 ; NO_HOTNESS-NEXT: Freeing Pass 'Verify generated machine code'
[all …]
H A Dnamed-vector-shuffles-neon.ll28 ; Verify promote type legalisation works as expected.
38 ; Verify splitvec type legalisation works as expected.
50 ; Verify splitvec type legalisation works as expected.
87 ; Verify promote type legalisation works as expected.
97 ; Verify splitvec type legalisation works as expected.
109 ; Verify splitvec type legalisation works as expected.
/llvm-project-15.0.7/mlir/test/Dialect/GPU/
H A Dpromotion.mlir5 // Verify that the attribution was indeed introduced
10 // Verify that loop bounds are emitted, the order does not matter.
28 // Verify that the copy is emitted and uses only the last two loops.
32 // Verify that the use has been rewritten.
55 // Verify that the attribution was indeed introduced
60 // Verify that loop bounds are emitted, the order does not matter.
75 // Verify that loops for the copy are emitted.
82 // Verify that the copy is emitted.
86 // Verify that the use has been rewritten.
90 // Verify that loop loops for the copy are emitted.
[all …]
/llvm-project-15.0.7/llvm/test/Feature/
H A Dfp-intrinsics.ll16 ; Verify that 'a - 0' isn't simplified to 'a' when the rounding mode is unknown.
35 ; Verify that '-((-a)*b)' isn't simplified to 'a*b' when the rounding mode is
97 ; Verify that sqrt(42.0) isn't simplified when the rounding mode is unknown.
132 ; Verify that sin(42.0) isn't simplified when the rounding mode is unknown.
143 ; Verify that cos(42.0) isn't simplified when the rounding mode is unknown.
220 ; Verify that nearbyint(42.1) isn't simplified when the rounding mode is
233 ; Verify that fma(42.1) isn't simplified when the rounding mode is
245 ; Verify that fptoui(42.1) isn't simplified when the rounding mode is
257 ; Verify that fptosi(42.1) isn't simplified when the rounding mode is
268 ; Verify that fptrunc(42.1) isn't simplified when the rounding mode is
[all …]
/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dstrlen-9.ll3 ; Verify that strlen calls with unterminated constant arrays or with
16 ; Verify that all the invalid calls below are folded. This is safer than
43 ; Verify that strlen(a5) is folded to 5.
49 ; Verify that strlen(a5 + 5) is folded to 0.
55 ; Verify that strlen(s5 + 6) is folded to 0.
61 ; TODO: Verify that strlen(a5 + i) is folded to 5 - i? It's currently
69 ; Verify that strlen(z0) is folded to 0.
75 ; TODO: Verify that strlen(z0 + i) is folded to 0. As the case above,
84 ; Verify that strlen(z5 + 5) is folded to 0.
H A Dmemchr-8.ll3 ; Verify that a constant with size in excess of 32-bit SIZE_MAX doesn't
12 ; Verify reading an initializer INT32_MAX + 1 bytes large (starting at
25 ; Verify reading an initializer INT32_MAX bytes large (starting at offset
39 ; Verify reading an initializer UINT32_MAX bytes large (starting at offset
52 ; Verify reading an initializer UINT32_MAX + 1 bytes large (all of a).
H A D2006-10-26-VectorReassoc.ll4 ; Verify this doesn't fold when no fast-math-flags are specified
16 ; Verify this folds with 'fast'
27 ; Verify this folds with 'reassoc' and 'nsz' ('nsz' not technically required)
50 ; Verify this doesn't fold when no fast-math-flags are specified
62 ; Verify this folds with 'fast'
73 ; Verify this folds with 'reassoc' and 'nsz' ('nsz' not technically required)
96 ; Verify this doesn't fold when no fast-math-flags are specified
110 ; Verify this folds to 'A + B' with 'fast'
122 ; Verify this folds to 'A + B' with 'reassoc' and 'nsz' ('nsz' is required)
134 ; Verify the fold is not done with only 'reassoc' ('nsz' is required).
/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/
H A Dnoalias-inttoptr.ll6 ; Verify that unescaped noalias parameter does not alias inttoptr
16 ; Verify that unescaped alloca does not alias inttoptr
27 ; Verify that escaped noalias parameter may alias inttoptr
38 ; Verify that escaped alloca may alias inttoptr
51 ; Verify that global may alias inttoptr
/llvm-project-15.0.7/llvm/test/CodeGen/PowerPC/
H A Dmcm-obj.ll27 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO_DS for
50 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
56 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO_DS for
72 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
78 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO_DS for
89 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
95 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO_DS for
111 ; Verify generation of relocations foraccessing variable ti.
130 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO_DS for
184 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO_DS for
H A Dmcm-obj-2.ll19 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
38 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
50 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
/llvm-project-15.0.7/llvm/test/Assembler/
H A Dgetelementptr.ll4 ; Verify that over-indexed getelementptrs are folded.
11 ; Verify that constant expression GEPs work with i84 indices.
17 ; Verify that i16 indices work.
26 ; Verify that inrange on an index inhibits over-indexed getelementptr folding.
53 ; Verify that constant expression vector GEPs work.
57 ; Verify that struct GEP works with a vector of pointers.
63 ; Verify that array GEP works with a vector of pointers.
71 ; Verify that array GEP doesn't incorrectly infer inbounds.
/llvm-project-15.0.7/llvm/test/tools/llvm-objcopy/MachO/
H A Dcode_signature_lc_update.test24 ## Verify that the binary contains the new RPATH command, as the first command
30 ## Verify the text segment command index increased by 1
39 ## Verify the code signature command index increased by 1
46 ## Verify the new signature is valid
48 ## Verify the text segment offset and text segment size values included in the signature header are…
55 ## Verify text segment command index returned to orignal
64 ## Verify text segment command index returned to original
71 ## Verify the new signature is valid and text segment values are accurate
/llvm-project-15.0.7/compiler-rt/test/fuzzer/
H A Dfuzzer-dirs.test19 # Verify error message prints to console when directory does not exist
28 # Verify error message prints to console when given directory is an empty
33 # Verify error message prints to console when directory creation fails
41 # Verify directories and sub-directories are created when -create_missing_dirs=1
48 # Verify directories and sub-directories are created for exact_artifact_path
53 # Verify directories and sub-directories are created for artifact_prefix when
58 # Verify directories are created when referring to relative paths and
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A Davx512fp16-machine-combiner.ll8 ; Verify that the first two adds are independent regardless of how the inputs are
105 ; Verify that SSE and AVX scalar single-precision multiplies are reassociated.
120 ; Verify that SSE and AVX 128-bit vector half-precision adds are reassociated.
150 ; Verify that AVX 256-bit vector half-precision adds are reassociated.
165 ; Verify that AVX 256-bit vector half-precision multiplies are reassociated.
180 ; Verify that AVX512 512-bit vector half-precision adds are reassociated.
195 ; Verify that AVX512 512-bit vector half-precision multiplies are reassociated.
210 ; Verify that SSE and AVX scalar half-precision minimum ops are reassociated.
227 ; Verify that SSE and AVX scalar half-precision maximum ops are reassociated.
278 ; Verify that AVX 256-bit vector half-precision minimum ops are reassociated.
[all …]
/llvm-project-15.0.7/llvm/test/ThinLTO/X86/
H A Dempty_module_with_cache.ll4 ; Verify that enabling caching is working, even if the module is empty
10 ; Verify that enabling caching is working with llvm-lto2
21 ; Verify that caching is disabled for module without hash
27 ; Verify that caching is disabled for module without hash, with llvm-lto2
H A Dcache.ll7 ; Verify first that *without* hash, we don't use the cache.
11 ; Verify that enabling caching is ignoring module without hash
17 ; Verify that enabling caching is ignoring module without hash with llvm-lto2
31 ; Verify that enabling caching is working, and that the pruner only removes
42 ; Verify that enabling caching is working with llvm-lto2
51 ; Verify that caches with a timestamp older than the pruning interval
59 ; Verify that specifying a negative number for the pruning interval
67 ; Verify that the pruner doesn't run and a cache file is not deleted when:
77 ; Verify that the pruner runs and a cache file is deleted when:
131 ; Verify that specifying a max size > 4GB for the cache directory does not
[all …]
H A Dglobals-import-blockaddr.ll6 ; Verify that we haven't imported GV containing blockaddress
8 ; Verify that bar is not imported since it has address-taken block that is target of indirect branch
10 ; Verify that foo is imported
/llvm-project-15.0.7/llvm/test/CodeGen/AArch64/GlobalISel/
H A Dgisel-commandline-option.ll60 ; VERIFY-NEXT: Verify generated machine code
66 ; VERIFY-NEXT: Verify generated machine code
70 ; VERIFY-NEXT: Verify generated machine code
72 ; VERIFY-NEXT: Verify generated machine code
74 ; VERIFY-O0-NEXT: Verify generated machine code
80 ; VERIFY-NEXT: Verify generated machine code
/llvm-project-15.0.7/llvm/test/MC/PowerPC/
H A Dppc64-localentry.s41 # Verify that use of .localentry implies ABI version 2
45 # Verify that fixups to local function symbols are performed only
57 # Verify that .localentry is encoded in the Other field.
75 # Verify that symbol assignment copies the Other bits.
/llvm-project-15.0.7/flang/lib/Evaluate/
H A Dintrinsics-library.cpp252 static_assert(map.Verify(), "map must be sorted");
284 static_assert(map.Verify(), "map must be sorted");
310 static_assert(map.Verify(), "map must be sorted");
325 static_assert(map.Verify(), "map must be sorted");
342 static_assert(map.Verify(), "map must be sorted");
364 static_assert(map.Verify(), "map must be sorted");
373 static_assert(map.Verify(), "map must be sorted");
382 static_assert(map.Verify(), "map must be sorted");
391 static_assert(map.Verify(), "map must be sorted");
400 static_assert(map.Verify(), "map must be sorted");
[all …]
/llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/
H A Dconstfold-constrained.ll5 ; Verify that floor(10.1) is folded to 10.0 when the exception behavior is 'ignore'.
16 ; Verify that floor(-10.1) is folded to -11.0 when the exception behavior is not 'ignore'.
28 ; Verify that ceil(10.1) is folded to 11.0 when the exception behavior is 'ignore'.
39 ; Verify that ceil(-10.1) is folded to -10.0 when the exception behavior is not 'ignore'.
51 ; Verify that trunc(10.1) is folded to 10.0 when the exception behavior is 'ignore'.
74 ; Verify that round(10.5) is folded to 11.0 when the exception behavior is 'ignore'.
97 ; Verify that nearbyint(10.5) is folded to 11.0 when the rounding mode is 'upward'.
108 ; Verify that nearbyint(10.5) is folded to 10.0 when the rounding mode is 'downward'.
131 ; Verify that nearbyint(10.5) is folded to 10.0 when the rounding mode is 'tonearest'.
143 ; Verify that nearbyint(10.5) is NOT folded if the rounding mode is 'dynamic'.
[all …]
/llvm-project-15.0.7/llvm/test/tools/llvm-dwarfutil/ELF/X86/
H A Dverify.test8 ## Verify resulting debug info after --garbage-collection optimisation.
11 ## Verify separate debug file after --garbage-collection optimisation.
14 ## Verify not optimised resulting debug info.
17 ## Verify not optimised resulting separate debug file.
/llvm-project-15.0.7/llvm/test/DebugInfo/X86/
H A Dstringpool.ll18 ; Verify that we refer to 'yyyy' with a relocation.
27 ; Verify that "yyyy" ended up in the stringpool.
31 ; Verify that we refer to 'yyyy' with a direct offset.
/llvm-project-15.0.7/llvm/test/Transforms/LoopUnroll/
H A Dpeel-loop.ll14 ; Verify that MD_loop metadata is dropped.
21 ; Verify that MD_loop metadata is dropped.
28 ; Verify that MD_loop metadata is dropped.
70 ; Verify that MD_loop metadata is dropped.
77 ; Verify that MD_loop metadata is dropped.
84 ; Verify that MD_loop metadata is dropped.
/llvm-project-15.0.7/llvm/test/tools/UpdateTestChecks/update_test_checks/
H A Dargument_name_reuse.test1 # Verify we reuse the argument regexps with --function-signature
4 # Verify we do not reuse the argument regexps, as there are none, without --function-signature

12345678910>>...44