Lines Matching refs:x27
31 # CHECK-64: srl $4, $4, 31 # encoding: [0x00,0x04,0x27,0xc2]
33 # CHECK-64R: rotr $4, $4, 31 # encoding: [0x00,0x24,0x27,0xc2]
36 # CHECK-64: srl $4, $5, 31 # encoding: [0x00,0x05,0x27,0xc2]
38 # CHECK-64R: rotr $4, $5, 31 # encoding: [0x00,0x25,0x27,0xc2]
41 # CHECK-64: srl $4, $4, 30 # encoding: [0x00,0x04,0x27,0x82]
43 # CHECK-64R: rotr $4, $4, 30 # encoding: [0x00,0x24,0x27,0x82]
46 # CHECK-64: srl $4, $5, 30 # encoding: [0x00,0x05,0x27,0x82]
48 # CHECK-64R: rotr $4, $5, 30 # encoding: [0x00,0x25,0x27,0x82]
70 # CHECK-64: sll $4, $4, 31 # encoding: [0x00,0x04,0x27,0xc0]
75 # CHECK-64: sll $4, $5, 31 # encoding: [0x00,0x05,0x27,0xc0]
80 # CHECK-64: sll $4, $4, 30 # encoding: [0x00,0x04,0x27,0x80]
85 # CHECK-64: sll $4, $5, 30 # encoding: [0x00,0x05,0x27,0x80]
106 # CHECK-64: dsrl32 $4, $4, 31 # encoding: [0x00,0x04,0x27,0xfe]
108 # CHECK-64R: drotr32 $4, $4, 31 # encoding: [0x00,0x24,0x27,0xfe]
114 # CHECK-64: dsrl32 $4, $5, 31 # encoding: [0x00,0x05,0x27,0xfe]
116 # CHECK-64R: drotr32 $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfe]
129 # CHECK-64: dsrl $4, $5, 31 # encoding: [0x00,0x05,0x27,0xfa]
131 # CHECK-64R: drotr $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfa]
142 # CHECK-64: dsrl32 $4, $5, 31 # encoding: [0x00,0x05,0x27,0xfe]
144 # CHECK-64R: drotr32 $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfe]
157 # CHECK-64: dsrl $4, $5, 31 # encoding: [0x00,0x05,0x27,0xfa]
159 # CHECK-64R: drotr $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfa]
180 # CHECK-64: dsll32 $4, $4, 31 # encoding: [0x00,0x04,0x27,0xfc]
188 # CHECK-64: dsll32 $4, $5, 31 # encoding: [0x00,0x05,0x27,0xfc]
195 # CHECK-64R: drotr $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfa]
203 # CHECK-64: dsll $4, $5, 31 # encoding: [0x00,0x05,0x27,0xf8]
210 # CHECK-64R: drotr32 $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfe]
216 # CHECK-64: dsll32 $4, $5, 31 # encoding: [0x00,0x05,0x27,0xfc]
223 # CHECK-64R: drotr $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfa]
231 # CHECK-64: dsll $4, $5, 31 # encoding: [0x00,0x05,0x27,0xf8]
238 # CHECK-64R: drotr32 $4, $5, 31 # encoding: [0x00,0x25,0x27,0xfe]
