| Andrew Trick | d4e1b5e | 2013-01-14 21:00:37 +0000 | [diff] [blame] | 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". |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 11 | ; CHECK-LABEL: @VerifyDiagnosticConsumerTest( |
| Andrew Trick | d4e1b5e | 2013-01-14 21:00:37 +0000 | [diff] [blame] | 12 | ; CHECK: bb: |
| Quentin Colombet | 8aa7abe | 2013-05-31 17:20:29 +0000 | [diff] [blame] | 13 | ; "dead" ptrpoint not emitted (or dead code eliminated) with |
| 14 | ; current LSR cost model. |
| 15 | ; CHECK-NOT: = ptrtoint i8* undef to i64 |
| Andrew Trick | d4e1b5e | 2013-01-14 21:00:37 +0000 | [diff] [blame] | 16 | ; CHECK: .lr.ph |
| Quentin Colombet | 8aa7abe | 2013-05-31 17:20:29 +0000 | [diff] [blame] | 17 | ; CHECK: [[TMP:%[^ ]+]] = add i64 %tmp5, 1 |
| 18 | ; CHECK: sub i64 [[TMP]], %tmp6 |
| Andrew Trick | d4e1b5e | 2013-01-14 21:00:37 +0000 | [diff] [blame] | 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* %tmp3, i64 %i.0.i |
| 76 | %tmp65 = load 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() |