Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loweratomic -S | FileCheck %s |
| 2 | |
Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 3 | define i8 @add() { |
Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 4 | ; CHECK-LABEL: @add( |
Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 5 | %i = alloca i8 |
Eli Friedman | bda9e7a | 2011-09-26 20:15:56 +0000 | [diff] [blame] | 6 | %j = atomicrmw add i8* %i, i8 42 monotonic |
Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 7 | ; CHECK: [[INST:%[a-z0-9]+]] = load |
| 8 | ; CHECK-NEXT: add |
| 9 | ; CHECK-NEXT: store |
| 10 | ret i8 %j |
| 11 | ; CHECK: ret i8 [[INST]] |
| 12 | } |
| 13 | |
| 14 | define i8 @nand() { |
Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 15 | ; CHECK-LABEL: @nand( |
Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 16 | %i = alloca i8 |
Eli Friedman | bda9e7a | 2011-09-26 20:15:56 +0000 | [diff] [blame] | 17 | %j = atomicrmw nand i8* %i, i8 42 monotonic |
Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 18 | ; CHECK: [[INST:%[a-z0-9]+]] = load |
| 19 | ; CHECK-NEXT: and |
| 20 | ; CHECK-NEXT: xor |
| 21 | ; CHECK-NEXT: store |
| 22 | ret i8 %j |
| 23 | ; CHECK: ret i8 [[INST]] |
| 24 | } |
| 25 | |
| 26 | define i8 @min() { |
Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 27 | ; CHECK-LABEL: @min( |
Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 28 | %i = alloca i8 |
Eli Friedman | bda9e7a | 2011-09-26 20:15:56 +0000 | [diff] [blame] | 29 | %j = atomicrmw min i8* %i, i8 42 monotonic |
Peter Collingbourne | ddaaf40 | 2010-08-03 16:19:16 +0000 | [diff] [blame] | 30 | ; CHECK: [[INST:%[a-z0-9]+]] = load |
| 31 | ; CHECK-NEXT: icmp |
| 32 | ; CHECK-NEXT: select |
| 33 | ; CHECK-NEXT: store |
| 34 | ret i8 %j |
| 35 | ; CHECK: ret i8 [[INST]] |
| 36 | } |