| ; 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 __multi3 (i32, i64, i64, i64, i64) -> () |
| ; CHECK: .functype __unordtf2 (i64, i64, i64, i64) -> (i32) |
| ; 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 |
| } |