123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929 |
- // batcher.go - Constant time polynomial sampler.
- //
- // To the extent possible under law, Yawning Angel has waived all copyright
- // and related or neighboring rights to newhope, using the Creative
- // Commons "CC0" public domain dedication. See LICENSE or
- // <http://creativecommons.org/publicdomain/zero/1.0/> for full details.
- package newhope
- func batcher84(x []uint16) {
- // In theory this should probably be inlined.
- compareAndSwap := func(x []uint16, i, j int) {
- const _5q = 5 * paramQ
- var c int32
- var t uint16
- c = _5q - 1 - int32(x[16*i])
- c >>= 31
- t = x[16*i] ^ x[16*j]
- t &= uint16(c)
- x[16*i] ^= t
- x[16*j] ^= t
- }
- compareAndSwap(x, 0, 1)
- compareAndSwap(x, 2, 3)
- compareAndSwap(x, 0, 2)
- compareAndSwap(x, 1, 3)
- compareAndSwap(x, 1, 2)
- compareAndSwap(x, 4, 5)
- compareAndSwap(x, 6, 7)
- compareAndSwap(x, 4, 6)
- compareAndSwap(x, 5, 7)
- compareAndSwap(x, 5, 6)
- compareAndSwap(x, 0, 4)
- compareAndSwap(x, 2, 6)
- compareAndSwap(x, 2, 4)
- compareAndSwap(x, 1, 5)
- compareAndSwap(x, 3, 7)
- compareAndSwap(x, 3, 5)
- compareAndSwap(x, 1, 2)
- compareAndSwap(x, 3, 4)
- compareAndSwap(x, 5, 6)
- compareAndSwap(x, 8, 9)
- compareAndSwap(x, 10, 11)
- compareAndSwap(x, 8, 10)
- compareAndSwap(x, 9, 11)
- compareAndSwap(x, 9, 10)
- compareAndSwap(x, 12, 13)
- compareAndSwap(x, 14, 15)
- compareAndSwap(x, 12, 14)
- compareAndSwap(x, 13, 15)
- compareAndSwap(x, 13, 14)
- compareAndSwap(x, 8, 12)
- compareAndSwap(x, 10, 14)
- compareAndSwap(x, 10, 12)
- compareAndSwap(x, 9, 13)
- compareAndSwap(x, 11, 15)
- compareAndSwap(x, 11, 13)
- compareAndSwap(x, 9, 10)
- compareAndSwap(x, 11, 12)
- compareAndSwap(x, 13, 14)
- compareAndSwap(x, 0, 8)
- compareAndSwap(x, 4, 12)
- compareAndSwap(x, 4, 8)
- compareAndSwap(x, 2, 10)
- compareAndSwap(x, 6, 14)
- compareAndSwap(x, 6, 10)
- compareAndSwap(x, 2, 4)
- compareAndSwap(x, 6, 8)
- compareAndSwap(x, 10, 12)
- compareAndSwap(x, 1, 9)
- compareAndSwap(x, 5, 13)
- compareAndSwap(x, 5, 9)
- compareAndSwap(x, 3, 11)
- compareAndSwap(x, 7, 15)
- compareAndSwap(x, 7, 11)
- compareAndSwap(x, 3, 5)
- compareAndSwap(x, 7, 9)
- compareAndSwap(x, 11, 13)
- compareAndSwap(x, 1, 2)
- compareAndSwap(x, 3, 4)
- compareAndSwap(x, 5, 6)
- compareAndSwap(x, 7, 8)
- compareAndSwap(x, 9, 10)
- compareAndSwap(x, 11, 12)
- compareAndSwap(x, 13, 14)
- compareAndSwap(x, 16, 17)
- compareAndSwap(x, 18, 19)
- compareAndSwap(x, 16, 18)
- compareAndSwap(x, 17, 19)
- compareAndSwap(x, 17, 18)
- compareAndSwap(x, 20, 21)
- compareAndSwap(x, 22, 23)
- compareAndSwap(x, 20, 22)
- compareAndSwap(x, 21, 23)
- compareAndSwap(x, 21, 22)
- compareAndSwap(x, 16, 20)
- compareAndSwap(x, 18, 22)
- compareAndSwap(x, 18, 20)
- compareAndSwap(x, 17, 21)
- compareAndSwap(x, 19, 23)
- compareAndSwap(x, 19, 21)
- compareAndSwap(x, 17, 18)
- compareAndSwap(x, 19, 20)
- compareAndSwap(x, 21, 22)
- compareAndSwap(x, 24, 25)
- compareAndSwap(x, 26, 27)
- compareAndSwap(x, 24, 26)
- compareAndSwap(x, 25, 27)
- compareAndSwap(x, 25, 26)
- compareAndSwap(x, 28, 29)
- compareAndSwap(x, 30, 31)
- compareAndSwap(x, 28, 30)
- compareAndSwap(x, 29, 31)
- compareAndSwap(x, 29, 30)
- compareAndSwap(x, 24, 28)
- compareAndSwap(x, 26, 30)
- compareAndSwap(x, 26, 28)
- compareAndSwap(x, 25, 29)
- compareAndSwap(x, 27, 31)
- compareAndSwap(x, 27, 29)
- compareAndSwap(x, 25, 26)
- compareAndSwap(x, 27, 28)
- compareAndSwap(x, 29, 30)
- compareAndSwap(x, 16, 24)
- compareAndSwap(x, 20, 28)
- compareAndSwap(x, 20, 24)
- compareAndSwap(x, 18, 26)
- compareAndSwap(x, 22, 30)
- compareAndSwap(x, 22, 26)
- compareAndSwap(x, 18, 20)
- compareAndSwap(x, 22, 24)
- compareAndSwap(x, 26, 28)
- compareAndSwap(x, 17, 25)
- compareAndSwap(x, 21, 29)
- compareAndSwap(x, 21, 25)
- compareAndSwap(x, 19, 27)
- compareAndSwap(x, 23, 31)
- compareAndSwap(x, 23, 27)
- compareAndSwap(x, 19, 21)
- compareAndSwap(x, 23, 25)
- compareAndSwap(x, 27, 29)
- compareAndSwap(x, 17, 18)
- compareAndSwap(x, 19, 20)
- compareAndSwap(x, 21, 22)
- compareAndSwap(x, 23, 24)
- compareAndSwap(x, 25, 26)
- compareAndSwap(x, 27, 28)
- compareAndSwap(x, 29, 30)
- compareAndSwap(x, 0, 16)
- compareAndSwap(x, 8, 24)
- compareAndSwap(x, 8, 16)
- compareAndSwap(x, 4, 20)
- compareAndSwap(x, 12, 28)
- compareAndSwap(x, 12, 20)
- compareAndSwap(x, 4, 8)
- compareAndSwap(x, 12, 16)
- compareAndSwap(x, 20, 24)
- compareAndSwap(x, 2, 18)
- compareAndSwap(x, 10, 26)
- compareAndSwap(x, 10, 18)
- compareAndSwap(x, 6, 22)
- compareAndSwap(x, 14, 30)
- compareAndSwap(x, 14, 22)
- compareAndSwap(x, 6, 10)
- compareAndSwap(x, 14, 18)
- compareAndSwap(x, 22, 26)
- compareAndSwap(x, 2, 4)
- compareAndSwap(x, 6, 8)
- compareAndSwap(x, 10, 12)
- compareAndSwap(x, 14, 16)
- compareAndSwap(x, 18, 20)
- compareAndSwap(x, 22, 24)
- compareAndSwap(x, 26, 28)
- compareAndSwap(x, 1, 17)
- compareAndSwap(x, 9, 25)
- compareAndSwap(x, 9, 17)
- compareAndSwap(x, 5, 21)
- compareAndSwap(x, 13, 29)
- compareAndSwap(x, 13, 21)
- compareAndSwap(x, 5, 9)
- compareAndSwap(x, 13, 17)
- compareAndSwap(x, 21, 25)
- compareAndSwap(x, 3, 19)
- compareAndSwap(x, 11, 27)
- compareAndSwap(x, 11, 19)
- compareAndSwap(x, 7, 23)
- compareAndSwap(x, 15, 31)
- compareAndSwap(x, 15, 23)
- compareAndSwap(x, 7, 11)
- compareAndSwap(x, 15, 19)
- compareAndSwap(x, 23, 27)
- compareAndSwap(x, 3, 5)
- compareAndSwap(x, 7, 9)
- compareAndSwap(x, 11, 13)
- compareAndSwap(x, 15, 17)
- compareAndSwap(x, 19, 21)
- compareAndSwap(x, 23, 25)
- compareAndSwap(x, 27, 29)
- compareAndSwap(x, 1, 2)
- compareAndSwap(x, 3, 4)
- compareAndSwap(x, 5, 6)
- compareAndSwap(x, 7, 8)
- compareAndSwap(x, 9, 10)
- compareAndSwap(x, 11, 12)
- compareAndSwap(x, 13, 14)
- compareAndSwap(x, 15, 16)
- compareAndSwap(x, 17, 18)
- compareAndSwap(x, 19, 20)
- compareAndSwap(x, 21, 22)
- compareAndSwap(x, 23, 24)
- compareAndSwap(x, 25, 26)
- compareAndSwap(x, 27, 28)
- compareAndSwap(x, 29, 30)
- compareAndSwap(x, 32, 33)
- compareAndSwap(x, 34, 35)
- compareAndSwap(x, 32, 34)
- compareAndSwap(x, 33, 35)
- compareAndSwap(x, 33, 34)
- compareAndSwap(x, 36, 37)
- compareAndSwap(x, 38, 39)
- compareAndSwap(x, 36, 38)
- compareAndSwap(x, 37, 39)
- compareAndSwap(x, 37, 38)
- compareAndSwap(x, 32, 36)
- compareAndSwap(x, 34, 38)
- compareAndSwap(x, 34, 36)
- compareAndSwap(x, 33, 37)
- compareAndSwap(x, 35, 39)
- compareAndSwap(x, 35, 37)
- compareAndSwap(x, 33, 34)
- compareAndSwap(x, 35, 36)
- compareAndSwap(x, 37, 38)
- compareAndSwap(x, 40, 41)
- compareAndSwap(x, 42, 43)
- compareAndSwap(x, 40, 42)
- compareAndSwap(x, 41, 43)
- compareAndSwap(x, 41, 42)
- compareAndSwap(x, 44, 45)
- compareAndSwap(x, 46, 47)
- compareAndSwap(x, 44, 46)
- compareAndSwap(x, 45, 47)
- compareAndSwap(x, 45, 46)
- compareAndSwap(x, 40, 44)
- compareAndSwap(x, 42, 46)
- compareAndSwap(x, 42, 44)
- compareAndSwap(x, 41, 45)
- compareAndSwap(x, 43, 47)
- compareAndSwap(x, 43, 45)
- compareAndSwap(x, 41, 42)
- compareAndSwap(x, 43, 44)
- compareAndSwap(x, 45, 46)
- compareAndSwap(x, 32, 40)
- compareAndSwap(x, 36, 44)
- compareAndSwap(x, 36, 40)
- compareAndSwap(x, 34, 42)
- compareAndSwap(x, 38, 46)
- compareAndSwap(x, 38, 42)
- compareAndSwap(x, 34, 36)
- compareAndSwap(x, 38, 40)
- compareAndSwap(x, 42, 44)
- compareAndSwap(x, 33, 41)
- compareAndSwap(x, 37, 45)
- compareAndSwap(x, 37, 41)
- compareAndSwap(x, 35, 43)
- compareAndSwap(x, 39, 47)
- compareAndSwap(x, 39, 43)
- compareAndSwap(x, 35, 37)
- compareAndSwap(x, 39, 41)
- compareAndSwap(x, 43, 45)
- compareAndSwap(x, 33, 34)
- compareAndSwap(x, 35, 36)
- compareAndSwap(x, 37, 38)
- compareAndSwap(x, 39, 40)
- compareAndSwap(x, 41, 42)
- compareAndSwap(x, 43, 44)
- compareAndSwap(x, 45, 46)
- compareAndSwap(x, 48, 49)
- compareAndSwap(x, 50, 51)
- compareAndSwap(x, 48, 50)
- compareAndSwap(x, 49, 51)
- compareAndSwap(x, 49, 50)
- compareAndSwap(x, 52, 53)
- compareAndSwap(x, 54, 55)
- compareAndSwap(x, 52, 54)
- compareAndSwap(x, 53, 55)
- compareAndSwap(x, 53, 54)
- compareAndSwap(x, 48, 52)
- compareAndSwap(x, 50, 54)
- compareAndSwap(x, 50, 52)
- compareAndSwap(x, 49, 53)
- compareAndSwap(x, 51, 55)
- compareAndSwap(x, 51, 53)
- compareAndSwap(x, 49, 50)
- compareAndSwap(x, 51, 52)
- compareAndSwap(x, 53, 54)
- compareAndSwap(x, 56, 57)
- compareAndSwap(x, 58, 59)
- compareAndSwap(x, 56, 58)
- compareAndSwap(x, 57, 59)
- compareAndSwap(x, 57, 58)
- compareAndSwap(x, 60, 61)
- compareAndSwap(x, 62, 63)
- compareAndSwap(x, 60, 62)
- compareAndSwap(x, 61, 63)
- compareAndSwap(x, 61, 62)
- compareAndSwap(x, 56, 60)
- compareAndSwap(x, 58, 62)
- compareAndSwap(x, 58, 60)
- compareAndSwap(x, 57, 61)
- compareAndSwap(x, 59, 63)
- compareAndSwap(x, 59, 61)
- compareAndSwap(x, 57, 58)
- compareAndSwap(x, 59, 60)
- compareAndSwap(x, 61, 62)
- compareAndSwap(x, 48, 56)
- compareAndSwap(x, 52, 60)
- compareAndSwap(x, 52, 56)
- compareAndSwap(x, 50, 58)
- compareAndSwap(x, 54, 62)
- compareAndSwap(x, 54, 58)
- compareAndSwap(x, 50, 52)
- compareAndSwap(x, 54, 56)
- compareAndSwap(x, 58, 60)
- compareAndSwap(x, 49, 57)
- compareAndSwap(x, 53, 61)
- compareAndSwap(x, 53, 57)
- compareAndSwap(x, 51, 59)
- compareAndSwap(x, 55, 63)
- compareAndSwap(x, 55, 59)
- compareAndSwap(x, 51, 53)
- compareAndSwap(x, 55, 57)
- compareAndSwap(x, 59, 61)
- compareAndSwap(x, 49, 50)
- compareAndSwap(x, 51, 52)
- compareAndSwap(x, 53, 54)
- compareAndSwap(x, 55, 56)
- compareAndSwap(x, 57, 58)
- compareAndSwap(x, 59, 60)
- compareAndSwap(x, 61, 62)
- compareAndSwap(x, 32, 48)
- compareAndSwap(x, 40, 56)
- compareAndSwap(x, 40, 48)
- compareAndSwap(x, 36, 52)
- compareAndSwap(x, 44, 60)
- compareAndSwap(x, 44, 52)
- compareAndSwap(x, 36, 40)
- compareAndSwap(x, 44, 48)
- compareAndSwap(x, 52, 56)
- compareAndSwap(x, 34, 50)
- compareAndSwap(x, 42, 58)
- compareAndSwap(x, 42, 50)
- compareAndSwap(x, 38, 54)
- compareAndSwap(x, 46, 62)
- compareAndSwap(x, 46, 54)
- compareAndSwap(x, 38, 42)
- compareAndSwap(x, 46, 50)
- compareAndSwap(x, 54, 58)
- compareAndSwap(x, 34, 36)
- compareAndSwap(x, 38, 40)
- compareAndSwap(x, 42, 44)
- compareAndSwap(x, 46, 48)
- compareAndSwap(x, 50, 52)
- compareAndSwap(x, 54, 56)
- compareAndSwap(x, 58, 60)
- compareAndSwap(x, 33, 49)
- compareAndSwap(x, 41, 57)
- compareAndSwap(x, 41, 49)
- compareAndSwap(x, 37, 53)
- compareAndSwap(x, 45, 61)
- compareAndSwap(x, 45, 53)
- compareAndSwap(x, 37, 41)
- compareAndSwap(x, 45, 49)
- compareAndSwap(x, 53, 57)
- compareAndSwap(x, 35, 51)
- compareAndSwap(x, 43, 59)
- compareAndSwap(x, 43, 51)
- compareAndSwap(x, 39, 55)
- compareAndSwap(x, 47, 63)
- compareAndSwap(x, 47, 55)
- compareAndSwap(x, 39, 43)
- compareAndSwap(x, 47, 51)
- compareAndSwap(x, 55, 59)
- compareAndSwap(x, 35, 37)
- compareAndSwap(x, 39, 41)
- compareAndSwap(x, 43, 45)
- compareAndSwap(x, 47, 49)
- compareAndSwap(x, 51, 53)
- compareAndSwap(x, 55, 57)
- compareAndSwap(x, 59, 61)
- compareAndSwap(x, 33, 34)
- compareAndSwap(x, 35, 36)
- compareAndSwap(x, 37, 38)
- compareAndSwap(x, 39, 40)
- compareAndSwap(x, 41, 42)
- compareAndSwap(x, 43, 44)
- compareAndSwap(x, 45, 46)
- compareAndSwap(x, 47, 48)
- compareAndSwap(x, 49, 50)
- compareAndSwap(x, 51, 52)
- compareAndSwap(x, 53, 54)
- compareAndSwap(x, 55, 56)
- compareAndSwap(x, 57, 58)
- compareAndSwap(x, 59, 60)
- compareAndSwap(x, 61, 62)
- compareAndSwap(x, 0, 32)
- compareAndSwap(x, 16, 48)
- compareAndSwap(x, 16, 32)
- compareAndSwap(x, 8, 40)
- compareAndSwap(x, 24, 56)
- compareAndSwap(x, 24, 40)
- compareAndSwap(x, 8, 16)
- compareAndSwap(x, 24, 32)
- compareAndSwap(x, 40, 48)
- compareAndSwap(x, 4, 36)
- compareAndSwap(x, 20, 52)
- compareAndSwap(x, 20, 36)
- compareAndSwap(x, 12, 44)
- compareAndSwap(x, 28, 60)
- compareAndSwap(x, 28, 44)
- compareAndSwap(x, 12, 20)
- compareAndSwap(x, 28, 36)
- compareAndSwap(x, 44, 52)
- compareAndSwap(x, 4, 8)
- compareAndSwap(x, 12, 16)
- compareAndSwap(x, 20, 24)
- compareAndSwap(x, 28, 32)
- compareAndSwap(x, 36, 40)
- compareAndSwap(x, 44, 48)
- compareAndSwap(x, 52, 56)
- compareAndSwap(x, 2, 34)
- compareAndSwap(x, 18, 50)
- compareAndSwap(x, 18, 34)
- compareAndSwap(x, 10, 42)
- compareAndSwap(x, 26, 58)
- compareAndSwap(x, 26, 42)
- compareAndSwap(x, 10, 18)
- compareAndSwap(x, 26, 34)
- compareAndSwap(x, 42, 50)
- compareAndSwap(x, 6, 38)
- compareAndSwap(x, 22, 54)
- compareAndSwap(x, 22, 38)
- compareAndSwap(x, 14, 46)
- compareAndSwap(x, 30, 62)
- compareAndSwap(x, 30, 46)
- compareAndSwap(x, 14, 22)
- compareAndSwap(x, 30, 38)
- compareAndSwap(x, 46, 54)
- compareAndSwap(x, 6, 10)
- compareAndSwap(x, 14, 18)
- compareAndSwap(x, 22, 26)
- compareAndSwap(x, 30, 34)
- compareAndSwap(x, 38, 42)
- compareAndSwap(x, 46, 50)
- compareAndSwap(x, 54, 58)
- compareAndSwap(x, 2, 4)
- compareAndSwap(x, 6, 8)
- compareAndSwap(x, 10, 12)
- compareAndSwap(x, 14, 16)
- compareAndSwap(x, 18, 20)
- compareAndSwap(x, 22, 24)
- compareAndSwap(x, 26, 28)
- compareAndSwap(x, 30, 32)
- compareAndSwap(x, 34, 36)
- compareAndSwap(x, 38, 40)
- compareAndSwap(x, 42, 44)
- compareAndSwap(x, 46, 48)
- compareAndSwap(x, 50, 52)
- compareAndSwap(x, 54, 56)
- compareAndSwap(x, 58, 60)
- compareAndSwap(x, 1, 33)
- compareAndSwap(x, 17, 49)
- compareAndSwap(x, 17, 33)
- compareAndSwap(x, 9, 41)
- compareAndSwap(x, 25, 57)
- compareAndSwap(x, 25, 41)
- compareAndSwap(x, 9, 17)
- compareAndSwap(x, 25, 33)
- compareAndSwap(x, 41, 49)
- compareAndSwap(x, 5, 37)
- compareAndSwap(x, 21, 53)
- compareAndSwap(x, 21, 37)
- compareAndSwap(x, 13, 45)
- compareAndSwap(x, 29, 61)
- compareAndSwap(x, 29, 45)
- compareAndSwap(x, 13, 21)
- compareAndSwap(x, 29, 37)
- compareAndSwap(x, 45, 53)
- compareAndSwap(x, 5, 9)
- compareAndSwap(x, 13, 17)
- compareAndSwap(x, 21, 25)
- compareAndSwap(x, 29, 33)
- compareAndSwap(x, 37, 41)
- compareAndSwap(x, 45, 49)
- compareAndSwap(x, 53, 57)
- compareAndSwap(x, 3, 35)
- compareAndSwap(x, 19, 51)
- compareAndSwap(x, 19, 35)
- compareAndSwap(x, 11, 43)
- compareAndSwap(x, 27, 59)
- compareAndSwap(x, 27, 43)
- compareAndSwap(x, 11, 19)
- compareAndSwap(x, 27, 35)
- compareAndSwap(x, 43, 51)
- compareAndSwap(x, 7, 39)
- compareAndSwap(x, 23, 55)
- compareAndSwap(x, 23, 39)
- compareAndSwap(x, 15, 47)
- compareAndSwap(x, 31, 63)
- compareAndSwap(x, 31, 47)
- compareAndSwap(x, 15, 23)
- compareAndSwap(x, 31, 39)
- compareAndSwap(x, 47, 55)
- compareAndSwap(x, 7, 11)
- compareAndSwap(x, 15, 19)
- compareAndSwap(x, 23, 27)
- compareAndSwap(x, 31, 35)
- compareAndSwap(x, 39, 43)
- compareAndSwap(x, 47, 51)
- compareAndSwap(x, 55, 59)
- compareAndSwap(x, 3, 5)
- compareAndSwap(x, 7, 9)
- compareAndSwap(x, 11, 13)
- compareAndSwap(x, 15, 17)
- compareAndSwap(x, 19, 21)
- compareAndSwap(x, 23, 25)
- compareAndSwap(x, 27, 29)
- compareAndSwap(x, 31, 33)
- compareAndSwap(x, 35, 37)
- compareAndSwap(x, 39, 41)
- compareAndSwap(x, 43, 45)
- compareAndSwap(x, 47, 49)
- compareAndSwap(x, 51, 53)
- compareAndSwap(x, 55, 57)
- compareAndSwap(x, 59, 61)
- compareAndSwap(x, 1, 2)
- compareAndSwap(x, 3, 4)
- compareAndSwap(x, 5, 6)
- compareAndSwap(x, 7, 8)
- compareAndSwap(x, 9, 10)
- compareAndSwap(x, 11, 12)
- compareAndSwap(x, 13, 14)
- compareAndSwap(x, 15, 16)
- compareAndSwap(x, 17, 18)
- compareAndSwap(x, 19, 20)
- compareAndSwap(x, 21, 22)
- compareAndSwap(x, 23, 24)
- compareAndSwap(x, 25, 26)
- compareAndSwap(x, 27, 28)
- compareAndSwap(x, 29, 30)
- compareAndSwap(x, 31, 32)
- compareAndSwap(x, 33, 34)
- compareAndSwap(x, 35, 36)
- compareAndSwap(x, 37, 38)
- compareAndSwap(x, 39, 40)
- compareAndSwap(x, 41, 42)
- compareAndSwap(x, 43, 44)
- compareAndSwap(x, 45, 46)
- compareAndSwap(x, 47, 48)
- compareAndSwap(x, 49, 50)
- compareAndSwap(x, 51, 52)
- compareAndSwap(x, 53, 54)
- compareAndSwap(x, 55, 56)
- compareAndSwap(x, 57, 58)
- compareAndSwap(x, 59, 60)
- compareAndSwap(x, 61, 62)
- compareAndSwap(x, 64, 65)
- compareAndSwap(x, 66, 67)
- compareAndSwap(x, 64, 66)
- compareAndSwap(x, 65, 67)
- compareAndSwap(x, 65, 66)
- compareAndSwap(x, 68, 69)
- compareAndSwap(x, 70, 71)
- compareAndSwap(x, 68, 70)
- compareAndSwap(x, 69, 71)
- compareAndSwap(x, 69, 70)
- compareAndSwap(x, 64, 68)
- compareAndSwap(x, 66, 70)
- compareAndSwap(x, 66, 68)
- compareAndSwap(x, 65, 69)
- compareAndSwap(x, 67, 71)
- compareAndSwap(x, 67, 69)
- compareAndSwap(x, 65, 66)
- compareAndSwap(x, 67, 68)
- compareAndSwap(x, 69, 70)
- compareAndSwap(x, 72, 73)
- compareAndSwap(x, 74, 75)
- compareAndSwap(x, 72, 74)
- compareAndSwap(x, 73, 75)
- compareAndSwap(x, 73, 74)
- compareAndSwap(x, 76, 77)
- compareAndSwap(x, 78, 79)
- compareAndSwap(x, 76, 78)
- compareAndSwap(x, 77, 79)
- compareAndSwap(x, 77, 78)
- compareAndSwap(x, 72, 76)
- compareAndSwap(x, 74, 78)
- compareAndSwap(x, 74, 76)
- compareAndSwap(x, 73, 77)
- compareAndSwap(x, 75, 79)
- compareAndSwap(x, 75, 77)
- compareAndSwap(x, 73, 74)
- compareAndSwap(x, 75, 76)
- compareAndSwap(x, 77, 78)
- compareAndSwap(x, 64, 72)
- compareAndSwap(x, 68, 76)
- compareAndSwap(x, 68, 72)
- compareAndSwap(x, 66, 74)
- compareAndSwap(x, 70, 78)
- compareAndSwap(x, 70, 74)
- compareAndSwap(x, 66, 68)
- compareAndSwap(x, 70, 72)
- compareAndSwap(x, 74, 76)
- compareAndSwap(x, 65, 73)
- compareAndSwap(x, 69, 77)
- compareAndSwap(x, 69, 73)
- compareAndSwap(x, 67, 75)
- compareAndSwap(x, 71, 79)
- compareAndSwap(x, 71, 75)
- compareAndSwap(x, 67, 69)
- compareAndSwap(x, 71, 73)
- compareAndSwap(x, 75, 77)
- compareAndSwap(x, 65, 66)
- compareAndSwap(x, 67, 68)
- compareAndSwap(x, 69, 70)
- compareAndSwap(x, 71, 72)
- compareAndSwap(x, 73, 74)
- compareAndSwap(x, 75, 76)
- compareAndSwap(x, 77, 78)
- compareAndSwap(x, 80, 81)
- compareAndSwap(x, 82, 83)
- compareAndSwap(x, 80, 82)
- compareAndSwap(x, 81, 83)
- compareAndSwap(x, 81, 82)
- compareAndSwap(x, 81, 82)
- compareAndSwap(x, 81, 82)
- compareAndSwap(x, 64, 80)
- compareAndSwap(x, 72, 80)
- compareAndSwap(x, 68, 72)
- compareAndSwap(x, 76, 80)
- compareAndSwap(x, 66, 82)
- compareAndSwap(x, 74, 82)
- compareAndSwap(x, 70, 74)
- compareAndSwap(x, 78, 82)
- compareAndSwap(x, 66, 68)
- compareAndSwap(x, 70, 72)
- compareAndSwap(x, 74, 76)
- compareAndSwap(x, 78, 80)
- compareAndSwap(x, 65, 81)
- compareAndSwap(x, 73, 81)
- compareAndSwap(x, 69, 73)
- compareAndSwap(x, 77, 81)
- compareAndSwap(x, 67, 83)
- compareAndSwap(x, 75, 83)
- compareAndSwap(x, 71, 75)
- compareAndSwap(x, 79, 83)
- compareAndSwap(x, 67, 69)
- compareAndSwap(x, 71, 73)
- compareAndSwap(x, 75, 77)
- compareAndSwap(x, 79, 81)
- compareAndSwap(x, 65, 66)
- compareAndSwap(x, 67, 68)
- compareAndSwap(x, 69, 70)
- compareAndSwap(x, 71, 72)
- compareAndSwap(x, 73, 74)
- compareAndSwap(x, 75, 76)
- compareAndSwap(x, 77, 78)
- compareAndSwap(x, 79, 80)
- compareAndSwap(x, 81, 82)
- compareAndSwap(x, 72, 80)
- compareAndSwap(x, 68, 72)
- compareAndSwap(x, 76, 80)
- compareAndSwap(x, 74, 82)
- compareAndSwap(x, 70, 74)
- compareAndSwap(x, 78, 82)
- compareAndSwap(x, 66, 68)
- compareAndSwap(x, 70, 72)
- compareAndSwap(x, 74, 76)
- compareAndSwap(x, 78, 80)
- compareAndSwap(x, 73, 81)
- compareAndSwap(x, 69, 73)
- compareAndSwap(x, 77, 81)
- compareAndSwap(x, 75, 83)
- compareAndSwap(x, 71, 75)
- compareAndSwap(x, 79, 83)
- compareAndSwap(x, 67, 69)
- compareAndSwap(x, 71, 73)
- compareAndSwap(x, 75, 77)
- compareAndSwap(x, 79, 81)
- compareAndSwap(x, 65, 66)
- compareAndSwap(x, 67, 68)
- compareAndSwap(x, 69, 70)
- compareAndSwap(x, 71, 72)
- compareAndSwap(x, 73, 74)
- compareAndSwap(x, 75, 76)
- compareAndSwap(x, 77, 78)
- compareAndSwap(x, 79, 80)
- compareAndSwap(x, 81, 82)
- compareAndSwap(x, 0, 64)
- compareAndSwap(x, 32, 64)
- compareAndSwap(x, 16, 80)
- compareAndSwap(x, 48, 80)
- compareAndSwap(x, 16, 32)
- compareAndSwap(x, 48, 64)
- compareAndSwap(x, 8, 72)
- compareAndSwap(x, 40, 72)
- compareAndSwap(x, 24, 40)
- compareAndSwap(x, 56, 72)
- compareAndSwap(x, 8, 16)
- compareAndSwap(x, 24, 32)
- compareAndSwap(x, 40, 48)
- compareAndSwap(x, 56, 64)
- compareAndSwap(x, 72, 80)
- compareAndSwap(x, 4, 68)
- compareAndSwap(x, 36, 68)
- compareAndSwap(x, 20, 36)
- compareAndSwap(x, 52, 68)
- compareAndSwap(x, 12, 76)
- compareAndSwap(x, 44, 76)
- compareAndSwap(x, 28, 44)
- compareAndSwap(x, 60, 76)
- compareAndSwap(x, 12, 20)
- compareAndSwap(x, 28, 36)
- compareAndSwap(x, 44, 52)
- compareAndSwap(x, 60, 68)
- compareAndSwap(x, 4, 8)
- compareAndSwap(x, 12, 16)
- compareAndSwap(x, 20, 24)
- compareAndSwap(x, 28, 32)
- compareAndSwap(x, 36, 40)
- compareAndSwap(x, 44, 48)
- compareAndSwap(x, 52, 56)
- compareAndSwap(x, 60, 64)
- compareAndSwap(x, 68, 72)
- compareAndSwap(x, 76, 80)
- compareAndSwap(x, 2, 66)
- compareAndSwap(x, 34, 66)
- compareAndSwap(x, 18, 82)
- compareAndSwap(x, 50, 82)
- compareAndSwap(x, 18, 34)
- compareAndSwap(x, 50, 66)
- compareAndSwap(x, 10, 74)
- compareAndSwap(x, 42, 74)
- compareAndSwap(x, 26, 42)
- compareAndSwap(x, 58, 74)
- compareAndSwap(x, 10, 18)
- compareAndSwap(x, 26, 34)
- compareAndSwap(x, 42, 50)
- compareAndSwap(x, 58, 66)
- compareAndSwap(x, 74, 82)
- compareAndSwap(x, 6, 70)
- compareAndSwap(x, 38, 70)
- compareAndSwap(x, 22, 38)
- compareAndSwap(x, 54, 70)
- compareAndSwap(x, 14, 78)
- compareAndSwap(x, 46, 78)
- compareAndSwap(x, 30, 46)
- compareAndSwap(x, 62, 78)
- compareAndSwap(x, 14, 22)
- compareAndSwap(x, 30, 38)
- compareAndSwap(x, 46, 54)
- compareAndSwap(x, 62, 70)
- compareAndSwap(x, 6, 10)
- compareAndSwap(x, 14, 18)
- compareAndSwap(x, 22, 26)
- compareAndSwap(x, 30, 34)
- compareAndSwap(x, 38, 42)
- compareAndSwap(x, 46, 50)
- compareAndSwap(x, 54, 58)
- compareAndSwap(x, 62, 66)
- compareAndSwap(x, 70, 74)
- compareAndSwap(x, 78, 82)
- compareAndSwap(x, 2, 4)
- compareAndSwap(x, 6, 8)
- compareAndSwap(x, 10, 12)
- compareAndSwap(x, 14, 16)
- compareAndSwap(x, 18, 20)
- compareAndSwap(x, 22, 24)
- compareAndSwap(x, 26, 28)
- compareAndSwap(x, 30, 32)
- compareAndSwap(x, 34, 36)
- compareAndSwap(x, 38, 40)
- compareAndSwap(x, 42, 44)
- compareAndSwap(x, 46, 48)
- compareAndSwap(x, 50, 52)
- compareAndSwap(x, 54, 56)
- compareAndSwap(x, 58, 60)
- compareAndSwap(x, 62, 64)
- compareAndSwap(x, 66, 68)
- compareAndSwap(x, 70, 72)
- compareAndSwap(x, 74, 76)
- compareAndSwap(x, 78, 80)
- compareAndSwap(x, 1, 65)
- compareAndSwap(x, 33, 65)
- compareAndSwap(x, 17, 81)
- compareAndSwap(x, 49, 81)
- compareAndSwap(x, 17, 33)
- compareAndSwap(x, 49, 65)
- compareAndSwap(x, 9, 73)
- compareAndSwap(x, 41, 73)
- compareAndSwap(x, 25, 41)
- compareAndSwap(x, 57, 73)
- compareAndSwap(x, 9, 17)
- compareAndSwap(x, 25, 33)
- compareAndSwap(x, 41, 49)
- compareAndSwap(x, 57, 65)
- compareAndSwap(x, 73, 81)
- compareAndSwap(x, 5, 69)
- compareAndSwap(x, 37, 69)
- compareAndSwap(x, 21, 37)
- compareAndSwap(x, 53, 69)
- compareAndSwap(x, 13, 77)
- compareAndSwap(x, 45, 77)
- compareAndSwap(x, 29, 45)
- compareAndSwap(x, 61, 77)
- compareAndSwap(x, 13, 21)
- compareAndSwap(x, 29, 37)
- compareAndSwap(x, 45, 53)
- compareAndSwap(x, 61, 69)
- compareAndSwap(x, 5, 9)
- compareAndSwap(x, 13, 17)
- compareAndSwap(x, 21, 25)
- compareAndSwap(x, 29, 33)
- compareAndSwap(x, 37, 41)
- compareAndSwap(x, 45, 49)
- compareAndSwap(x, 53, 57)
- compareAndSwap(x, 61, 65)
- compareAndSwap(x, 69, 73)
- compareAndSwap(x, 77, 81)
- compareAndSwap(x, 3, 67)
- compareAndSwap(x, 35, 67)
- compareAndSwap(x, 19, 83)
- compareAndSwap(x, 51, 83)
- compareAndSwap(x, 19, 35)
- compareAndSwap(x, 51, 67)
- compareAndSwap(x, 11, 75)
- compareAndSwap(x, 43, 75)
- compareAndSwap(x, 27, 43)
- compareAndSwap(x, 59, 75)
- compareAndSwap(x, 11, 19)
- compareAndSwap(x, 27, 35)
- compareAndSwap(x, 43, 51)
- compareAndSwap(x, 59, 67)
- compareAndSwap(x, 75, 83)
- compareAndSwap(x, 7, 71)
- compareAndSwap(x, 39, 71)
- compareAndSwap(x, 23, 39)
- compareAndSwap(x, 55, 71)
- compareAndSwap(x, 15, 79)
- compareAndSwap(x, 47, 79)
- compareAndSwap(x, 31, 47)
- compareAndSwap(x, 63, 79)
- compareAndSwap(x, 15, 23)
- compareAndSwap(x, 31, 39)
- compareAndSwap(x, 47, 55)
- compareAndSwap(x, 63, 71)
- compareAndSwap(x, 7, 11)
- compareAndSwap(x, 15, 19)
- compareAndSwap(x, 23, 27)
- compareAndSwap(x, 31, 35)
- compareAndSwap(x, 39, 43)
- compareAndSwap(x, 47, 51)
- compareAndSwap(x, 55, 59)
- compareAndSwap(x, 63, 67)
- compareAndSwap(x, 71, 75)
- compareAndSwap(x, 79, 83)
- compareAndSwap(x, 3, 5)
- compareAndSwap(x, 7, 9)
- compareAndSwap(x, 11, 13)
- compareAndSwap(x, 15, 17)
- compareAndSwap(x, 19, 21)
- compareAndSwap(x, 23, 25)
- compareAndSwap(x, 27, 29)
- compareAndSwap(x, 31, 33)
- compareAndSwap(x, 35, 37)
- compareAndSwap(x, 39, 41)
- compareAndSwap(x, 43, 45)
- compareAndSwap(x, 47, 49)
- compareAndSwap(x, 51, 53)
- compareAndSwap(x, 55, 57)
- compareAndSwap(x, 59, 61)
- compareAndSwap(x, 63, 65)
- compareAndSwap(x, 67, 69)
- compareAndSwap(x, 71, 73)
- compareAndSwap(x, 75, 77)
- compareAndSwap(x, 79, 81)
- compareAndSwap(x, 1, 2)
- compareAndSwap(x, 3, 4)
- compareAndSwap(x, 5, 6)
- compareAndSwap(x, 7, 8)
- compareAndSwap(x, 9, 10)
- compareAndSwap(x, 11, 12)
- compareAndSwap(x, 13, 14)
- compareAndSwap(x, 15, 16)
- compareAndSwap(x, 17, 18)
- compareAndSwap(x, 19, 20)
- compareAndSwap(x, 21, 22)
- compareAndSwap(x, 23, 24)
- compareAndSwap(x, 25, 26)
- compareAndSwap(x, 27, 28)
- compareAndSwap(x, 29, 30)
- compareAndSwap(x, 31, 32)
- compareAndSwap(x, 33, 34)
- compareAndSwap(x, 35, 36)
- compareAndSwap(x, 37, 38)
- compareAndSwap(x, 39, 40)
- compareAndSwap(x, 41, 42)
- compareAndSwap(x, 43, 44)
- compareAndSwap(x, 45, 46)
- compareAndSwap(x, 47, 48)
- compareAndSwap(x, 49, 50)
- compareAndSwap(x, 51, 52)
- compareAndSwap(x, 53, 54)
- compareAndSwap(x, 55, 56)
- compareAndSwap(x, 57, 58)
- compareAndSwap(x, 59, 60)
- compareAndSwap(x, 61, 62)
- compareAndSwap(x, 63, 64)
- compareAndSwap(x, 65, 66)
- compareAndSwap(x, 67, 68)
- compareAndSwap(x, 69, 70)
- compareAndSwap(x, 71, 72)
- compareAndSwap(x, 73, 74)
- compareAndSwap(x, 75, 76)
- compareAndSwap(x, 77, 78)
- compareAndSwap(x, 79, 80)
- compareAndSwap(x, 81, 82)
- }
|