test/CodeGen/Mips/nacl-align.ll

   1 ; RUN: llc -filetype=asm -mtriple=mipsel-none-nacl -relocation-model=static \
   2 ; RUN:     -O3 < %s | FileCheck %s
   3
   4
   5 ; This test tests that NaCl functions are bundle-aligned.
   6
   7 define void @test0() {
   8   ret void
   9
  10 ; CHECK:          .align  4
  11 ; CHECK-NOT:      .align
  12 ; CHECK-LABEL:    test0:
  13
  14 }
  15
  16
  17 ; This test tests that blocks that are jumped to through jump table are
  18 ; bundle-aligned.
  19
  20 define i32 @test1(i32 %i) {
  21 entry:
  22   switch i32 %i, label %default [
  23     i32 0, label %bb1
  24     i32 1, label %bb2
  25     i32 2, label %bb3
  26     i32 3, label %bb4
  27   ]
  28
  29 bb1:
  30   ret i32 111
  31 bb2:
  32   ret i32 222
  33 bb3:
  34   ret i32 333
  35 bb4:
  36   ret i32 444
  37 default:
  38   ret i32 555
  39
  40
  41 ; CHECK-LABEL:       test1:
  42
  43 ; CHECK:             .align  4
  44 ; CHECK-NEXT:    ${{BB[0-9]+_[0-9]+}}:
  45 ; CHECK-NEXT:        jr      $ra
  46 ; CHECK-NEXT:        addiu   $2, $zero, 111
  47 ; CHECK-NEXT:        .align  4
  48 ; CHECK-NEXT:    ${{BB[0-9]+_[0-9]+}}:
  49 ; CHECK-NEXT:        jr      $ra
  50 ; CHECK-NEXT:        addiu   $2, $zero, 222
  51 ; CHECK-NEXT:        .align  4
  52 ; CHECK-NEXT:    ${{BB[0-9]+_[0-9]+}}:
  53 ; CHECK-NEXT:        jr      $ra
  54 ; CHECK-NEXT:        addiu   $2, $zero, 333
  55 ; CHECK-NEXT:        .align  4
  56 ; CHECK-NEXT:    ${{BB[0-9]+_[0-9]+}}:
  57 ; CHECK-NEXT:        jr      $ra
  58 ; CHECK-NEXT:        addiu   $2, $zero, 444
  59
  60 }
  61
  62
  63 ; This test tests that a block whose address is taken is bundle-aligned in NaCl.
  64
  65 @bb_array = constant [2 x i8*] [i8* blockaddress(@test2, %bb1),
  66                                 i8* blockaddress(@test2, %bb2)], align 4
  67
  68 define i32 @test2(i32 %i) {
  69 entry:
  70   %elementptr = getelementptr inbounds [2 x i8*]* @bb_array, i32 0, i32 %i
  71   %0 = load i8** %elementptr, align 4
  72   indirectbr i8* %0, [label %bb1, label %bb2]
  73
  74 bb1:
  75   ret i32 111
  76 bb2:
  77   ret i32 222
  78
  79
  80 ; CHECK-LABEL:       test2:
  81
  82 ; Note that there are two consecutive labels - one temporary and one for
  83 ; basic block.
  84
  85 ; CHECK:             .align  4
  86 ; CHECK-NEXT:    ${{[a-zA-Z0-9]+}}:
  87 ; CHECK-NEXT:    ${{BB[0-9]+_[0-9]+}}:
  88 ; CHECK-NEXT:        jr      $ra
  89 ; CHECK-NEXT:        addiu   $2, $zero, 111
  90 ; CHECK-NEXT:        .align  4
  91 ; CHECK-NEXT:    ${{[a-zA-Z0-9]+}}:
  92 ; CHECK-NEXT:    ${{BB[0-9]+_[0-9]+}}:
  93 ; CHECK-NEXT:        jr      $ra
  94 ; CHECK-NEXT:        addiu   $2, $zero, 222
  95
  96 }