mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
31 lines
633 B
MLIR
31 lines
633 B
MLIR
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
// RUN: %root/bin/revng clift-opt %s | FileCheck %s
|
|
|
|
// CHECK: #data_model = #clift.data_model<
|
|
#data_model = #clift.data_model<
|
|
// CHECK-NEXT: pointer = 8
|
|
pointer = 8,
|
|
// CHECK-NOT: char
|
|
char = 1,
|
|
// CHECK-NOT: short
|
|
short = 2,
|
|
// CHECK-NOT: int
|
|
int = 4,
|
|
// CHECK-NEXT: long = 4
|
|
long = 4,
|
|
// CHECK-NOT: long long
|
|
long long = 8,
|
|
// CHECK-NOT: float
|
|
float = 4,
|
|
// CHECK-NOT: double
|
|
double = 8,
|
|
// CHECK-NOT: long double
|
|
long double = 8
|
|
>
|
|
// CHECK-NEXT: >
|
|
|
|
module attributes { clift.data_model = #data_model } {}
|