| Eric Christopher | 015dc20 | 2017-07-01 02:55:22 +0000 | [diff] [blame] | 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 |
| Prakhar Bahuguna | 52a7dd7 | 2016-12-15 07:59:08 +0000 | [diff] [blame] | 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 |
| Momchil Velikov | 842aa90 | 2017-11-13 11:56:48 +0000 | [diff] [blame] | 24 | ; CHECK-T2BASE: adds [[REG_ENTRY:r[0-9]+]], [[REG_JT]], [[REG_OFFSET]] |
| Prakhar Bahuguna | 52a7dd7 | 2016-12-15 07:59:08 +0000 | [diff] [blame] | 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 | } |