Lines Matching refs:nuw
4 ; %ret = add nuw i8 %x, C
5 ; nuw means no unsigned wrap, from -1 to 0.
12 %ret = add nuw i8 %x, -1
13 ; nuw here means that %x can only be 0
21 %ret = add nuw nsw i8 %x, -1
22 ; nuw here means that %x can only be 0
30 %ret = add nuw i8 -1, %x ; swapped
31 ; nuw here means that %x can only be 0
45 ; CHECK-NEXT: [[RET:%.*]] = add nuw i8 [[X:%.*]], [[Y]]
50 %ret = add nuw i8 %x, %y
62 %ret = add nuw <2 x i8> %x, <i8 -1, i8 -1>
70 %ret = add nuw <3 x i8> %x, <i8 -1, i8 undef, i8 -1>
83 %ret = add i8 %x, -1 ; need nuw
92 %ret = add nsw i8 %x, -1 ; need nuw
100 ; CHECK-NEXT: [[RET:%.*]] = add nuw i8 [[X:%.*]], [[ADDOP2:%.*]]
103 %ret = add nuw i8 %x, %addop2
111 ; CHECK-NEXT: [[RET:%.*]] = add nuw i8 [[X:%.*]], 1
114 %ret = add nuw i8 %x, 1 ; not -1
120 ; CHECK-NEXT: [[RET:%.*]] = add nuw <2 x i8> [[X:%.*]], <i8 -1, i8 1>
123 %ret = add nuw <2 x i8> %x, <i8 -1, i8 1>
133 ; CHECK-NEXT: [[RET:%.*]] = add nuw i8 [[X]], [[Y:%.*]]
138 %ret = add nuw i8 %x, %y