; RUN: llc -verify-machineinstrs -mcpu=pwr7 < %s | FileCheck %s
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu"
; Function Attrs: nounwind
define void @_Z28test_goto_loop_unroll_factorILi22EiEvPKT0_iPKc(ptr nocapture readonly %first) #0 {
entry:
br i1 false, label %loop2_start, label %if.end5
; CHECK-LABEL: @_Z28test_goto_loop_unroll_factorILi22EiEvPKT0_iPKc
loop2_start: ; preds = %loop2_start, %entry
br i1 undef, label %loop2_start, label %if.then.i31
if.end5: ; preds = %entry
br i1 undef, label %loop_start.preheader, label %if.then.i31
loop_start.preheader: ; preds = %if.end5
br i1 false, label %middle.block, label %vector.body
vector.body: ; preds = %vector.body, %loop_start.preheader
%vec.phi61 = phi <4 x i32> [ %34, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi62 = phi <4 x i32> [ %35, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi63 = phi <4 x i32> [ %36, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi65 = phi <4 x i32> [ %37, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi67 = phi <4 x i32> [ %38, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi68 = phi <4 x i32> [ %39, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi69 = phi <4 x i32> [ %40, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi70 = phi <4 x i32> [ %41, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%vec.phi71 = phi <4 x i32> [ %42, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
%.sum = add i64 0, 4
%wide.load72 = load <4 x i32>, ptr null, align 4
%.sum109 = add i64 0, 8
%0 = getelementptr i32, ptr %first, i64 %.sum109
%1 = bitcast ptr %0 to ptr
%wide.load73 = load <4 x i32>, ptr %1, align 4
%.sum110 = add i64 0, 12
%2 = getelementptr i32, ptr %first, i64 %.sum110
%3 = bitcast ptr %2 to ptr
%wide.load74 = load <4 x i32>, ptr %3, align 4
%.sum112 = add i64 0, 20
%4 = getelementptr i32, ptr %first, i64 %.sum112
%5 = bitcast ptr %4 to ptr
%wide.load76 = load <4 x i32>, ptr %5, align 4
%.sum114 = add i64 0, 28
%6 = getelementptr i32, ptr %first, i64 %.sum114
%7 = bitcast ptr %6 to ptr
%wide.load78 = load <4 x i32>, ptr %7, align 4
%.sum115 = add i64 0, 32
%8 = getelementptr i32, ptr %first, i64 %.sum115
%9 = bitcast ptr %8 to ptr
%wide.load79 = load <4 x i32>, ptr %9, align 4
%.sum116 = add i64 0, 36
%10 = getelementptr i32, ptr %first, i64 %.sum116
%11 = bitcast ptr %10 to ptr
%wide.load80 = load <4 x i32>, ptr %11, align 4
%.sum117 = add i64 0, 40
%12 = getelementptr i32, ptr %first, i64 %.sum117
%13 = bitcast ptr %12 to ptr
%wide.load81 = load <4 x i32>, ptr %13, align 4
%.sum118 = add i64 0, 44
%14 = getelementptr i32, ptr %first, i64 %.sum118
%15 = bitcast ptr %14 to ptr
%wide.load82 = load <4 x i32>, ptr %15, align 4
%16 = mul <4 x i32> %wide.load72, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%17 = mul <4 x i32> %wide.load73, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%18 = mul <4 x i32> %wide.load74, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%19 = mul <4 x i32> %wide.load76, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%20 = mul <4 x i32> %wide.load78, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%21 = mul <4 x i32> %wide.load79, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%22 = mul <4 x i32> %wide.load80, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%23 = mul <4 x i32> %wide.load81, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%24 = mul <4 x i32> %wide.load82, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
%25 = add <4 x i32> %16, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%26 = add <4 x i32> %17, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%27 = add <4 x i32> %18, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%28 = add <4 x i32> %19, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%29 = add <4 x i32> %20, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%30 = add <4 x i32> %21, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%31 = add <4 x i32> %22, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%32 = add <4 x i32> %23, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%33 = add <4 x i32> %24, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
%34 = add nsw <4 x i32> %25, %vec.phi61
%35 = add nsw <4 x i32> %26, %vec.phi62
%36 = add nsw <4 x i32> %27, %vec.phi63
%37 = add nsw <4 x i32> %28, %vec.phi65
%38 = add nsw <4 x i32> %29, %vec.phi67
%39 = add nsw <4 x i32> %30, %vec.phi68
%40 = add nsw <4 x i32> %31, %vec.phi69
%41 = add nsw <4 x i32> %32, %vec.phi70
%42 = add nsw <4 x i32> %33, %vec.phi71
br i1 false, label %middle.block, label %vector.body
middle.block: ; preds = %vector.body, %loop_start.preheader
%rdx.vec.exit.phi85 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %34, %vector.body ]
%rdx.vec.exit.phi86 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %35, %vector.body ]
%rdx.vec.exit.phi87 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %36, %vector.body ]
%rdx.vec.exit.phi89 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %37, %vector.body ]
%rdx.vec.exit.phi91 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %38, %vector.body ]
%rdx.vec.exit.phi92 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %39, %vector.body ]
%rdx.vec.exit.phi93 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %40, %vector.body ]
%rdx.vec.exit.phi94 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %41, %vector.body ]
%rdx.vec.exit.phi95 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %42, %vector.body ]
br i1 false, label %if.then.i31, label %loop_start.prol
loop_start.prol: ; preds = %loop_start.prol, %middle.block
br label %loop_start.prol
if.then.i31: ; preds = %middle.block, %if.end5, %loop2_start
unreachable
}
attributes #0 = { nounwind }