mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
89 lines
2.3 KiB
MLIR
89 lines
2.3 KiB
MLIR
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
// RUN: %root/bin/revng clift-opt %s --loop-detection --canonicalize | FileCheck %s
|
|
|
|
!void = !clift.void
|
|
!int32_t = !clift.int<signed 4>
|
|
|
|
!f = !clift.func<"/type-definition/1001-CABIFunctionDefinition" : !void(!int32_t, !int32_t)>
|
|
|
|
// CHECK: module attributes {clift.module} {
|
|
module attributes {clift.module} {
|
|
// CHECK: clift.func
|
|
// CHECK-SAME: {
|
|
clift.func @f<!f>(%arg0 : !int32_t, %arg1 : !int32_t) {
|
|
%outer_loop = clift.make_label
|
|
%inner_loop = clift.make_label
|
|
|
|
clift.assign_label %outer_loop
|
|
// CHECK: clift.while
|
|
// CHECK: break [[OUTER_BREAK:%[0-9]+]]
|
|
// CHECK: continue [[OUTER_CONTINUE:%[0-9]+]]
|
|
// CHECK-SAME: cond {
|
|
// CHECK: [[COND:%[0-9]+]] = clift.imm 1 : !int8_t
|
|
// CHECK: clift.yield [[COND]] : !int8_t
|
|
// CHECK: } body {
|
|
|
|
// CHECK: clift.expr {
|
|
clift.expr {
|
|
// CHECK: [[IMM:%[0-9]+]] = clift.imm 10 : !int32_t
|
|
%0 = clift.imm 10 : !int32_t
|
|
// CHECK: clift.yield [[IMM]] : !int32_t
|
|
clift.yield %0 : !int32_t
|
|
// CHECK: }
|
|
}
|
|
|
|
clift.assign_label %inner_loop
|
|
// CHECK: clift.while
|
|
// CHECK: break [[INNER_BREAK:%[0-9]+]]
|
|
// CHECK: continue [[INNER_CONTINUE:%[0-9]+]]
|
|
// CHECK: cond {
|
|
// CHECK: [[COND:%[0-9]+]] = clift.imm 1 : !int8_t
|
|
// CHECK: clift.yield [[COND]] : !int8_t
|
|
// CHECK: } body {
|
|
|
|
// CHECK: clift.expr {
|
|
clift.expr {
|
|
// CHECK: [[IMM:%[0-9]+]] = clift.imm 20 : !int32_t
|
|
%0 = clift.imm 20 : !int32_t
|
|
// CHECK: clift.yield [[IMM]] : !int32_t
|
|
clift.yield %0 : !int32_t
|
|
// CHECK: }
|
|
}
|
|
|
|
// CHECK: clift.if {
|
|
clift.if {
|
|
// CHECK: clift.yield %arg0 : !int32_t
|
|
clift.yield %arg0 : !int32_t
|
|
// CHECK: } then {
|
|
} then {
|
|
// CHECK: clift.continue_to [[INNER_CONTINUE]]
|
|
clift.goto %inner_loop
|
|
// CHECK: }
|
|
}
|
|
|
|
// CHECK: clift.break_to [[INNER_BREAK]]
|
|
// COM: inner loop closer
|
|
// CHECK: }
|
|
|
|
// CHECK: clift.if {
|
|
clift.if {
|
|
// CHECK: clift.yield %arg1 : !int32_t
|
|
clift.yield %arg1 : !int32_t
|
|
// CHECK: } then {
|
|
} then {
|
|
// CHECK: clift.continue_to [[OUTER_CONTINUE]]
|
|
clift.goto %outer_loop
|
|
// CHECK: }
|
|
}
|
|
|
|
// CHECK: clift.break_to [[OUTER_BREAK]]
|
|
// COM: outer loop closer
|
|
// CHECK: }
|
|
// CHECK: }
|
|
}
|
|
// CHECK-NEXT: }
|
|
}
|