llvm/test/Transforms/InstCombine/known_align.ll

   1 ; RUN: opt < %s -passes=instcombine -S | grep "align 1"
   2 ; END.
   3
   4         %struct.p = type <{ i8, i32 }>
   5 @t = global %struct.p <{ i8 1, i32 10 }>                ; <ptr> [#uses=1]
   6 @u = weak global %struct.p zeroinitializer              ; <ptr> [#uses=1]
   7
   8 define i32 @main() {
   9 entry:
  10         %retval = alloca i32, align 4           ; <ptr> [#uses=2]
  11         %tmp = alloca i32, align 4              ; <ptr> [#uses=2]
  12         %tmp1 = alloca i32, align 4             ; <ptr> [#uses=3]
  13         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
  14         %tmp3 = load i32, ptr getelementptr (%struct.p, ptr @t, i32 0, i32 1), align 1          ; <i32> [#uses=1]
  15         store i32 %tmp3, ptr %tmp1, align 4
  16         %tmp5 = load i32, ptr %tmp1, align 4            ; <i32> [#uses=1]
  17         store i32 %tmp5, ptr getelementptr (%struct.p, ptr @u, i32 0, i32 1), align 1
  18         %tmp6 = load i32, ptr %tmp1, align 4            ; <i32> [#uses=1]
  19         store i32 %tmp6, ptr %tmp, align 4
  20         %tmp7 = load i32, ptr %tmp, align 4             ; <i32> [#uses=1]
  21         store i32 %tmp7, ptr %retval, align 4
  22         br label %return
  23
  24 return:         ; preds = %entry
  25         %retval8 = load i32, ptr %retval                ; <i32> [#uses=1]
  26         ret i32 %retval8
  27 }