| Peter Collingbourne | 3bababf | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loweratomic -S | FileCheck %s |
| 2 | |
| Peter Collingbourne | 3bababf | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 3 | define i8 @cmpswap() { |
| 4 | ; CHECK: @cmpswap |
| 5 | %i = alloca i8 |
| Eli Friedman | 236b71f | 2011-09-26 20:15:56 +0000 | [diff] [blame^] | 6 | %j = cmpxchg i8* %i, i8 0, i8 42 monotonic |
| Peter Collingbourne | 3bababf | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 7 | ; CHECK: [[INST:%[a-z0-9]+]] = load |
| 8 | ; CHECK-NEXT: icmp |
| 9 | ; CHECK-NEXT: select |
| 10 | ; CHECK-NEXT: store |
| 11 | ret i8 %j |
| 12 | ; CHECK: ret i8 [[INST]] |
| 13 | } |
| 14 | |
| 15 | define i8 @swap() { |
| 16 | ; CHECK: @swap |
| 17 | %i = alloca i8 |
| Eli Friedman | 236b71f | 2011-09-26 20:15:56 +0000 | [diff] [blame^] | 18 | %j = atomicrmw xchg i8* %i, i8 42 monotonic |
| Peter Collingbourne | 3bababf | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 19 | ; CHECK: [[INST:%[a-z0-9]+]] = load |
| 20 | ; CHECK-NEXT: store |
| 21 | ret i8 %j |
| 22 | ; CHECK: ret i8 [[INST]] |
| 23 | } |