llvm-project/polly/test/polybench/stencils/adi/adi_with_param.ll

252 lines
11 KiB
LLVM

; RUN: opt %loadPolly %defaultOpts -polly-analyze-ir -print-top-scop-only -analyze %s | FileCheck %s
; XFAIL: *
; ModuleID = './stencils/adi/adi_with_param.ll'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-unknown-linux-gnu"
%struct._IO_FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct._IO_FILE*, i32, i32, i64, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i64, i32, [20 x i8] }
%struct._IO_marker = type { %struct._IO_marker*, %struct._IO_FILE*, i32 }
@X = common global [1024 x [1024 x double]] zeroinitializer, align 32
@A = common global [1024 x [1024 x double]] zeroinitializer, align 32
@B = common global [1024 x [1024 x double]] zeroinitializer, align 32
@stderr = external global %struct._IO_FILE*
@.str = private constant [8 x i8] c"%0.2lf \00", align 1
define void @scop_func(i64 %n) nounwind {
bb.nph81:
%0 = icmp sgt i64 %n, 0
%1 = icmp sgt i64 %n, 1
%2 = add nsw i64 %n, -2
%3 = icmp sgt i64 %2, 0
%4 = add nsw i64 %n, -3
%tmp = add i64 %n, -1
br label %bb5.preheader
bb.nph: ; preds = %bb.nph.preheader, %bb4
%storemerge112 = phi i64 [ %16, %bb4 ], [ 0, %bb.nph.preheader ]
%scevgep86.phi.trans.insert = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %storemerge112, i64 0
%scevgep85.phi.trans.insert = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %storemerge112, i64 0
%.pre = load double* %scevgep85.phi.trans.insert, align 32
%.pre149 = load double* %scevgep86.phi.trans.insert, align 32
br label %bb2
bb2: ; preds = %bb2, %bb.nph
%5 = phi double [ %.pre149, %bb.nph ], [ %15, %bb2 ]
%6 = phi double [ %.pre, %bb.nph ], [ %11, %bb2 ]
%indvar = phi i64 [ 0, %bb.nph ], [ %tmp90, %bb2 ]
%tmp42 = add i64 %indvar, 1
%scevgep84 = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %storemerge112, i64 %tmp42
%scevgep83 = getelementptr [1024 x [1024 x double]]* @A, i64 0, i64 %storemerge112, i64 %tmp42
%scevgep = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %storemerge112, i64 %tmp42
%tmp90 = add i64 %indvar, 1
%7 = load double* %scevgep, align 8
%8 = load double* %scevgep83, align 8
%9 = fmul double %6, %8
%10 = fdiv double %9, %5
%11 = fsub double %7, %10
store double %11, double* %scevgep, align 8
%12 = load double* %scevgep84, align 8
%13 = fmul double %8, %8
%14 = fdiv double %13, %5
%15 = fsub double %12, %14
store double %15, double* %scevgep84, align 8
%exitcond37 = icmp eq i64 %tmp90, %tmp
br i1 %exitcond37, label %bb4, label %bb2
bb4: ; preds = %bb2
%16 = add nsw i64 %storemerge112, 1
%exitcond = icmp eq i64 %16, %n
br i1 %exitcond, label %bb8.loopexit.loopexit, label %bb.nph
bb.nph16: ; preds = %bb5.preheader
br i1 %1, label %bb.nph.preheader, label %bb8.loopexit
bb.nph.preheader: ; preds = %bb.nph16
br label %bb.nph
bb7: ; preds = %bb7.preheader, %bb7
%storemerge217 = phi i64 [ %20, %bb7 ], [ 0, %bb7.preheader ]
%scevgep96 = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %storemerge217, i64 %tmp
%scevgep95 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %storemerge217, i64 %tmp
%17 = load double* %scevgep95, align 8
%18 = load double* %scevgep96, align 8
%19 = fdiv double %17, %18
store double %19, double* %scevgep95, align 8
%20 = add nsw i64 %storemerge217, 1
%exitcond18 = icmp eq i64 %20, %n
br i1 %exitcond18, label %bb14.loopexit, label %bb7
bb8.loopexit.loopexit: ; preds = %bb4
br label %bb8.loopexit
bb8.loopexit: ; preds = %bb8.loopexit.loopexit, %bb.nph16
br i1 %0, label %bb7.preheader, label %bb20.loopexit
bb7.preheader: ; preds = %bb8.loopexit
br label %bb7
bb11: ; preds = %bb12.preheader, %bb11
%storemerge920 = phi i64 [ %28, %bb11 ], [ 0, %bb12.preheader ]
%tmp30 = mul i64 %storemerge920, -1
%tmp31 = add i64 %4, %tmp30
%scevgep104 = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %storemerge323, i64 %tmp31
%scevgep103 = getelementptr [1024 x [1024 x double]]* @A, i64 0, i64 %storemerge323, i64 %tmp31
%scevgep102 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %storemerge323, i64 %tmp31
%tmp35 = add i64 %2, %tmp30
%scevgep100 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %storemerge323, i64 %tmp35
%21 = load double* %scevgep100, align 8
%22 = load double* %scevgep102, align 8
%23 = load double* %scevgep103, align 8
%24 = fmul double %22, %23
%25 = fsub double %21, %24
%26 = load double* %scevgep104, align 8
%27 = fdiv double %25, %26
store double %27, double* %scevgep100, align 8
%28 = add nsw i64 %storemerge920, 1
%exitcond21 = icmp eq i64 %28, %2
br i1 %exitcond21, label %bb13, label %bb11
bb13: ; preds = %bb11
%29 = add nsw i64 %storemerge323, 1
%exitcond29 = icmp eq i64 %29, %n
br i1 %exitcond29, label %bb20.loopexit.loopexit, label %bb12.preheader
bb14.loopexit: ; preds = %bb7
%.not = xor i1 %0, true
%.not150 = xor i1 %3, true
%brmerge = or i1 %.not, %.not150
br i1 %brmerge, label %bb20.loopexit, label %bb12.preheader.preheader
bb12.preheader.preheader: ; preds = %bb14.loopexit
br label %bb12.preheader
bb12.preheader: ; preds = %bb12.preheader.preheader, %bb13
%storemerge323 = phi i64 [ %29, %bb13 ], [ 0, %bb12.preheader.preheader ]
br label %bb11
bb17: ; preds = %bb18.preheader, %bb17
%storemerge828 = phi i64 [ %41, %bb17 ], [ 0, %bb18.preheader ]
%scevgep119 = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %indvar114, i64 %storemerge828
%scevgep118 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %indvar114, i64 %storemerge828
%scevgep121 = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %tmp11, i64 %storemerge828
%scevgep120 = getelementptr [1024 x [1024 x double]]* @A, i64 0, i64 %tmp11, i64 %storemerge828
%scevgep117 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %tmp11, i64 %storemerge828
%30 = load double* %scevgep117, align 8
%31 = load double* %scevgep118, align 8
%32 = load double* %scevgep120, align 8
%33 = fmul double %31, %32
%34 = load double* %scevgep119, align 8
%35 = fdiv double %33, %34
%36 = fsub double %30, %35
store double %36, double* %scevgep117, align 8
%37 = load double* %scevgep121, align 8
%38 = fmul double %32, %32
%39 = fdiv double %38, %34
%40 = fsub double %37, %39
store double %40, double* %scevgep121, align 8
%41 = add nsw i64 %storemerge828, 1
%exitcond1 = icmp eq i64 %41, %n
br i1 %exitcond1, label %bb19, label %bb17
bb19: ; preds = %bb17
%tmp125 = add i64 %indvar114, 1
%exitcond8 = icmp eq i64 %tmp125, %tmp
br i1 %exitcond8, label %bb23.loopexit.loopexit, label %bb18.preheader
bb20.loopexit.loopexit: ; preds = %bb13
br label %bb20.loopexit
bb20.loopexit: ; preds = %bb20.loopexit.loopexit, %bb5.preheader, %bb14.loopexit, %bb8.loopexit
br i1 %1, label %bb.nph34, label %bb23.loopexit
bb.nph34: ; preds = %bb20.loopexit
br i1 %0, label %bb18.preheader.preheader, label %bb29.loopexit
bb18.preheader.preheader: ; preds = %bb.nph34
br label %bb18.preheader
bb18.preheader: ; preds = %bb18.preheader.preheader, %bb19
%indvar114 = phi i64 [ %tmp125, %bb19 ], [ 0, %bb18.preheader.preheader ]
%tmp11 = add i64 %indvar114, 1
br label %bb17
bb22: ; preds = %bb22.preheader, %bb22
%storemerge535 = phi i64 [ %45, %bb22 ], [ 0, %bb22.preheader ]
%scevgep131 = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %tmp, i64 %storemerge535
%scevgep130 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %tmp, i64 %storemerge535
%42 = load double* %scevgep130, align 8
%43 = load double* %scevgep131, align 8
%44 = fdiv double %42, %43
store double %44, double* %scevgep130, align 8
%45 = add nsw i64 %storemerge535, 1
%exitcond15 = icmp eq i64 %45, %n
br i1 %exitcond15, label %bb29.loopexit.loopexit, label %bb22
bb23.loopexit.loopexit: ; preds = %bb19
br label %bb23.loopexit
bb23.loopexit: ; preds = %bb23.loopexit.loopexit, %bb20.loopexit
br i1 %0, label %bb22.preheader, label %bb29.loopexit
bb22.preheader: ; preds = %bb23.loopexit
br label %bb22
bb26: ; preds = %bb27.preheader, %bb26
%storemerge737 = phi i64 [ %53, %bb26 ], [ 0, %bb27.preheader ]
%scevgep138 = getelementptr [1024 x [1024 x double]]* @A, i64 0, i64 %tmp58, i64 %storemerge737
%scevgep137 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %tmp58, i64 %storemerge737
%scevgep139 = getelementptr [1024 x [1024 x double]]* @B, i64 0, i64 %tmp61, i64 %storemerge737
%scevgep135 = getelementptr [1024 x [1024 x double]]* @X, i64 0, i64 %tmp61, i64 %storemerge737
%46 = load double* %scevgep135, align 8
%47 = load double* %scevgep137, align 8
%48 = load double* %scevgep138, align 8
%49 = fmul double %47, %48
%50 = fsub double %46, %49
%51 = load double* %scevgep139, align 8
%52 = fdiv double %50, %51
store double %52, double* %scevgep135, align 8
%53 = add nsw i64 %storemerge737, 1
%exitcond48 = icmp eq i64 %53, %n
br i1 %exitcond48, label %bb28, label %bb26
bb28: ; preds = %bb26
%54 = add nsw i64 %storemerge640, 1
%exitcond56 = icmp eq i64 %54, %2
br i1 %exitcond56, label %bb30.loopexit, label %bb27.preheader
bb29.loopexit.loopexit: ; preds = %bb22
br label %bb29.loopexit
bb29.loopexit: ; preds = %bb29.loopexit.loopexit, %bb23.loopexit, %bb.nph34
%.not151 = xor i1 %3, true
%.not152 = xor i1 %0, true
%brmerge153 = or i1 %.not151, %.not152
br i1 %brmerge153, label %bb30, label %bb27.preheader.preheader
bb27.preheader.preheader: ; preds = %bb29.loopexit
br label %bb27.preheader
bb27.preheader: ; preds = %bb27.preheader.preheader, %bb28
%storemerge640 = phi i64 [ %54, %bb28 ], [ 0, %bb27.preheader.preheader ]
%tmp57 = mul i64 %storemerge640, -1
%tmp58 = add i64 %4, %tmp57
%tmp61 = add i64 %2, %tmp57
br label %bb26
bb30.loopexit: ; preds = %bb28
br label %bb30
bb30: ; preds = %bb30.loopexit, %bb29.loopexit
%55 = add nsw i64 %storemerge46, 1
%exitcond64 = icmp eq i64 %55, 10
br i1 %exitcond64, label %return, label %bb5.preheader
bb5.preheader: ; preds = %bb30, %bb.nph81
%storemerge46 = phi i64 [ 0, %bb.nph81 ], [ %55, %bb30 ]
br i1 %0, label %bb.nph16, label %bb20.loopexit
return: ; preds = %bb30
ret void
}