llvm/test/CodeGen/PowerPC/unreachable-mbb-jtreference-elimination.ll

   1 ; RUN: llc -O2 --verify-machineinstrs -stop-before=livevars \
   2 ; RUN:   -mtriple=powerpc64le-unknown-unknown < %s | FileCheck %s
   3
   4 define dso_local void @foo() #0 {
   5 ; CHECK-LABEL: fixedStack:
   6 ; CHECK-NEXT:  stack: []
   7 ; CHECK-NEXT:  callSites: []
   8 ; CHECK-NEXT:  debugValueSubstitutions: []
   9 ; CHECK-NEXT:  constants: []
  10 ; CHECK-NEXT:  machineFunctionInfo: {}
  11 ; CHECK-NEXT:  jumpTable:
  12 ; CHECK-NEXT:    kind:            label-difference32
  13 ; CHECK-NEXT:    entries:
  14 ; CHECK-NEXT:      - id:              0
  15 ; CHECK-NEXT:        blocks:          [  ]
  16 ; CHECK-NEXT:  body:             |
  17 ; CHECK-NEXT:    bb.0.entry:
  18 ; CHECK-NEXT:      successors: %bb.1(0x80000000)
  19 ; CHECK:           B %bb.1
  20 ; CHECK:         bb.1.next11:
  21 ; CHECK-NEXT:      successors: %bb.2(0x80000000)
  22 ; CHECK:           B %bb.2
  23 ; CHECK:         bb.2.if.end139:
  24 entry:
  25   br label %next11
  26 next11:                                           ; preds = %entry
  27   br i1 false, label %if.then12, label %if.end139
  28 if.then12:                                        ; preds = %next11
  29   br label %for.cond14
  30 for.cond14:                                       ; preds = %if.then12
  31   switch i32 undef, label %sw.epilog [
  32     i32 1, label %sw.bb
  33     i32 4, label %sw.bb
  34     i32 6, label %sw.bb
  35     i32 7, label %sw.bb
  36     i32 9, label %sw.bb
  37     i32 12, label %sw.bb
  38     i32 15, label %sw.bb
  39     i32 16, label %sw.bb
  40     i32 24, label %sw.bb
  41     i32 0, label %sw.bb26
  42     i32 2, label %sw.bb26
  43     i32 3, label %sw.bb26
  44     i32 8, label %sw.bb26
  45     i32 10, label %sw.bb26
  46     i32 11, label %sw.bb26
  47     i32 13, label %sw.bb26
  48     i32 17, label %sw.bb26
  49     i32 18, label %sw.bb26
  50     i32 20, label %sw.bb26
  51     i32 19, label %sw.bb26
  52     i32 21, label %sw.bb26
  53     i32 22, label %sw.bb26
  54     i32 23, label %sw.bb26
  55     i32 25, label %sw.bb26
  56     i32 27, label %sw.bb26
  57     i32 28, label %sw.bb26
  58     i32 26, label %sw.bb37
  59     i32 29, label %sw.bb37
  60     i32 30, label %sw.bb53
  61   ]
  62
  63 sw.bb:                                            ; preds = %for.cond14
  64   unreachable
  65 sw.bb26:                                          ; preds = %for.cond14
  66   unreachable
  67 sw.bb37:                                          ; preds = %for.cond14
  68   unreachable
  69 sw.bb53:                                          ; preds = %for.cond14
  70   unreachable
  71 sw.epilog:                                        ; preds = %for.cond14
  72   unreachable
  73 if.end139:                                        ; preds = %next11
  74   unreachable
  75 }
  76 attributes #0 = { noinline optnone }