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 8 target 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 %tmp5, 1 18 ; CHECK: sub i64 [[TMP]], %tmp6 19 ; CHECK: ret void 20 define void @VerifyDiagnosticConsumerTest() unnamed_addr nounwind uwtable align 2 { 21 bb: 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 32 bb10: ; 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 51 bb36: ; 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 58 bb48: ; preds = %bb36, %bb36 59 br label %bb58 60 61 bb57: ; preds = %bb36 62 br label %bb58 63 64 bb58: ; preds = %bb57, %bb48 65 %tmp59 = icmp ugt i64 %tmp7, undef 66 %tmp60 = select i1 %tmp59, i64 undef, i64 %tmp7 67 br label %bb61 68 69 bb61: ; 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 74 bb63: ; 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 80 bb87: ; preds = %bb 81 ret void 82 } 83 84 declare i8* @getCharData() 85
