llvm/test/Transforms/IndVarSimplify/preserve-memoryssa.ll

   1 ; RUN: opt -S -passes=licm,indvars -verify-memoryssa < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3 @v_69 = external constant { i16, i16 }, align 1
   4
   5 ; CHECK-LABEL: @f()
   6 define void @f() {
   7 entry:
   8   br label %for.cond26
   9
  10 for.cond26:                                       ; preds = %for.body28, %entry
  11   br i1 true, label %for.body28, label %for.cond.cleanup27
  12
  13 for.cond.cleanup27:                               ; preds = %for.cond26
  14   unreachable
  15
  16 for.body28:                                       ; preds = %for.cond26
  17   %v_69.imag = load volatile i16, ptr getelementptr inbounds ({ i16, i16 }, ptr @v_69, i32 0, i32 1), align 1
  18   %.real42 = load i32, ptr undef, align 1
  19   store i32 %.real42, ptr undef, align 1
  20   br label %for.cond26
  21 }