45 lines · plain
1; RUN: opt -disable-basic-aa -passes=loop-rotate -verify-memoryssa -S %s | FileCheck %s2; REQUIRES: asserts3 4; CHECK-LABEL: @f_w4_i25define void @f_w4_i2(i1 %arg) {6entry:7 br label %for.cond8 9for.cond: ; preds = %for.body, %entry10 %i.0 = phi i16 [ 0, %entry ], [ %inc, %for.body ]11 call void @llvm.dbg.value(metadata i16 %i.0, metadata !32, metadata !DIExpression()), !dbg !3112 br i1 %arg, label %for.body, label %for.cond.cleanup13 14for.cond.cleanup: ; preds = %for.cond15 ret void16 17for.body: ; preds = %for.cond18 store i32 undef, ptr undef, align 119 %inc = add i16 %i.0, 120 call void @llvm.dbg.value(metadata i16 %inc, metadata !32, metadata !DIExpression()), !dbg !3121 br label %for.cond22}23 24; Function Attrs: nounwind readnone speculatable willreturn25declare void @llvm.dbg.value(metadata, metadata, metadata) #126 27attributes #1 = { nounwind readnone speculatable willreturn }28 29!llvm.dbg.cu = !{!0}30!llvm.module.flags = !{!14}31 32!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 10.0.0s", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !3, nameTableKind: None)33!1 = !DIFile(filename: "vec.c", directory: "test")34!2 = !{}35!3 = !{!4}36!4 = !DIBasicType(name: "int", size: 16, encoding: DW_ATE_signed)37!14 = !{i32 2, !"Debug Info Version", i32 3}38!15 = distinct !DISubprogram(name: "f_w4_i2", scope: !1, file: !1, line: 36, type: !16, scopeLine: 38, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !23)39!16 = !DISubroutineType(types: !17)40!17 = !{null}41!23 = !{}42!30 = distinct !DILexicalBlock(scope: !15, file: !1, line: 43, column: 5)43!31 = !DILocation(line: 0, scope: !30)44!32 = !DILocalVariable(name: "i", scope: !30, file: !1, line: 43, type: !4)45