llvm/test/Transforms/MemCpyOpt/form-memset.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -memcpyopt -S -verify-memoryssa | FileCheck %s
   3
   4 ; All the stores in this example should be merged into a single memset.
   5
   6 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"
   7 target triple = "i386-apple-darwin8"
   8
   9 define void @test1(i8 signext  %c) nounwind  {
  10 ; CHECK-LABEL: @test1(
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    [[X:%.*]] = alloca [19 x i8], align 1
  13 ; CHECK-NEXT:    [[TMP:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 0
  14 ; CHECK-NEXT:    [[TMP5:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 1
  15 ; CHECK-NEXT:    [[TMP9:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 2
  16 ; CHECK-NEXT:    [[TMP13:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 3
  17 ; CHECK-NEXT:    [[TMP17:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 4
  18 ; CHECK-NEXT:    [[TMP21:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 5
  19 ; CHECK-NEXT:    [[TMP25:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 6
  20 ; CHECK-NEXT:    [[TMP29:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 7
  21 ; CHECK-NEXT:    [[TMP33:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 8
  22 ; CHECK-NEXT:    [[TMP37:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 9
  23 ; CHECK-NEXT:    [[TMP41:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 10
  24 ; CHECK-NEXT:    [[TMP45:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 11
  25 ; CHECK-NEXT:    [[TMP49:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 12
  26 ; CHECK-NEXT:    [[TMP53:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 13
  27 ; CHECK-NEXT:    [[TMP57:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 14
  28 ; CHECK-NEXT:    [[TMP61:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 15
  29 ; CHECK-NEXT:    [[TMP65:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 16
  30 ; CHECK-NEXT:    [[TMP69:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 17
  31 ; CHECK-NEXT:    [[TMP73:%.*]] = getelementptr [19 x i8], [19 x i8]* [[X]], i32 0, i32 18
  32 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 1 [[TMP]], i8 [[C:%.*]], i64 19, i1 false)
  33 ; CHECK-NEXT:    [[TMP76:%.*]] = call i32 (...) @bar([19 x i8]* [[X]]) [[ATTR0:#.*]]
  34 ; CHECK-NEXT:    ret void
  35 ;
  36 entry:
  37   %x = alloca [19 x i8]         ; <[19 x i8]*> [#uses=20]
  38   %tmp = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 0           ; <i8*> [#uses=1]
  39   store i8 %c, i8* %tmp, align 1
  40   %tmp5 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 1          ; <i8*> [#uses=1]
  41   store i8 %c, i8* %tmp5, align 1
  42   %tmp9 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 2          ; <i8*> [#uses=1]
  43   store i8 %c, i8* %tmp9, align 1
  44   %tmp13 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 3         ; <i8*> [#uses=1]
  45   store i8 %c, i8* %tmp13, align 1
  46   %tmp17 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 4         ; <i8*> [#uses=1]
  47   store i8 %c, i8* %tmp17, align 1
  48   %tmp21 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 5         ; <i8*> [#uses=1]
  49   store i8 %c, i8* %tmp21, align 1
  50   %tmp25 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 6         ; <i8*> [#uses=1]
  51   store i8 %c, i8* %tmp25, align 1
  52   %tmp29 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 7         ; <i8*> [#uses=1]
  53   store i8 %c, i8* %tmp29, align 1
  54   %tmp33 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 8         ; <i8*> [#uses=1]
  55   store i8 %c, i8* %tmp33, align 1
  56   %tmp37 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 9         ; <i8*> [#uses=1]
  57   store i8 %c, i8* %tmp37, align 1
  58   %tmp41 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 10                ; <i8*> [#uses=1]
  59   store i8 %c, i8* %tmp41, align 1
  60   %tmp45 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 11                ; <i8*> [#uses=1]
  61   store i8 %c, i8* %tmp45, align 1
  62   %tmp49 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 12                ; <i8*> [#uses=1]
  63   store i8 %c, i8* %tmp49, align 1
  64   %tmp53 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 13                ; <i8*> [#uses=1]
  65   store i8 %c, i8* %tmp53, align 1
  66   %tmp57 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 14                ; <i8*> [#uses=1]
  67   store i8 %c, i8* %tmp57, align 1
  68   %tmp61 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 15                ; <i8*> [#uses=1]
  69   store i8 %c, i8* %tmp61, align 1
  70   %tmp65 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 16                ; <i8*> [#uses=1]
  71   store i8 %c, i8* %tmp65, align 1
  72   %tmp69 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 17                ; <i8*> [#uses=1]
  73   store i8 %c, i8* %tmp69, align 1
  74   %tmp73 = getelementptr [19 x i8], [19 x i8]* %x, i32 0, i32 18                ; <i8*> [#uses=1]
  75   store i8 %c, i8* %tmp73, align 1
  76   %tmp76 = call i32 (...) @bar( [19 x i8]* %x ) nounwind
  77   ret void
  78 }
  79
  80 declare i32 @bar(...)
  81
  82 %struct.MV = type { i16, i16 }
  83
  84
  85 define void @test2() nounwind  {
  86 ; CHECK-LABEL: @test2(
  87 ; CHECK-NEXT:  entry:
  88 ; CHECK-NEXT:    [[REF_IDX:%.*]] = alloca [8 x i8], align 1
  89 ; CHECK-NEXT:    [[LEFT_MVD:%.*]] = alloca [8 x %struct.MV], align 8
  90 ; CHECK-NEXT:    [[UP_MVD:%.*]] = alloca [8 x %struct.MV], align 8
  91 ; CHECK-NEXT:    [[TMP20:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 7
  92 ; CHECK-NEXT:    [[TMP23:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 6
  93 ; CHECK-NEXT:    [[TMP26:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 5
  94 ; CHECK-NEXT:    [[TMP29:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 4
  95 ; CHECK-NEXT:    [[TMP32:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 3
  96 ; CHECK-NEXT:    [[TMP35:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 2
  97 ; CHECK-NEXT:    [[TMP38:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 1
  98 ; CHECK-NEXT:    [[TMP41:%.*]] = getelementptr [8 x i8], [8 x i8]* [[REF_IDX]], i32 0, i32 0
  99 ; CHECK-NEXT:    [[TMP43:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 7, i32 0
 100 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 1 [[TMP41]], i8 -1, i64 8, i1 false)
 101 ; CHECK-NEXT:    [[TMP46:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 7, i32 1
 102 ; CHECK-NEXT:    [[TMP57:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 6, i32 0
 103 ; CHECK-NEXT:    [[TMP60:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 6, i32 1
 104 ; CHECK-NEXT:    [[TMP71:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 5, i32 0
 105 ; CHECK-NEXT:    [[TMP74:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 5, i32 1
 106 ; CHECK-NEXT:    [[TMP85:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 4, i32 0
 107 ; CHECK-NEXT:    [[TMP88:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 4, i32 1
 108 ; CHECK-NEXT:    [[TMP99:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 3, i32 0
 109 ; CHECK-NEXT:    [[TMP102:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 3, i32 1
 110 ; CHECK-NEXT:    [[TMP113:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 2, i32 0
 111 ; CHECK-NEXT:    [[TMP116:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 2, i32 1
 112 ; CHECK-NEXT:    [[TMP127:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 1, i32 0
 113 ; CHECK-NEXT:    [[TMP130:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 1, i32 1
 114 ; CHECK-NEXT:    [[TMP141:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 0, i32 0
 115 ; CHECK-NEXT:    [[TMP144:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 0, i32 1
 116 ; CHECK-NEXT:    [[TMP148:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 7, i32 0
 117 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i16* [[TMP141]] to i8*
 118 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 8 [[TMP0]], i8 0, i64 32, i1 false)
 119 ; CHECK-NEXT:    [[TMP151:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 7, i32 1
 120 ; CHECK-NEXT:    [[TMP162:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 6, i32 0
 121 ; CHECK-NEXT:    [[TMP165:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 6, i32 1
 122 ; CHECK-NEXT:    [[TMP176:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 5, i32 0
 123 ; CHECK-NEXT:    [[TMP179:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 5, i32 1
 124 ; CHECK-NEXT:    [[TMP190:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 4, i32 0
 125 ; CHECK-NEXT:    [[TMP193:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 4, i32 1
 126 ; CHECK-NEXT:    [[TMP204:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 3, i32 0
 127 ; CHECK-NEXT:    [[TMP207:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 3, i32 1
 128 ; CHECK-NEXT:    [[TMP218:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 2, i32 0
 129 ; CHECK-NEXT:    [[TMP221:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 2, i32 1
 130 ; CHECK-NEXT:    [[TMP232:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 1, i32 0
 131 ; CHECK-NEXT:    [[TMP235:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 1, i32 1
 132 ; CHECK-NEXT:    [[TMP246:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 0, i32 0
 133 ; CHECK-NEXT:    [[TMP249:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 0, i32 1
 134 ; CHECK-NEXT:    [[UP_MVD252:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[UP_MVD]], i32 0, i32 0
 135 ; CHECK-NEXT:    [[LEFT_MVD253:%.*]] = getelementptr [8 x %struct.MV], [8 x %struct.MV]* [[LEFT_MVD]], i32 0, i32 0
 136 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i16* [[TMP246]] to i8*
 137 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 8 [[TMP1]], i8 0, i64 32, i1 false)
 138 ; CHECK-NEXT:    call void @foo(%struct.MV* [[UP_MVD252]], %struct.MV* [[LEFT_MVD253]], i8* [[TMP41]]) [[ATTR0]]
 139 ; CHECK-NEXT:    ret void
 140 ;
 141 entry:
 142   %ref_idx = alloca [8 x i8]            ; <[8 x i8]*> [#uses=8]
 143   %left_mvd = alloca [8 x %struct.MV]           ; <[8 x %struct.MV]*> [#uses=17]
 144   %up_mvd = alloca [8 x %struct.MV]             ; <[8 x %struct.MV]*> [#uses=17]
 145   %tmp20 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 7             ; <i8*> [#uses=1]
 146   store i8 -1, i8* %tmp20, align 1
 147   %tmp23 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 6             ; <i8*> [#uses=1]
 148   store i8 -1, i8* %tmp23, align 1
 149   %tmp26 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 5             ; <i8*> [#uses=1]
 150   store i8 -1, i8* %tmp26, align 1
 151   %tmp29 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 4             ; <i8*> [#uses=1]
 152   store i8 -1, i8* %tmp29, align 1
 153   %tmp32 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 3             ; <i8*> [#uses=1]
 154   store i8 -1, i8* %tmp32, align 1
 155   %tmp35 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 2             ; <i8*> [#uses=1]
 156   store i8 -1, i8* %tmp35, align 1
 157   %tmp38 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 1             ; <i8*> [#uses=1]
 158   store i8 -1, i8* %tmp38, align 1
 159   %tmp41 = getelementptr [8 x i8], [8 x i8]* %ref_idx, i32 0, i32 0             ; <i8*> [#uses=2]
 160   store i8 -1, i8* %tmp41, align 1
 161   %tmp43 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 7, i32 0               ; <i16*> [#uses=1]
 162   store i16 0, i16* %tmp43, align 2
 163   %tmp46 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 7, i32 1               ; <i16*> [#uses=1]
 164   store i16 0, i16* %tmp46, align 2
 165   %tmp57 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 6, i32 0               ; <i16*> [#uses=1]
 166   store i16 0, i16* %tmp57, align 2
 167   %tmp60 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 6, i32 1               ; <i16*> [#uses=1]
 168   store i16 0, i16* %tmp60, align 2
 169   %tmp71 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 5, i32 0               ; <i16*> [#uses=1]
 170   store i16 0, i16* %tmp71, align 2
 171   %tmp74 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 5, i32 1               ; <i16*> [#uses=1]
 172   store i16 0, i16* %tmp74, align 2
 173   %tmp85 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 4, i32 0               ; <i16*> [#uses=1]
 174   store i16 0, i16* %tmp85, align 2
 175   %tmp88 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 4, i32 1               ; <i16*> [#uses=1]
 176   store i16 0, i16* %tmp88, align 2
 177   %tmp99 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 3, i32 0               ; <i16*> [#uses=1]
 178   store i16 0, i16* %tmp99, align 2
 179   %tmp102 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 3, i32 1              ; <i16*> [#uses=1]
 180   store i16 0, i16* %tmp102, align 2
 181   %tmp113 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 2, i32 0              ; <i16*> [#uses=1]
 182   store i16 0, i16* %tmp113, align 2
 183   %tmp116 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 2, i32 1              ; <i16*> [#uses=1]
 184   store i16 0, i16* %tmp116, align 2
 185   %tmp127 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 1, i32 0              ; <i16*> [#uses=1]
 186   store i16 0, i16* %tmp127, align 2
 187   %tmp130 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 1, i32 1              ; <i16*> [#uses=1]
 188   store i16 0, i16* %tmp130, align 2
 189   %tmp141 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 0, i32 0              ; <i16*> [#uses=1]
 190   store i16 0, i16* %tmp141, align 8
 191   %tmp144 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 0, i32 1              ; <i16*> [#uses=1]
 192   store i16 0, i16* %tmp144, align 2
 193   %tmp148 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 7, i32 0            ; <i16*> [#uses=1]
 194   store i16 0, i16* %tmp148, align 2
 195   %tmp151 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 7, i32 1            ; <i16*> [#uses=1]
 196   store i16 0, i16* %tmp151, align 2
 197   %tmp162 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 6, i32 0            ; <i16*> [#uses=1]
 198   store i16 0, i16* %tmp162, align 2
 199   %tmp165 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 6, i32 1            ; <i16*> [#uses=1]
 200   store i16 0, i16* %tmp165, align 2
 201   %tmp176 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 5, i32 0            ; <i16*> [#uses=1]
 202   store i16 0, i16* %tmp176, align 2
 203   %tmp179 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 5, i32 1            ; <i16*> [#uses=1]
 204   store i16 0, i16* %tmp179, align 2
 205   %tmp190 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 4, i32 0            ; <i16*> [#uses=1]
 206   store i16 0, i16* %tmp190, align 2
 207   %tmp193 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 4, i32 1            ; <i16*> [#uses=1]
 208   store i16 0, i16* %tmp193, align 2
 209   %tmp204 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 3, i32 0            ; <i16*> [#uses=1]
 210   store i16 0, i16* %tmp204, align 2
 211   %tmp207 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 3, i32 1            ; <i16*> [#uses=1]
 212   store i16 0, i16* %tmp207, align 2
 213   %tmp218 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 2, i32 0            ; <i16*> [#uses=1]
 214   store i16 0, i16* %tmp218, align 2
 215   %tmp221 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 2, i32 1            ; <i16*> [#uses=1]
 216   store i16 0, i16* %tmp221, align 2
 217   %tmp232 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 1, i32 0            ; <i16*> [#uses=1]
 218   store i16 0, i16* %tmp232, align 2
 219   %tmp235 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 1, i32 1            ; <i16*> [#uses=1]
 220   store i16 0, i16* %tmp235, align 2
 221   %tmp246 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 0, i32 0            ; <i16*> [#uses=1]
 222   store i16 0, i16* %tmp246, align 8
 223   %tmp249 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 0, i32 1            ; <i16*> [#uses=1]
 224   store i16 0, i16* %tmp249, align 2
 225   %up_mvd252 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %up_mvd, i32 0, i32 0          ; <%struct.MV*> [#uses=1]
 226   %left_mvd253 = getelementptr [8 x %struct.MV], [8 x %struct.MV]* %left_mvd, i32 0, i32 0              ; <%struct.MV*> [#uses=1]
 227   call void @foo( %struct.MV* %up_mvd252, %struct.MV* %left_mvd253, i8* %tmp41 ) nounwind
 228   ret void
 229
 230 }
 231
 232 declare void @foo(%struct.MV*, %struct.MV*, i8*)
 233
 234
 235 ; Store followed by memset.
 236 define void @test3(i32* nocapture %P) nounwind ssp {
 237 ; CHECK-LABEL: @test3(
 238 ; CHECK-NEXT:  entry:
 239 ; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* [[P:%.*]], i64 1
 240 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i32, i32* [[P]], i64 2
 241 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
 242 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[ARRAYIDX]] to i8*
 243 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 4 [[TMP1]], i8 0, i64 15, i1 false)
 244 ; CHECK-NEXT:    ret void
 245 ;
 246 entry:
 247   %arrayidx = getelementptr inbounds i32, i32* %P, i64 1
 248   store i32 0, i32* %arrayidx, align 4
 249   %add.ptr = getelementptr inbounds i32, i32* %P, i64 2
 250   %0 = bitcast i32* %add.ptr to i8*
 251   tail call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 11, i1 false)
 252   ret void
 253 }
 254
 255 ; store followed by memset, different offset scenario
 256 define void @test4(i32* nocapture %P) nounwind ssp {
 257 ; CHECK-LABEL: @test4(
 258 ; CHECK-NEXT:  entry:
 259 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i32, i32* [[P:%.*]], i64 1
 260 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
 261 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[P]] to i8*
 262 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 4 [[TMP1]], i8 0, i64 15, i1 false)
 263 ; CHECK-NEXT:    ret void
 264 ;
 265 entry:
 266   store i32 0, i32* %P, align 4
 267   %add.ptr = getelementptr inbounds i32, i32* %P, i64 1
 268   %0 = bitcast i32* %add.ptr to i8*
 269   tail call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 11, i1 false)
 270   ret void
 271 }
 272
 273 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i1) nounwind
 274
 275 ; Memset followed by store.
 276 define void @test5(i32* nocapture %P) nounwind ssp {
 277 ; CHECK-LABEL: @test5(
 278 ; CHECK-NEXT:  entry:
 279 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i32, i32* [[P:%.*]], i64 2
 280 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
 281 ; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* [[P]], i64 1
 282 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[ARRAYIDX]] to i8*
 283 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 4 [[TMP1]], i8 0, i64 15, i1 false)
 284 ; CHECK-NEXT:    ret void
 285 ;
 286 entry:
 287   %add.ptr = getelementptr inbounds i32, i32* %P, i64 2
 288   %0 = bitcast i32* %add.ptr to i8*
 289   tail call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 11, i1 false)
 290   %arrayidx = getelementptr inbounds i32, i32* %P, i64 1
 291   store i32 0, i32* %arrayidx, align 4
 292   ret void
 293 }
 294
 295 ;; Memset followed by memset.
 296 define void @test6(i32* nocapture %P) nounwind ssp {
 297 ; CHECK-LABEL: @test6(
 298 ; CHECK-NEXT:  entry:
 299 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[P:%.*]] to i8*
 300 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i32, i32* [[P]], i64 3
 301 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
 302 ; CHECK-NEXT:    [[TMP2:%.*]] = bitcast i32* [[P]] to i8*
 303 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* [[TMP2]], i8 0, i64 24, i1 false)
 304 ; CHECK-NEXT:    ret void
 305 ;
 306 entry:
 307   %0 = bitcast i32* %P to i8*
 308   tail call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 12, i1 false)
 309   %add.ptr = getelementptr inbounds i32, i32* %P, i64 3
 310   %1 = bitcast i32* %add.ptr to i8*
 311   tail call void @llvm.memset.p0i8.i64(i8* %1, i8 0, i64 12, i1 false)
 312   ret void
 313 }
 314
 315 ; More aggressive heuristic
 316 ; rdar://9892684
 317 define void @test7(i32* nocapture %c) nounwind optsize {
 318 ; CHECK-LABEL: @test7(
 319 ; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr inbounds i32, i32* [[C:%.*]], i32 1
 320 ; CHECK-NEXT:    [[TMP2:%.*]] = getelementptr inbounds i32, i32* [[C]], i32 2
 321 ; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr inbounds i32, i32* [[C]], i32 3
 322 ; CHECK-NEXT:    [[TMP4:%.*]] = getelementptr inbounds i32, i32* [[C]], i32 4
 323 ; CHECK-NEXT:    [[TMP5:%.*]] = bitcast i32* [[C]] to i8*
 324 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 4 [[TMP5]], i8 -1, i64 20, i1 false)
 325 ; CHECK-NEXT:    ret void
 326 ;
 327   store i32 -1, i32* %c, align 4
 328   %1 = getelementptr inbounds i32, i32* %c, i32 1
 329   store i32 -1, i32* %1, align 4
 330   %2 = getelementptr inbounds i32, i32* %c, i32 2
 331   store i32 -1, i32* %2, align 4
 332   %3 = getelementptr inbounds i32, i32* %c, i32 3
 333   store i32 -1, i32* %3, align 4
 334   %4 = getelementptr inbounds i32, i32* %c, i32 4
 335   store i32 -1, i32* %4, align 4
 336   ret void
 337 }
 338
 339 %struct.test8 = type { [4 x i32] }
 340
 341 define void @test8() {
 342 ; CHECK-LABEL: @test8(
 343 ; CHECK-NEXT:  entry:
 344 ; CHECK-NEXT:    [[MEMTMP:%.*]] = alloca [[STRUCT_TEST8:%.*]], align 16
 345 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast %struct.test8* [[MEMTMP]] to <4 x i32>*
 346 ; CHECK-NEXT:    store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* [[TMP0]], align 16
 347 ; CHECK-NEXT:    ret void
 348 ;
 349 entry:
 350   %memtmp = alloca %struct.test8, align 16
 351   %0 = bitcast %struct.test8* %memtmp to <4 x i32>*
 352   store <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, <4 x i32>* %0, align 16
 353   ret void
 354 }
 355
 356 @test9buf = internal unnamed_addr global [16 x i64] zeroinitializer, align 16
 357
 358 define void @test9() nounwind {
 359 ; CHECK-LABEL: @test9(
 360 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 16 bitcast ([16 x i64]* @test9buf to i8*), i8 -1, i64 16, i1 false)
 361 ; CHECK-NEXT:    ret void
 362 ;
 363   store i8 -1, i8* bitcast ([16 x i64]* @test9buf to i8*), align 16
 364   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 1), align 1
 365   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 2), align 2
 366   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 3), align 1
 367   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 4), align 4
 368   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 5), align 1
 369   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 6), align 2
 370   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 7), align 1
 371   store i8 -1, i8* bitcast (i64* getelementptr inbounds ([16 x i64], [16 x i64]* @test9buf, i64 0, i64 1) to i8*), align 8
 372   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 9), align 1
 373   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 10), align 2
 374   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 11), align 1
 375   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 12), align 4
 376   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 13), align 1
 377   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 14), align 2
 378   store i8 -1, i8* getelementptr (i8, i8* bitcast ([16 x i64]* @test9buf to i8*), i64 15), align 1
 379   ret void
 380 }
 381
 382 ; PR19092
 383 define void @test10(i8* nocapture %P) nounwind {
 384 ; CHECK-LABEL: @test10(
 385 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* [[P:%.*]], i8 0, i64 42, i1 false)
 386 ; CHECK-NEXT:    ret void
 387 ;
 388   tail call void @llvm.memset.p0i8.i64(i8* %P, i8 0, i64 42, i1 false)
 389   tail call void @llvm.memset.p0i8.i64(i8* %P, i8 0, i64 23, i1 false)
 390   ret void
 391 }
 392
 393 ; Memset followed by odd store.
 394 define void @test11(i32* nocapture %P) nounwind ssp {
 395 ; CHECK-LABEL: @test11(
 396 ; CHECK-NEXT:  entry:
 397 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i32, i32* [[P:%.*]], i64 3
 398 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
 399 ; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* [[P]], i64 0
 400 ; CHECK-NEXT:    [[ARRAYIDX_CAST:%.*]] = bitcast i32* [[ARRAYIDX]] to i96*
 401 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i96* [[ARRAYIDX_CAST]] to i8*
 402 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 4 [[TMP1]], i8 1, i64 23, i1 false)
 403 ; CHECK-NEXT:    ret void
 404 ;
 405 entry:
 406   %add.ptr = getelementptr inbounds i32, i32* %P, i64 3
 407   %0 = bitcast i32* %add.ptr to i8*
 408   tail call void @llvm.memset.p0i8.i64(i8* %0, i8 1, i64 11, i1 false)
 409   %arrayidx = getelementptr inbounds i32, i32* %P, i64 0
 410   %arrayidx.cast = bitcast i32* %arrayidx to i96*
 411   store i96 310698676526526814092329217, i96* %arrayidx.cast, align 4
 412   ret void
 413 }
 414
 415 ; Alignment should be preserved when there is a store with default align
 416 define void @test12(i32* nocapture %P) nounwind ssp {
 417 ; CHECK-LABEL: @test12(
 418 ; CHECK-NEXT:  entry:
 419 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i32, i32* [[P:%.*]], i64 1
 420 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
 421 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[P]] to i8*
 422 ; CHECK-NEXT:    call void @llvm.memset.p0i8.i64(i8* align 4 [[TMP1]], i8 0, i64 15, i1 false)
 423 ; CHECK-NEXT:    ret void
 424 ;
 425 entry:
 426   store i32 0, i32* %P
 427   %add.ptr = getelementptr inbounds i32, i32* %P, i64 1
 428   %0 = bitcast i32* %add.ptr to i8*
 429   tail call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 11, i1 false)
 430   ret void
 431 }