Home | History | Annotate | Download | only in ARM
      1 ; RUN: llc < %s -O0 -fast-isel-abort -mtriple=armv7-apple-darwin | FileCheck %s --check-prefix=ARM
      2 ; RUN: llc < %s -O0 -fast-isel-abort -mtriple=thumbv7-apple-darwin | FileCheck %s --check-prefix=THUMB
      3 
      4 ; Very basic fast-isel functionality.
      5 define i32 @add(i32 %a, i32 %b) nounwind {
      6 entry:
      7   %a.addr = alloca i32, align 4
      8   %b.addr = alloca i32, align 4
      9   store i32 %a, i32* %a.addr
     10   store i32 %b, i32* %b.addr
     11   %tmp = load i32* %a.addr
     12   %tmp1 = load i32* %b.addr
     13   %add = add nsw i32 %tmp, %tmp1
     14   ret i32 %add
     15 }
     16 
     17 ; Check truncate to bool
     18 define void @test1(i32 %tmp) nounwind {
     19 entry:
     20 %tobool = trunc i32 %tmp to i1
     21 br i1 %tobool, label %if.then, label %if.end
     22 
     23 if.then:                                          ; preds = %entry
     24 call void @test1(i32 0)
     25 br label %if.end
     26 
     27 if.end:                                           ; preds = %if.then, %entry
     28 ret void
     29 ; ARM: test1:
     30 ; ARM: tst r0, #1
     31 ; THUMB: test1:
     32 ; THUMB: tst.w r0, #1
     33 }
     34 
     35 ; Check some simple operations with immediates
     36 define void @test2(i32 %tmp, i32* %ptr) nounwind {
     37 ; THUMB: test2:
     38 ; ARM: test2:
     39 
     40 b1:
     41   %a = add i32 %tmp, 4096
     42   store i32 %a, i32* %ptr
     43   br label %b2
     44 
     45 ; THUMB: add.w {{.*}} #4096
     46 ; ARM: add {{.*}} #4096
     47 
     48 b2:
     49   %b = add i32 %tmp, 4095
     50   store i32 %b, i32* %ptr
     51   br label %b3
     52 ; THUMB: addw {{.*}} #4095
     53 ; ARM: movw {{.*}} #4095
     54 ; ARM: add
     55 
     56 b3:
     57   %c = or i32 %tmp, 4
     58   store i32 %c, i32* %ptr
     59   ret void
     60 
     61 ; THUMB: orr {{.*}} #4
     62 ; ARM: orr {{.*}} #4
     63 }
     64 
     65 define void @test3(i32 %tmp, i32* %ptr1, i16* %ptr2, i8* %ptr3) nounwind {
     66 ; THUMB: test3:
     67 ; ARM: test3:
     68 
     69 bb1:
     70   %a1 = trunc i32 %tmp to i16
     71   %a2 = trunc i16 %a1 to i8
     72   %a3 = trunc i8 %a2 to i1
     73   %a4 = zext i1 %a3 to i8
     74   store i8 %a4, i8* %ptr3
     75   %a5 = zext i8 %a4 to i16
     76   store i16 %a5, i16* %ptr2
     77   %a6 = zext i16 %a5 to i32
     78   store i32 %a6, i32* %ptr1
     79   br label %bb2
     80 
     81 ; THUMB: and
     82 ; THUMB: strb
     83 ; THUMB: uxtb
     84 ; THUMB: strh
     85 ; THUMB: uxth
     86 ; ARM: and
     87 ; ARM: strb
     88 ; ARM: uxtb
     89 ; ARM: strh
     90 ; ARM: uxth
     91 
     92 bb2:
     93   %b1 = trunc i32 %tmp to i16
     94   %b2 = trunc i16 %b1 to i8
     95   store i8 %b2, i8* %ptr3
     96   %b3 = sext i8 %b2 to i16
     97   store i16 %b3, i16* %ptr2
     98   %b4 = sext i16 %b3 to i32
     99   store i32 %b4, i32* %ptr1
    100   br label %bb3
    101 
    102 ; THUMB: strb
    103 ; THUMB: sxtb
    104 ; THUMB: strh
    105 ; THUMB: sxth
    106 ; ARM: strb
    107 ; ARM: sxtb
    108 ; ARM: strh
    109 ; ARM: sxth
    110 
    111 bb3:
    112   %c1 = load i8* %ptr3
    113   %c2 = load i16* %ptr2
    114   %c3 = load i32* %ptr1
    115   %c4 = zext i8 %c1 to i32
    116   %c5 = sext i16 %c2 to i32
    117   %c6 = add i32 %c4, %c5
    118   %c7 = sub i32 %c3, %c6
    119   store i32 %c7, i32* %ptr1
    120   ret void
    121 
    122 ; THUMB: ldrb
    123 ; THUMB: ldrh
    124 ; THUMB: uxtb
    125 ; THUMB: sxth
    126 ; THUMB: add
    127 ; THUMB: sub
    128 ; ARM: ldrb
    129 ; ARM: ldrh
    130 ; ARM: uxtb
    131 ; ARM: sxth
    132 ; ARM: add
    133 ; ARM: sub
    134 }
    135 
    136 ; Check loads/stores with globals
    137 @test4g = external global i32
    138 
    139 define void @test4() {
    140   %a = load i32* @test4g
    141   %b = add i32 %a, 1
    142   store i32 %b, i32* @test4g
    143   ret void
    144 
    145 ; THUMB: ldr.n r0, LCPI4_1
    146 ; THUMB: ldr r0, [r0]
    147 ; THUMB: ldr r0, [r0]
    148 ; THUMB: adds r0, #1
    149 ; THUMB: ldr.n r1, LCPI4_0
    150 ; THUMB: ldr r1, [r1]
    151 ; THUMB: str r0, [r1]
    152 
    153 ; ARM: ldr r0, LCPI4_1
    154 ; ARM: ldr r0, [r0]
    155 ; ARM: ldr r0, [r0]
    156 ; ARM: add r0, r0, #1
    157 ; ARM: ldr r1, LCPI4_0
    158 ; ARM: ldr r1, [r1]
    159 ; ARM: str r0, [r1]
    160 }
    161