- User Since
- Mar 8 2019, 5:25 AM (18 w, 5 d)
Mon, Jul 15
Remove annotation for now.
Sun, Jul 14
Add other tests and check-all passed.
Fri, Jul 12
Add test and address comments.
For some intrinsics, I can not judge whether it is allowed to mark willreturn. I want to hear an opinion.
Rebase and add NoRecurse interface. check-all passed.
Add tests and check-all passed.
Thu, Jul 11
In the current implementation, updateImpl depends on AANoRecurseFunction. However, norecurse patch is abandoned and what should I do?
Annotate "willreturn" in Attributes.td and add related test changes.
Wed, Jul 10
Tue, Jul 9
- Deduce nonnull on functions argument if we have nonnull in whole call sites (mostly based on D59202).
- Deduce nonnull on a call site argument if the passed value is assumed nonnull.
Mon, Jul 8
But even if I run with --disable-nofree-inference=false, I couldn't get any nofree (even only_return).
Rebase and ninja check-all passed. I'll commit.
Thu, Jul 4
Use IntegerState and take a minimum of alignment.
Wed, Jul 3
I know align attribute is integer attribute and we need somewhat different deduction with other attributes. However, I implement AAAlignImpl as a subclass of BooleanState for now. Is it better to add some base class for the integer attribute?
Tue, Jul 2
Sun, Jun 30
Fix typo and add comment.
Add tests and AANonNullArgument
Wed, Jun 26
When a return value is an argument, see it.
Use enum attribute.
Tue, Jun 25
Make willreturn enum attribute.
Use enum attr.
Mon, Jun 24
I think this looks fine with one request for change: We "decided" to use enum attributes not string attributes (for willreturn and others).
I'll fix it.
Thu, Jun 20
Currently, nonnull is deduced if all the return values are defined by nonnull return function.
Tue, Jun 18
Change test file name.
Mon, Jun 17
Rename test file.
- use enum attribute
- rename test file
Jun 17 2019
Jun 14 2019
Jun 13 2019
Jun 12 2019
Jun 11 2019
Jun 10 2019
Jun 9 2019
- Rename "Loop" to "Cycle".
- Prohibit noreturn intrinsic (ex. longjump) and add longjump test.
- Check AANoReturnFunction
Why does this depend on D63046?
I included "nofree" attribute in D63046 test change for now(I thought it is convenient for merging). So I regarded this as a parent just in case.
Add declarations in base class.
Jun 8 2019
Can you clang format the code?
I always clang format before submitting a patch.
Is there something wrong?
Address comments and add test change.
The current algorithm can deduce only for very simple cases.