search for: hascmov

...in linear integer arithmetic? Or can you have arbitrary calls to complex C++ code? There are too many static predicates, so it isn't feasible to enumerate all possible combinations, but we can expose their relationships to the tool as boolean expressions. For example, X86 currently has: def HasCMov : Predicate<"Subtarget->hasCMov()">; def NoCMov : Predicate<"!Subtarget->hasCMov()">; It would be simple to define: def NoCMov : Predicate<(not HasCMov)>; And the tool would be able to infer that the predicates are disjoint. Similarly:...

>>> I like the idea of sharing code between IR and MI passes through an >>> abstract interface. I think that later stages in the IR pipeline also >>> need an instruction optimizer instead of a canonicalizer. >>> >>> An alternative approach would be to describe these transformations in a >>> DSL instead of C++. >> >>>

On Aug 10, 2013, at 7:32 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote: >> I like the idea of sharing code between IR and MI passes through an abstract interface. I think that later stages in the IR pipeline also need an instruction optimizer instead of a canonicalizer. >> >> An alternative approach would be to describe these transformations in a DSL instead of C++. >

..."Enable hardware multiplier">; def FeatureDiv : SubtargetFeature<"div", "HasDiv", "true", "Enable hardware divider">; def FeatureCmov : SubtargetFeature<"cmov", "HasCmov", "true", "Enable conditional move instruction">; def FeatureAddc : SubtargetFeature<"addc", "HasAddc", "true", "Enable add with carry instruction">; /...