llvm-project/polly/docs/experiments/matmul/matmul.normalopt.ll

180 lines
10 KiB
LLVM

; ModuleID = '<stdin>'
source_filename = "matmul.c"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
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 }
@A = common dso_local local_unnamed_addr global [1536 x [1536 x float]] zeroinitializer, align 16
@B = common dso_local local_unnamed_addr global [1536 x [1536 x float]] zeroinitializer, align 16
@stdout = external dso_local local_unnamed_addr global %struct._IO_FILE*, align 8
@.str = private unnamed_addr constant [5 x i8] c"%lf \00", align 1
@C = common dso_local local_unnamed_addr global [1536 x [1536 x float]] zeroinitializer, align 16
; Function Attrs: noinline norecurse nounwind uwtable writeonly
define dso_local void @init_array() local_unnamed_addr #0 {
entry:
br label %for.cond1.preheader
for.cond1.preheader: ; preds = %for.inc17, %entry
%indvars.iv4 = phi i64 [ 0, %entry ], [ %indvars.iv.next5, %for.inc17 ]
br label %for.body3
for.body3: ; preds = %for.body3, %for.cond1.preheader
%indvars.iv = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next.1, %for.body3 ]
%0 = mul nuw nsw i64 %indvars.iv, %indvars.iv4
%1 = trunc i64 %0 to i32
%rem = and i32 %1, 1022
%add = or i32 %rem, 1
%conv = sitofp i32 %add to double
%div = fmul double %conv, 5.000000e-01
%conv4 = fptrunc double %div to float
%arrayidx6 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @A, i64 0, i64 %indvars.iv4, i64 %indvars.iv
store float %conv4, float* %arrayidx6, align 8
%arrayidx16 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @B, i64 0, i64 %indvars.iv4, i64 %indvars.iv
store float %conv4, float* %arrayidx16, align 8
%indvars.iv.next = or i64 %indvars.iv, 1
%2 = mul nuw nsw i64 %indvars.iv.next, %indvars.iv4
%3 = trunc i64 %2 to i32
%rem.1 = and i32 %3, 1023
%add.1 = add nuw nsw i32 %rem.1, 1
%conv.1 = sitofp i32 %add.1 to double
%div.1 = fmul double %conv.1, 5.000000e-01
%conv4.1 = fptrunc double %div.1 to float
%arrayidx6.1 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @A, i64 0, i64 %indvars.iv4, i64 %indvars.iv.next
store float %conv4.1, float* %arrayidx6.1, align 4
%arrayidx16.1 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @B, i64 0, i64 %indvars.iv4, i64 %indvars.iv.next
store float %conv4.1, float* %arrayidx16.1, align 4
%indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
%exitcond.1 = icmp eq i64 %indvars.iv.next.1, 1536
br i1 %exitcond.1, label %for.inc17, label %for.body3
for.inc17: ; preds = %for.body3
%indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 1
%exitcond6 = icmp eq i64 %indvars.iv.next5, 1536
br i1 %exitcond6, label %for.end19, label %for.cond1.preheader
for.end19: ; preds = %for.inc17
ret void
}
; Function Attrs: noinline nounwind uwtable
define dso_local void @print_array() local_unnamed_addr #1 {
entry:
br label %for.cond1.preheader
for.cond1.preheader: ; preds = %for.end, %entry
%indvars.iv6 = phi i64 [ 0, %entry ], [ %indvars.iv.next7, %for.end ]
%0 = load %struct._IO_FILE*, %struct._IO_FILE** @stdout, align 8
br label %for.body3
for.body3: ; preds = %for.inc, %for.cond1.preheader
%indvars.iv = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next, %for.inc ]
%1 = phi %struct._IO_FILE* [ %0, %for.cond1.preheader ], [ %5, %for.inc ]
%arrayidx5 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @C, i64 0, i64 %indvars.iv6, i64 %indvars.iv
%2 = load float, float* %arrayidx5, align 4
%conv = fpext float %2 to double
%call = tail call i32 (%struct._IO_FILE*, i8*, ...) @fprintf(%struct._IO_FILE* %1, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), double %conv) #4
%3 = trunc i64 %indvars.iv to i32
%rem = urem i32 %3, 80
%cmp6 = icmp eq i32 %rem, 79
br i1 %cmp6, label %if.then, label %for.inc
if.then: ; preds = %for.body3
%4 = load %struct._IO_FILE*, %struct._IO_FILE** @stdout, align 8
%fputc3 = tail call i32 @fputc(i32 10, %struct._IO_FILE* %4)
br label %for.inc
for.inc: ; preds = %if.then, %for.body3
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
%5 = load %struct._IO_FILE*, %struct._IO_FILE** @stdout, align 8
%exitcond = icmp eq i64 %indvars.iv.next, 1536
br i1 %exitcond, label %for.end, label %for.body3
for.end: ; preds = %for.inc
%fputc = tail call i32 @fputc(i32 10, %struct._IO_FILE* %5)
%indvars.iv.next7 = add nuw nsw i64 %indvars.iv6, 1
%exitcond8 = icmp eq i64 %indvars.iv.next7, 1536
br i1 %exitcond8, label %for.end12, label %for.cond1.preheader
for.end12: ; preds = %for.end
ret void
}
; Function Attrs: nounwind
declare dso_local i32 @fprintf(%struct._IO_FILE* nocapture, i8* nocapture readonly, ...) local_unnamed_addr #2
; Function Attrs: noinline norecurse nounwind uwtable
define dso_local i32 @main() local_unnamed_addr #3 {
entry:
tail call void @init_array()
br label %for.cond1.preheader
for.cond1.preheader: ; preds = %for.inc28, %entry
%indvars.iv7 = phi i64 [ 0, %entry ], [ %indvars.iv.next8, %for.inc28 ]
br label %for.body3
for.body3: ; preds = %for.inc25, %for.cond1.preheader
%indvars.iv4 = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next5, %for.inc25 ]
%arrayidx5 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @C, i64 0, i64 %indvars.iv7, i64 %indvars.iv4
store float 0.000000e+00, float* %arrayidx5, align 4
br label %for.body8
for.body8: ; preds = %for.body8, %for.body3
%add1 = phi float [ 0.000000e+00, %for.body3 ], [ %add.2, %for.body8 ]
%indvars.iv = phi i64 [ 0, %for.body3 ], [ %indvars.iv.next.2, %for.body8 ]
%arrayidx16 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @A, i64 0, i64 %indvars.iv7, i64 %indvars.iv
%0 = load float, float* %arrayidx16, align 4
%arrayidx20 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @B, i64 0, i64 %indvars.iv, i64 %indvars.iv4
%1 = load float, float* %arrayidx20, align 4
%mul = fmul float %0, %1
%add = fadd float %add1, %mul
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
%arrayidx16.1 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @A, i64 0, i64 %indvars.iv7, i64 %indvars.iv.next
%2 = load float, float* %arrayidx16.1, align 4
%arrayidx20.1 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @B, i64 0, i64 %indvars.iv.next, i64 %indvars.iv4
%3 = load float, float* %arrayidx20.1, align 4
%mul.1 = fmul float %2, %3
%add.1 = fadd float %add, %mul.1
%indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
%arrayidx16.2 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @A, i64 0, i64 %indvars.iv7, i64 %indvars.iv.next.1
%4 = load float, float* %arrayidx16.2, align 4
%arrayidx20.2 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x float]]* @B, i64 0, i64 %indvars.iv.next.1, i64 %indvars.iv4
%5 = load float, float* %arrayidx20.2, align 4
%mul.2 = fmul float %4, %5
%add.2 = fadd float %add.1, %mul.2
%indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
%exitcond.2 = icmp eq i64 %indvars.iv.next.2, 1536
br i1 %exitcond.2, label %for.inc25, label %for.body8
for.inc25: ; preds = %for.body8
store float %add.2, float* %arrayidx5, align 4
%indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 1
%exitcond6 = icmp eq i64 %indvars.iv.next5, 1536
br i1 %exitcond6, label %for.inc28, label %for.body3
for.inc28: ; preds = %for.inc25
%indvars.iv.next8 = add nuw nsw i64 %indvars.iv7, 1
%exitcond9 = icmp eq i64 %indvars.iv.next8, 1536
br i1 %exitcond9, label %for.end30, label %for.cond1.preheader
for.end30: ; preds = %for.inc28
ret i32 0
}
; Function Attrs: nounwind
declare i32 @fputc(i32, %struct._IO_FILE* nocapture) local_unnamed_addr #4
attributes #0 = { noinline norecurse nounwind uwtable writeonly "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { noinline nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #3 = { noinline norecurse nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #4 = { nounwind }
!llvm.module.flags = !{!0}
!llvm.ident = !{!1}
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{!"clang version 8.0.0 (trunk 342834) (llvm/trunk 342856)"}