1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
// RUN: cir-opt %s -cir-to-llvm -o %t.mlir
// RUN: FileCheck --input-file=%t.mlir %s
!s32i = !cir.int<s, 32>
module {
cir.func @foo() {
%0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}
%1 = cir.alloca !s32i, !cir.ptr<!s32i>, ["b", init] {alignment = 4 : i64}
%2 = cir.alloca !s32i, !cir.ptr<!s32i>, ["x", init] {alignment = 4 : i64}
%3 = cir.const #cir.int<2> : !s32i cir.store %3, %0 : !s32i, !cir.ptr<!s32i>
%4 = cir.const #cir.int<1> : !s32i cir.store %4, %1 : !s32i, !cir.ptr<!s32i>
%5 = cir.load %0 : !cir.ptr<!s32i>, !s32i
%6 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%7 = cir.binop(mul, %5, %6) : !s32i
// CHECK: = llvm.mul
cir.store %7, %2 : !s32i, !cir.ptr<!s32i>
%8 = cir.load %2 : !cir.ptr<!s32i>, !s32i
%9 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%10 = cir.binop(div, %8, %9) : !s32i
// CHECK: = llvm.sdiv
cir.store %10, %2 : !s32i, !cir.ptr<!s32i>
%11 = cir.load %2 : !cir.ptr<!s32i>, !s32i
%12 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%13 = cir.binop(rem, %11, %12) : !s32i
// CHECK: = llvm.srem
cir.store %13, %2 : !s32i, !cir.ptr<!s32i>
%14 = cir.load %2 : !cir.ptr<!s32i>, !s32i
%15 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%16 = cir.binop(add, %14, %15) : !s32i
// CHECK: = llvm.add
cir.store %16, %2 : !s32i, !cir.ptr<!s32i>
%17 = cir.load %2 : !cir.ptr<!s32i>, !s32i
%18 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%19 = cir.binop(sub, %17, %18) : !s32i
// CHECK: = llvm.sub
cir.store %19, %2 : !s32i, !cir.ptr<!s32i>
%26 = cir.load %2 : !cir.ptr<!s32i>, !s32i
%27 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%28 = cir.binop(and, %26, %27) : !s32i
// CHECK: = llvm.and
cir.store %28, %2 : !s32i, !cir.ptr<!s32i>
%29 = cir.load %2 : !cir.ptr<!s32i>, !s32i
%30 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%31 = cir.binop(xor, %29, %30) : !s32i
// CHECK: = llvm.xor
cir.store %31, %2 : !s32i, !cir.ptr<!s32i>
%32 = cir.load %2 : !cir.ptr<!s32i>, !s32i
%33 = cir.load %1 : !cir.ptr<!s32i>, !s32i
%34 = cir.binop(or, %32, %33) : !s32i
// CHECK: = llvm.or
%35 = cir.binop(add, %32, %33) sat: !s32i
// CHECK: = llvm.intr.sadd.sat{{.*}}(i32, i32) -> i32
%36 = cir.binop(sub, %32, %33) sat: !s32i
// CHECK: = llvm.intr.ssub.sat{{.*}}(i32, i32) -> i32
cir.store %34, %2 : !s32i, !cir.ptr<!s32i>
%37 = cir.binop(max, %32, %33) : !s32i
// CHECK: = llvm.intr.smax
cir.return
}
}
|
