test/CodeGen/ARM/execute-only.ll

   1 ; RUN: llc -mtriple=thumbv8m.base-eabi -mattr=+execute-only %s -o - | FileCheck --check-prefix=CHECK --check-prefix=CHECK-T2BASE %s
   2 ; RUN: llc -mtriple=thumbv7m-eabi      -mattr=+execute-only %s -o - | FileCheck --check-prefix=CHECK --check-prefix=CHECK-T2 %s
   3 ; RUN: llc -mtriple=thumbv8m.main-eabi -mattr=+execute-only %s -o - | FileCheck --check-prefix=CHECK --check-prefix=CHECK-T2 %s
   4
   5 @var = global i32 0
   6
   7 define i32 @global() minsize {
   8 ; CHECK-LABEL: global:
   9 ; CHECK: movw [[GLOBDEST:r[0-9]+]], :lower16:var
  10 ; CHECK: movt [[GLOBDEST]], :upper16:var
  11
  12   %val = load i32, i32* @var
  13   ret i32 %val
  14 }
  15
  16 define i32 @jump_table(i32 %c, i32 %a, i32 %b) #0 {
  17 ; CHECK-LABEL: jump_table:
  18 ; CHECK-T2: adr.w   [[REG_JT:r[0-9]+]], .LJTI1_0
  19 ; CHECK-T2: add.w   [[REG_ENTRY:r[0-9]+]], [[REG_JT]], {{r[0-9]+}}, lsl #2
  20 ; CHECK-T2: mov     pc, [[REG_ENTRY]]
  21
  22 ; CHECK-T2BASE: lsls    [[REG_OFFSET:r[0-9]+]], {{r[0-9]+}}, #2
  23 ; CHECK-T2BASE: adr     [[REG_JT:r[0-9]+]], .LJTI1_0
  24 ; CHECK-T2BASE: adds    [[REG_ENTRY:r[0-9]+]], [[REG_JT]], [[REG_OFFSET]]
  25 ; CHECK-T2BASE: mov     pc, [[REG_ENTRY]]
  26
  27 ; CHECK-LABEL: .LJTI1_0:
  28 ; CHECK-NEXT: b.w
  29 ; CHECK-NEXT: b.w
  30 ; CHECK-NEXT: b.w
  31 ; CHECK-NEXT: b.w
  32 ; CHECK-NEXT: b.w
  33 ; CHECK-NEXT: b.w
  34
  35 entry:
  36   switch i32 %c, label %return [
  37     i32 1, label %sw.bb
  38     i32 2, label %sw.bb1
  39     i32 3, label %sw.bb3
  40     i32 4, label %sw.bb4
  41     i32 5, label %sw.bb6
  42     i32 6, label %sw.bb8
  43   ]
  44
  45 sw.bb:                                            ; preds = %entry
  46   %add = add nsw i32 %a, 6
  47   br label %return
  48
  49 sw.bb1:                                           ; preds = %entry
  50   %add2 = add nsw i32 %a, 4
  51   br label %return
  52
  53 sw.bb3:                                           ; preds = %entry
  54   %sub = add nsw i32 %a, -3
  55   br label %return
  56
  57 sw.bb4:                                           ; preds = %entry
  58   %add5 = add nsw i32 %b, 5
  59   br label %return
  60
  61 sw.bb6:                                           ; preds = %entry
  62   %add7 = add nsw i32 %a, 1
  63   br label %return
  64
  65 sw.bb8:                                           ; preds = %entry
  66   %add9 = add nsw i32 %a, 2
  67   br label %return
  68
  69 return:                                           ; preds = %entry, %sw.bb8, %sw.bb6, %sw.bb4, %sw.bb3, %sw.bb1, %sw.bb
  70   %retval.0 = phi i32 [ %add9, %sw.bb8 ], [ %add7, %sw.bb6 ], [ %add5, %sw.bb4 ], [ %sub, %sw.bb3 ], [ %add2, %sw.bb1 ], [ %add, %sw.bb ], [ 0, %entry ]
  71   ret i32 %retval.0
  72 }
  73
  74 @.str = private unnamed_addr constant [4 x i8] c"FOO\00", align 1
  75
  76 define hidden i8* @string_literal() {
  77 entry:
  78 ; CHECK-LABEL: string_literal:
  79 ; CHECK-NOT: .asciz
  80 ; CHECK: .fnend
  81     ret i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0)
  82 }