2 ; { dg-options "--march=v32" }
4 ; Check that explicit contants out-of-range for addo are
5 ; identified. We don't check addoq here, since that range check
6 ; is done at a later stage which isn't entered if there were
11 addo.b 133,$r0,$acr ; { dg-error "not in 8 bit signed range" }
12 addo.b 128,$r0,$acr ; { dg-error "not in 8 bit signed range" }
13 addo.b -129,$r0,$acr ; { dg-error "not in 8 bit signed range" }
16 addo.w 32768,$r0,$acr ; { dg-error "not in 16 bit signed range" }
17 addo.w -32769,$r0,$acr ; { dg-error "not in 16 bit signed range" }
19 addo.w -32768,$r0,$acr