opt

*** IR Dump After Remove unreachable blocks from the CFG ***
define void @n2o_1C17c8e8___main___sum_2_RBdAnyd3f8RBdAnyf8i8(%Slice* noalias %d, %Slice.0* noalias %out, i64 %n) nounwind {
entry:
  %loop_i_cmp141 = icmp sgt i64 %n, 0
  br i1 %loop_i_cmp141, label %loop_test6.preheader.lr.ph, label %loop_exit

loop_test6.preheader.lr.ph:                       ; preds = %entry
  %gep16 = getelementptr inbounds %Slice.0* %out, i64 0, i32 0
  %gep22 = getelementptr inbounds %Slice* %d, i64 0, i32 0
  %0 = add i64 %n, -1
  br label %loop_test6.preheader

loop_test6.preheader:                             ; preds = %loop_exit9, %loop_test6.preheader.lr.ph
  %lsr.iv149 = phi i64 [ %lsr.iv.next150, %loop_exit9 ], [ 5, %loop_test6.preheader.lr.ph ]
  %lsr.iv = phi i64 [ %lsr.iv.next, %loop_exit9 ], [ %0, %loop_test6.preheader.lr.ph ]
  %storemerge142 = phi i64 [ 0, %loop_test6.preheader.lr.ph ], [ %storemerge121138, %loop_exit9 ]
  %storemerge121138 = add i64 %storemerge142, 1
  %loop_j_cmp139 = icmp slt i64 %storemerge121138, %n
  br i1 %loop_j_cmp139, label %loop_body7.lr.ph, label %loop_exit9

loop_body7.lr.ph:                                 ; preds = %loop_test6.preheader
  %v17 = load double** %gep16, align 8
  %v23 = load double** %gep22, align 8
  %v24 = mul i64 %storemerge142, 3
  %addr27 = getelementptr double* %v23, i64 %v24
  %addr52 = getelementptr double* %v17, i64 1
  %v62 = add i64 %v24, 1
  %addr63 = getelementptr double* %v23, i64 %v62
; (1) *****************************
  %addr89 = getelementptr double* %v17, i64 2
  %v99 = add i64 %v24, 2
  %addr100 = getelementptr double* %v23, i64 %v99
  %getitem.pre = load double* %v17, align 8
  %getitem53.pre = load double* %addr52, align 8
  %getitem90.pre = load double* %addr89, align 8
  %scevgep = getelementptr double* %v23, i64 %lsr.iv149
  br label %loop_body7

loop_body7:                                       ; preds = %loop_body7, %loop_body7.lr.ph
  %lsr.iv151 = phi double* [ %scevgep152, %loop_body7 ], [ %scevgep, %loop_body7.lr.ph ]
  %lsr.iv147 = phi i64 [ %lsr.iv.next148, %loop_body7 ], [ %lsr.iv, %loop_body7.lr.ph ]
  %getitem90 = phi double [ %getitem90.pre, %loop_body7.lr.ph ], [ %add114, %loop_body7 ]
  %getitem53 = phi double [ %getitem53.pre, %loop_body7.lr.ph ], [ %add77, %loop_body7 ]
  %getitem = phi double [ %getitem.pre, %loop_body7.lr.ph ], [ %add40, %loop_body7 ]
  %getitem28 = load double* %addr27, align 8
  %scevgep154 = getelementptr double* %lsr.iv151, i64 -2
  %getitem39 = load double* %scevgep154, align 8
  %mult = fmul double %getitem28, %getitem39
  %add40 = fadd double %getitem, %mult
  store double %add40, double* %v17, align 8
  %getitem64 = load double* %addr63, align 8
  %scevgep153 = getelementptr double* %lsr.iv151, i64 -1
  %getitem75 = load double* %scevgep153, align 8
  %mult76 = fmul double %getitem64, %getitem75
  %add77 = fadd double %getitem53, %mult76
  store double %add77, double* %addr52, align 8
  %getitem101 = load double* %addr100, align 8
  %getitem112 = load double* %lsr.iv151, align 8
  %mult113 = fmul double %getitem101, %getitem112
  %add114 = fadd double %getitem90, %mult113

 ; (2) *****************************
  store double %add114, double* %addr89, align 8

  %lsr.iv.next148 = add i64 %lsr.iv147, -1
  %scevgep152 = getelementptr double* %lsr.iv151, i64 3
  %exitcond = icmp eq i64 %lsr.iv.next148, 0
  br i1 %exitcond, label %loop_exit9.loopexit, label %loop_body7

loop_exit9.loopexit:                              ; preds = %loop_body7
  br label %loop_exit9

loop_exit9:                                       ; preds = %loop_exit9.loopexit, %loop_test6.preheader
  %lsr.iv.next = add i64 %lsr.iv, -1
  %lsr.iv.next150 = add i64 %lsr.iv149, 3
  %exitcond143 = icmp eq i64 %storemerge121138, %n
  br i1 %exitcond143, label %loop_exit.loopexit, label %loop_test6.preheader

loop_exit.loopexit:                               ; preds = %loop_exit9
  br label %loop_exit

loop_exit:                                        ; preds = %loop_exit.loopexit, %entry
  ret void
}

*** IR Dump After Optimize for code generation ***
define void @n2o_1C17c8e8___main___sum_2_RBdAnyd3f8RBdAnyf8i8(%Slice* noalias %d, %Slice.0* noalias %out, i64 %n) nounwind {
entry:
  %loop_i_cmp141 = icmp sgt i64 %n, 0
  br i1 %loop_i_cmp141, label %loop_test6.preheader.lr.ph, label %loop_exit

loop_test6.preheader.lr.ph:                       ; preds = %entry
  %0 = add i64 %n, -1
  br label %loop_test6.preheader

loop_test6.preheader:                             ; preds = %loop_exit9, %loop_test6.preheader.lr.ph
  %lsr.iv149 = phi i64 [ %lsr.iv.next150, %loop_exit9 ], [ 5, %loop_test6.preheader.lr.ph ]
  %lsr.iv = phi i64 [ %lsr.iv.next, %loop_exit9 ], [ %0, %loop_test6.preheader.lr.ph ]
  %storemerge142 = phi i64 [ 0, %loop_test6.preheader.lr.ph ], [ %storemerge121138, %loop_exit9 ]
  %storemerge121138 = add i64 %storemerge142, 1
  %loop_j_cmp139 = icmp slt i64 %storemerge121138, %n
  br i1 %loop_j_cmp139, label %loop_body7.lr.ph, label %loop_exit9

loop_body7.lr.ph:                                 ; preds = %loop_test6.preheader
  %1 = bitcast %Slice* %d to double**
  %2 = bitcast %Slice.0* %out to double**
  %v17 = load double** %2, align 8
  %v23 = load double** %1, align 8
  %v24 = mul i64 %storemerge142, 3
  %addr52 = getelementptr double* %v17, i64 1
  %addr89 = getelementptr double* %v17, i64 2
  %getitem.pre = load double* %v17, align 8
  %getitem53.pre = load double* %addr52, align 8
  %getitem90.pre = load double* %addr89, align 8
  %scevgep = getelementptr double* %v23, i64 %lsr.iv149
  br label %loop_body7

loop_body7:                                       ; preds = %loop_body7, %loop_body7.lr.ph
  %lsr.iv151 = phi double* [ %scevgep152, %loop_body7 ], [ %scevgep, %loop_body7.lr.ph ]
  %lsr.iv147 = phi i64 [ %lsr.iv.next148, %loop_body7 ], [ %lsr.iv, %loop_body7.lr.ph ]
  %getitem90 = phi double [ %getitem90.pre, %loop_body7.lr.ph ], [ %add114, %loop_body7 ]
  %getitem53 = phi double [ %getitem53.pre, %loop_body7.lr.ph ], [ %add77, %loop_body7 ]
  %getitem = phi double [ %getitem.pre, %loop_body7.lr.ph ], [ %add40, %loop_body7 ]
  %sunkaddr = ptrtoint double* %v23 to i64
  %sunkaddr157 = mul i64 %v24, 8
  %sunkaddr158 = add i64 %sunkaddr, %sunkaddr157
  %sunkaddr159 = inttoptr i64 %sunkaddr158 to double*
  %getitem28 = load double* %sunkaddr159, align 8
  %scevgep154 = getelementptr double* %lsr.iv151, i64 -2
  %getitem39 = load double* %scevgep154, align 8
  %mult = fmul double %getitem28, %getitem39
  %add40 = fadd double %getitem, %mult
  store double %add40, double* %v17, align 8
  %sunkaddr160 = ptrtoint double* %v23 to i64
  %sunkaddr161 = mul i64 %v24, 8
  %sunkaddr162 = add i64 %sunkaddr160, %sunkaddr161
  %sunkaddr163 = add i64 %sunkaddr162, 8
  %sunkaddr164 = inttoptr i64 %sunkaddr163 to double*
  %getitem64 = load double* %sunkaddr164, align 8
  %scevgep153 = getelementptr double* %lsr.iv151, i64 -1
  %getitem75 = load double* %scevgep153, align 8
  %mult76 = fmul double %getitem64, %getitem75
  %add77 = fadd double %getitem53, %mult76
  %sunkaddr165 = ptrtoint double* %v17 to i64
  %sunkaddr166 = add i64 %sunkaddr165, 8
  %sunkaddr167 = inttoptr i64 %sunkaddr166 to double*
  store double %add77, double* %sunkaddr167, align 8
  %sunkaddr168 = ptrtoint double* %v23 to i64
  %sunkaddr169 = mul i64 %v24, 8
  %sunkaddr170 = add i64 %sunkaddr168, %sunkaddr169
  %sunkaddr171 = add i64 %sunkaddr170, 16
  %sunkaddr172 = inttoptr i64 %sunkaddr171 to double*
  %getitem101 = load double* %sunkaddr172, align 8
  %getitem112 = load double* %lsr.iv151, align 8
  %mult113 = fmul double %getitem101, %getitem112
  %add114 = fadd double %getitem90, %mult113

 ; (3) *****************************
  %sunkaddr173 = ptrtoint double* %v17 to i64
  %sunkaddr174 = add i64 %sunkaddr173, 16
  %sunkaddr175 = inttoptr i64 %sunkaddr174 to double*
  store double %add114, double* %sunkaddr175, align 8

  %lsr.iv.next148 = add i64 %lsr.iv147, -1
  %scevgep152 = getelementptr double* %lsr.iv151, i64 3
  %exitcond = icmp eq i64 %lsr.iv.next148, 0
  br i1 %exitcond, label %loop_exit9, label %loop_body7

loop_exit9:                                       ; preds = %loop_body7, %loop_test6.preheader
  %lsr.iv.next = add i64 %lsr.iv, -1
  %lsr.iv.next150 = add i64 %lsr.iv149, 3
  %exitcond143 = icmp eq i64 %storemerge121138, %n
  br i1 %exitcond143, label %loop_exit, label %loop_test6.preheader

loop_exit:                                        ; preds = %loop_exit9, %entry
  ret void
}