1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=indvars -replexitval=always -S | FileCheck %s --check-prefix=ALWAYS 3; RUN: opt < %s -passes=indvars -replexitval=never -S | FileCheck %s --check-prefix=NEVER 4; RUN: opt < %s -passes=indvars -replexitval=cheap -scev-cheap-expansion-budget=1 -S | FileCheck %s --check-prefix=CHEAP 5 6; rewriteLoopExitValues() must rewrite all or none of a PHI's values from a given block. 7 8target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 9 10@a = common global i8 0, align 1 11 12define internal fastcc void @d(ptr %c) unnamed_addr #0 { 13; ALWAYS-LABEL: @d( 14; ALWAYS-NEXT: entry: 15; ALWAYS-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds i8, ptr [[C:%.*]], i64 -65535 16; ALWAYS-NEXT: [[TMP0:%.*]] = icmp ugt ptr [[C]], @a 17; ALWAYS-NEXT: [[UMAX:%.*]] = select i1 [[TMP0]], ptr [[C]], ptr @a 18; ALWAYS-NEXT: br label [[WHILE_COND:%.*]] 19; ALWAYS: while.cond: 20; ALWAYS-NEXT: br i1 false, label [[CONT:%.*]], label [[WHILE_END_LOOPEXIT:%.*]] 21; ALWAYS: cont: 22; ALWAYS-NEXT: switch i64 0, label [[WHILE_COND]] [ 23; ALWAYS-NEXT: i64 -1, label [[HANDLER_POINTER_OVERFLOW_I:%.*]] 24; ALWAYS-NEXT: i64 0, label [[HANDLER_POINTER_OVERFLOW_I]] 25; ALWAYS-NEXT: ] 26; ALWAYS: handler.pointer_overflow.i: 27; ALWAYS-NEXT: [[A_MUX_LCSSA4:%.*]] = phi ptr [ [[UMAX]], [[CONT]] ], [ [[UMAX]], [[CONT]] ] 28; ALWAYS-NEXT: [[X5:%.*]] = ptrtoint ptr [[A_MUX_LCSSA4]] to i64 29; ALWAYS-NEXT: br label [[WHILE_END:%.*]] 30; ALWAYS: while.end.loopexit: 31; ALWAYS-NEXT: br label [[WHILE_END]] 32; ALWAYS: while.end: 33; ALWAYS-NEXT: ret void 34; 35; NEVER-LABEL: @d( 36; NEVER-NEXT: entry: 37; NEVER-NEXT: [[CMP:%.*]] = icmp ule ptr [[C:%.*]], @a 38; NEVER-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds i8, ptr [[C]], i64 -65535 39; NEVER-NEXT: br label [[WHILE_COND:%.*]] 40; NEVER: while.cond: 41; NEVER-NEXT: br i1 false, label [[CONT:%.*]], label [[WHILE_END_LOOPEXIT:%.*]] 42; NEVER: cont: 43; NEVER-NEXT: [[A_MUX:%.*]] = select i1 [[CMP]], ptr @a, ptr [[C]] 44; NEVER-NEXT: switch i64 0, label [[WHILE_COND]] [ 45; NEVER-NEXT: i64 -1, label [[HANDLER_POINTER_OVERFLOW_I:%.*]] 46; NEVER-NEXT: i64 0, label [[HANDLER_POINTER_OVERFLOW_I]] 47; NEVER-NEXT: ] 48; NEVER: handler.pointer_overflow.i: 49; NEVER-NEXT: [[A_MUX_LCSSA4:%.*]] = phi ptr [ [[A_MUX]], [[CONT]] ], [ [[A_MUX]], [[CONT]] ] 50; NEVER-NEXT: [[X5:%.*]] = ptrtoint ptr [[A_MUX_LCSSA4]] to i64 51; NEVER-NEXT: br label [[WHILE_END:%.*]] 52; NEVER: while.end.loopexit: 53; NEVER-NEXT: br label [[WHILE_END]] 54; NEVER: while.end: 55; NEVER-NEXT: ret void 56; 57; CHEAP-LABEL: @d( 58; CHEAP-NEXT: entry: 59; CHEAP-NEXT: [[CMP:%.*]] = icmp ule ptr [[C:%.*]], @a 60; CHEAP-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds i8, ptr [[C]], i64 -65535 61; CHEAP-NEXT: br label [[WHILE_COND:%.*]] 62; CHEAP: while.cond: 63; CHEAP-NEXT: br i1 false, label [[CONT:%.*]], label [[WHILE_END_LOOPEXIT:%.*]] 64; CHEAP: cont: 65; CHEAP-NEXT: [[A_MUX:%.*]] = select i1 [[CMP]], ptr @a, ptr [[C]] 66; CHEAP-NEXT: switch i64 0, label [[WHILE_COND]] [ 67; CHEAP-NEXT: i64 -1, label [[HANDLER_POINTER_OVERFLOW_I:%.*]] 68; CHEAP-NEXT: i64 0, label [[HANDLER_POINTER_OVERFLOW_I]] 69; CHEAP-NEXT: ] 70; CHEAP: handler.pointer_overflow.i: 71; CHEAP-NEXT: [[A_MUX_LCSSA4:%.*]] = phi ptr [ [[A_MUX]], [[CONT]] ], [ [[A_MUX]], [[CONT]] ] 72; CHEAP-NEXT: [[X5:%.*]] = ptrtoint ptr [[A_MUX_LCSSA4]] to i64 73; CHEAP-NEXT: br label [[WHILE_END:%.*]] 74; CHEAP: while.end.loopexit: 75; CHEAP-NEXT: br label [[WHILE_END]] 76; CHEAP: while.end: 77; CHEAP-NEXT: ret void 78; 79entry: 80 %cmp = icmp ule ptr %c, @a 81 %add.ptr = getelementptr inbounds i8, ptr %c, i64 -65535 82 br label %while.cond 83 84while.cond: 85 br i1 false, label %cont, label %while.end 86 87cont: 88 %a.mux = select i1 %cmp, ptr @a, ptr %c 89 switch i64 0, label %while.cond [ 90 i64 -1, label %handler.pointer_overflow.i 91 i64 0, label %handler.pointer_overflow.i 92 ] 93 94handler.pointer_overflow.i: 95 %a.mux.lcssa4 = phi ptr [ %a.mux, %cont ], [ %a.mux, %cont ] 96 %x5 = ptrtoint ptr %a.mux.lcssa4 to i64 97 br label %while.end 98 99while.end: 100 ret void 101} 102