Dan Gohman | 4050339 | 2009-09-08 23:54:48 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86-64 | FileCheck %s |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 2 | |
| 3 | ; rdar://7103704 |
| 4 | |
| 5 | define void @sub1(i32* nocapture %p, i32 %v) nounwind ssp { |
| 6 | entry: |
| 7 | ; CHECK: sub1: |
| 8 | ; CHECK: subl |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 9 | %0 = atomicrmw sub i32* %p, i32 %v monotonic |
| 10 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 11 | } |
| 12 | |
| 13 | define void @inc4(i64* nocapture %p) nounwind ssp { |
| 14 | entry: |
| 15 | ; CHECK: inc4: |
| 16 | ; CHECK: incq |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 17 | %0 = atomicrmw add i64* %p, i64 1 monotonic |
| 18 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 19 | } |
| 20 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 21 | define void @add8(i64* nocapture %p) nounwind ssp { |
| 22 | entry: |
| 23 | ; CHECK: add8: |
| 24 | ; CHECK: addq $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 25 | %0 = atomicrmw add i64* %p, i64 2 monotonic |
| 26 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 27 | } |
| 28 | |
| 29 | define void @add4(i64* nocapture %p, i32 %v) nounwind ssp { |
| 30 | entry: |
| 31 | ; CHECK: add4: |
| 32 | ; CHECK: addq |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 33 | %0 = sext i32 %v to i64 ; <i64> [#uses=1] |
| 34 | %1 = atomicrmw add i64* %p, i64 %0 monotonic |
| 35 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 36 | } |
| 37 | |
| 38 | define void @inc3(i8* nocapture %p) nounwind ssp { |
| 39 | entry: |
| 40 | ; CHECK: inc3: |
| 41 | ; CHECK: incb |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 42 | %0 = atomicrmw add i8* %p, i8 1 monotonic |
| 43 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 44 | } |
| 45 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 46 | define void @add7(i8* nocapture %p) nounwind ssp { |
| 47 | entry: |
| 48 | ; CHECK: add7: |
| 49 | ; CHECK: addb $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 50 | %0 = atomicrmw add i8* %p, i8 2 monotonic |
| 51 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 52 | } |
| 53 | |
| 54 | define void @add3(i8* nocapture %p, i32 %v) nounwind ssp { |
| 55 | entry: |
| 56 | ; CHECK: add3: |
| 57 | ; CHECK: addb |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 58 | %0 = trunc i32 %v to i8 ; <i8> [#uses=1] |
| 59 | %1 = atomicrmw add i8* %p, i8 %0 monotonic |
| 60 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 61 | } |
| 62 | |
| 63 | define void @inc2(i16* nocapture %p) nounwind ssp { |
| 64 | entry: |
| 65 | ; CHECK: inc2: |
| 66 | ; CHECK: incw |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 67 | %0 = atomicrmw add i16* %p, i16 1 monotonic |
| 68 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 69 | } |
| 70 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 71 | define void @add6(i16* nocapture %p) nounwind ssp { |
| 72 | entry: |
| 73 | ; CHECK: add6: |
| 74 | ; CHECK: addw $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 75 | %0 = atomicrmw add i16* %p, i16 2 monotonic |
| 76 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 77 | } |
| 78 | |
| 79 | define void @add2(i16* nocapture %p, i32 %v) nounwind ssp { |
| 80 | entry: |
| 81 | ; CHECK: add2: |
| 82 | ; CHECK: addw |
| 83 | %0 = trunc i32 %v to i16 ; <i16> [#uses=1] |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 84 | %1 = atomicrmw add i16* %p, i16 %0 monotonic |
| 85 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | define void @inc1(i32* nocapture %p) nounwind ssp { |
| 89 | entry: |
| 90 | ; CHECK: inc1: |
| 91 | ; CHECK: incl |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 92 | %0 = atomicrmw add i32* %p, i32 1 monotonic |
| 93 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 94 | } |
| 95 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 96 | define void @add5(i32* nocapture %p) nounwind ssp { |
| 97 | entry: |
| 98 | ; CHECK: add5: |
| 99 | ; CHECK: addl $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 100 | %0 = atomicrmw add i32* %p, i32 2 monotonic |
| 101 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 102 | } |
| 103 | |
| 104 | define void @add1(i32* nocapture %p, i32 %v) nounwind ssp { |
| 105 | entry: |
| 106 | ; CHECK: add1: |
| 107 | ; CHECK: addl |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 108 | %0 = atomicrmw add i32* %p, i32 %v monotonic |
| 109 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 110 | } |
| 111 | |
| 112 | define void @dec4(i64* nocapture %p) nounwind ssp { |
| 113 | entry: |
| 114 | ; CHECK: dec4: |
| 115 | ; CHECK: decq |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 116 | %0 = atomicrmw sub i64* %p, i64 1 monotonic |
| 117 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 118 | } |
| 119 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 120 | define void @sub8(i64* nocapture %p) nounwind ssp { |
| 121 | entry: |
| 122 | ; CHECK: sub8: |
| 123 | ; CHECK: subq $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 124 | %0 = atomicrmw sub i64* %p, i64 2 monotonic |
| 125 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 126 | } |
| 127 | |
| 128 | define void @sub4(i64* nocapture %p, i32 %v) nounwind ssp { |
| 129 | entry: |
| 130 | ; CHECK: sub4: |
| 131 | ; CHECK: subq |
| 132 | %0 = sext i32 %v to i64 ; <i64> [#uses=1] |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 133 | %1 = atomicrmw sub i64* %p, i64 %0 monotonic |
| 134 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 135 | } |
| 136 | |
| 137 | define void @dec3(i8* nocapture %p) nounwind ssp { |
| 138 | entry: |
| 139 | ; CHECK: dec3: |
| 140 | ; CHECK: decb |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 141 | %0 = atomicrmw sub i8* %p, i8 1 monotonic |
| 142 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 143 | } |
| 144 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 145 | define void @sub7(i8* nocapture %p) nounwind ssp { |
| 146 | entry: |
| 147 | ; CHECK: sub7: |
| 148 | ; CHECK: subb $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 149 | %0 = atomicrmw sub i8* %p, i8 2 monotonic |
| 150 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 151 | } |
| 152 | |
| 153 | define void @sub3(i8* nocapture %p, i32 %v) nounwind ssp { |
| 154 | entry: |
| 155 | ; CHECK: sub3: |
| 156 | ; CHECK: subb |
| 157 | %0 = trunc i32 %v to i8 ; <i8> [#uses=1] |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 158 | %1 = atomicrmw sub i8* %p, i8 %0 monotonic |
| 159 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 160 | } |
| 161 | |
| 162 | define void @dec2(i16* nocapture %p) nounwind ssp { |
| 163 | entry: |
| 164 | ; CHECK: dec2: |
| 165 | ; CHECK: decw |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 166 | %0 = atomicrmw sub i16* %p, i16 1 monotonic |
| 167 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 168 | } |
| 169 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 170 | define void @sub6(i16* nocapture %p) nounwind ssp { |
| 171 | entry: |
| 172 | ; CHECK: sub6: |
| 173 | ; CHECK: subw $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 174 | %0 = atomicrmw sub i16* %p, i16 2 monotonic |
| 175 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 176 | } |
| 177 | |
| 178 | define void @sub2(i16* nocapture %p, i32 %v) nounwind ssp { |
| 179 | entry: |
| 180 | ; CHECK: sub2: |
Evan Cheng | 050df1b | 2010-04-28 08:30:49 +0000 | [diff] [blame] | 181 | ; CHECK: negl |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 182 | %0 = trunc i32 %v to i16 ; <i16> [#uses=1] |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 183 | %1 = atomicrmw sub i16* %p, i16 %0 monotonic |
| 184 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 185 | } |
| 186 | |
| 187 | define void @dec1(i32* nocapture %p) nounwind ssp { |
| 188 | entry: |
| 189 | ; CHECK: dec1: |
| 190 | ; CHECK: decl |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 191 | %0 = atomicrmw sub i32* %p, i32 1 monotonic |
| 192 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 193 | } |
| 194 | |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 195 | define void @sub5(i32* nocapture %p) nounwind ssp { |
| 196 | entry: |
| 197 | ; CHECK: sub5: |
| 198 | ; CHECK: subl $2 |
Eli Friedman | a486cb9 | 2011-09-26 23:15:09 +0000 | [diff] [blame] | 199 | %0 = atomicrmw sub i32* %p, i32 2 monotonic |
| 200 | ret void |
Evan Cheng | e62288f | 2009-07-30 08:33:02 +0000 | [diff] [blame] | 201 | } |