61 lines · plain
1// RUN: cir-opt %s -cir-to-llvm -o %t.mlir2// RUN: FileCheck --input-file=%t.mlir %s3 4!s32i = !cir.int<s, 32>5module {6 cir.func @foo() {7 %0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}8 %1 = cir.alloca !s32i, !cir.ptr<!s32i>, ["b", init] {alignment = 4 : i64}9 %2 = cir.alloca !s32i, !cir.ptr<!s32i>, ["x", init] {alignment = 4 : i64}10 %3 = cir.const #cir.int<2> : !s32i cir.store %3, %0 : !s32i, !cir.ptr<!s32i>11 %4 = cir.const #cir.int<1> : !s32i cir.store %4, %1 : !s32i, !cir.ptr<!s32i>12 %5 = cir.load %0 : !cir.ptr<!s32i>, !s32i13 %6 = cir.load %1 : !cir.ptr<!s32i>, !s32i14 %7 = cir.binop(mul, %5, %6) : !s32i15 // CHECK: = llvm.mul16 cir.store %7, %2 : !s32i, !cir.ptr<!s32i>17 %8 = cir.load %2 : !cir.ptr<!s32i>, !s32i18 %9 = cir.load %1 : !cir.ptr<!s32i>, !s32i19 %10 = cir.binop(div, %8, %9) : !s32i20 // CHECK: = llvm.sdiv21 cir.store %10, %2 : !s32i, !cir.ptr<!s32i>22 %11 = cir.load %2 : !cir.ptr<!s32i>, !s32i23 %12 = cir.load %1 : !cir.ptr<!s32i>, !s32i24 %13 = cir.binop(rem, %11, %12) : !s32i25 // CHECK: = llvm.srem26 cir.store %13, %2 : !s32i, !cir.ptr<!s32i>27 %14 = cir.load %2 : !cir.ptr<!s32i>, !s32i28 %15 = cir.load %1 : !cir.ptr<!s32i>, !s32i29 %16 = cir.binop(add, %14, %15) : !s32i30 // CHECK: = llvm.add31 cir.store %16, %2 : !s32i, !cir.ptr<!s32i>32 %17 = cir.load %2 : !cir.ptr<!s32i>, !s32i33 %18 = cir.load %1 : !cir.ptr<!s32i>, !s32i34 %19 = cir.binop(sub, %17, %18) : !s32i35 // CHECK: = llvm.sub36 cir.store %19, %2 : !s32i, !cir.ptr<!s32i>37 %26 = cir.load %2 : !cir.ptr<!s32i>, !s32i38 %27 = cir.load %1 : !cir.ptr<!s32i>, !s32i39 %28 = cir.binop(and, %26, %27) : !s32i40 // CHECK: = llvm.and41 cir.store %28, %2 : !s32i, !cir.ptr<!s32i>42 %29 = cir.load %2 : !cir.ptr<!s32i>, !s32i43 %30 = cir.load %1 : !cir.ptr<!s32i>, !s32i44 %31 = cir.binop(xor, %29, %30) : !s32i45 // CHECK: = llvm.xor46 cir.store %31, %2 : !s32i, !cir.ptr<!s32i>47 %32 = cir.load %2 : !cir.ptr<!s32i>, !s32i48 %33 = cir.load %1 : !cir.ptr<!s32i>, !s32i49 %34 = cir.binop(or, %32, %33) : !s32i50 // CHECK: = llvm.or51 %35 = cir.binop(add, %32, %33) sat: !s32i52 // CHECK: = llvm.intr.sadd.sat{{.*}}(i32, i32) -> i3253 %36 = cir.binop(sub, %32, %33) sat: !s32i54 // CHECK: = llvm.intr.ssub.sat{{.*}}(i32, i32) -> i32 55 cir.store %34, %2 : !s32i, !cir.ptr<!s32i>56 %37 = cir.binop(max, %32, %33) : !s32i57 // CHECK: = llvm.intr.smax58 cir.return59 }60}61