Lines Matching full:arg2
15 ; CHECK: [[ARG2SEXT:%[a-zA-Z_0-9-]+]] = sext i32 %arg2 to i64
19 define i8 @twoArgsPromotion(i32 %arg1, i32 %arg2) {
20 %add = add nsw i32 %arg1, %arg2
33 ; CHECK: add nsw i32 %arg1, %arg2
35 define i8 @twoArgsNoPromotion(i32 %arg1, i32 %arg2, i8* %base) {
36 %add = add nsw i32 %arg1, %arg2
48 define i8 @noPromotion(i32 %arg1, i32 %arg2, i8* %base) {
49 %add = add i32 %arg1, %arg2
247 ; - Creating a sext for %arg1 and %arg2.
255 ; CHECK: [[ORIG:%[a-zA-Z_0-9-]+]] = add nsw i32 %arg1, %arg2
260 define i8 @twoArgsPromotionNest(i32 %arg1, i32 %arg2, i8* %base) {
261 %promotableadd1 = add nsw i32 %arg1, %arg2
278 ; CHECK: [[ADD:%[a-zA-Z_0-9-]+]] = add nsw i8 [[TRUNC]], %arg2
282 define i8 @twoArgsNoPromotionRemove(i1 %arg1, i8 %arg2, i8* %base) {
285 %add = add nsw i8 %trunc, %arg2
301 ; arrayidx, the matcher promotes everything all the way to %arg1, %arg2.
307 ; CHECK-NOT: {{%[a-zA-Z_0-9-]+}} = sext i32 %arg2 to i64
309 ; CHECK: [[ADD:%[a-zA-Z_0-9-]+]] = add nsw i32 [[SHL]], %arg2
322 ; CHECK-GEP-NOT: {{%[a-zA-Z_0-9-]+}} = sext i32 %arg2 to i64
324 ; CHECK-GEP: [[ADD:%[a-zA-Z_0-9-]+]] = add nsw i32 [[SHL]], %arg2
339 define i32 @checkProfitability(i32 %arg1, i32 %arg2, i1 %test) {
341 %add1 = add nsw i32 %shl, %arg2
426 ; CHECK: [[ADD:%[a-zA-Z_0-9-]+]] = add nsw i32 %arg1, %arg2
430 define i8 @noPromotionFlag(i32 %arg1, i32 %arg2) {
431 %add = add nsw i32 %arg1, %arg2
441 ; CHECK: [[ARG2ZEXT:%[a-zA-Z_0-9-]+]] = zext i32 %arg2 to i64
445 define i8 @twoArgsPromotionZExt(i32 %arg1, i32 %arg2) {
446 %add = add nuw i32 %arg1, %arg2
