74 lines · plain
1// RUN: cir-opt %s -cir-to-llvm -o - | FileCheck %s -check-prefix=MLIR2// RUN: cir-translate %s -cir-to-llvmir --target x86_64-unknown-linux-gnu --disable-cc-lowering | FileCheck %s -check-prefix=LLVM3!u32i = !cir.int<u, 32>4 5module {6 cir.func @foo() {7 %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] {alignment = 4 : i64}8 %1 = cir.alloca !u32i, !cir.ptr<!u32i>, ["b", init] {alignment = 4 : i64}9 %2 = cir.alloca !u32i, !cir.ptr<!u32i>, ["x", init] {alignment = 4 : i64}10 %3 = cir.const #cir.int<2> : !u32i cir.store %3, %0 : !u32i, !cir.ptr<!u32i>11 %4 = cir.const #cir.int<1> : !u32i cir.store %4, %1 : !u32i, !cir.ptr<!u32i>12 %5 = cir.load %0 : !cir.ptr<!u32i>, !u32i13 %6 = cir.load %1 : !cir.ptr<!u32i>, !u32i14 %7 = cir.binop(mul, %5, %6) : !u32i15 cir.store %7, %2 : !u32i, !cir.ptr<!u32i>16 %8 = cir.load %2 : !cir.ptr<!u32i>, !u32i17 %9 = cir.load %1 : !cir.ptr<!u32i>, !u32i18 %10 = cir.binop(div, %8, %9) : !u32i19 cir.store %10, %2 : !u32i, !cir.ptr<!u32i>20 %11 = cir.load %2 : !cir.ptr<!u32i>, !u32i21 %12 = cir.load %1 : !cir.ptr<!u32i>, !u32i22 %13 = cir.binop(rem, %11, %12) : !u32i23 cir.store %13, %2 : !u32i, !cir.ptr<!u32i>24 %14 = cir.load %2 : !cir.ptr<!u32i>, !u32i25 %15 = cir.load %1 : !cir.ptr<!u32i>, !u32i26 %16 = cir.binop(add, %14, %15) : !u32i27 cir.store %16, %2 : !u32i, !cir.ptr<!u32i>28 %17 = cir.load %2 : !cir.ptr<!u32i>, !u32i29 %18 = cir.load %1 : !cir.ptr<!u32i>, !u32i30 %19 = cir.binop(sub, %17, %18) : !u32i31 cir.store %19, %2 : !u32i, !cir.ptr<!u32i>32 %26 = cir.load %2 : !cir.ptr<!u32i>, !u32i33 %27 = cir.load %1 : !cir.ptr<!u32i>, !u32i34 %28 = cir.binop(and, %26, %27) : !u32i35 cir.store %28, %2 : !u32i, !cir.ptr<!u32i>36 %29 = cir.load %2 : !cir.ptr<!u32i>, !u32i37 %30 = cir.load %1 : !cir.ptr<!u32i>, !u32i38 %31 = cir.binop(xor, %29, %30) : !u32i39 cir.store %31, %2 : !u32i, !cir.ptr<!u32i>40 %32 = cir.load %2 : !cir.ptr<!u32i>, !u32i41 %33 = cir.load %1 : !cir.ptr<!u32i>, !u32i42 %34 = cir.binop(or, %32, %33) : !u32i43 cir.store %34, %2 : !u32i, !cir.ptr<!u32i>44 %35 = cir.binop(add, %32, %33) sat: !u32i45 %36 = cir.binop(sub, %32, %33) sat: !u32i 46 %37 = cir.binop(max, %32, %33) : !u32i47 cir.return48 }49}50 51// MLIR: = llvm.mul52// MLIR: = llvm.udiv53// MLIR: = llvm.urem54// MLIR: = llvm.add55// MLIR: = llvm.sub56// MLIR: = llvm.and57// MLIR: = llvm.xor58// MLIR: = llvm.or59// MLIR: = llvm.intr.uadd.sat{{.*}}(i32, i32) -> i3260// MLIR: = llvm.intr.usub.sat{{.*}}(i32, i32) -> i32 61// MLIR: = llvm.intr.umax62 63// LLVM: = mul i3264// LLVM: = udiv i3265// LLVM: = urem i3266// LLVM: = add i3267// LLVM: = sub i3268// LLVM: = and i3269// LLVM: = xor i3270// LLVM: = or i3271// LLVM: = call i32 @llvm.uadd.sat.i3272// LLVM: = call i32 @llvm.usub.sat.i3273// LLVM: = call i32 @llvm.umax.i3274