Lines Matching refs:a5
271 `!a0: word8 a1: word8 a2: word8 a3: word8 a4: word8 a5: word8 a6: word8
273 let w = a7 @@ a6 @@ a5 @@ a4 @@ a3 @@ a2 @@ a1 @@ a0
280 ((47 >< 0) w = (a5 @@ a4 @@ a3 @@ a2 @@ a1 @@ a0) : word48) /\
281 ((55 >< 0) w = (a6 @@ a5 @@ a4 @@ a3 @@ a2 @@ a1 @@ a0) : 56 word) /\
284 ((47 >< 32) w = (a5 @@ a4) : word16) /\
285 ((55 >< 32) w = (a6 @@ a5 @@ a4) : word24) /\
286 ((63 >< 32) w = (a7 @@ a6 @@ a5 @@ a4) : word32) /\
290 ((63 >< 8) w = (a7 @@ a6 @@ a5 @@ a4 @@ a3 @@ a2 @@ a1) : 56 word) /\
291 ((63 >< 16) w = (a7 @@ a6 @@ a5 @@ a4 @@ a3 @@ a2) : word48) /\
292 ((63 >< 24) w = (a7 @@ a6 @@ a5 @@ a4 @@ a3) : 40 word) /\
293 ((63 >< 32) w = (a7 @@ a6 @@ a5 @@ a4) : word32) /\
294 ((63 >< 40) w = (a7 @@ a6 @@ a5) : word24) /\