41 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=nary-reassociate -S | FileCheck %s3 4define i32 @foo(i32 %t4) {5; CHECK-LABEL: @foo(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[T13:%.*]] = add i32 [[T4:%.*]], -1288; CHECK-NEXT: [[T14:%.*]] = add i32 [[T13]], 89; CHECK-NEXT: [[T23:%.*]] = add i32 [[T13]], 11910; CHECK-NEXT: ret i32 [[T23]]11;12entry:13 %t5 = add i32 %t4, 814 %t13 = add i32 %t4, -128 ; deleted15 %t14 = add i32 %t13, 8 ; => %t5 + -12816 %t21 = add i32 119, %t417 ; do not rewrite %t23 against %t13 because %t13 is already deleted18 %t23 = add i32 %t21, -12819 ret i32 %t2320}21 22; This is essentially the same test as the previous one but intermidiate result (t14) has a use.23define i32 @foo2(i32 %t4) {24; CHECK-LABEL: @foo2(25; CHECK-NEXT: entry:26; CHECK-NEXT: [[T13:%.*]] = add i32 [[T4:%.*]], -12827; CHECK-NEXT: [[T14:%.*]] = add i32 [[T13]], 828; CHECK-NEXT: [[T23:%.*]] = add i32 [[T13]], 11929; CHECK-NEXT: [[RES:%.*]] = add i32 [[T14]], [[T23]]30; CHECK-NEXT: ret i32 [[RES]]31;32entry:33 %t5 = add i32 %t4, 8 ; initially dead34 %t13 = add i32 %t4, -12835 %t14 = add i32 %t13, 836 %t21 = add i32 119, %t4 ; => dead after reassociation37 %t23 = add i32 %t21, -128; => reassociated to t13 + 11938 %res = add i32 %t14, %t2339 ret i32 %res40}41