Lines Matching full:adcl
1155 // CHECK: adcl $2063514302, 3735928559(%ebx,%ecx,8)
1157 adcl $0x7afebabe,0xdeadbeef(%ebx,%ecx,8)
1159 // CHECK: adcl $2063514302, 69
1161 adcl $0x7afebabe,0x45
1163 // CHECK: adcl $2063514302, 32493
1165 adcl $0x7afebabe,0x7eed
1167 // CHECK: adcl $2063514302, 3133065982
1169 adcl $0x7afebabe,0xbabecafe
1171 // CHECK: adcl $2063514302, 305419896
1173 adcl $0x7afebabe,0x12345678
1175 // CHECK: adcl $324478056, 3735928559(%ebx,%ecx,8)
1177 adcl $0x13572468,0xdeadbeef(%ebx,%ecx,8)
1179 // CHECK: adcl $324478056, 69
1181 adcl $0x13572468,0x45
1183 // CHECK: adcl $324478056, 32493
1185 adcl $0x13572468,0x7eed
1187 // CHECK: adcl $324478056, 3133065982
1189 adcl $0x13572468,0xbabecafe
1191 // CHECK: adcl $324478056, 305419896
1193 adcl $0x13572468,0x12345678
