slang.git/source/slang/slang-ir-diff-jvp.cpp, branch master

Refactor Auto-diff passes (#2526)

2022-11-22T17:36:28+00:00

* Initial refactor * Refactor passes tests * Removed Differential Bottom references from the IR side

WIP: Fixed inout struct and added testing for calls to non-differentiable functions (#2505)

2022-11-21T15:29:57+00:00

* Added non-differentiable call test * Extended testing for nondifferentiable calls * Fixed subtle issue with extensions on generic types not applying the correct substitutions, leading to unspecialized generics at the emit stage * More fixes. inout struct params now work fine * Update inout-struct-parameters-jvp.slang * Update slang-ir.cpp * Fixed hoisting lookup_interface_method * Fixed non-diff call return value * Fixed issue with phi nodes * Fixed problem with IRSpecialize preventing hoisitng of DifferentialPairType * Fixed non-diff call test to conform to the new 'no_diff' system

Data flow validation pass for diagnosing derivative loss. (#2523)

2022-11-18T20:37:27+00:00

Clean up type checking of higher order expressions. (#2519)

2022-11-16T20:17:49+00:00

* Clean up type checking of higher order expressions. * Replace `goto` with `break` to pacify clang. * Fix. * Fixes. * Fix more tests. * Fix lowerWitnessTable parameter error. * Exclude attributes from ast printing. Co-authored-by: Yong He

Squash warnings (#2515)

2022-11-16T19:33:10+00:00

* Don't use uname -p It's not portable (doesn't work on my machine) * Disable maybe-uninitialized warning on gcc Only false positives at the moment * Squash warning in miniz Allow it to use 64 bit file handing functions with gcc * Use noreturn c++11 attribute in SLANG_RETURN_NEVER * Squash uninitialized variable warnings * Squash const char/char conversion warnings Co-authored-by: Yong He

Minimum binary arithmetic reverse autodiff working. (#2514)

2022-11-14T20:08:01+00:00

* Initial plumbing of backward autodiff in the frontend. * More plumbing. * Initial reverse autodiff working. * Bug fixes. * Misc. * Remove redundant code. * More clean up. * Misc. * Rebase and add backward diff test. * Disable test. * Clean up. * Minor fix. Co-authored-by: Yong He

Add `[ForwardDerivativeOf]` attribute. (#2501)

2022-11-10T03:19:17+00:00

* Add [ForwardDerivativeOf] attribute. * Fix handling around phi nodes. * Fixes. * Remove IR opcode for ForwardDerivativeOfDecoration. Co-authored-by: Yong He

Make `__BuiltinFloatingPointType` conform to `IDifferentiable`. (#2499)

2022-11-08T18:07:57+00:00

Small cleanups on forward differentiation. (#2498)

2022-11-07T20:26:29+00:00

Co-authored-by: Yong He

Higher order differentiation. (#2487)

2022-11-04T16:36:23+00:00

Co-authored-by: Yong He