Displaying 1 result from an estimated 1 matches for "uncondtionally".
Did you mean:
unconditionally
2008 Jul 10
0
[LLVMdev] Argpromotion improvements (and fix for PR 2498)
...working on a fix for PR2498. Currently
ArgumentPromotion is a bit overzealous when promoting arguments: If any load
of a pointer argument happens in the entry block (even a partial load for a
struct pointer), it assumes that all loads in the function can be promoted to
the caller (and thus executed uncondtionally). This is clearly wrong, as
PR2498 illustrates (if you get a char *s passed in, and you unconditionally
load s[0], you can't assume that loading s[100000] is also safe).
The attached patch fixes this by tracking safety of loads per set of indices,
instead of just one bool for all loads. In thi...