llvm/test/CodeGen/Thumb2/bti-jump-table.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc < %s -x mir -mtriple=thumbv7m-arm-none-eabi -run-pass=arm-branch-targets | FileCheck %s
   3 --- |
   4   define internal i32 @table_switch(i32 %x) {
   5   entry:
   6     switch i32 %x, label %sw.epilog [
   7       i32 1, label %return
   8       i32 2, label %bb2
   9       i32 3, label %bb3
  10       i32 4, label %bb4
  11     ]
  12
  13   bb2:
  14     br label %return
  15
  16   bb3:
  17     br label %return
  18
  19   bb4:
  20     br label %return
  21
  22   sw.epilog:
  23     br label %return
  24
  25   return:
  26     %ret = phi i32 [ 0, %sw.epilog ], [ 2, %bb2 ], [ 3, %bb3 ], [ 4, %bb4 ], [ 1, %entry ]
  27     ret i32 %ret
  28   }
  29
  30   !llvm.module.flags = !{!0}
  31   !0 = !{i32 8, !"branch-target-enforcement", i32 1}
  32
  33 ...
  34 ---
  35 name:            table_switch
  36 alignment:       4
  37 tracksRegLiveness: true
  38 liveins:
  39   - { reg: '$r0' }
  40 frameInfo:
  41   maxAlignment:    1
  42   maxCallFrameSize: 0
  43 machineFunctionInfo: {}
  44 jumpTable:
  45   kind:            inline
  46   entries:
  47     - id:              0
  48       blocks:          [ '%bb.6', '%bb.2', '%bb.3', '%bb.4' ]
  49 body:             |
  50   ; CHECK-LABEL: name: table_switch
  51   ; CHECK: bb.0.entry:
  52   ; CHECK:   successors: %bb.3(0x40000000), %bb.1(0x40000000)
  53   ; CHECK:   liveins: $r0
  54   ; CHECK:   renamable $r1, dead $cpsr = tSUBi3 killed renamable $r0, 1, 14 /* CC::al */, $noreg
  55   ; CHECK:   tCMPi8 renamable $r1, 3, 14 /* CC::al */, $noreg, implicit-def $cpsr
  56   ; CHECK:   t2Bcc %bb.3, 8 /* CC::hi */, killed $cpsr
  57   ; CHECK: bb.1.entry:
  58   ; CHECK:   successors: %bb.4(0x20000000), %bb.2(0x20000000), %bb.5(0x20000000), %bb.6(0x20000000)
  59   ; CHECK:   liveins: $r1
  60   ; CHECK:   renamable $r0, dead $cpsr = tMOVi8 1, 14 /* CC::al */, $noreg
  61   ; CHECK:   renamable $r2 = t2LEApcrelJT %jump-table.0, 14 /* CC::al */, $noreg
  62   ; CHECK:   renamable $r2 = t2ADDrs killed renamable $r2, renamable $r1, 18, 14 /* CC::al */, $noreg, $noreg
  63   ; CHECK:   t2BR_JT killed renamable $r2, killed renamable $r1, %jump-table.0
  64   ; CHECK: bb.2.bb2:
  65   ; CHECK:   renamable $r0, dead $cpsr = tMOVi8 2, 14 /* CC::al */, $noreg
  66   ; CHECK:   tBX_RET 14 /* CC::al */, $noreg, implicit $r0
  67   ; CHECK: bb.3.sw.epilog:
  68   ; CHECK:   successors: %bb.4(0x80000000)
  69   ; CHECK:   renamable $r0, dead $cpsr = tMOVi8 0, 14 /* CC::al */, $noreg
  70   ; CHECK: bb.4.return:
  71   ; CHECK:   liveins: $r0
  72   ; CHECK:   tBX_RET 14 /* CC::al */, $noreg, implicit $r0
  73   ; CHECK: bb.5.bb3:
  74   ; CHECK:   renamable $r0, dead $cpsr = tMOVi8 3, 14 /* CC::al */, $noreg
  75   ; CHECK:   tBX_RET 14 /* CC::al */, $noreg, implicit $r0
  76   ; CHECK: bb.6.bb4:
  77   ; CHECK:   renamable $r0, dead $cpsr = tMOVi8 4, 14 /* CC::al */, $noreg
  78   ; CHECK:   tBX_RET 14 /* CC::al */, $noreg, implicit $r0
  79   bb.0.entry:
  80     successors: %bb.5, %bb.1
  81     liveins: $r0
  82
  83     renamable $r1, dead $cpsr = tSUBi3 killed renamable $r0, 1, 14 /* CC::al */, $noreg
  84     tCMPi8 renamable $r1, 3, 14 /* CC::al */, $noreg, implicit-def $cpsr
  85     t2Bcc %bb.5, 8 /* CC::hi */, killed $cpsr
  86
  87   bb.1.entry:
  88     successors: %bb.6, %bb.2, %bb.3, %bb.4
  89     liveins: $r1
  90
  91     renamable $r0, dead $cpsr = tMOVi8 1, 14 /* CC::al */, $noreg
  92     renamable $r2 = t2LEApcrelJT %jump-table.0, 14 /* CC::al */, $noreg
  93     renamable $r2 = t2ADDrs killed renamable $r2, renamable $r1, 18, 14 /* CC::al */, $noreg, $noreg
  94     t2BR_JT killed renamable $r2, killed renamable $r1, %jump-table.0
  95
  96   bb.2.bb2:
  97     renamable $r0, dead $cpsr = tMOVi8 2, 14 /* CC::al */, $noreg
  98     tBX_RET 14 /* CC::al */, $noreg, implicit $r0
  99
 100   bb.5.sw.epilog:
 101     renamable $r0, dead $cpsr = tMOVi8 0, 14 /* CC::al */, $noreg
 102
 103   bb.6.return:
 104     liveins: $r0
 105
 106     tBX_RET 14 /* CC::al */, $noreg, implicit $r0
 107
 108   bb.3.bb3:
 109     renamable $r0, dead $cpsr = tMOVi8 3, 14 /* CC::al */, $noreg
 110     tBX_RET 14 /* CC::al */, $noreg, implicit $r0
 111
 112   bb.4.bb4:
 113     renamable $r0, dead $cpsr = tMOVi8 4, 14 /* CC::al */, $noreg
 114     tBX_RET 14 /* CC::al */, $noreg, implicit $r0
 115
 116 ...