Google Git Google Git
Sign in
llvm/llvm-project/refs/heads/users/void/array-bounds-accessed/./llvm/test/Verifier
tree: 2a11e32d1556eaf0f2fc8006c8313a4c43f3fc03 [search]
  1. AArch64/
  2. AMDGPU/
  3. ARM/
  4. LoongArch/
  5. Mips/
  6. NVPTX/
  7. RemoveDI/
  8. RISCV/
  9. SystemZ/
  10. 2002-04-13-RetTypes.ll
  11. 2002-11-05-GetelementptrPointers.ll
  12. 2004-05-21-SwitchConstantMismatch.ll
  13. 2006-07-11-StoreStruct.ll
  14. 2006-12-12-IntrinsicDefine.ll
  15. 2007-12-21-InvokeParamAttrs.ll
  16. 2008-01-11-VarargAttrs.ll
  17. 2008-03-01-AllocaSized.ll
  18. 2008-09-02-FunctionNotes2.ll
  19. 2008-11-15-RetVoid.ll
  20. 2009-05-29-InvokeResult1.ll
  21. 2009-05-29-InvokeResult2.ll
  22. 2009-05-29-InvokeResult3.ll
  23. aarch64-ldstxr.ll
  24. absolute_symbol.ll
  25. access_group.ll
  26. alias-scope-metadata.ll
  27. alias.ll
  28. align-md.ll
  29. align.ll
  30. alloc-size-failedparse.ll
  31. alloc-variant-zeroed.ll
  32. allockind.ll
  33. allocsize.ll
  34. AmbiguousPhi.ll
  35. amdgpu-cc.ll
  36. amdgpu-expected-active-lanes.ll
  37. amdgpu-stridemark-structured-gep.ll
  38. amdgpu-stridemark-tokenlike.ll
  39. annotation-metadata.ll
  40. arbitrary-fp-convert.ll
  41. arm-intrinsics.ll
  42. array_allocated.ll
  43. array_associated.ll
  44. array_dataLocation.ll
  45. array_rank.ll
  46. associated-metadata.ll
  47. assume-bundles.ll
  48. atomics.ll
  49. bitcast-address-space-nested-global-cycle.ll
  50. bitcast-address-space-nested-global.ll
  51. bitcast-address-space-through-constant-inttoptr-inside-gep-instruction.ll
  52. bitcast-address-space-through-constant-inttoptr.ll
  53. bitcast-address-space-through-gep-2.ll
  54. bitcast-address-space-through-gep.ll
  55. bitcast-address-space-through-inttoptr.ll
  56. bitcast-address-spaces.ll
  57. bitcast-alias-address-space.ll
  58. bitcast-byte-constexpr-neg.ll
  59. bitcast-byte-scalable-neg.ll
  60. bitcast-byte-width-neg.ll
  61. bitcast-byte-width-pos.ll
  62. bitcast-pointer-vector-neg.ll
  63. bitcast-unsupported-type-neg.ll
  64. bitcast-vector-pointer-as-neg.ll
  65. bitcast-vector-pointer-as.ll
  66. bitcast-vector-pointer-neg.ll
  67. bitcast-vector-pointer-pos.ll
  68. bitextract-bitinsert-invalid-verifier.ll
  69. blockbyref.ll
  70. branch-prot-attrs.ll
  71. branch-weight.ll
  72. bswap.ll
  73. byref.ll
  74. byval-1.ll
  75. byval-4.ll
  76. byval-scalable.ll
  77. byval-size-limit.ll
  78. call-to-non-callable-functions.ll
  79. callbr-intrinsic.ll
  80. callbr.ll
  81. callee-type-metadata.ll
  82. callsite-dbgloc.ll
  83. captures-metadata.ll
  84. cc-flags.ll
  85. comdat-decl1.ll
  86. comdat-decl2.ll
  87. comdat.ll
  88. comdat2.ll
  89. comdat3.ll
  90. commandline-meta1.ll
  91. commandline-meta2.ll
  92. commandline-meta3.ll
  93. commandline-meta4.ll
  94. convergencectrl-invalid.ll
  95. cttz-undef-arg.ll
  96. dbg-difile-crash.ll
  97. dbg-invalid-compileunit.ll
  98. dbg-invalid-named-metadata.ll
  99. dbg-invalid-retaintypes.ll
  100. dbg-invalid-vector.ll
  101. dbg-line-without-file.ll
  102. dbg-null-retained-type.ll
  103. dbg-orphaned-compileunit.ll
  104. dbg-record-expression-arg-out-of-range.ll
  105. dbg-record-scope-cycle.ll
  106. dbg-type-line-without-file.ll
  107. dbg-typerefs.ll
  108. dbg.ll
  109. dead-on-return.ll
  110. dead-on-unwind.ll
  111. denormal_fpenv.ll
  112. deoptimize-intrinsic.ll
  113. dereferenceable-md-inttoptr.ll
  114. dereferenceable-md.ll
  115. di-subroutine-localvar.ll
  116. diassignid-vector-stores.ll
  117. dicompositetype-elements-null.ll
  118. diderivedtype-address-space-atomic-type.ll
  119. diderivedtype-address-space-const-type.ll
  120. diderivedtype-address-space-friend.ll
  121. diderivedtype-address-space-inheritance.ll
  122. diderivedtype-address-space-member.ll
  123. diderivedtype-address-space-ptr-to-member-type.ll
  124. diderivedtype-address-space-restrict-type.ll
  125. diderivedtype-address-space-rvalue-reference-type.ll
  126. diderivedtype-address-space-typedef.ll
  127. diderivedtype-address-space-volatile-type.ll
  128. diderivedtype-extradata-tuple.ll
  129. diexpression-dwarf-entry-value.ll
  130. diexpression-entry-value-llvm-ir.ll
  131. diexpression-entry-value.ll
  132. diexpression-swap.ll
  133. diexpression-valid-entry-value.ll
  134. DIFile.ll
  135. digenericsubrange-count-upperBound.ll
  136. digenericsubrange-missing-stride.ll
  137. diglobalvariable.ll
  138. DILocalScope-cycle.ll
  139. DILocation-atomgroup-cycle.ll
  140. dilocation-in-wrong-place.ll
  141. DILocation-parents.ll
  142. DILocation-scope.ll
  143. diproperty.ll
  144. DIScope-cycle.ll
  145. distringtype-character-type.ll
  146. disubprogram-declaration-within-struct-2.ll
  147. disubprogram-declaration-within-struct.ll
  148. disubprogram-name-match-only.ll
  149. DISubprogram-retained-node-cycle.ll
  150. DISubprogram-type.ll
  151. DISubprogram.ll
  152. disubprogram_declaration.ll
  153. disubrange-count-upperBound.ll
  154. dllstorage.ll
  155. dominates.ll
  156. element-wise-atomic-memory-intrinsics.ll
  157. elementtype.ll
  158. elf-section-properties.ll
  159. errno-tbaa-metadata-1.ll
  160. errno-tbaa-metadata-2.ll
  161. fnarg-debuginfo.ll
  162. fnarg-nodebug.ll
  163. force-opaque-ptr.ll
  164. fp-intrinsics-pass.ll
  165. fp-intrinsics.ll
  166. fpmath.ll
  167. fragment.ll
  168. frameescape.ll
  169. func-dbg.ll
  170. funclet-unreachable-block.ll
  171. function-metadata-bad.ll
  172. function-metadata-good.ll
  173. gc_none_token.ll
  174. gc_relocate_addrspace.ll
  175. gc_relocate_operand.ll
  176. gc_relocate_out_of_bounds.ll
  177. gc_relocate_return.ll
  178. gc_result_token.ll
  179. gcread-ptrptr.ll
  180. gcroot.ll
  181. gcwrite-ptrptr.ll
  182. gep-vector-non-byte-element.ll
  183. get-active-lane-mask.ll
  184. get_dynamic_area_offset.ll
  185. get_vector_length.ll
  186. global-ctors-2.ll
  187. global-ctors-dtors-uses.ll
  188. global-ctors.ll
  189. global-initializer-sized.ll
  190. global-var-too-big.ll
  191. guard-intrinsic.ll
  192. hot-cold-incompatible.ll
  193. ident-meta1.ll
  194. ident-meta2.ll
  195. ident-meta3.ll
  196. ident-meta4.ll
  197. ifunc-opaque.ll
  198. ifunc.ll
  199. immarg-param-attribute-invalid.ll
  200. inalloca-vararg.ll
  201. inalloca1.ll
  202. inalloca2.ll
  203. inalloca3.ll
  204. initializes-attr.ll
  205. inline-asm-indirect-operand.ll
  206. inline-history-metadata.ll
  207. insert-extract-intrinsics-invalid.ll
  208. intermediate-layerloc.ll
  209. intrinsic-addr-taken.ll
  210. intrinsic-bad-arg-type1.ll
  211. intrinsic-cmp.ll
  212. intrinsic-immarg.ll
  213. invalid-cleanuppad-chain.ll
  214. invalid-disubrange-count-node.ll
  215. invalid-disubrange-lowerBound.ll
  216. invalid-disubrange-stride.ll
  217. invalid-disubrange-upperBound.ll
  218. invalid-eh.ll
  219. invalid-frame-pointer-attr-empty.ll
  220. invalid-frame-pointer-attr-no-value.ll
  221. invalid-frame-pointer-attr.ll
  222. invalid-label-param.ll
  223. invalid-patchable-function-entry.ll
  224. invalid-statepoint.ll
  225. invalid-strbool-attr.ll
  226. invalid-tail-pad-attr.ll
  227. invalid-target-feature.ll
  228. invalid-vp-intrinsics.ll
  229. invalid-warn-stack-size.ll
  230. invalid_intrinsic_signatures.ll
  231. invariant-load-metadata-invalid.ll
  232. invariant.group.ll
  233. invoke.ll
  234. issue176674.ll
  235. issue176674_1.ll
  236. issue176674_2.ll
  237. jumptable.ll
  238. kcfi-operand-bundles.ll
  239. llvm.compiler_used-invalid-type.ll
  240. llvm.dbg.declare-address.ll
  241. llvm.dbg.declare-expression.ll
  242. llvm.dbg.declare-variable.ll
  243. llvm.dbg.intrinsic-dbg-attachment.ll
  244. llvm.dbg.value-expression.ll
  245. llvm.dbg.value-value.ll
  246. llvm.dbg.value-variable.ll
  247. llvm.fptrunc.round.ll
  248. llvm.is.fpclass.ll
  249. llvm.loop-cu-strip-followup.ll
  250. llvm.loop-cu-strip-indirect.ll
  251. llvm.loop-cu-strip.ll
  252. llvm.loop.align.ll
  253. llvm.loop.cu.ll
  254. llvm.loop.distribute.ll
  255. llvm.loop.estimated_trip_count.ll
  256. llvm.loop.ll
  257. llvm.loop.vectorize.ll
  258. llvm.loop.vectorize.predicate.ll
  259. llvm.loop.vectorize.scalable.ll
  260. llvm.used-invalid-init.ll
  261. llvm.used-invalid-init2.ll
  262. llvm.used-invalid-type.ll
  263. llvm.used-invalid-type2.ll
  264. llvm.used-ptr-type.ll
  265. llvm.vp.is.fpclass.ll
  266. local-import-in-cu.ll
  267. logical-pointer-notrequired.ll
  268. logical-pointer-required-failure.ll
  269. logical-pointer-required.ll
  270. mask-beforefirst.ll
  271. matrix-intrinsics.ll
  272. mdcompositetype-templateparams-tuple.ll
  273. mdcompositetype-templateparams.ll
  274. mem-cache-hint.ll
  275. memcpy-inline.ll
  276. memcpy.ll
  277. memprof-metadata-bad.ll
  278. memprof-metadata-good.ll
  279. memset-inline.ll
  280. memset-pattern-unsized.ll
  281. memset-pattern.ll
  282. metadata-function-dbg.ll
  283. metadata-function-kcfi-type.ll
  284. metadata-function-prof.ll
  285. mmra-allowed.ll
  286. mmra.ll
  287. modular-format.ll
  288. module-flags-1.ll
  289. module-flags-2.ll
  290. module-flags-3.ll
  291. module-flags-cgprofile.ll
  292. module-flags-exception-model.ll
  293. module-flags-float-abi.ll
  294. module-flags-long-double-type.ll
  295. module-flags-note-gnu-property-elf-pauthabi.ll
  296. module-flags-semantic-interposition.ll
  297. module-flags-target-abi.ll
  298. module-flags-thread-model.ll
  299. musttail-invalid.ll
  300. musttail-valid.ll
  301. naked.ll
  302. noalias-addrspace.ll
  303. noalias_scope_decl.ll
  304. nofpclass-metadata.ll
  305. nofpclass.ll
  306. nofree.ll
  307. nofree_metadata.ll
  308. non-integer-gep-index.ll
  309. non-integer-gep-index.ll.bc
  310. non-integral-pointers.ll
  311. nonnull-metadata.ll
  312. noundef-metadata.ll
  313. noundef.ll
  314. opaque-ptr-invalid.ll
  315. opaque-ptr.ll
  316. operand-bundles-wineh.ll
  317. operand-bundles.ll
  318. param-align.ll
  319. param-attr-align.ll
  320. param-ret-align.ll
  321. partial_reduce_intrinsics.ll
  322. PhiGrouping.ll
  323. pr34325.ll
  324. pr69428.ll
  325. preallocated-invalid.ll
  326. preallocated-valid.ll
  327. ptrauth-constant.ll
  328. ptrauth-operand-bundles.ll
  329. ptrmask.ll
  330. range-2.ll
  331. range-attr.ll
  332. range-metadata.ll
  333. README.txt
  334. recursive-type-3.ll
  335. ref-func.ll
  336. ref.ll
  337. reloc-none.ll
  338. resume.ll
  339. rtsan-attrs.ll
  340. scalable-global-vars.ll
  341. scalable-vector-struct-alloca.ll
  342. scalable-vector-struct-gep.ll
  343. scalable-vector-struct-load.ll
  344. scalable-vector-struct-store.ll
  345. SelfReferential.ll
  346. set1.ll
  347. shufflevector-mask.ll
  348. sme-attributes.ll
  349. speculatable-callsite-invalid.ll
  350. speculatable-callsite.ll
  351. speculative-load.ll
  352. sret.ll
  353. statepoint.ll
  354. stepvector-intrinsic.ll
  355. structured-alloca-bad.ll
  356. structured-gep-indices-bad.ll
  357. structured-gep-indices.ll
  358. swiftasync.ll
  359. swifterror.ll
  360. swifterror2.ll
  361. swifterror3.ll
  362. swiftself.ll
  363. swifttailcc-musttail-valid.ll
  364. swifttailcc-musttail.ll
  365. tailcc-musttail.ll
  366. target-ext-vector-invalid.ll
  367. target-ext-vector.ll
  368. tbaa-allowed.ll
  369. tbaa-cyclic.ll
  370. tbaa-struct.ll
  371. tbaa.ll
  372. threadlocal-pass.ll
  373. threadlocal.ll
  374. token1.ll
  375. token2.ll
  376. token3.ll
  377. token4.ll
  378. token5.ll
  379. token6.ll
  380. token7.ll
  381. tokenlike1.ll
  382. tokenlike5.ll
  383. tokenlike6.ll
  384. tokenlike7.ll
  385. unique-disubprogram.ll
  386. unsized-types-alloca.ll
  387. unsized-types-load.ll
  388. unsized-types-store.ll
  389. used-uses.ll
  390. value-profile.ll
  391. variadic.ll
  392. variant-part.ll
  393. vector-function-abi-variant.ll
  394. vector-repeat-intrinsic-invalid.ll
  395. vector-repeat-intrinsic-valid.ll
  396. verify-dwarf-no-operands.ll
  397. vp-intrinsics.ll
  398. vscale_range.ll
  399. weak-dllimport.ll
  400. writable-attr.ll
  401. x86_amx1.ll
  402. x86_amx2.ll
  403. x86_amx3.ll
  404. x86_amx4.ll
  405. x86_amx5.ll
  406. x86_amx6.ll
  407. x86_amx7.ll
  408. x86_amx9.ll
  409. x86_intr.ll