llvm/test/CodeGen/X86/align-basic-block-sections.mir

   1 # Check if the alignment directive is put on the correct place when the basic block section option is used.
   2 # RUN: llc -mtriple x86_64-unknown-linux-gnu -start-after=bbsections-prepare  %s -o - | FileCheck %s -check-prefix=CHECK
   3
   4 # How to generate the input:
   5 # foo.c
   6 # int test(int a) {
   7 #   switch (a) {
   8 #     default:
   9 #       return 10;
  10 #     case 1:
  11 #       a += 1;
  12 #     case 2:
  13 #       a *= -1;
  14 #     case 8:
  15 #       break;
  16 #   }
  17 #   return a;
  18 # }
  19 #
  20 # clang -O0 -S -emit-llvm test.c
  21 # llc < test.ll -stop-after=bbsections-prepare -align-all-nofallthru-blocks=8 -basic-block-sections=all
  22
  23
  24 --- |
  25   define i32 @test(i32 noundef %a) {
  26   entry:
  27     switch i32 %a, label %return [
  28       i32 1, label %sw.bb1
  29       i32 2, label %sw.bb1
  30       i32 8, label %sw.epilog
  31     ]
  32
  33   sw.bb1:                                           ; preds = %entry, %entry
  34     br label %sw.epilog
  35
  36   sw.epilog:                                        ; preds = %sw.bb1, %entry
  37     %a.addr.1 = phi i32 [ %a, %entry ], [ -2, %sw.bb1 ]
  38     br label %return
  39
  40   return:                                           ; preds = %sw.epilog, %entry
  41     %retval.0 = phi i32 [ %a.addr.1, %sw.epilog ], [ 10, %entry ]
  42     ret i32 %retval.0
  43   }
  44
  45
  46 ...
  47 ---
  48 name:            test
  49 alignment:       16
  50 exposesReturnsTwice: false
  51 legalized:       false
  52 regBankSelected: false
  53 selected:        false
  54 failedISel:      false
  55 tracksRegLiveness: true
  56 hasWinCFI:       false
  57 callsEHReturn:   false
  58 callsUnwindInit: false
  59 hasEHCatchret:   false
  60 hasEHScopes:     false
  61 hasEHFunclets:   false
  62 failsVerification: false
  63 tracksDebugUserValues: true
  64 registers:       []
  65 liveins:
  66   - { reg: '$edi', virtual-reg: '' }
  67 frameInfo:
  68   isFrameAddressTaken: false
  69   isReturnAddressTaken: false
  70   hasStackMap:     false
  71   hasPatchPoint:   false
  72   stackSize:       0
  73   offsetAdjustment: 0
  74   maxAlignment:    1
  75   adjustsStack:    false
  76   hasCalls:        false
  77   stackProtector:  ''
  78   functionContext: ''
  79   maxCallFrameSize: 0
  80   cvBytesOfCalleeSavedRegisters: 0
  81   hasOpaqueSPAdjustment: false
  82   hasVAStart:      false
  83   hasMustTailInVarArgFunc: false
  84   hasTailCall:     false
  85   localFrameSize:  0
  86   savePoint:       ''
  87   restorePoint:    ''
  88 fixedStack:      []
  89 stack:           []
  90 callSites:       []
  91 debugValueSubstitutions: []
  92 constants:       []
  93 machineFunctionInfo: {}
  94 body:             |
  95   bb.0.entry:
  96     successors: %bb.1(0x40000000), %bb.2(0x40000000)
  97     liveins: $edi
  98
  99     renamable $edi = KILL $edi, implicit-def $rdi
 100     renamable $eax = LEA64_32r renamable $rdi, 1, $noreg, -1, $noreg
 101     CMP32ri8 killed renamable $eax, 2, implicit-def $eflags
 102     JCC_1 %bb.2, 3, implicit $eflags
 103     JMP_1 %bb.1
 104
 105   bb.1.sw.bb1 (bbsections 1):
 106     successors: %bb.3(0x80000000)
 107
 108     renamable $edi = MOV32ri -2, implicit-def $rdi
 109     JMP_1 %bb.3
 110
 111   bb.2.entry (align 256, bbsections 2):
 112     successors: %bb.3(0x40000000), %bb.4(0x40000000)
 113     liveins: $rdi
 114
 115     renamable $eax = MOV32ri 10
 116     CMP32ri8 renamable $edi, 8, implicit-def $eflags
 117     JCC_1 %bb.4, 5, implicit $eflags
 118     JMP_1 %bb.3
 119
 120   bb.3.sw.epilog (bbsections 3):
 121     successors: %bb.4(0x80000000)
 122     liveins: $rdi
 123
 124     $eax = MOV32rr $edi, implicit killed $rdi
 125     JMP_1 %bb.4
 126
 127   bb.4.return (bbsections 4):
 128     liveins: $eax
 129
 130     RET64 $eax
 131
 132 ...
 133
 134 # CHECK: .section       .text.test,"ax",@progbits,unique,2
 135 # CHECK-NEXT: .p2align  8, 0x90
 136 # CHECK-NEXT: test.__part.2: # %entry