en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#61ec2148 [DFSan] Remove -dfsan-args-abi support in favor of TLS.ArgsABI was originally added in https://reviews.llvm.org/D965Current benchmarking does not show a significant difference.There is no need to maintain both ABIs.Reviewed By: pccDifferential Revision: https://reviews.llvm.org/D111097 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Mon, 04 Oct 2021 20:31:18 +0000 Andrew Browne <browneee@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#c6b5a25e [dfsan] Replace dfs$ prefix with .dfsan suffixThe current naming scheme adds the `dfs$` prefix to allDFSan-instrumented functions. This breaks mangling and prevents stacktrace printers and other tools from automatically demangling functionnames.This new naming scheme is mangling-compatible, with the `.dfsan`suffix being a vendor-specific suffix:https://itanium-cxx-abi.github.io/cxx-abi/abi.html#mangling-structureWith this fix, demangling utils would work out-of-the-box.Reviewed By: stephan.yichao.zhaoDifferential Revision: https://reviews.llvm.org/D104494 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Thu, 17 Jun 2021 21:55:05 +0000 George Balatsouras <gbalats@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#6b7b53f5 [dfsan] Remove hard-coded shadow width in more testsAs a preparation step for fast8 support, we need to update the teststo pass in both modes. That requires generalizing the shadow widthand remove any hard coded references that assume it's always 2 bytes.Reviewed By: stephan.yichao.zhaoDifferential Revision: https://reviews.llvm.org/D97884 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Wed, 03 Mar 2021 20:30:20 +0000 George Balatsouras <gbalats@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#a009a60a IR: print value numbers for unnamed function argumentsFor consistency with normal instructions and clarity when reading IR,it's best to print the %0, %1, ... names of function arguments indefinitions.Also modifies the parser to accept IR in that form for obvious reasons.llvm-svn: 367755 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Sat, 03 Aug 2019 14:28:34 +0000 Tim Northover <tnorthover@apple.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#a79ac14f [opaque pointer type] Add textual IR support for explicit type parameter to load instructionEssentially the same as the GEP change in r230786.A similar migration script can be used to update test cases, though a few moretest case improvements/changes were required this time around: (r229269-r229278)import fileinputimport sysimport repat = re.compile(r"((?:=|:|^)\s*load (?:atomic )?(?:volatile )?(.*?))(| addrspace\(\d+\) *)\*($| *(?:%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|\[\[[a-zA-Z]|\{\{).*$)")for line in sys.stdin: sys.stdout.write(re.sub(pat, r"\1, \2\3*\4", line))Reviewers: rafael, dexonsmith, grosserDifferential Revision: http://reviews.llvm.org/D7649llvm-svn: 230794 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Fri, 27 Feb 2015 21:17:42 +0000 David Blaikie <dblaikie@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#e67e4e82 Add target triples to all dfsan tests.llvm-svn: 223536 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Fri, 05 Dec 2014 22:32:30 +0000 Peter Collingbourne <peter@pcc.me.uk> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#fab565a5 [dfsan] Fix non-determinism bug in non-zero label check annotator.We now use a std::vector instead of a DenseSet to store the list oflabel checks so that we can iterate over it deterministically.llvm-svn: 216255 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Fri, 22 Aug 2014 01:18:18 +0000 Peter Collingbourne <peter@pcc.me.uk> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#59b1262d DataFlowSanitizer: Prefix the name of each instrumented function with "dfs$".DFSan changes the ABI of each function in the module. This makes it possiblefor a function with the native ABI to be called with the instrumented ABI,or vice versa, thus possibly invoking undefined behavior. A simple wayof statically detecting instances of this problem is to prepend the prefix"dfs$" to the name of each instrumented-ABI function.This will not catch every such problem; in particular function pointers passedacross the instrumented-native barrier cannot be used on the other side.These problems could potentially be caught dynamically.Differential Revision: http://llvm-reviews.chandlerc.com/D1373llvm-svn: 189052 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Thu, 22 Aug 2013 20:08:08 +0000 Peter Collingbourne <peter@pcc.me.uk> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll#444c59e2 DataFlowSanitizer: Add a debugging feature to help us track nonzero labels.Summary:When the -dfsan-debug-nonzero-labels parameter is supplied, the codeis instrumented such that when a call parameter, return value or loadproduces a nonzero label, the function __dfsan_nonzero_label is called.The idea is that a debugger breakpoint can be set on this functionin a nominally label-free program to help identify any bugs in theinstrumentation pass causing labels to be introduced.Reviewers: eugenisCC: llvm-commitsDifferential Revision: http://llvm-reviews.chandlerc.com/D1405llvm-svn: 188472 List of files: /llvm-project-15.0.7/llvm/test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll Thu, 15 Aug 2013 18:51:12 +0000 Peter Collingbourne <peter@pcc.me.uk>