sail/test/mono/pass/repeatedint, branch sail2 Formal specification language for ISAs Monomorphisation improvements for aarch64_small 2019-06-19T10:23:49+00:00 Brian Campbell 2019-06-18T15:57:44+00:00 061c7da3c0629d5fc6cc4a9a91bf4b251b61863d - additional rewrites (signed extend of subrange@zeros, subrange assignment, variants with casts) - drop # from new top-level type variables (e.g., n_times_8) so that the rewriter knows that they're safe to include in casts - add casts in else-branches when only one possible value for a size is left - add casts when assertions force a size to be a particular value - don't use types to detect set constraints in analysis because we won't know which part of the assertion should be replaced - also use non-top-level type variables when simplifying sizes in analysis (useful when it can from pattern matching on an ast) - cope with repeated int('n) in a pattern match (!) 
- additional rewrites (signed extend of subrange@zeros, subrange assignment,
  variants with casts)
- drop # from new top-level type variables (e.g., n_times_8) so that the
  rewriter knows that they're safe to include in casts
- add casts in else-branches when only one possible value for a size is left
- add casts when assertions force a size to be a particular value
- don't use types to detect set constraints in analysis because we won't
  know which part of the assertion should be replaced
- also use non-top-level type variables when simplifying sizes in analysis
  (useful when it can from pattern matching on an ast)
- cope with repeated int('n) in a pattern match (!)