1; RUN: mlir-translate -import-llvm %s | FileCheck %s 2; RUN: mlir-translate -import-llvm -mlir-print-debuginfo %s | FileCheck %s --check-prefix=CHECK-DBG 3 4; CHECK-DBG: #[[UNKNOWN_LOC:.+]] = loc(unknown) 5 6@global = external global double, align 8 7 8; CHECK: llvm.func @fe(i32) -> f32 9declare float @fe(i32) 10 11; CHECK-LABEL: llvm.func internal @f1(%arg0: i64) -> i32 attributes {dso_local, passthrough = ["norecurse"]} { 12; CHECK-DBG: llvm.func internal @f1(%arg0: i64 loc(unknown)) -> i32 attributes {dso_local, passthrough = ["norecurse"]} { 13; CHECK: %[[c2:[0-9]+]] = llvm.mlir.constant(2 : i32) : i32 14; CHECK: %[[c1:[0-9]+]] = llvm.mlir.constant(true) : i1 15; CHECK: %[[c43:[0-9]+]] = llvm.mlir.constant(43 : i32) : i32 16; CHECK: %[[c42:[0-9]+]] = llvm.mlir.constant(42 : i32) : i32 17define internal dso_local i32 @f1(i64 %a) norecurse { 18entry: 19; CHECK: %{{[0-9]+}} = llvm.inttoptr %arg0 : i64 to !llvm.ptr 20 %aa = inttoptr i64 %a to ptr 21; CHECK-DBG: llvm.mlir.addressof @global : !llvm.ptr loc(#[[UNKNOWN_LOC]]) 22; %[[addrof:[0-9]+]] = llvm.mlir.addressof @global : !llvm.ptr 23; %[[addrof2:[0-9]+]] = llvm.mlir.addressof @global : !llvm.ptr 24; %{{[0-9]+}} = llvm.inttoptr %arg0 : i64 to !llvm.ptr 25; %{{[0-9]+}} = llvm.ptrtoint %[[addrof2]] : !llvm.ptr to i64 26; %{{[0-9]+}} = llvm.getelementptr %[[addrof]][%3] : (!llvm.ptr, i32) -> !llvm.ptr 27 %bb = ptrtoint ptr @global to i64 28 %cc = getelementptr double, ptr @global, i32 3 29; CHECK: %[[b:[0-9]+]] = llvm.trunc %arg0 : i64 to i32 30; CHECK-DBG: llvm.trunc %arg0 : i64 to i32 loc(#[[UNKNOWN_LOC]]) 31 %b = trunc i64 %a to i32 32; CHECK: %[[c:[0-9]+]] = llvm.call @fe(%[[b]]) : (i32) -> f32 33 %c = call float @fe(i32 %b) 34; CHECK: %[[d:[0-9]+]] = llvm.fptosi %[[c]] : f32 to i32 35 %d = fptosi float %c to i32 36; CHECK: %[[e:[0-9]+]] = llvm.icmp "ne" %[[d]], %[[c2]] : i32 37 %e = icmp ne i32 %d, 2 38; CHECK: llvm.cond_br %[[e]], ^bb1, ^bb2 39 br i1 %e, label %if.then, label %if.end 40 41; CHECK: ^bb1: 42if.then: 43; CHECK: llvm.return %[[c42]] : i32 44 ret i32 42 45 46; CHECK: ^bb2: 47if.end: 48; CHECK: %[[orcond:[0-9]+]] = llvm.or %[[e]], %[[c1]] : i1 49 %or.cond = or i1 %e, 1 50; CHECK: llvm.return %[[c43]] 51 ret i32 43 52} 53; CHECK-DBG: } loc(#[[UNKNOWN_LOC]]) 54 55; CHECK-LABEL: @hasGCFunction 56; CHECK-SAME: garbageCollector = "statepoint-example" 57define void @hasGCFunction() gc "statepoint-example" { 58 ret void 59} 60 61; CHECK-LABEL: @useFreezeOp 62define i32 @useFreezeOp(i32 %x) { 63 ;CHECK: %{{[0-9]+}} = llvm.freeze %{{[0-9a-z]+}} : i32 64 %1 = freeze i32 %x 65 %2 = add i8 10, 10 66 ;CHECK: %{{[0-9]+}} = llvm.freeze %{{[0-9]+}} : i8 67 %3 = freeze i8 %2 68 %poison = add nsw i1 0, undef 69 ret i32 0 70} 71 72; Varadic function definition 73%struct.va_list = type { ptr } 74 75declare void @llvm.va_start.p0(ptr) 76declare void @llvm.va_copy.p0(ptr, ptr) 77declare void @llvm.va_end.p0(ptr) 78 79; CHECK-LABEL: llvm.func @variadic_function(%arg0: i32, ...) -> i32 80define i32 @variadic_function(i32 %X, ...) { 81 ; CHECK: %[[ALLOCA0:.+]] = llvm.alloca %{{.*}} x !llvm.struct<"struct.va_list", (ptr)> {{.*}} : (i32) -> !llvm.ptr 82 %ap = alloca %struct.va_list 83 ; CHECK: llvm.intr.vastart %[[ALLOCA0]] 84 call void @llvm.va_start.p0(ptr %ap) 85 86 ; CHECK: %[[ALLOCA1:.+]] = llvm.alloca %{{.*}} x !llvm.ptr {{.*}} : (i32) -> !llvm.ptr 87 %aq = alloca ptr 88 ; CHECK: llvm.intr.vacopy %[[ALLOCA0]] to %[[ALLOCA1]] 89 call void @llvm.va_copy.p0(ptr %aq, ptr %ap) 90 91 %ret = va_arg ptr %aq, i32 92 ; CHECK: llvm.intr.vaend %[[ALLOCA1]] 93 call void @llvm.va_end.p0(ptr %aq) 94 95 ; CHECK: llvm.intr.vaend %[[ALLOCA0]] 96 call void @llvm.va_end.p0(ptr %ap) 97 ; CHECK: llvm.return 98 ret i32 %ret 99} 100