Separate the analysis framework in a different file.

[photoszzt]

r? @fitzgen #765

[highfive]

Thanks for the pull request, and welcome! The Servo team is excited to review your changes, and you should hear from @fitzgen (or someone else) soon.

[fitzgen]

Looks good to me, but just need to fix a compilation error before this can land:

   Compiling bindgen v0.26.3 (file:///home/travis/build/servo/rust-bindgen)
error: function `analyze` is private
 --> src/ir/context.rs:8:44
  |
8 | use super::named::{UsedTemplateParameters, analyze};
  |                                            ^^^^^^^
error: aborting due to previous error
error: Could not compile `bindgen`.

Thanks!

[fitzgen]

analyze needs to be imported from super::ir::analysis not super::ir::named

[fitzgen]

error: missing documentation for a module
 --> src/ir/mod.rs:7:1
  |
7 | pub mod analysis;
  | ^^^^^^^^^^^^^^^^^
  |
note: lint level defined here
 --> src/lib.rs:8:9
  |
8 | #![deny(missing_docs)]
  |         ^^^^^^^^^^^^
error: aborting due to previous error
error: Could not compile `bindgen`.

Also needs a //! comment at the top of the new analysis.rs file. Perhaps something like:

//! Fix-point analyses on the IR using the monotone framework.

[fitzgen]

Thanks :)

[fitzgen]

@bors-servo r+

[bors-servo]

📌 Commit d3bb41a has been approved by fitzgen

[bors-servo]

⌛ Testing commit d3bb41a with merge c93b1de...

[bors-servo]

☀️ Test successful - status-travis
Approved by: fitzgen
Pushing c93b1de to master...