about summary refs log tree commit diff
path: root/src/test/ui/mir
AgeCommit message (Collapse)AuthorLines
2021-03-18Rollup merge of #83080 - tmiasko:inline-coverage, r=wesleywiserDylan DPC-23/+0
Make source-based code coverage compatible with MIR inlining When codegenning code coverage use the instance that coverage data was originally generated for, to ensure basic level of compatibility with MIR inlining. Fixes #83061
2021-03-17Rollup merge of #83092 - petrochenkov:qspan, r=estebankYuki Okushi-1/+1
More precise spans for HIR paths `Ty::assoc_item` is lowered to `<Ty>::assoc_item` in HIR, but `Ty` got span from the whole path. This PR fixes that, and adjusts some diagnostic code that relied on `Ty` having the whole path span. This is a pre-requisite for https://github.com/rust-lang/rust/pull/82868 (we cannot report suggestions like `Tr::assoc` -> `<dyn Tr>::assoc` with the current imprecise spans). r? ````@estebank````
2021-03-15Remove inline-instrument-coverage-fail.rs test caseTomasz Miąsko-23/+0
2021-03-15More precise spans for HIR pathsVadim Petrochenkov-1/+1
2021-03-15🍼 for tidyOli Scherer-2/+3
2021-03-15Only allow tait defining uses in function and method return positionOli Scherer-11/+18
2021-03-15Add a test showing how `impl_trait_in_bindings` is a breaking changeOli Scherer-2/+58
2021-03-15Replace `type_alias_impl_trait` by `min_type_alias_impl_trait` with no ↵Oli Scherer-1/+1
actual changes in behaviour This makes `type_alias_impl_trait` not actually do anything anymore
2021-03-05bless mir-inlining warning messageSantiago Pastorino-1/+1
2021-03-05Bump mir-opt-level from 2 to 3 in testsSantiago Pastorino-23/+23
2021-03-05Bump mir-opt-level from 3 to 4 in testsSantiago Pastorino-3/+3
2021-02-04regression test for issue 80949.Felix S. Klock II-0/+34
2021-02-03Allow/fix non_fmt_panic in tests.Mara Bos-1/+1
2021-01-26Avoid describing a method as 'not found' when bounds are unsatisfiedAaron Hill-3/+3
Fixes #76267 When there is a single applicable method candidate, but its trait bounds are not satisfied, we avoid saying that the method is "not found". Insted, we update the error message to directly mention which bounds are not satisfied, rather than mentioning them in a note.
2021-01-21mir: Improve size_of handling when arg is unsizedÖmer Sinan Ağacan-3/+31
2021-01-19Fix ICE in mir when evaluating SizeOf on unsized typeÖmer Sinan Ağacan-0/+75
Fixes #80742
2021-01-17Auto merge of #80942 - c410-f3r:tests-tests-tests, r=petrochenkovbors-0/+20
Move some tests to more reasonable directories - 2 All tests with a score equal or greater than 1.0 were moved to their respective directories by issuing ```bash cat FILE | tr -s " " | tr -d '():' | sort -k3 | awk '$3 >= 1' | cut -d " " -f1-2 | sed 's;\\;/;g' | xargs -n2 git mv ``` **Observation**: The first column values is the only column with results greater zero To attest the confidentiality of the model, some manual revision of at least of tests is needed and this process will be tracked in the following list: * `src/test/ui/abi/issue-28676.rs` OK #28676 * `src/test/ui/array-slice-vec/issue-15730.rs` OK * `src/test/ui/associated-types/issue-24338.rs` OK #54823 * `src/test/ui/associated-types/issue-48551.rs` Looks OK #48551 * `src/test/ui/associated-types/issue-50301.rs` Looks OK #63577 ... cc #73494 r? `@petrochenkov`
2021-01-16Move some tests to more reasonable directories - 2Caio-0/+20
Address comments Update limits
2021-01-16Add a regression test for #50041Simonas Kazlauskas-0/+34
AFAICT the test case never landed alongside the fix for the issue.
2021-01-13Update code to account for extern ABI requirementMark Rousskov-1/+1
2021-01-04Inlining enabled by -mir-opt-level > 1 is incompatible with coverageRich Kadel-0/+23
Fixes: #80060 Also adds additional test cases for coverage of doctests.
2020-12-26update testsBastian Kauschke-2/+0
2020-12-09fix test case issue refChenguang Wang-1/+1
2020-12-09fix issue #78496Chenguang Wang-0/+16
2020-11-22Drop support for cloudabi targetsLzu Tao-4/+0
2020-11-21Support building clone shims for arrays with generic sizeTomasz Miąsko-0/+13
2020-11-19Revert "Normalize function type during validation"Tomasz Miąsko-14/+4
This reverts commit d486bfcbff107e8a6769e00c59d02b13c664b6ee.
2020-11-15Limit storage duration of inlined always live localsTomasz Miąsko-4/+22
2020-11-12Normalize function type during validationTomasz Miąsko-4/+14
During inlining, the callee body is normalized and has types revealed, but some of locals corresponding to the arguments might come from the caller body which is not. As a result the caller body does not pass validation without additional normalization.
2020-10-20Add test for issue-77911Yuki Okushi-0/+16
2020-10-20Add test for issue-76375Yuki Okushi-0/+29
2020-10-20Add test for issue-75053Yuki Okushi-0/+48
2020-10-20Add test for issue-68841Yuki Okushi-0/+15
2020-10-07add test for should_inline incorrect param_envBastian Kauschke-0/+32
2020-10-07add regression testBastian Kauschke-0/+28
2020-10-07normalize substs during inliningBastian Kauschke-0/+17
2020-10-07Rollup merge of #77568 - lcnr:mir-inline-def-id, r=ecstatic-morseDylan DPC-0/+38
inliner: use caller param_env We used the callee param env instead of the caller param env by accident in #77430, this PR fixes that and caches it in the `Inliner` struct. fixes #77564 r? @ecstatic-morse
2020-10-05inliner: use caller param_envBastian Kauschke-0/+38
2020-10-04Add regression test for SimplifyBranchSame miscompilationTomasz Miąsko-0/+21
2020-10-02Fix test nameCamelid-0/+0
Remove trailing `-`.
2020-10-01Disable the SimplifyArmIdentity mir-optWesley Wiser-0/+35
The optimization still has some bugs that need to be worked out such as #77359. We can try re-enabling this again after the known issues are resolved.
2020-09-29Auto merge of #76754 - varkor:diagnostic-cleanup-ii, r=ecstatic-morsebors-2/+2
Clean up diagnostics for arithmetic operation errors Plus a small tweak to a range pattern error message.
2020-09-27[mir-opt] Introduce a new flag to enable experimental/unsound mir optsWesley Wiser-1/+1
2020-09-26Make invalid integer operation messages consistentvarkor-2/+2
2020-09-25Auto merge of #73453 - erikdesjardins:tuplayout, r=eddybbors-0/+27
Ignore ZST offsets when deciding whether to use Scalar/ScalarPair layout This is important because Scalar/ScalarPair layout previously would not be used if any ZST had nonzero offset. For example, before this change, only `((), u128)` would be laid out like `u128`, not `(u128, ())`. Fixes #63244
2020-09-20Add a regression test for copy propagation miscompilationTomasz Miąsko-0/+30
2020-09-17[mir-opt] Disable the `ConsideredEqual` logic in SimplifyBranchSame optWesley Wiser-0/+19
The logic is currently broken and we need to disable it to fix a beta regression (see #76803)
2020-09-14Auto merge of #76123 - tmiasko:inline-args-storage, r=wesleywiserbors-0/+16
inliner: Emit storage markers for introduced arg temporaries When introducing argument temporaries during inlining, emit storage marker statements just before the assignment and in the beginning of the return block. This ensures that such temporaries will not be considered live across yield points after inlining inside a generator. Fixes #71793.
2020-09-03inliner: Emit storage markers for introduced arg temporariesTomasz Miąsko-0/+16
When introducing argument temporaries during inlining, emit storage marker statements just before the assignment and in the beginning of the return block. This ensures that such temporaries will not be considered live across yield points after inlining inside a generator.
2020-09-02Fold length constant in Rvalue::RepeatTomasz Miąsko-0/+29
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 13:04:16 +0000