19 lines · plain
1// RUN: fir-opt --strict-fir-volatile-verifier --fir-to-llvm-ir="target=x86_64-unknown-linux-gnu" %s -o - | FileCheck %s2// CHECK: llvm.store volatile %{{.+}}, %{{.+}} : i32, !llvm.ptr3// CHECK: %{{.+}} = llvm.load volatile %{{.+}} : !llvm.ptr -> i324func.func @foo() {5 %true = arith.constant true6 %false = arith.constant false7 %0 = fir.alloca !fir.logical<4> {bindc_name = "a", uniq_name = "_QFEa"}8 %1 = fir.volatile_cast %0 : (!fir.ref<!fir.logical<4>>) -> !fir.ref<!fir.logical<4>, volatile>9 %2 = fir.alloca !fir.logical<4> {bindc_name = "b", uniq_name = "_QFEb"}10 %3 = fir.alloca i32 {bindc_name = "i", uniq_name = "_QFEi"}11 %4 = fir.convert %false : (i1) -> !fir.logical<4>12 fir.store %4 to %1 : !fir.ref<!fir.logical<4>, volatile>13 %5 = fir.load %1 : !fir.ref<!fir.logical<4>, volatile>14 fir.store %5 to %2 : !fir.ref<!fir.logical<4>>15 %6 = fir.convert %true : (i1) -> !fir.logical<4>16 fir.store %6 to %1 : !fir.ref<!fir.logical<4>, volatile>17 return18}19