1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
; RUN: llc -mtriple=wasm32 -verify-machineinstrs < %s | FileCheck %s
; Demonstrates that appropriate .functype directives are emitted for defined
; functions, declared functions, and any libcalls.
; CHECK: .functype __unordtf2 (i64, i64, i64, i64) -> (i32)
; CHECK: .functype __multi3 (i32, i64, i64, i64, i64) -> ()
; CHECK: .functype defined_fun_1 (f64) -> (i64)
; CHECK: .functype defined_fun_2 (f64, i32) -> (i64)
; CHECK: .functype declared_fun (i32, f32, i64) -> (i32)
define i64 @defined_fun_1(double %a) {
; CHECK-LABEL: defined_fun_1:
; CHECK: .functype defined_fun_1 (f64) -> (i64)
%1 = call i64 @defined_fun_2(double %a, i32 1)
ret i64 %1
}
define i64 @defined_fun_2(double %a, i32 %b) {
; CHECK-LABEL: defined_fun_2:
; CHECK: .functype defined_fun_2 (f64, i32) -> (i64)
%1 = call i64 @defined_fun_1(double %a)
ret i64 %1
}
declare i8 @declared_fun(i32, float, i64)
define i128 @libcalls(fp128 %a, fp128 %b, i128 %c, i128 %d) {
; CHECK-LABEL: libcalls:
; CHECK: .functype libcalls (i32, i64, i64, i64, i64, i64, i64, i64, i64) -> ()
%1 = fcmp uno fp128 %a, %b
%2 = zext i1 %1 to i128
%3 = mul i128 %c, %d
%4 = add i128 %2, %3
ret i128 %4
}
|
