1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes='loop(indvars),dce' -disable-lftr -S | FileCheck %s 3 4; LFTR should not eliminate the need for the computation of i*i completely 5; due to LFTR is disabled. 6 7; Provide legal integer types. 8target datalayout = "n8:16:32:64" 9 10@A = external global i32 11 12define i32 @quadratic_setlt() { 13; CHECK-LABEL: @quadratic_setlt( 14; CHECK-NEXT: entry: 15; CHECK-NEXT: br label [[LOOP:%.*]] 16; CHECK: loop: 17; CHECK-NEXT: [[I:%.*]] = phi i32 [ 7, [[ENTRY:%.*]] ], [ [[I_NEXT:%.*]], [[LOOP]] ] 18; CHECK-NEXT: [[I_NEXT]] = add nuw nsw i32 [[I]], 1 19; CHECK-NEXT: store i32 [[I]], ptr @A 20; CHECK-NEXT: [[I2:%.*]] = mul i32 [[I]], [[I]] 21; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[I2]], 1000 22; CHECK-NEXT: br i1 [[C]], label [[LOOP]], label [[LOOPEXIT:%.*]] 23; CHECK: loopexit: 24; CHECK-NEXT: ret i32 32 25; 26entry: 27 br label %loop 28 29loop: 30 %i = phi i32 [ 7, %entry ], [ %i.next, %loop ] 31 %i.next = add i32 %i, 1 32 store i32 %i, ptr @A 33 %i2 = mul i32 %i, %i 34 %c = icmp slt i32 %i2, 1000 35 br i1 %c, label %loop, label %loopexit 36 37loopexit: 38 ret i32 %i 39} 40 41