diff options
| author | Andrew Kelley <andrew@ziglang.org> | 2022-03-06 15:23:21 -0700 |
|---|---|---|
| committer | Andrew Kelley <andrew@ziglang.org> | 2022-03-06 16:11:39 -0700 |
| commit | 71b8760d3b145c92dc6e331aefff7dac5cabebeb (patch) | |
| tree | 66b92748616634b689eb5c984f143042132d5e6c /src/AstGen.zig | |
| parent | 6637335981f7179b449fced78cfd4052b1618051 (diff) | |
| download | zig-71b8760d3b145c92dc6e331aefff7dac5cabebeb.tar.gz zig-71b8760d3b145c92dc6e331aefff7dac5cabebeb.zip | |
stage2: rework `@mulAdd`
* mul_add AIR instruction: use `pl_op` instead of `ty_pl`. The type is
always the same as the operand; no need to waste bytes redundantly
storing the type.
* AstGen: use coerced_ty for all the operands except for one which we
use to communicate the type.
* Sema: use the correct source location for requireRuntimeBlock in
handling of `@mulAdd`.
* native backends: handle liveness even for the functions that are
TODO.
* C backend: implement `@mulAdd`. It lowers to libc calls.
* LLVM backend: make `@mulAdd` handle all float types.
- improved fptrunc and fpext to handle f80 with compiler-rt calls.
* Value.mulAdd: handle all float types and use the `@mulAdd` builtin.
* behavior tests: revert the changes to testing `@mulAdd`. These
changes broke the test coverage, making it only tested at
compile-time.
Improved f80 support:
* std.math.fma handles f80
* move fma functions from freestanding libc to compiler-rt
- add __fmax and fmal
- make __fmax and fmaq only exported when they don't alias fmal.
- make their linkage weak just like the rest of compiler-rt symbols.
* removed `longDoubleIsF128` and replaced it with `longDoubleIs` which
takes a type as a parameter. The implementation is now more accurate
and handles more targets. Similarly, in stage2 the function
CTypes.sizeInBits is more accurate for long double for more targets.
Diffstat (limited to 'src/AstGen.zig')
| -rw-r--r-- | src/AstGen.zig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/AstGen.zig b/src/AstGen.zig index cb710af900..fdd58dd948 100644 --- a/src/AstGen.zig +++ b/src/AstGen.zig @@ -7309,8 +7309,8 @@ fn builtinCall( }, .mul_add => { const float_type = try typeExpr(gz, scope, params[0]); - const mulend1 = try expr(gz, scope, .{ .ty = float_type }, params[1]); - const mulend2 = try expr(gz, scope, .{ .ty = float_type }, params[2]); + const mulend1 = try expr(gz, scope, .{ .coerced_ty = float_type }, params[1]); + const mulend2 = try expr(gz, scope, .{ .coerced_ty = float_type }, params[2]); const addend = try expr(gz, scope, .{ .ty = float_type }, params[3]); const result = try gz.addPlNode(.mul_add, node, Zir.Inst.MulAdd{ .mulend1 = mulend1, |
