48 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S 2>&1 | FileCheck %s3target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"4 5; We are really checking that this doesn't loop forever. We would never6; actually get to the checks here if it did.7 8define void @timeout(ptr nocapture readonly %cinfo, ptr %ptr) {9; CHECK-LABEL: @timeout(10; CHECK-NEXT: entry:11; CHECK-NEXT: br label [[FOR_BODY:%.*]]12; CHECK: for.body:13; CHECK-NEXT: [[ARRAYIDX15:%.*]] = getelementptr inbounds nuw i8, ptr [[CINFO:%.*]], i32 414; CHECK-NEXT: [[L:%.*]] = load i16, ptr [[ARRAYIDX15]], align 215; CHECK-NEXT: [[CMP17:%.*]] = icmp eq i16 [[L]], 016; CHECK-NEXT: [[EXTRACT_T1:%.*]] = trunc i16 [[L]] to i817; CHECK-NEXT: br i1 [[CMP17]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]18; CHECK: if.then:19; CHECK-NEXT: [[DOTPRE:%.*]] = load i16, ptr [[ARRAYIDX15]], align 220; CHECK-NEXT: [[EXTRACT_T:%.*]] = trunc i16 [[DOTPRE]] to i821; CHECK-NEXT: br label [[IF_END]]22; CHECK: if.end:23; CHECK-NEXT: [[P_OFF0:%.*]] = phi i8 [ [[EXTRACT_T]], [[IF_THEN]] ], [ [[EXTRACT_T1]], [[FOR_BODY]] ]24; CHECK-NEXT: [[SUB:%.*]] = add i8 [[P_OFF0]], -125; CHECK-NEXT: store i8 [[SUB]], ptr [[PTR:%.*]], align 126; CHECK-NEXT: br label [[FOR_BODY]]27;28entry:29 br label %for.body30 31for.body:32 %arrayidx15 = getelementptr inbounds i16, ptr %cinfo, i32 233 %l = load i16, ptr %arrayidx15, align 234 %cmp17 = icmp eq i16 %l, 035 br i1 %cmp17, label %if.then, label %if.end36 37if.then:38 %.pre = load i16, ptr %arrayidx15, align 239 br label %if.end40 41if.end:42 %p = phi i16 [ %.pre, %if.then ], [ %l, %for.body ]43 %conv19 = trunc i16 %p to i844 %sub = add i8 %conv19, -145 store i8 %sub, ptr %ptr, align 146 br label %for.body47}48