mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
64fc21e9dd
Old syntax: ``` !clift.pointer<pointer_size = 8, pointee_type = !t> !clift.pointer<is_const = true, pointer_size = 8, pointee_type = !t> ``` New syntax: ``` !clift.ptr<8 to !t> !clift.ptr<const 8 to !t> ```
14 lines
312 B
MLIR
14 lines
312 B
MLIR
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
// RUN: not %revngcliftopt %s 2>&1 | FileCheck %s
|
|
|
|
!pointer = !clift.ptr<8 to !clift.primitive<float 4>>
|
|
|
|
// CHECK: condition requires an integer type
|
|
clift.switch {
|
|
%0 = clift.undef : !pointer
|
|
clift.yield %0 : !pointer
|
|
}
|