Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dbg def use #886

Merged
merged 15 commits into from
Oct 14, 2021
Merged

Dbg def use #886

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
43b7a1e
Add some more analysis in the early states of LLVM CFG translation.
robdockins Oct 12, 2021
c914655
Use the results of def/use analysis to check that the input LLVM
robdockins Oct 12, 2021
c2fbc16
Add the ability to emit warnings during the LLVM translation phase.
robdockins Oct 13, 2021
bf430e8
Fix uc-crux-llvm build
robdockins Oct 13, 2021
e22bda5
Fix crucible-llvm test suite
robdockins Oct 13, 2021
2524e5a
Add a test case for #798
robdockins Oct 13, 2021
f7f0705
Pull the `LLVMBlockInfoMap` and operations into a separate module.
robdockins Oct 13, 2021
26232fe
Increase the portability of `shrink.ll`
robdockins Oct 13, 2021
f52e80a
Remove the obsolete T778 test case
robdockins Oct 13, 2021
de29429
Apply suggestions from code review
robdockins Oct 14, 2021
6252582
Refine how LLVM translation warnings are handled
robdockins Oct 14, 2021
0edb607
Explain why we omit metadata nodes from def/use analysis
robdockins Oct 14, 2021
78de24f
Unify style, fix typos
robdockins Oct 14, 2021
5212b69
Generate warnings when debug value arguments are not of the expected …
robdockins Oct 14, 2021
da24f71
Better comments on LLMVTranslationWarning
robdockins Oct 14, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Increase the portability of shrink.ll
  • Loading branch information
@robdockins
robdockins committed Oct 13, 2021
commit 26232fee25ce92898bd420560055fc650cabbff9
2 changes: 1 addition & 1 deletion crux-llvm/test-data/golden/shrink.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ attributes #1 = { nounwind readnone speculatable willreturn }
!llvm.module.flags = !{!6, !7, !8, !9}
!llvm.ident = !{!10}

!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 11.1.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !3, nameTableKind: None, sysroot: "/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk", sdk: "MacOSX.sdk")
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 11.1.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !3, nameTableKind: None)
!1 = !DIFile(filename: "shrink.c", directory: "/Users/rdockins/code/crucible/crux-llvm", checksumkind: CSK_MD5, checksum: "c2c71a098178ba3175febc60f68f1a59")
!2 = !{}
!3 = !{!4, !5}
Expand Down