xref: /llvm-project/mlir/test/Target/Cpp/comparison_operators.mlir (revision adea7e7032adc9d3ba2f9e18aea3d1cfbd6514b2) 
1// RUN: mlir-translate -mlir-to-cpp %s | FileCheck %s
2
3func.func @cmp(%arg0 : i32, %arg1 : f32, %arg2 : i64, %arg3 : f64, %arg4 : !emitc.opaque<"unsigned">, %arg5 : !emitc.opaque<"std::valarray<int>">, %arg6 : !emitc.opaque<"custom">) {
4  %1 = emitc.cmp eq, %arg0, %arg2 : (i32, i64) -> i1
5  %2 = emitc.cmp ne, %arg1, %arg3 : (f32, f64) -> i1
6  %3 = emitc.cmp lt, %arg2, %arg4 : (i64, !emitc.opaque<"unsigned">) -> !emitc.opaque<"int">
7  %4 = emitc.cmp le, %arg3, %arg3 : (f64, f64) -> i1
8  %5 = emitc.cmp gt, %arg6, %arg4 : (!emitc.opaque<"custom">, !emitc.opaque<"unsigned">) -> !emitc.opaque<"custom">
9  %6 = emitc.cmp ge, %arg5, %arg5 : (!emitc.opaque<"std::valarray<int>">, !emitc.opaque<"std::valarray<int>">) -> !emitc.opaque<"std::valarray<bool>">
10  %7 = emitc.cmp three_way, %arg6, %arg6 : (!emitc.opaque<"custom">, !emitc.opaque<"custom">) -> !emitc.opaque<"custom">
11
12  return
13}
14// CHECK-LABEL: void cmp
15// CHECK-NEXT:  bool [[V7:[^ ]*]] = [[V0:[^ ]*]] == [[V2:[^ ]*]];
16// CHECK-NEXT:  bool [[V8:[^ ]*]] = [[V1:[^ ]*]] != [[V3:[^ ]*]];
17// CHECK-NEXT:  int [[V9:[^ ]*]] = [[V2]] < [[V4:[^ ]*]];
18// CHECK-NEXT:  bool [[V10:[^ ]*]] = [[V3]] <= [[V3]];
19// CHECK-NEXT:  custom [[V11:[^ ]*]] = [[V6:[^ ]*]] > [[V4]];
20// CHECK-NEXT:  std::valarray<bool> [[V12:[^ ]*]] = [[V5:[^ ]*]] >= [[V5]];
21// CHECK-NEXT:  custom [[V13:[^ ]*]] = [[V6]] <=> [[V6]];
22