test/CodeGen/ARM/analyze-branch-bkpt.ll

   1 ; RUN: llc -o - %s -mtriple thumbv4-unknown-linux-android | FileCheck --check-prefix=V4 %s
   2 ; RUN: llc -o - %s -mtriple thumbv5-unknown-linux-android | FileCheck --check-prefix=V5 %s
   3
   4 ; V4: udf #254
   5 ; V5: bkpt #0
   6
   7 define i1 @a(i32 %b) !dbg !3 {
   8   br i1 undef, label %c, label %d, !dbg !4
   9
  10 d:                                                ; preds = %0
  11   call void @llvm.debugtrap()
  12   br label %ah, !dbg !4
  13
  14 c:                                                ; preds = %0
  15   %aj = icmp ne i20 undef, 5
  16   br label %ah, !dbg !4
  17
  18 ah:                                               ; preds = %c, %d
  19   %ak = phi i1 [ false, %d ], [ %aj, %c ]
  20   call void @llvm.dbg.value(metadata i1 %ak, metadata !7, metadata !DIExpression()), !dbg !9
  21   switch i32 %b, label %al [
  22     i32 0, label %am
  23     i32 10, label %an
  24   ]
  25
  26 an:                                               ; preds = %ah
  27   %ch = select i1 %ak, i32 0, i32 5
  28   br label %am, !dbg !10
  29
  30 al:                                               ; preds = %ah
  31   br label %am, !dbg !9
  32
  33 am:                                               ; preds = %al, %an, %ah
  34   %1 = phi i32 [ 0, %al ], [ %ch, %an ], [ %b, %ah ]
  35   unreachable
  36 }
  37
  38 ; Function Attrs: nounwind readnone speculatable
  39 declare void @llvm.dbg.value(metadata, metadata, metadata) #0
  40
  41 ; Function Attrs: nounwind
  42 declare void @llvm.debugtrap() #1
  43
  44 attributes #0 = { nounwind readnone speculatable }
  45 attributes #1 = { nounwind }
  46
  47 !llvm.dbg.cu = !{!0}
  48 !llvm.module.flags = !{!2}
  49
  50 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, isOptimized: false, runtimeVersion: 0, emissionKind: NoDebug)
  51 !1 = !DIFile(filename: "a", directory: "")
  52 !2 = !{i32 2, !"Debug Info Version", i32 3}
  53 !3 = distinct !DISubprogram(scope: null, isLocal: false, isDefinition: true, isOptimized: false, unit: !0)
  54 !4 = !DILocation(line: 0, scope: !5, inlinedAt: !6)
  55 !5 = distinct !DISubprogram(scope: null, isLocal: false, isDefinition: true, isOptimized: false, unit: !0)
  56 !6 = !DILocation(line: 0, scope: !3)
  57 !7 = !DILocalVariable(scope: !8)
  58 !8 = distinct !DISubprogram(scope: null, isLocal: false, isDefinition: true, isOptimized: false, unit: !0)
  59 !9 = !DILocation(line: 0, scope: !8, inlinedAt: !6)
  60 !10 = !DILocation(line: 0, scope: !11, inlinedAt: !6)
  61 !11 = !DILexicalBlock(scope: !8)