1 ; RUN: opt < %s -reassociate -dce -S | FileCheck %s 2 ; PR12985 3 4 ; Verify the nsw flags are preserved when converting shl to mul. 5 6 ; CHECK-LABEL: @shl_to_mul_nsw( 7 ; CHECK: %mul = mul i32 %i, -2147483648 8 ; CHECK: add i32 %mul, 1 9 define i32 @shl_to_mul_nsw(i32 %i) { 10 entry: 11 %mul = shl nsw i32 %i, 31 12 %mul2 = add i32 %mul, 1 13 ret i32 %mul2 14 } 15 16 ; CHECK-LABEL: @shl_to_mul_nuw( 17 ; CHECK: %mul = mul nuw i32 %i, 4 18 ; CHECK: add i32 %mul, 1 19 define i32 @shl_to_mul_nuw(i32 %i) { 20 entry: 21 %mul = shl nuw i32 %i, 2 22 %mul2 = add i32 %mul, 1 23 ret i32 %mul2 24 } 25 26 ; CHECK-LABEL: @shl_to_mul_nuw_nsw( 27 ; CHECK: %mul = mul nuw nsw i32 %i, 4 28 ; CHECK: add i32 %mul, 1 29 define i32 @shl_to_mul_nuw_nsw(i32 %i) { 30 entry: 31 %mul = shl nuw nsw i32 %i, 2 32 %mul2 = add i32 %mul, 1 33 ret i32 %mul2 34 } 35 36 ; CHECK-LABEL: @pr23926( 37 ; CHECK: %[[X1_neg:.*]] = sub i2 0, %X1 38 ; CHECK-NEXT: %[[sub_one:.*]] = add i2 %[[X1_neg]], -1 39 ; CHECK-NEXT: %[[add:.*]] = add i2 %[[sub_one]], %X2 40 ; CHECK-NEXT: ret i2 %[[add]] 41 define i2 @pr23926(i2 %X1, i2 %X2) { 42 %add = add nuw i2 %X1, 1 43 %sub = sub nuw nsw i2 %X2, %add 44 ret i2 %sub 45 } 46
