1; RUN: opt -S < %s -loop-idiom | FileCheck %s
2
3declare void @llvm.sideeffect()
4
5; Loop idiom recognition across a @llvm.sideeffect.
6
7; CHECK-LABEL: zero
8; CHECK: llvm.memset
9define void @zero(float* %p, i64 %n) nounwind {
10bb7.lr.ph:
11  br label %bb7
12
13bb7:
14  %i.02 = phi i64 [ 0, %bb7.lr.ph ], [ %tmp13, %bb7 ]
15  %tmp10 = getelementptr inbounds float, float* %p, i64 %i.02
16  store float 0.000000e+00, float* %tmp10, align 4
17  %tmp13 = add i64 %i.02, 1
18  %tmp6 = icmp ult i64 %tmp13, %n
19  br i1 %tmp6, label %bb7, label %bb14
20
21bb14:
22  ret void
23}
24