dc9b8fe3b7
This PR adds support for the DLTI dialect by attaching it to the module attributes and introduces a utility function to determine if the target is big-endian, which is required for https://github.com/llvm/llvm-project/pull/142041. Some tests were updated because we now use `mlir::translateDataLayout`, which "updates" the `DataLayout` where the alignment for `long` is 8 instead of the previously 4. This updated is consistent with Incubator.
74 lines
2.2 KiB
C++
74 lines
2.2 KiB
C++
// Simple functions
|
|
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o - | FileCheck %s
|
|
|
|
void empty() { }
|
|
// CHECK: define{{.*}} void @_Z5emptyv()
|
|
// CHECK: ret void
|
|
|
|
void voidret() { return; }
|
|
// CHECK: define{{.*}} void @_Z7voidretv()
|
|
// CHECK: ret void
|
|
|
|
int intfunc() { return 42; }
|
|
// CHECK: define{{.*}} i32 @_Z7intfuncv()
|
|
// CHECK: %[[RV:.*]] = alloca i32, i64 1, align 4
|
|
// CHECK: store i32 42, ptr %[[RV]], align 4
|
|
// CHECK: %[[R:.*]] = load i32, ptr %[[RV]], align 4
|
|
// CHECK: ret i32 %[[R]]
|
|
|
|
int scopes() {
|
|
{
|
|
{
|
|
return 99;
|
|
}
|
|
}
|
|
}
|
|
// CHECK: define{{.*}} i32 @_Z6scopesv() {
|
|
// CHECK: %[[RV:.*]] = alloca i32, i64 1, align 4
|
|
// CHECK: br label %[[LABEL1:.*]]
|
|
// CHECK: [[LABEL1]]:
|
|
// CHECK: br label %[[LABEL2:.*]]
|
|
// CHECK: [[LABEL2]]:
|
|
// CHECK: store i32 99, ptr %[[RV]], align 4
|
|
// CHECK: %[[R:.*]] = load i32, ptr %[[RV]], align 4
|
|
// CHECK: ret i32 %[[R]]
|
|
// CHECK: [[LABEL3:.*]]:
|
|
// CHECK: br label %[[LABEL4:.*]]
|
|
// CHECK: [[LABEL4]]:
|
|
// CHECK: call void @llvm.trap()
|
|
// CHECK: unreachable
|
|
// CHECK: }
|
|
|
|
long longfunc() { return 42l; }
|
|
// CHECK: define{{.*}} i64 @_Z8longfuncv() {
|
|
// CHECK: %[[RV:.*]] = alloca i64, i64 1, align 8
|
|
// CHECK: store i64 42, ptr %[[RV]], align 8
|
|
// CHECK: %[[R:.*]] = load i64, ptr %[[RV]], align 8
|
|
// CHECK: ret i64 %[[R]]
|
|
// CHECK: }
|
|
|
|
unsigned unsignedfunc() { return 42u; }
|
|
// CHECK: define{{.*}} i32 @_Z12unsignedfuncv() {
|
|
// CHECK: %[[RV:.*]] = alloca i32, i64 1, align 4
|
|
// CHECK: store i32 42, ptr %[[RV]], align 4
|
|
// CHECK: %[[R:.*]] = load i32, ptr %[[RV]], align 4
|
|
// CHECK: ret i32 %[[R]]
|
|
// CHECK: }
|
|
|
|
unsigned long long ullfunc() { return 42ull; }
|
|
// CHECK: define{{.*}} i64 @_Z7ullfuncv() {
|
|
// CHECK: %[[RV:.*]] = alloca i64, i64 1, align 8
|
|
// CHECK: store i64 42, ptr %[[RV]], align 8
|
|
// CHECK: %[[R:.*]] = load i64, ptr %[[RV]], align 8
|
|
// CHECK: ret i64 %[[R]]
|
|
// CHECK: }
|
|
|
|
bool boolfunc() { return true; }
|
|
// CHECK: define{{.*}} i1 @_Z8boolfuncv() {
|
|
// CHECK: %[[RV:.*]] = alloca i8, i64 1, align 1
|
|
// CHECK: store i8 1, ptr %[[RV]], align 1
|
|
// CHECK: %[[R8:.*]] = load i8, ptr %[[RV]], align 1
|
|
// CHECK: %[[R:.*]] = trunc i8 %[[R8]] to i1
|
|
// CHECK: ret i1 %[[R]]
|
|
// CHECK: }
|