1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -loop-unroll -S %s | FileCheck %s
3
4%struct.bar = type { i32 }
5
6@global = external constant [78 x %struct.bar], align 4
7
8define 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;
19bb:
20  br i1 true, label %bb1, label %bb3
21
22bb1:
23  %tmp = getelementptr inbounds [78 x %struct.bar], [78 x %struct.bar]* @global, i32 0, <4 x i32> undef
24  %tmp2 = getelementptr inbounds %struct.bar, <4 x %struct.bar*> %tmp, i32 1
25  br i1 true, label %bb3, label %bb1
26
27bb3:
28  ret void
29}
30