2011-04-09 06:39:43 +00:00
|
|
|
; RUN: opt < %s -basicaa -licm -S | FileCheck %s
|
|
|
|
; PR9630
|
|
|
|
|
|
|
|
@g_39 = external global i16, align 2
|
|
|
|
|
|
|
|
declare i32* @func_84(i32** nocapture) nounwind readonly
|
|
|
|
|
|
|
|
declare i32** @func_108(i32*** nocapture) nounwind readonly
|
|
|
|
|
|
|
|
define void @func() nounwind {
|
|
|
|
entry:
|
|
|
|
br label %for.body4.lr.ph
|
|
|
|
|
|
|
|
for.body4.lr.ph:
|
|
|
|
br label %for.body4
|
|
|
|
|
|
|
|
; CHECK: for.body4:
|
2015-02-27 21:17:42 +00:00
|
|
|
; CHECK: load volatile i16, i16* @g_39
|
2011-04-09 06:39:43 +00:00
|
|
|
|
|
|
|
for.body4:
|
|
|
|
%l_612.11 = phi i32* [ undef, %for.body4.lr.ph ], [ %call19, %for.body4 ]
|
2015-02-27 21:17:42 +00:00
|
|
|
%tmp7 = load volatile i16, i16* @g_39, align 2
|
2011-04-09 06:39:43 +00:00
|
|
|
%call = call i32** @func_108(i32*** undef)
|
|
|
|
%call19 = call i32* @func_84(i32** %call)
|
|
|
|
br i1 false, label %for.body4, label %for.cond.loopexit
|
|
|
|
|
|
|
|
for.cond.loopexit:
|
|
|
|
br i1 false, label %for.body4.lr.ph, label %for.end26
|
|
|
|
|
|
|
|
for.end26:
|
|
|
|
ret void
|
|
|
|
}
|