llvm/test/Transforms/InstSimplify/pr33957.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=loop-unroll -S %s | FileCheck %s
   3
   4 %struct.bar = type { i32 }
   5
   6 @global = external constant [78 x %struct.bar], align 4
   7
   8 define void @patatino(i32 %x) {
   9 ; CHECK-LABEL: @patatino(
  10 ; CHECK-NEXT:  bb:
  11 ; CHECK-NEXT:    br i1 true, label [[BB1_PREHEADER:%.*]], label [[BB3:%.*]]
  12 ; CHECK:       bb1.preheader:
  13 ; CHECK-NEXT:    br label [[BB1:%.*]]
  14 ; CHECK:       bb1:
  15 ; CHECK-NEXT:    br label [[BB3]]
  16 ; CHECK:       bb3:
  17 ; CHECK-NEXT:    ret void
  18 ;
  19 bb:
  20   br i1 true, label %bb1, label %bb3
  21
  22 bb1:
  23   %tmp = getelementptr inbounds [78 x %struct.bar], ptr @global, i32 0, <4 x i32> undef
  24   %tmp2 = getelementptr inbounds %struct.bar, <4 x ptr> %tmp, i32 1
  25   br i1 true, label %bb3, label %bb1
  26
  27 bb3:
  28   ret void
  29 }