Duncan P. N. Exon Smith
a5ae7c1c9f
DI: Require subprogram definitions to be distinct
...
As a follow-up to r246098, require `DISubprogram` definitions
(`isDefinition: true`) to be 'distinct'. Specifically, add an assembler
check, a verifier check, and bitcode upgrading logic to combat testcase
bitrot after the `DIBuilder` change.
While working on the testcases, I realized that
test/Linker/subprogram-linkonce-weak-odr.ll isn't relevant anymore. Its
purpose was to check for a corner case in PR22792 where two subprogram
definitions match exactly and share the same metadata node. The new
verifier check, requiring that subprogram definitions are 'distinct',
precludes that possibility.
I updated almost all the IR with the following script:
git grep -l -E -e '= !DISubprogram\(.* isDefinition: true' |
grep -v test/Bitcode |
xargs sed -i '' -e 's/= \(!DISubprogram(.*, isDefinition: true\)/= distinct \1/'
Likely some variant of would work for out-of-tree testcases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246327 91177308-0d34-0410-b5e6-96231b3b80d8
2015-08-28 20:26:49 +00:00
..
2015-06-12 19:57:32 +00:00
2015-03-19 16:33:08 +00:00
2015-06-13 21:46:39 +00:00
2015-06-13 21:46:39 +00:00
2015-04-22 21:17:00 +00:00
2015-06-13 21:46:39 +00:00
2015-06-13 21:46:39 +00:00
2015-06-13 21:46:39 +00:00
2015-06-13 21:46:39 +00:00
2015-05-08 16:16:29 +00:00
2015-06-18 20:43:50 +00:00
2015-06-13 21:46:39 +00:00
2015-06-13 21:46:39 +00:00
2015-07-09 14:51:21 +00:00
2015-06-13 21:46:39 +00:00
2015-06-13 21:46:39 +00:00
2015-06-13 21:46:39 +00:00
2015-04-22 18:25:53 +00:00
2015-04-22 21:17:00 +00:00
2015-03-18 16:23:44 +00:00
2015-03-18 16:23:44 +00:00
2015-06-18 20:43:50 +00:00
2015-05-12 20:13:10 +00:00
2015-02-27 21:17:42 +00:00
2015-06-18 20:43:50 +00:00
2015-06-18 20:43:50 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-18 20:43:50 +00:00
2015-03-18 16:23:44 +00:00
2015-03-18 16:23:44 +00:00
2015-03-18 16:23:44 +00:00
2015-03-18 16:23:44 +00:00
2015-03-18 00:44:46 +00:00
2015-02-27 21:17:42 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-06-17 17:19:05 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-07-08 19:22:28 +00:00
2015-07-08 19:22:28 +00:00
2015-06-08 16:34:47 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-04-22 21:17:00 +00:00
2014-11-03 14:56:05 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-06-05 16:00:11 +00:00
2015-06-05 16:00:11 +00:00
2015-06-18 20:43:50 +00:00
2015-03-31 13:35:12 +00:00
2015-03-31 13:35:12 +00:00
2015-03-31 13:35:12 +00:00
2015-02-27 21:17:42 +00:00
2015-07-14 17:07:24 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-07-14 17:07:24 +00:00
2015-03-13 18:20:45 +00:00
2015-03-13 18:20:45 +00:00
2015-02-27 21:17:42 +00:00
2015-05-08 20:18:21 +00:00
2015-05-08 20:18:21 +00:00
2015-05-08 20:18:21 +00:00
2015-05-08 20:18:21 +00:00
2015-05-14 20:36:19 +00:00
2015-03-18 15:56:43 +00:00
2015-02-27 19:29:02 +00:00
2015-05-13 14:54:24 +00:00
2015-08-28 20:26:49 +00:00
2015-02-27 21:17:42 +00:00
2015-05-13 17:56:03 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-05-08 20:18:21 +00:00
2015-02-27 21:17:42 +00:00
2015-05-14 17:31:40 +00:00
2015-05-14 14:15:08 +00:00
2015-05-08 20:18:21 +00:00
2015-04-27 14:16:43 +00:00
2015-05-14 14:15:08 +00:00
2015-05-14 14:15:08 +00:00
2015-05-14 14:15:08 +00:00
2015-04-16 23:24:18 +00:00
2015-04-16 23:24:18 +00:00
2015-04-16 23:24:18 +00:00
2015-02-27 21:17:42 +00:00
2013-07-13 20:38:47 +00:00
2015-07-08 14:47:34 +00:00
2014-06-09 22:42:55 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-04-22 21:17:00 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-04-21 21:28:03 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-06-17 20:29:33 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-07-20 21:23:25 +00:00
2015-04-22 21:17:00 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2014-02-16 07:31:05 +00:00
2015-02-27 21:17:42 +00:00
2015-06-18 20:43:50 +00:00
2015-02-27 21:17:42 +00:00
2015-03-09 23:08:46 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2013-02-13 22:56:34 +00:00
2015-07-14 19:30:21 +00:00
2015-07-14 19:30:21 +00:00
2015-06-03 17:34:16 +00:00
2015-02-27 21:17:42 +00:00
2015-05-08 16:16:29 +00:00
2015-04-23 16:05:39 +00:00
2015-06-10 16:52:32 +00:00
2015-06-17 03:06:16 +00:00
2012-08-13 19:54:01 +00:00
2013-05-07 19:53:00 +00:00
2015-04-23 15:12:49 +00:00
2015-04-23 15:12:49 +00:00
2015-04-23 15:12:49 +00:00
2015-04-23 15:12:49 +00:00
2015-02-27 21:17:42 +00:00
2015-03-09 21:48:13 +00:00
2015-02-27 21:17:42 +00:00
2015-06-05 16:00:11 +00:00
2015-04-13 17:16:45 +00:00
2013-08-06 09:12:35 +00:00
2015-04-22 18:25:53 +00:00
2015-03-12 16:44:50 +00:00
2015-06-18 20:43:50 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00
2015-02-27 21:17:42 +00:00