test/Transforms/DeadStoreElimination/PartialStore.ll

   1 ; RUN: opt < %s -basicaa -dse -S | \
   2 ; RUN:    not grep {store i8}
   3 ; Ensure that the dead store is deleted in this case.  It is wholely
   4 ; overwritten by the second store.
   5 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   6 define i32 @test() {
   7         %V = alloca i32         ; <i32*> [#uses=3]
   8         %V2 = bitcast i32* %V to i8*            ; <i8*> [#uses=1]
   9         store i8 0, i8* %V2
  10         store i32 1234567, i32* %V
  11         %X = load i32* %V               ; <i32> [#uses=1]
  12         ret i32 %X
  13 }
  14