1; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=volatile --test FileCheck --test-arg --check-prefixes=INTERESTING,CHECK --test-arg %s --test-arg --input-file %s -o %t 2; RUN: FileCheck -check-prefixes=RESULT,CHECK %s < %t 3 4; CHECK-LABEL: @load_volatile_keep( 5; INTERESTING: load volatile 6; RESULT: %op = load volatile i32, 7define i32 @load_volatile_keep(ptr %ptr) { 8 %op = load volatile i32, ptr %ptr 9 ret i32 %op 10} 11 12; CHECK-LABEL: @load_volatile_drop( 13; INTERESTING: load 14; RESULT: %op = load i32, 15define i32 @load_volatile_drop(ptr %ptr) { 16 %op = load volatile i32, ptr %ptr 17 ret i32 %op 18} 19 20; CHECK-LABEL: @store_volatile_keep( 21; INTERESTING: store volatile 22; RESULT: store volatile i32 0, 23define void @store_volatile_keep(ptr %ptr) { 24 store volatile i32 0, ptr %ptr 25 ret void 26} 27 28; CHECK-LABEL: @store_volatile_drop( 29; INTERESTING: store 30; RESULT: store i32 0, 31define void @store_volatile_drop(ptr %ptr) { 32 store volatile i32 0, ptr %ptr 33 ret void 34} 35 36; CHECK-LABEL: @atomicrmw_volatile_keep( 37; INTERESTING: atomicrmw volatile 38; RESULT: atomicrmw volatile add ptr %ptr 39define i32 @atomicrmw_volatile_keep(ptr %ptr) { 40 %val = atomicrmw volatile add ptr %ptr, i32 3 seq_cst 41 ret i32 %val 42} 43 44; CHECK-LABEL: @atomicrmw_volatile_drop( 45; INTERESTING: atomicrmw 46; RESULT: atomicrmw add ptr %ptr 47define i32 @atomicrmw_volatile_drop(ptr %ptr) { 48 %val = atomicrmw volatile add ptr %ptr, i32 3 seq_cst 49 ret i32 %val 50} 51 52; CHECK-LABEL: @cmpxchg_volatile_keep( 53; INTERESTING: cmpxchg volatile 54; RESULT: cmpxchg volatile ptr %ptr, i32 %old, i32 %in seq_cst seq_cst 55define { i32, i1 } @cmpxchg_volatile_keep(ptr %ptr, i32 %old, i32 %in) { 56 %val = cmpxchg volatile ptr %ptr, i32 %old, i32 %in seq_cst seq_cst 57 ret { i32, i1 } %val 58} 59 60; CHECK-LABEL: @cmpxchg_volatile_drop( 61; INTERESTING: cmpxchg 62; RESULT: cmpxchg ptr %ptr, i32 %old, i32 %in seq_cst seq_cst 63define { i32, i1 } @cmpxchg_volatile_drop(ptr %ptr, i32 %old, i32 %in) { 64 %val = cmpxchg volatile ptr %ptr, i32 %old, i32 %in seq_cst seq_cst 65 ret { i32, i1 } %val 66} 67 68; CHECK-LABEL: @memcpy_volatile_keep( 69; INTERESTING: i1 true 70; RESULT: call void @llvm.memcpy.p0.p0.i64(ptr %dst, ptr %src, i64 %size, i1 true) 71define void @memcpy_volatile_keep(ptr %dst, ptr %src, i64 %size) { 72 call void @llvm.memcpy.p0.p0.i64(ptr %dst, ptr %src, i64 %size, i1 true) 73 ret void 74} 75 76; CHECK-LABEL: @memcpy_volatile_drop( 77; INTERESTING: llvm.memcpy 78; RESULT: call void @llvm.memcpy.p0.p0.i64(ptr %dst, ptr %src, i64 %size, i1 false) 79define void @memcpy_volatile_drop(ptr %dst, ptr %src, i64 %size) { 80 call void @llvm.memcpy.p0.p0.i64(ptr %dst, ptr %src, i64 %size, i1 true) 81 ret void 82} 83 84; CHECK-LABEL: @memcpy_inline_volatile_keep( 85; INTERESTING: i1 true 86; RESULT: call void @llvm.memcpy.inline.p0.p0.i64(ptr %dst, ptr %src, i64 256, i1 true) 87define void @memcpy_inline_volatile_keep(ptr %dst, ptr %src) { 88 call void @llvm.memcpy.inline.p0.p0.i64(ptr %dst, ptr %src, i64 256, i1 true) 89 ret void 90} 91 92; CHECK-LABEL: @memcpy_inline_volatile_drop( 93; INTERESTING: llvm.memcpy 94; RESULT: call void @llvm.memcpy.inline.p0.p0.i64(ptr %dst, ptr %src, i64 256, i1 false) 95define void @memcpy_inline_volatile_drop(ptr %dst, ptr %src) { 96 call void @llvm.memcpy.inline.p0.p0.i64(ptr %dst, ptr %src, i64 256, i1 true) 97 ret void 98} 99 100; CHECK-LABEL: @memmove_volatile_keep( 101; INTERESTING: i1 true 102; RESULT: call void @llvm.memmove.p0.p0.i64(ptr %dst, ptr %src, i64 256, i1 true) 103define void @memmove_volatile_keep(ptr %dst, ptr %src) { 104 call void @llvm.memmove.p0.p0.i64(ptr %dst, ptr %src, i64 256, i1 true) 105 ret void 106} 107 108; CHECK-LABEL: @memmove_volatile_drop( 109; INTERESTING: llvm.memmove 110; RESULT: call void @llvm.memmove.p0.p0.i64(ptr %dst, ptr %src, i64 %size, i1 false) 111define void @memmove_volatile_drop(ptr %dst, ptr %src, i64 %size) { 112 call void @llvm.memmove.p0.p0.i64(ptr %dst, ptr %src, i64 %size, i1 true) 113 ret void 114} 115 116; CHECK-LABEL: @memset_volatile_keep( 117; INTERESTING: i1 true 118; RESULT: call void @llvm.memset.p0.i64(ptr %ptr, i8 %val, i64 %size, i1 true) 119define void @memset_volatile_keep(ptr %ptr, i8 %val, i64 %size) { 120 call void @llvm.memset.p0.i64(ptr %ptr, i8 %val, i64 %size, i1 true) 121 ret void 122} 123 124; CHECK-LABEL: @memset_volatile_drop( 125; INTERESTING: llvm.memset 126; RESULT: call void @llvm.memset.p0.i64(ptr %ptr, i8 %val, i64 %size, i1 false) 127define void @memset_volatile_drop(ptr %ptr, i8 %val, i64 %size) { 128 call void @llvm.memset.p0.i64(ptr %ptr, i8 %val, i64 %size, i1 true) 129 ret void 130} 131 132declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) 133declare void @llvm.memmove.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) 134declare void @llvm.memcpy.inline.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64 immarg, i1 immarg) 135declare void @llvm.memset.p0.i64(ptr noalias nocapture readonly, i8, i64, i1 immarg) 136