reroll
English
Verb
reroll (third-person singular simple present rerolls, present participle rerolling, simple past and past participle rerolled)
- (transitive) To roll again.
- A player who rolls two sixes can reroll the dice for an additional turn.
- to reroll steel
- (transitive, programming) To convert (an unrolled instruction sequence) back into a loop.
- 2012, Monica S. Lam, A Systolic Array Optimizing Compiler (page 143)
- Their procedure is to unroll the loop once, trace schedule the two iterations, and then reroll the loop into one.
- 2012, Monica S. Lam, A Systolic Array Optimizing Compiler (page 143)
Noun
reroll (plural rerolls)
- (dice games) A situation in the rules of certain dice games where a player is given the option to reroll an undesirable roll of the dice.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.