Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=armv7-apple-darwin | FileCheck %s --check-prefix=ARM |
| 2 | ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-darwin | FileCheck %s --check-prefix=THUMB |
| 3 | |
| 4 | define void @t1a(float %a) uwtable ssp { |
| 5 | entry: |
| 6 | ; ARM: t1a |
| 7 | ; THUMB: t1a |
| 8 | %cmp = fcmp oeq float %a, 0.000000e+00 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 9 | ; ARM: vcmpe.f32 s{{[0-9]+}}, #0 |
| 10 | ; THUMB: vcmpe.f32 s{{[0-9]+}}, #0 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 11 | br i1 %cmp, label %if.then, label %if.end |
| 12 | |
| 13 | if.then: ; preds = %entry |
| 14 | tail call void @foo() |
| 15 | br label %if.end |
| 16 | |
| 17 | if.end: ; preds = %if.then, %entry |
| 18 | ret void |
| 19 | } |
| 20 | |
| 21 | declare void @foo() |
| 22 | |
| 23 | ; Shouldn't be able to encode -0.0 imm. |
| 24 | define void @t1b(float %a) uwtable ssp { |
| 25 | entry: |
| 26 | ; ARM: t1b |
| 27 | ; THUMB: t1b |
| 28 | %cmp = fcmp oeq float %a, -0.000000e+00 |
Jim Grosbach | ffc658b | 2011-11-14 23:03:21 +0000 | [diff] [blame^] | 29 | ; ARM: vldr |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 30 | ; ARM: vcmpe.f32 s{{[0-9]+}}, s{{[0-9]+}} |
Jim Grosbach | ffc658b | 2011-11-14 23:03:21 +0000 | [diff] [blame^] | 31 | ; THUMB: vldr |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 32 | ; THUMB: vcmpe.f32 s{{[0-9]+}}, s{{[0-9]+}} |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 33 | br i1 %cmp, label %if.then, label %if.end |
| 34 | |
| 35 | if.then: ; preds = %entry |
| 36 | tail call void @foo() |
| 37 | br label %if.end |
| 38 | |
| 39 | if.end: ; preds = %if.then, %entry |
| 40 | ret void |
| 41 | } |
| 42 | |
| 43 | define void @t2a(double %a) uwtable ssp { |
| 44 | entry: |
| 45 | ; ARM: t2a |
| 46 | ; THUMB: t2a |
| 47 | %cmp = fcmp oeq double %a, 0.000000e+00 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 48 | ; ARM: vcmpe.f64 d{{[0-9]+}}, #0 |
| 49 | ; THUMB: vcmpe.f64 d{{[0-9]+}}, #0 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 50 | br i1 %cmp, label %if.then, label %if.end |
| 51 | |
| 52 | if.then: ; preds = %entry |
| 53 | tail call void @foo() |
| 54 | br label %if.end |
| 55 | |
| 56 | if.end: ; preds = %if.then, %entry |
| 57 | ret void |
| 58 | } |
| 59 | |
| 60 | ; Shouldn't be able to encode -0.0 imm. |
| 61 | define void @t2b(double %a) uwtable ssp { |
| 62 | entry: |
| 63 | ; ARM: t2b |
| 64 | ; THUMB: t2b |
| 65 | %cmp = fcmp oeq double %a, -0.000000e+00 |
Jim Grosbach | ffc658b | 2011-11-14 23:03:21 +0000 | [diff] [blame^] | 66 | ; ARM: vldr |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 67 | ; ARM: vcmpe.f64 d{{[0-9]+}}, d{{[0-9]+}} |
Jim Grosbach | ffc658b | 2011-11-14 23:03:21 +0000 | [diff] [blame^] | 68 | ; THUMB: vldr |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 69 | ; THUMB: vcmpe.f64 d{{[0-9]+}}, d{{[0-9]+}} |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 70 | br i1 %cmp, label %if.then, label %if.end |
| 71 | |
| 72 | if.then: ; preds = %entry |
| 73 | tail call void @foo() |
| 74 | br label %if.end |
| 75 | |
| 76 | if.end: ; preds = %if.then, %entry |
| 77 | ret void |
| 78 | } |
| 79 | |
| 80 | define void @t4(i8 signext %a) uwtable ssp { |
| 81 | entry: |
| 82 | ; ARM: t4 |
| 83 | ; THUMB: t4 |
| 84 | %cmp = icmp eq i8 %a, -1 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 85 | ; ARM: cmn r{{[0-9]}}, #1 |
| 86 | ; THUMB: cmn.w r{{[0-9]}}, #1 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 87 | br i1 %cmp, label %if.then, label %if.end |
| 88 | |
| 89 | if.then: ; preds = %entry |
| 90 | tail call void @foo() |
| 91 | br label %if.end |
| 92 | |
| 93 | if.end: ; preds = %if.then, %entry |
| 94 | ret void |
| 95 | } |
| 96 | |
| 97 | define void @t5(i8 zeroext %a) uwtable ssp { |
| 98 | entry: |
| 99 | ; ARM: t5 |
| 100 | ; THUMB: t5 |
| 101 | %cmp = icmp eq i8 %a, 1 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 102 | ; ARM: cmp r{{[0-9]}}, #1 |
| 103 | ; THUMB: cmp r{{[0-9]}}, #1 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 104 | br i1 %cmp, label %if.then, label %if.end |
| 105 | |
| 106 | if.then: ; preds = %entry |
| 107 | tail call void @foo() |
| 108 | br label %if.end |
| 109 | |
| 110 | if.end: ; preds = %if.then, %entry |
| 111 | ret void |
| 112 | } |
| 113 | |
| 114 | define void @t6(i16 signext %a) uwtable ssp { |
| 115 | entry: |
| 116 | ; ARM: t6 |
| 117 | ; THUMB: t6 |
| 118 | %cmp = icmp eq i16 %a, -1 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 119 | ; ARM: cmn r{{[0-9]}}, #1 |
| 120 | ; THUMB: cmn.w r{{[0-9]}}, #1 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 121 | br i1 %cmp, label %if.then, label %if.end |
| 122 | |
| 123 | if.then: ; preds = %entry |
| 124 | tail call void @foo() |
| 125 | br label %if.end |
| 126 | |
| 127 | if.end: ; preds = %if.then, %entry |
| 128 | ret void |
| 129 | } |
| 130 | |
| 131 | define void @t7(i16 zeroext %a) uwtable ssp { |
| 132 | entry: |
| 133 | ; ARM: t7 |
| 134 | ; THUMB: t7 |
| 135 | %cmp = icmp eq i16 %a, 1 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 136 | ; ARM: cmp r{{[0-9]}}, #1 |
| 137 | ; THUMB: cmp r{{[0-9]}}, #1 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 138 | br i1 %cmp, label %if.then, label %if.end |
| 139 | |
| 140 | if.then: ; preds = %entry |
| 141 | tail call void @foo() |
| 142 | br label %if.end |
| 143 | |
| 144 | if.end: ; preds = %if.then, %entry |
| 145 | ret void |
| 146 | } |
| 147 | |
| 148 | define void @t8(i32 %a) uwtable ssp { |
| 149 | entry: |
| 150 | ; ARM: t8 |
| 151 | ; THUMB: t8 |
| 152 | %cmp = icmp eq i32 %a, -1 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 153 | ; ARM: cmn r{{[0-9]}}, #1 |
| 154 | ; THUMB: cmn.w r{{[0-9]}}, #1 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 155 | br i1 %cmp, label %if.then, label %if.end |
| 156 | |
| 157 | if.then: ; preds = %entry |
| 158 | tail call void @foo() |
| 159 | br label %if.end |
| 160 | |
| 161 | if.end: ; preds = %if.then, %entry |
| 162 | ret void |
| 163 | } |
| 164 | |
| 165 | define void @t9(i32 %a) uwtable ssp { |
| 166 | entry: |
| 167 | ; ARM: t9 |
| 168 | ; THUMB: t9 |
| 169 | %cmp = icmp eq i32 %a, 1 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 170 | ; ARM: cmp r{{[0-9]}}, #1 |
| 171 | ; THUMB: cmp r{{[0-9]}}, #1 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 172 | br i1 %cmp, label %if.then, label %if.end |
| 173 | |
| 174 | if.then: ; preds = %entry |
| 175 | tail call void @foo() |
| 176 | br label %if.end |
| 177 | |
| 178 | if.end: ; preds = %if.then, %entry |
| 179 | ret void |
| 180 | } |
| 181 | |
| 182 | define void @t10(i32 %a) uwtable ssp { |
| 183 | entry: |
| 184 | ; ARM: t10 |
| 185 | ; THUMB: t10 |
| 186 | %cmp = icmp eq i32 %a, 384 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 187 | ; ARM: cmp r{{[0-9]}}, #384 |
| 188 | ; THUMB: cmp.w r{{[0-9]}}, #384 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 189 | br i1 %cmp, label %if.then, label %if.end |
| 190 | |
| 191 | if.then: ; preds = %entry |
| 192 | tail call void @foo() |
| 193 | br label %if.end |
| 194 | |
| 195 | if.end: ; preds = %if.then, %entry |
| 196 | ret void |
| 197 | } |
| 198 | |
| 199 | define void @t11(i32 %a) uwtable ssp { |
| 200 | entry: |
| 201 | ; ARM: t11 |
| 202 | ; THUMB: t11 |
| 203 | %cmp = icmp eq i32 %a, 4096 |
Chad Rosier | a7a996b | 2011-11-09 20:06:13 +0000 | [diff] [blame] | 204 | ; ARM: cmp r{{[0-9]}}, #4096 |
| 205 | ; THUMB: cmp.w r{{[0-9]}}, #4096 |
Chad Rosier | 2f2fe41 | 2011-11-09 03:22:02 +0000 | [diff] [blame] | 206 | br i1 %cmp, label %if.then, label %if.end |
| 207 | |
| 208 | if.then: ; preds = %entry |
| 209 | tail call void @foo() |
| 210 | br label %if.end |
| 211 | |
| 212 | if.end: ; preds = %if.then, %entry |
| 213 | ret void |
| 214 | } |
Chad Rosier | 6cba97c | 2011-11-10 01:30:39 +0000 | [diff] [blame] | 215 | |
| 216 | define void @t12(i8 %a) uwtable ssp { |
| 217 | entry: |
| 218 | ; ARM: t12 |
| 219 | ; THUMB: t12 |
| 220 | %cmp = icmp ugt i8 %a, -113 |
| 221 | ; ARM: cmp r{{[0-9]}}, #143 |
| 222 | ; THUMB: cmp r{{[0-9]}}, #143 |
| 223 | br i1 %cmp, label %if.then, label %if.end |
| 224 | |
| 225 | if.then: ; preds = %entry |
| 226 | tail call void @foo() |
| 227 | br label %if.end |
| 228 | |
| 229 | if.end: ; preds = %if.then, %entry |
| 230 | ret void |
| 231 | } |