51 lines · plain
1; NOTE: Assertions have been autogenerated by update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define void @hang_2002-03-11(i32 %X) {5; CHECK-LABEL: @hang_2002-03-11(6; CHECK-NEXT: ret void7;8 %reg117 = add i32 %X, 09 ret void10}11 12; Instcombine was missing a test that caused it to make illegal transformations13; sometimes. In this case, it transformed the sub into an add:14 15define i32 @sub_failure_2002-05-14(i32 %i, i32 %j) {16; CHECK-LABEL: @sub_failure_2002-05-14(17; CHECK-NEXT: [[A:%.*]] = mul i32 %i, %j18; CHECK-NEXT: [[B:%.*]] = sub i32 2, [[A]]19; CHECK-NEXT: ret i32 [[B]]20;21 %A = mul i32 %i, %j22 %B = sub i32 2, %A23 ret i32 %B24}25 26; This testcase was incorrectly getting completely eliminated. There should be27; SOME instruction named %c here, even if it's a bitwise and.28 29define i64 @cast_test_2002-08-02(i64 %A) {30; CHECK-LABEL: @cast_test_2002-08-02(31; CHECK-NEXT: [[C2:%.*]] = and i64 %A, 25532; CHECK-NEXT: ret i64 [[C2]]33;34 %c1 = trunc i64 %A to i835 %c2 = zext i8 %c1 to i6436 ret i64 %c237}38 39define i32 @missed_const_prop_2002-12-05(i32 %A) {40; CHECK-LABEL: @missed_const_prop_2002-12-05(41; CHECK-NEXT: ret i32 042;43 %A.neg = sub i32 0, %A44 %.neg = sub i32 0, 145 %X = add i32 %.neg, 146 %Y.neg.ra = add i32 %A, %X47 %r = add i32 %A.neg, %Y.neg.ra48 ret i32 %r49}50 51