; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=indvars -S | FileCheck %s
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
; Function Attrs: nofree norecurse nounwind uwtable
define void @test(ptr nocapture readnone %arg, ptr noalias nocapture readnone %arg1, ptr noalias nocapture readnone %arg2, ptr noalias nocapture readonly %arg3, ptr noalias nocapture readnone %arg4) local_unnamed_addr #0 {
; CHECK-LABEL: @test
bb:
%tmp5 = load ptr, ptr %arg3, align 8, !invariant.load !0, !dereferenceable !1, !align !2
%tmp6 = getelementptr inbounds ptr, ptr %arg3, i64 3
%tmp7 = load ptr, ptr %tmp6, align 8, !invariant.load !0, !dereferenceable !3, !align !2
br label %bb9
bb9: ; preds = %bb33, %bb
%tmp10 = phi i64 [ 0, %bb ], [ %tmp34, %bb33 ]
%tmp11 = sub nsw i64 9, %tmp10
br label %bb12
bb12: ; preds = %bb30, %bb9
%tmp13 = phi i64 [ 0, %bb9 ], [ %tmp31, %bb30 ]
%tmp14 = sub nsw i64 4, %tmp13
br label %bb15
bb15: ; preds = %bb27, %bb12
%tmp16 = phi i64 [ 0, %bb12 ], [ %tmp28, %bb27 ]
%tmp17 = mul i64 %tmp16, -2
%tmp18 = add i64 %tmp17, 2
br label %bb19
bb19: ; preds = %bb19, %bb15
%tmp20 = phi i64 [ 0, %bb15 ], [ %tmp25, %bb19 ]
%tmp21 = add nuw nsw i64 %tmp18, %tmp20
%tmp22 = getelementptr inbounds [1 x [4 x [10 x [5 x float]]]], ptr %tmp5, i64 0, i64 0, i64 %tmp21, i64 %tmp11, i64 %tmp14
%tmp23 = load float, ptr %tmp22, align 4, !invariant.load !0, !noalias !4
%tmp24 = getelementptr inbounds [10 x [5 x [2 x [1 x [2 x float]]]]], ptr %tmp7, i64 0, i64 %tmp10, i64 %tmp13, i64 %tmp16, i64 0, i64 %tmp20
store float %tmp23, ptr %tmp24, align 4, !alias.scope !4, !noalias !7
%tmp25 = add nuw nsw i64 %tmp20, 1
%tmp26 = icmp eq i64 %tmp20, 0
br i1 %tmp26, label %bb19, label %bb27
bb27: ; preds = %bb19
%tmp28 = add nuw nsw i64 %tmp16, 1
%tmp29 = icmp eq i64 %tmp16, 0
br i1 %tmp29, label %bb15, label %bb30
bb30: ; preds = %bb27
%tmp31 = add nuw nsw i64 %tmp13, 1
%tmp32 = icmp ugt i64 %tmp13, 3
br i1 %tmp32, label %bb33, label %bb12
bb33: ; preds = %bb30
%tmp34 = add nuw nsw i64 %tmp10, 1
%tmp35 = icmp ugt i64 %tmp10, 8
br i1 %tmp35, label %bb36, label %bb9
bb36: ; preds = %bb33
%tmp37 = getelementptr inbounds ptr, ptr %arg3, i64 1
%tmp39 = load ptr, ptr %tmp37, align 8, !invariant.load !0, !dereferenceable !10, !align !2
%tmp40 = getelementptr inbounds i8, ptr %tmp7, i64 800
br label %bb42
bb42: ; preds = %bb63, %bb36
%tmp43 = phi i64 [ 0, %bb36 ], [ %tmp64, %bb63 ]
br label %bb44
bb44: ; preds = %bb60, %bb42
%tmp45 = phi i64 [ 0, %bb42 ], [ %tmp61, %bb60 ]
br label %bb46
bb46: ; preds = %bb57, %bb44
%tmp47 = phi i64 [ 0, %bb44 ], [ %tmp58, %bb57 ]
br label %bb48
bb48: ; preds = %bb48, %bb46
%tmp49 = phi i64 [ 0, %bb46 ], [ %tmp55, %bb48 ]
%tmp50 = shl nuw nsw i64 %tmp49, 1
%tmp51 = add nuw nsw i64 %tmp50, %tmp43
%tmp52 = getelementptr inbounds [1 x [4 x [6 x [7 x float]]]], ptr %tmp39, i64 0, i64 0, i64 %tmp51, i64 %tmp45, i64 %tmp47
%tmp53 = load float, ptr %tmp52, align 4, !invariant.load !0, !noalias !11
%tmp54 = getelementptr inbounds [2 x [6 x [7 x [2 x [1 x float]]]]], ptr %tmp40, i64 0, i64 %tmp43, i64 %tmp45, i64 %tmp47, i64 %tmp49, i64 0
store float %tmp53, ptr %tmp54, align 4, !alias.scope !11, !noalias !12
%tmp55 = add nuw nsw i64 %tmp49, 1
%tmp56 = icmp eq i64 %tmp49, 0
br i1 %tmp56, label %bb48, label %bb57
bb57: ; preds = %bb48
%tmp58 = add nuw nsw i64 %tmp47, 1
%tmp59 = icmp ugt i64 %tmp47, 5
br i1 %tmp59, label %bb60, label %bb46
bb60: ; preds = %bb57
%tmp61 = add nuw nsw i64 %tmp45, 1
%tmp62 = icmp ugt i64 %tmp45, 4
br i1 %tmp62, label %bb63, label %bb44
bb63: ; preds = %bb60
%tmp64 = add nuw nsw i64 %tmp43, 1
%tmp65 = icmp eq i64 %tmp43, 0
br i1 %tmp65, label %bb42, label %bb66
bb66: ; preds = %bb63
%tmp67 = getelementptr inbounds i8, ptr %tmp7, i64 1472
br label %bb69
bb69: ; preds = %bb140, %bb66
%tmp70 = phi i64 [ 0, %bb66 ], [ %tmp141, %bb140 ]
br label %bb71
bb71: ; preds = %bb137, %bb69
%tmp72 = phi i64 [ 0, %bb69 ], [ %tmp138, %bb137 ]
%tmp73 = shl nuw nsw i64 %tmp72, 1
%tmp74 = add nsw i64 %tmp73, -2
br label %bb75
bb75: ; preds = %bb134, %bb71
%tmp76 = phi i64 [ 0, %bb71 ], [ %tmp135, %bb134 ]
%tmp77 = add nsw i64 %tmp76, -1
br label %bb78
bb78: ; preds = %bb129, %bb75
%tmp79 = phi i64 [ 0, %bb75 ], [ %tmp132, %bb129 ]
br label %bb80
bb80: ; preds = %bb125, %bb78
%tmp81 = phi float [ 0.000000e+00, %bb78 ], [ %tmp126, %bb125 ]
%tmp82 = phi i64 [ 0, %bb78 ], [ %tmp127, %bb125 ]
%tmp83 = shl nuw nsw i64 %tmp82, 1
%tmp84 = add nsw i64 %tmp83, -1
%tmp85 = icmp ult i64 %tmp84, 10
%tmp86 = sub nsw i64 5, %tmp82
br i1 %tmp85, label %bb88, label %bb87
bb87: ; preds = %bb80
br label %bb124
bb88: ; preds = %bb80
br label %bb89
bb89: ; preds = %bb100, %bb88
%tmp90 = phi float [ %tmp101, %bb100 ], [ %tmp81, %bb88 ]
%tmp91 = phi i64 [ %tmp102, %bb100 ], [ 0, %bb88 ]
%tmp92 = add i64 %tmp74, %tmp91
%tmp93 = icmp ult i64 %tmp92, 5
%tmp94 = sub nsw i64 6, %tmp91
br i1 %tmp93, label %bb96, label %bb95
bb95: ; preds = %bb89
br label %bb99
bb96: ; preds = %bb89
br label %bb104
bb97: ; preds = %bb110
%tmp98 = phi float [ %tmp111, %bb110 ]
br label %bb100
bb99: ; preds = %bb95
br label %bb100
bb100: ; preds = %bb99, %bb97
%tmp101 = phi float [ %tmp98, %bb97 ], [ %tmp90, %bb99 ]
%tmp102 = add nuw nsw i64 %tmp91, 1
%tmp103 = icmp ugt i64 %tmp91, 5
br i1 %tmp103, label %bb122, label %bb89
bb104: ; preds = %bb110, %bb96
%tmp105 = phi float [ %tmp111, %bb110 ], [ %tmp90, %bb96 ]
%tmp106 = phi i64 [ %tmp112, %bb110 ], [ 0, %bb96 ]
%tmp107 = shl nuw nsw i64 %tmp106, 1
; CHECK-NOT: %bugged = add nuw nsw
; CHECK: %bugged = add nsw
%bugged = add i64 %tmp77, %tmp107
%tmp109 = icmp ult i64 %bugged, 2
br i1 %tmp109, label %bb114, label %bb110
bb110: ; preds = %bb114, %bb104
%tmp111 = phi float [ %tmp121, %bb114 ], [ %tmp105, %bb104 ]
%tmp112 = add nuw nsw i64 %tmp106, 1
%tmp113 = icmp eq i64 %tmp106, 0
br i1 %tmp113, label %bb104, label %bb97
bb114: ; preds = %bb104
%tmp115 = sub nsw i64 1, %tmp106
%tmp116 = getelementptr inbounds [2 x [6 x [7 x [2 x [1 x float]]]]], ptr %tmp40, i64 0, i64 %tmp70, i64 %tmp86, i64 %tmp94, i64 %tmp115, i64 0
%tmp117 = getelementptr inbounds [10 x [5 x [2 x [1 x [2 x float]]]]], ptr %tmp7, i64 0, i64 %tmp84, i64 %tmp92, i64 %bugged, i64 0, i64 %tmp79
%tmp118 = load float, ptr %tmp117, align 4, !alias.scope !4, !noalias !7
%tmp119 = load float, ptr %tmp116, align 4, !alias.scope !11, !noalias !12
%tmp120 = fmul reassoc nsz contract float %tmp118, %tmp119
%tmp121 = fadd reassoc nsz contract float %tmp105, %tmp120
br label %bb110
bb122: ; preds = %bb100
%tmp123 = phi float [ %tmp101, %bb100 ]
br label %bb125
bb124: ; preds = %bb87
br label %bb125
bb125: ; preds = %bb124, %bb122
%tmp126 = phi float [ %tmp123, %bb122 ], [ %tmp81, %bb124 ]
%tmp127 = add nuw nsw i64 %tmp82, 1
%tmp128 = icmp ugt i64 %tmp82, 4
br i1 %tmp128, label %bb129, label %bb80
bb129: ; preds = %bb125
%tmp130 = phi float [ %tmp126, %bb125 ]
%tmp131 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 %tmp70, i64 0, i64 %tmp72, i64 %tmp76, i64 %tmp79
store float %tmp130, ptr %tmp131, align 4, !alias.scope !13, !noalias !14
%tmp132 = add nuw nsw i64 %tmp79, 1
%tmp133 = icmp eq i64 %tmp79, 0
br i1 %tmp133, label %bb78, label %bb134
bb134: ; preds = %bb129
%tmp135 = add nuw nsw i64 %tmp76, 1
%tmp136 = icmp eq i64 %tmp76, 0
br i1 %tmp136, label %bb75, label %bb137
bb137: ; preds = %bb134
%tmp138 = add nuw nsw i64 %tmp72, 1
%tmp139 = icmp eq i64 %tmp72, 0
br i1 %tmp139, label %bb71, label %bb140
bb140: ; preds = %bb137
%tmp141 = add nuw nsw i64 %tmp70, 1
%tmp142 = icmp eq i64 %tmp70, 0
br i1 %tmp142, label %bb69, label %bb143
bb143: ; preds = %bb140
%tmp144 = getelementptr inbounds ptr, ptr %arg3, i64 2
%tmp146 = load ptr, ptr %tmp144, align 8, !invariant.load !0, !dereferenceable !16, !align !2
br label %bb147
bb147: ; preds = %bb143
br label %bb148
bb148: ; preds = %bb147
br label %bb149
bb149: ; preds = %bb148
%tmp151 = load float, ptr %tmp67, align 4, !alias.scope !13, !noalias !14
store float %tmp151, ptr %tmp146, align 4, !alias.scope !17, !noalias !13
%tmp153 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 0, i64 0, i64 1, i64 0, i64 0
%tmp154 = load float, ptr %tmp153, align 4, !alias.scope !13, !noalias !14
%tmp155 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 0, i64 0, i64 0, i64 1
store float %tmp154, ptr %tmp155, align 4, !alias.scope !17, !noalias !13
br label %bb156
bb156: ; preds = %bb149
%tmp157 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 0, i64 0, i64 0
%tmp158 = load float, ptr %tmp157, align 4, !alias.scope !13, !noalias !14
%tmp159 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 0, i64 1, i64 0, i64 0
store float %tmp158, ptr %tmp159, align 4, !alias.scope !17, !noalias !13
%tmp160 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 1, i64 0, i64 0
%tmp161 = load float, ptr %tmp160, align 4, !alias.scope !13, !noalias !14
%tmp162 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 0, i64 1, i64 0, i64 1
store float %tmp161, ptr %tmp162, align 4, !alias.scope !17, !noalias !13
br label %bb163
bb163: ; preds = %bb156
br label %bb164
bb164: ; preds = %bb163
%tmp165 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 0, i64 0, i64 0, i64 0, i64 1
%tmp166 = load float, ptr %tmp165, align 4, !alias.scope !13, !noalias !14
%tmp167 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 1, i64 0, i64 0, i64 0
store float %tmp166, ptr %tmp167, align 4, !alias.scope !17, !noalias !13
%tmp168 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 0, i64 0, i64 1, i64 0, i64 1
%tmp169 = load float, ptr %tmp168, align 4, !alias.scope !13, !noalias !14
%tmp170 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 1, i64 0, i64 0, i64 1
store float %tmp169, ptr %tmp170, align 4, !alias.scope !17, !noalias !13
br label %bb171
bb171: ; preds = %bb164
%tmp172 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 0, i64 0, i64 1
%tmp173 = load float, ptr %tmp172, align 4, !alias.scope !13, !noalias !14
%tmp174 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 1, i64 1, i64 0, i64 0
store float %tmp173, ptr %tmp174, align 4, !alias.scope !17, !noalias !13
%tmp175 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 1, i64 0, i64 1
%tmp176 = load float, ptr %tmp175, align 4, !alias.scope !13, !noalias !14
%tmp177 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 1, i64 1, i64 0, i64 1
store float %tmp176, ptr %tmp177, align 4, !alias.scope !17, !noalias !13
br label %bb178
bb178: ; preds = %bb171
br label %bb179
bb179: ; preds = %bb178
%tmp180 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 0, i64 0, i64 0, i64 1, i64 0
%tmp181 = load float, ptr %tmp180, align 4, !alias.scope !13, !noalias !14
%tmp182 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 2, i64 0, i64 0, i64 0
store float %tmp181, ptr %tmp182, align 4, !alias.scope !17, !noalias !13
%tmp183 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 0, i64 0, i64 1, i64 1, i64 0
%tmp184 = load float, ptr %tmp183, align 4, !alias.scope !13, !noalias !14
%tmp185 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 2, i64 0, i64 0, i64 1
store float %tmp184, ptr %tmp185, align 4, !alias.scope !17, !noalias !13
br label %bb186
bb186: ; preds = %bb179
%tmp187 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 0, i64 1, i64 0
%tmp188 = load float, ptr %tmp187, align 4, !alias.scope !13, !noalias !14
%tmp189 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 2, i64 1, i64 0, i64 0
store float %tmp188, ptr %tmp189, align 4, !alias.scope !17, !noalias !13
%tmp190 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 1, i64 1, i64 0
%tmp191 = load float, ptr %tmp190, align 4, !alias.scope !13, !noalias !14
%tmp192 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 2, i64 1, i64 0, i64 1
store float %tmp191, ptr %tmp192, align 4, !alias.scope !17, !noalias !13
br label %bb193
bb193: ; preds = %bb186
br label %bb194
bb194: ; preds = %bb193
%tmp195 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 0, i64 0, i64 0, i64 1, i64 1
%tmp196 = load float, ptr %tmp195, align 4, !alias.scope !13, !noalias !14
%tmp197 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 3, i64 0, i64 0, i64 0
store float %tmp196, ptr %tmp197, align 4, !alias.scope !17, !noalias !13
%tmp198 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 0, i64 0, i64 1, i64 1, i64 1
%tmp199 = load float, ptr %tmp198, align 4, !alias.scope !13, !noalias !14
%tmp200 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 3, i64 0, i64 0, i64 1
store float %tmp199, ptr %tmp200, align 4, !alias.scope !17, !noalias !13
br label %bb201
bb201: ; preds = %bb194
%tmp202 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 0, i64 1, i64 1
%tmp203 = load float, ptr %tmp202, align 4, !alias.scope !13, !noalias !14
%tmp204 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 3, i64 1, i64 0, i64 0
store float %tmp203, ptr %tmp204, align 4, !alias.scope !17, !noalias !13
%tmp205 = getelementptr inbounds [2 x [1 x [2 x [2 x [2 x float]]]]], ptr %tmp67, i64 0, i64 1, i64 0, i64 1, i64 1, i64 1
%tmp206 = load float, ptr %tmp205, align 4, !alias.scope !13, !noalias !14
%tmp207 = getelementptr inbounds [4 x [2 x [1 x [2 x float]]]], ptr %tmp146, i64 0, i64 3, i64 1, i64 0, i64 1
store float %tmp206, ptr %tmp207, align 4, !alias.scope !17, !noalias !13
ret void
}
attributes #0 = { nofree norecurse nounwind uwtable "denormal-fp-math"="preserve-sign" "no-frame-pointer-elim"="false" }
!0 = !{}
!1 = !{i64 800}
!2 = !{i64 16}
!3 = !{i64 1536}
!4 = !{!5}
!5 = !{!"buffer: {index:3, offset:0, size:800}", !6}
!6 = !{!"XLA global AA domain"}
!7 = !{!8, !9}
!8 = !{!"buffer: {index:3, offset:800, size:672}", !6}
!9 = !{!"buffer: {index:3, offset:1472, size:64}", !6}
!10 = !{i64 672}
!11 = !{!8}
!12 = !{!5, !9}
!13 = !{!9}
!14 = !{!15, !5, !8}
!15 = !{!"buffer: {index:2, offset:0, size:64}", !6}
!16 = !{i64 64}
!17 = !{!15}
Codebase Browser
llvm