commit | fdc1f65c41f553e1dd80e2ad0b07fe2eaeeeb515 | [log] [tgz] |
---|---|---|
author | Chris Lattner <clattner@google.com> | Wed Sep 05 17:45:19 2018 -0700 |
committer | jpienaar <jpienaar@google.com> | Fri Mar 29 13:09:57 2019 -0700 |
tree | b032870e255b82a23ec755ca0bbf8ef29c4b1189 | |
parent | d651bc3f06a5474786916ccb8a8816a8c8b6e8cd [diff] |
Implement getFunction() helpers on the various value types, and use it to implement some simple checks in the Verifier. PiperOrigin-RevId: 211729987