Displaying 1 result from an estimated 1 matches for "something_that_handle_16_great".
2018 Mar 28
2
Evaluate SCEV on "typically expected value"
..."attach" the
expectation) but maybe something akin to __builtin_assume is preferable?
Basically:
%b = i64 call @llvm.expect(i64 %a, i64 16)
%c = i64 call something(%b)
%d = i64 call something(%a)
Can be easily transformed into:
%b = i64 call @llvm.expect(i64 %a, i64 16)
%c = i64 call something_that_handle_16_great(%b)
%d = i64 call something(%a)
But it is harder to transform the second one too. The "expect" does not
propagate up.
Could we have an ExpectationTracker that does something similar?
Should it be based on @llvm.expect or a different built-in?
Ideally we could provide an "expected&...