1 ; RUN: opt -S -indvars < %s | FileCheck %s 2 3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4 target triple = "x86_64-unknown-linux-gnu" 5 6 declare i16 @fn1(i16 returned, i64) 7 8 define void @fn2() { 9 ; CHECK-LABEL: @fn2( 10 entry: 11 br label %for.cond 12 13 for.cond: 14 %f.0 = phi i64 [ undef, %entry ], [ %inc, %for.cond ] 15 %conv = trunc i64 %f.0 to i16 16 %call = tail call i16 @fn1(i16 %conv, i64 %f.0) 17 %conv2 = zext i16 %call to i32 18 %inc = add nsw i64 %f.0, 1 19 br label %for.cond 20 } 21
