llvm/test/Analysis/MemorySSA/pr46574.ll

   1 ; RUN: opt -passes='loop-mssa(loop-instsimplify,loop-simplifycfg,licm,simple-loop-unswitch)' -enable-nontrivial-unswitch -verify-memoryssa %s -disable-output
   2 ; REQUIRES: asserts
   3
   4 %0 = type { i24, i32, i32, i8 }
   5
   6 @g_1077 = external dso_local local_unnamed_addr global [4 x [3 x [2 x { i8, i8, i8, i8, i8, i8, i8, i8, i32 }]]], align 4
   7
   8 define void @func_22() {
   9 bb:
  10   br label %bb13
  11
  12 bb13:                                             ; preds = %bb38, %bb31, %bb
  13   %i15 = load i32, ptr undef, align 4
  14   %i16 = trunc i32 %i15 to i8
  15   %i18 = load ptr, ptr undef, align 8
  16   %i19 = icmp eq ptr %i18, null
  17   br i1 %i19, label %bb31, label %safe_mod_func_uint8_t_u_u.exit
  18
  19 bb31:                                             ; preds = %bb13
  20   %i25 = load i8, ptr getelementptr inbounds ([4 x [3 x [2 x { i8, i8, i8, i8, i8, i8, i8, i8, i32 }]]], ptr @g_1077, i64 0, i64 2, i64 2, i64 1, i32 6), align 2
  21   %i28 = or i8 %i25, %i16
  22   store i8 %i28, ptr getelementptr inbounds ([4 x [3 x [2 x { i8, i8, i8, i8, i8, i8, i8, i8, i32 }]]], ptr @g_1077, i64 0, i64 2, i64 2, i64 1, i32 6), align 2
  23   %i30 = icmp ne i8 %i28, 0
  24   %i37.not = icmp eq i8 %i16, 0
  25   %or.cond = or i1 %i37.not, %i30
  26   br i1 %or.cond, label %bb13, label %bb38
  27
  28 safe_mod_func_uint8_t_u_u.exit:                   ; preds = %bb13
  29   br label %bb38
  30
  31 bb38:                                             ; preds = %safe_mod_func_uint8_t_u_u.exit, %bb31
  32   br label %bb13
  33 }