llvm/test/Transforms/DeadStoreElimination/crash.ll

   1 ; RUN: opt < %s -passes=dse -S
   2
   3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   4 target triple = "i386-apple-darwin10.0"
   5
   6 @g80 = external global i8                         ; <ptr> [#uses=3]
   7
   8 declare signext i8 @foo(i8 signext, i8 signext) nounwind readnone ssp
   9
  10 declare i32 @func68(i32) nounwind readonly ssp
  11
  12 ; PR4815
  13 define void @test1(i32 %int32p54) noreturn nounwind ssp {
  14 entry:
  15   br label %bb
  16
  17 bb:                                               ; preds = %bb, %entry
  18   %storemerge = phi i8 [ %2, %bb ], [ 1, %entry ] ; <i8> [#uses=1]
  19   store i8 %storemerge, ptr @g80
  20   %0 = tail call i32 @func68(i32 1) nounwind ssp  ; <i32> [#uses=1]
  21   %1 = trunc i32 %0 to i8                         ; <i8> [#uses=1]
  22   store i8 %1, ptr @g80, align 1
  23   store i8 undef, ptr @g80, align 1
  24   %2 = tail call signext i8 @foo(i8 signext undef, i8 signext 1) nounwind ; <i8> [#uses=1]
  25   br label %bb
  26 }
  27
  28 define fastcc i32 @test2() nounwind ssp {
  29 bb14:                                             ; preds = %bb4
  30   %0 = getelementptr inbounds ptr, ptr undef, i64 undef  ; <ptr> [#uses=1]
  31   %1 = getelementptr inbounds i16, ptr %0, i64 undef  ; <ptr> [#uses=1]
  32   %2 = getelementptr inbounds i8, ptr %1, i64 undef   ; <ptr> [#uses=1]
  33   %3 = getelementptr inbounds i16, ptr %0, i64 undef  ; <ptr> [#uses=1]
  34   store i16 undef, ptr %3, align 2
  35   %4 = getelementptr inbounds i8, ptr %2, i64 undef   ; <ptr> [#uses=1]
  36   call void @llvm.memcpy.p0.p0.i64(ptr %4, ptr undef, i64 undef, i1 false)
  37   unreachable
  38 }
  39
  40 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1) nounwind
  41
  42
  43 ; rdar://7635088
  44 define i32 @test3() {
  45 entry:
  46   ret i32 0
  47
  48 dead:
  49   %P2 = getelementptr i32, ptr %P2, i32 52
  50   %Q2 = getelementptr i32, ptr %Q2, i32 52
  51   store i32 4, ptr %P2
  52   store i32 4, ptr %Q2
  53   br label %dead
  54 }
  55
  56
  57 ; PR3141
  58 %struct.ada__tags__dispatch_table = type { [1 x i32] }
  59 %struct.f393a00_1__object = type { ptr, i8 }
  60 %struct.f393a00_2__windmill = type { %struct.f393a00_1__object, i16 }
  61
  62 define void @test4(ptr %a, ptr %b) {
  63 entry:
  64         %t = alloca %struct.f393a00_2__windmill         ; <ptr> [#uses=1]
  65         %0 = getelementptr %struct.f393a00_2__windmill, ptr %t, i32 0, i32 0, i32 0             ; <ptr> [#uses=1]
  66         %1 = load ptr, ptr null, align 4                ; <ptr> [#uses=1]
  67         %2 = load ptr, ptr %0, align 8          ; <ptr> [#uses=1]
  68         store ptr %2, ptr null, align 4
  69         store ptr %1, ptr null, align 4
  70         ret void
  71 }