1; RUN: opt -loop-reduce -S < %s | FileCheck %s 2; 3; LTO of clang, which mistakenly uses no TargetLoweringInfo, causes a 4; miscompile. ReuseOrCreateCast replace ptrtoint operand with undef. 5; Reproducing the miscompile requires no triple, hence no "TTI". 6; rdar://13007381 7 8target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 9 10; Verify that nothing uses the "dead" ptrtoint from "undef". 11; CHECK-LABEL: @VerifyDiagnosticConsumerTest( 12; CHECK: bb: 13; "dead" ptrpoint not emitted (or dead code eliminated) with 14; current LSR cost model. 15; CHECK-NOT: = ptrtoint i8* undef to i64 16; CHECK: .lr.ph 17; CHECK: [[TMP:%[^ ]+]] = add i64 %tmp{{[0-9]+}}, -1 18; CHECK: sub i64 [[TMP]], %tmp{{[0-9]+}} 19; CHECK: ret void 20define void @VerifyDiagnosticConsumerTest() unnamed_addr nounwind uwtable align 2 { 21bb: 22 %tmp3 = call i8* @getCharData() nounwind 23 %tmp4 = call i8* @getCharData() nounwind 24 %tmp5 = ptrtoint i8* %tmp4 to i64 25 %tmp6 = ptrtoint i8* %tmp3 to i64 26 %tmp7 = sub i64 %tmp5, %tmp6 27 br i1 undef, label %bb87, label %.preheader 28 29.preheader: ; preds = %bb10, %bb 30 br i1 undef, label %_ZNK4llvm9StringRef4findEcm.exit42.thread, label %bb10 31 32bb10: ; preds = %.preheader 33 br i1 undef, label %_ZNK4llvm9StringRef4findEcm.exit42, label %.preheader 34 35_ZNK4llvm9StringRef4findEcm.exit42: ; preds = %bb10 36 br i1 undef, label %_ZNK4llvm9StringRef4findEcm.exit42.thread, label %.lr.ph 37 38_ZNK4llvm9StringRef4findEcm.exit42.thread: ; preds = %_ZNK4llvm9StringRef4findEcm.exit42, %.preheader 39 unreachable 40 41.lr.ph: ; preds = %_ZNK4llvm9StringRef4findEcm.exit42 42 br label %bb36 43 44_ZNK4llvm9StringRef4findEcm.exit.loopexit: ; preds = %bb63 45 %tmp21 = icmp eq i64 %i.0.i, -1 46 br i1 %tmp21, label %_ZNK4llvm9StringRef4findEcm.exit._crit_edge, label %bb36 47 48_ZNK4llvm9StringRef4findEcm.exit._crit_edge: ; preds = %bb61, %_ZNK4llvm9StringRef4findEcm.exit.loopexit 49 unreachable 50 51bb36: ; preds = %_ZNK4llvm9StringRef4findEcm.exit.loopexit, %.lr.ph 52 %loc.063 = phi i64 [ undef, %.lr.ph ], [ %i.0.i, %_ZNK4llvm9StringRef4findEcm.exit.loopexit ] 53 switch i8 undef, label %bb57 [ 54 i8 10, label %bb48 55 i8 13, label %bb48 56 ] 57 58bb48: ; preds = %bb36, %bb36 59 br label %bb58 60 61bb57: ; preds = %bb36 62 br label %bb58 63 64bb58: ; preds = %bb57, %bb48 65 %tmp59 = icmp ugt i64 %tmp7, undef 66 %tmp60 = select i1 %tmp59, i64 undef, i64 %tmp7 67 br label %bb61 68 69bb61: ; preds = %bb63, %bb58 70 %i.0.i = phi i64 [ %tmp60, %bb58 ], [ %tmp67, %bb63 ] 71 %tmp62 = icmp eq i64 %i.0.i, %tmp7 72 br i1 %tmp62, label %_ZNK4llvm9StringRef4findEcm.exit._crit_edge, label %bb63 73 74bb63: ; preds = %bb61 75 %tmp64 = getelementptr inbounds i8, i8* %tmp3, i64 %i.0.i 76 %tmp65 = load i8, i8* %tmp64, align 1 77 %tmp67 = add i64 %i.0.i, 1 78 br i1 undef, label %_ZNK4llvm9StringRef4findEcm.exit.loopexit, label %bb61 79 80bb87: ; preds = %bb 81 ret void 82} 83 84declare i8* @getCharData() 85