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