Lines Matching full:adcs
27 adcs r1, r2, #0xf0041 @ CHECK: adcs r1, r2, #3840 @ encoding: [0x0f,0x1c,0xb2,0xe2]
