{#syntax#}@expect(operand: bool, expected: bool) bool{#endsyntax#}
- - Informs the optimizer that {#syntax#}operand{#endsyntax#} will likely be {#syntax#}expected{#endsyntax#}, which influences branch compilation to prefer generating the true branch first. -
- {#code|expect_if.zig#} - {#header_close#} - {#header_open|@fence#}{#syntax#}@fence(order: AtomicOrder) void{#endsyntax#}
diff --git a/doc/langref/expect_if.zig b/doc/langref/expect_if.zig deleted file mode 100644 index e971db4e5a5650eac97ca6e598a7283700ebbaa4..0000000000000000000000000000000000000000 --- a/doc/langref/expect_if.zig +++ /dev/null @@ -1,15 +0,0 @@ -pub fn a(x: u32) void { - if (@expect(x == 0, false)) { - // condition check falls through at code generation - return; - } else { - // condition is branched to at code generation - return; - } -} - -test "expect" { - a(10); -} - -// test diff --git a/lib/std/zig/AstGen.zig b/lib/std/zig/AstGen.zig index 9843423677a22c214df84ce27799c7eb205ac70c..ee14d7dee4774ae27a9fc4a62bf9244425940ea4 100644 --- a/lib/std/zig/AstGen.zig +++ b/lib/std/zig/AstGen.zig @@ -2823,7 +2823,6 @@ fn addEnsureResult(gz: *GenZir, maybe_unused_result: Zir.Inst.Ref, statement: As .set_float_mode, .set_align_stack, .set_cold, - .expect, => break :b true, else => break :b false, }, @@ -9293,14 +9292,7 @@ fn builtinCall( }); return rvalue(gz, ri, .void_value, node); }, - .expect => { - const val = try gz.addExtendedPayload(.expect, Zir.Inst.BinNode{ - .node = gz.nodeIndexToRelative(node), - .lhs = try expr(gz, scope, .{ .rl = .{ .ty = .bool_type } }, params[0]), - .rhs = try expr(gz, scope, .{ .rl = .{ .ty = .bool_type } }, params[1]), - }); - return rvalue(gz, ri, val, node); - }, + .src => { const token_starts = tree.tokens.items(.start); const node_start = token_starts[tree.firstToken(node)]; diff --git a/lib/std/zig/AstRlAnnotate.zig b/lib/std/zig/AstRlAnnotate.zig index 0e80d06872496ed767bc409b207f44962524ba01..4a1203ca09fc4e58761faf8cb029de1cfff0ba7f 100644 --- a/lib/std/zig/AstRlAnnotate.zig +++ b/lib/std/zig/AstRlAnnotate.zig @@ -1100,10 +1100,5 @@ fn builtinCall(astrl: *AstRlAnnotate, block: ?*Block, ri: ResultInfo, node: Ast. _ = try astrl.expr(args[4], block, ResultInfo.type_only); return false; }, - .expect => { - _ = try astrl.expr(args[0], block, ResultInfo.none); - _ = try astrl.expr(args[1], block, ResultInfo.none); - return false; - }, } } diff --git a/lib/std/zig/BuiltinFn.zig b/lib/std/zig/BuiltinFn.zig index b6aea0e84eb824cbd7e54d5820d7e7a21451733a..4bea0278fa5dfabf9b122332e384ee1608bde5e0 100644 --- a/lib/std/zig/BuiltinFn.zig +++ b/lib/std/zig/BuiltinFn.zig @@ -82,7 +82,6 @@ pub const Tag = enum { select, set_align_stack, set_cold, - expect, set_eval_branch_quota, set_float_mode, set_runtime_safety, @@ -744,13 +743,6 @@ pub const list = list: { .illegal_outside_function = true, }, }, - .{ - "@expect", - .{ - .tag = .expect, - .param_count = 2, - }, - }, .{ "@setEvalBranchQuota", .{ diff --git a/lib/std/zig/Zir.zig b/lib/std/zig/Zir.zig index 29d6634cfa6d44a58fc5036d3c980b1aa2646cb9..9453790fcf86e983e2a7852d3c28e232b5997553 100644 --- a/lib/std/zig/Zir.zig +++ b/lib/std/zig/Zir.zig @@ -2060,9 +2060,6 @@ pub const Inst = struct { /// Guaranteed to not have the `ptr_cast` flag. /// Uses the `pl_node` union field with payload `FieldParentPtr`. field_parent_ptr, - /// Implements the `@expect` builtin. - /// `operand` is BinOp - expect, pub const InstData = struct { opcode: Extended, diff --git a/lib/zig.h b/lib/zig.h index 13240b45ddd70b4032aa791f8da4e2b25684d94c..1e9da15a3faca9c632209a243199332c9f0d1e6f 100644 --- a/lib/zig.h +++ b/lib/zig.h @@ -318,12 +318,6 @@ typedef char bool; #define zig_noreturn #endif -#if defined(__GNUC__) || defined(__clang__) -#define zig_expect(op, exp) __builtin_expect(op, exp) -#else -#define zig_expect(op, exp) (op) -#endif - #define zig_bitSizeOf(T) (CHAR_BIT * sizeof(T)) #define zig_compiler_rt_abbrev_uint32_t si diff --git a/src/Air.zig b/src/Air.zig index 82a1715666edcda93a7563d66647024c84fd2c7d..9d7016155e89ec0795faca97be9252762973439f 100644 --- a/src/Air.zig +++ b/src/Air.zig @@ -848,10 +848,6 @@ pub const Inst = struct { /// Operand is unused and set to Ref.none work_group_id, - /// Implements @expect builtin. - /// Uses the `bin_op` field. - expect, - pub fn fromCmpOp(op: std.math.CompareOperator, optimized: bool) Tag { switch (op) { .lt => return if (optimized) .cmp_lt_optimized else .cmp_lt, @@ -1521,8 +1517,6 @@ pub fn typeOfIndex(air: *const Air, inst: Air.Inst.Index, ip: *const InternPool) .work_group_id, => return Type.u32, - .expect => return Type.bool, - .inferred_alloc => unreachable, .inferred_alloc_comptime => unreachable, } @@ -1640,7 +1634,6 @@ pub fn mustLower(air: Air, inst: Air.Inst.Index, ip: *const InternPool) bool { .add_safe, .sub_safe, .mul_safe, - .expect, => true, .add, diff --git a/src/Liveness.zig b/src/Liveness.zig index e66859ff4f5a1cf678a4cd4d6c63568f515c9bda..4ca28758e2226920c32e11db8ed486e0727f6ed1 100644 --- a/src/Liveness.zig +++ b/src/Liveness.zig @@ -286,7 +286,6 @@ pub fn categorizeOperand( .cmp_gte_optimized, .cmp_gt_optimized, .cmp_neq_optimized, - .expect, => { const o = air_datas[@intFromEnum(inst)].bin_op; if (o.lhs == operand_ref) return matchOperandSmallIndex(l, inst, 0, .none); @@ -956,7 +955,6 @@ fn analyzeInst( .memset, .memset_safe, .memcpy, - .expect, => { const o = inst_datas[@intFromEnum(inst)].bin_op; return analyzeOperands(a, pass, data, inst, .{ o.lhs, o.rhs, .none }); diff --git a/src/Liveness/Verify.zig b/src/Liveness/Verify.zig index 31442f25b232421521a5fc20b998e59758ff897d..4392f25e101dde101f892002aaa5bcf02110d267 100644 --- a/src/Liveness/Verify.zig +++ b/src/Liveness/Verify.zig @@ -257,7 +257,6 @@ fn verifyBody(self: *Verify, body: []const Air.Inst.Index) Error!void { .memset, .memset_safe, .memcpy, - .expect, => { const bin_op = data[@intFromEnum(inst)].bin_op; try self.verifyInstOperands(inst, .{ bin_op.lhs, bin_op.rhs, .none }); diff --git a/src/Module.zig b/src/Module.zig index 9fc038ecd917635524c43ab1059cea4c4762a1f7..c571c851fe57dc4b95f432511ffb25d1d7700269 100644 --- a/src/Module.zig +++ b/src/Module.zig @@ -5546,7 +5546,6 @@ pub const Feature = enum { /// to generate better machine code in the backends. All backends should migrate to /// enabling this feature. safety_checked_instructions, - can_expect, }; pub fn backendSupportsFeature(zcu: Module, feature: Feature) bool { diff --git a/src/Sema.zig b/src/Sema.zig index fcf82b1153a57684916670b49761e032f1c04d0e..ca6d562eef51ed59856abe06d7118ed4b7ae46a8 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -1258,7 +1258,6 @@ fn analyzeBodyInner( .work_group_size => try sema.zirWorkItem( block, extended, extended.opcode), .work_group_id => try sema.zirWorkItem( block, extended, extended.opcode), .in_comptime => try sema.zirInComptime( block), - .expect => try sema.zirExpect( block, extended), .closure_get => try sema.zirClosureGet( block, extended), // zig fmt: on @@ -17554,34 +17553,6 @@ fn zirThis( return sema.analyzeDeclVal(block, src, this_decl_index); } -fn zirExpect(sema: *Sema, block: *Block, inst: Zir.Inst.Extended.InstData) CompileError!Air.Inst.Ref { - const bin_op = sema.code.extraData(Zir.Inst.BinNode, inst.operand).data; - const operand = try sema.resolveInst(bin_op.lhs); - const expected = try sema.resolveInst(bin_op.rhs); - - const expected_src = LazySrcLoc{ .node_offset_builtin_call_arg1 = bin_op.node }; - - if (!try sema.isComptimeKnown(expected)) { - return sema.fail(block, expected_src, "@expect 'expected' must be comptime-known", .{}); - } - - if (try sema.resolveValue(operand)) |op| { - return Air.internedToRef(op.toIntern()); - } - - if (sema.mod.backendSupportsFeature(.can_expect) and sema.mod.optimizeMode() != .Debug) { - return try block.addInst(.{ - .tag = .expect, - .data = .{ .bin_op = .{ - .lhs = operand, - .rhs = expected, - } }, - }); - } else { - return operand; - } -} - fn zirClosureGet(sema: *Sema, block: *Block, extended: Zir.Inst.Extended.InstData) CompileError!Air.Inst.Ref { const mod = sema.mod; const ip = &mod.intern_pool; diff --git a/src/arch/aarch64/CodeGen.zig b/src/arch/aarch64/CodeGen.zig index dc7e8c4dd580c4cc8a60b112fc4f243439867d4a..ddde72345efed9aca766241a4d0302a2a60abd42 100644 --- a/src/arch/aarch64/CodeGen.zig +++ b/src/arch/aarch64/CodeGen.zig @@ -803,8 +803,6 @@ fn genBody(self: *Self, body: []const Air.Inst.Index) InnerError!void { .@"try" => try self.airTry(inst), .try_ptr => try self.airTryPtr(inst), - .expect => unreachable, - .dbg_stmt => try self.airDbgStmt(inst), .dbg_inline_block => try self.airDbgInlineBlock(inst), .dbg_var_ptr, diff --git a/src/arch/arm/CodeGen.zig b/src/arch/arm/CodeGen.zig index 7f001e5fa9c751b132fa239eca1c04b7f65f10ab..86d4e8f7fdd6699b80d4b588374d6d4a9b63724e 100644 --- a/src/arch/arm/CodeGen.zig +++ b/src/arch/arm/CodeGen.zig @@ -844,8 +844,6 @@ fn genBody(self: *Self, body: []const Air.Inst.Index) InnerError!void { .wrap_errunion_payload => try self.airWrapErrUnionPayload(inst), .wrap_errunion_err => try self.airWrapErrUnionErr(inst), - .expect => unreachable, - .add_optimized, .sub_optimized, .mul_optimized, diff --git a/src/arch/riscv64/CodeGen.zig b/src/arch/riscv64/CodeGen.zig index c8c5041a7d5548be70c523804e10b2c01de55acb..762251bc44b081110a08e8758d0a3eb88510828c 100644 --- a/src/arch/riscv64/CodeGen.zig +++ b/src/arch/riscv64/CodeGen.zig @@ -1200,8 +1200,6 @@ fn genBody(self: *Self, body: []const Air.Inst.Index) InnerError!void { .@"try" => try self.airTry(inst), .try_ptr => return self.fail("TODO: try_ptr", .{}), - .expect => unreachable, - .dbg_var_ptr, .dbg_var_val, => try self.airDbgVar(inst), diff --git a/src/arch/sparc64/CodeGen.zig b/src/arch/sparc64/CodeGen.zig index b78935d5b205fc404e54af69cc32ce5eb7902850..19c18ec4a6b0cdc9a5e75bbcea35950a52b89581 100644 --- a/src/arch/sparc64/CodeGen.zig +++ b/src/arch/sparc64/CodeGen.zig @@ -636,8 +636,6 @@ fn genBody(self: *Self, body: []const Air.Inst.Index) InnerError!void { .@"try" => try self.airTry(inst), .try_ptr => @panic("TODO try self.airTryPtr(inst)"), - .expect => unreachable, - .dbg_stmt => try self.airDbgStmt(inst), .dbg_inline_block => try self.airDbgInlineBlock(inst), .dbg_var_ptr, diff --git a/src/arch/wasm/CodeGen.zig b/src/arch/wasm/CodeGen.zig index a2d97326fc86ea6056e3f489e62d5f5af714a1c1..fe94c061365f9dc8fc497afa8c069c70f5a19fe5 100644 --- a/src/arch/wasm/CodeGen.zig +++ b/src/arch/wasm/CodeGen.zig @@ -2016,8 +2016,6 @@ fn genInst(func: *CodeGen, inst: Air.Inst.Index) InnerError!void { .c_va_start, => |tag| return func.fail("TODO: Implement wasm inst: {s}", .{@tagName(tag)}), - .expect => unreachable, - .atomic_load => func.airAtomicLoad(inst), .atomic_store_unordered, .atomic_store_monotonic, diff --git a/src/arch/x86_64/CodeGen.zig b/src/arch/x86_64/CodeGen.zig index 4ecb39611f5b54bc947b34f996adb1d0ea5be834..cc6e01408072fb8d3d61a65a091af30f3cdd5593 100644 --- a/src/arch/x86_64/CodeGen.zig +++ b/src/arch/x86_64/CodeGen.zig @@ -2014,8 +2014,6 @@ fn genBody(self: *Self, body: []const Air.Inst.Index) InnerError!void { .abs => try self.airAbs(inst), - .expect => unreachable, - .add_with_overflow => try self.airAddSubWithOverflow(inst), .sub_with_overflow => try self.airAddSubWithOverflow(inst), .mul_with_overflow => try self.airMulWithOverflow(inst), diff --git a/src/codegen/c.zig b/src/codegen/c.zig index f3ff666802280d9b2f58ad54a932df691ce1e5b2..9514b826eaa87187f8358edfe90e7e6a40b7710c 100644 --- a/src/codegen/c.zig +++ b/src/codegen/c.zig @@ -3343,8 +3343,6 @@ fn genBodyInner(f: *Function, body: []const Air.Inst.Index) error{ AnalysisFail, .@"try" => try airTry(f, inst), .try_ptr => try airTryPtr(f, inst), - - .expect => try airExpect(f, inst), .dbg_stmt => try airDbgStmt(f, inst), .dbg_inline_block => try airDbgInlineBlock(f, inst), @@ -4706,27 +4704,6 @@ fn airTryPtr(f: *Function, inst: Air.Inst.Index) !CValue { return lowerTry(f, inst, extra.data.ptr, body, err_union_ty, true); } -fn airExpect(f: *Function, inst: Air.Inst.Index) !CValue { - const bin_op = f.air.instructions.items(.data)[@intFromEnum(inst)].bin_op; - const operand = try f.resolveInst(bin_op.lhs); - const expected = try f.resolveInst(bin_op.rhs); - - const writer = f.object.writer(); - const local = try f.allocLocal(inst, Type.bool); - const a = try Assignment.start(f, writer, CType.bool); - try f.writeCValue(writer, local, .Other); - try a.assign(f, writer); - - try writer.writeAll("zig_expect("); - try f.writeCValue(writer, operand, .FunctionArgument); - try writer.writeAll(", "); - try f.writeCValue(writer, expected, .FunctionArgument); - try writer.writeAll(")"); - - try a.end(f, writer); - return local; -} - fn lowerTry( f: *Function, inst: Air.Inst.Index, diff --git a/src/codegen/llvm.zig b/src/codegen/llvm.zig index c9f9384e91f56ea156cb84945cb9d504f98bec77..9e51417ab6239d5cb4a1bcfaf3ad9256041c0f36 100644 --- a/src/codegen/llvm.zig +++ b/src/codegen/llvm.zig @@ -5038,8 +5038,6 @@ pub const FuncGen = struct { .slice_ptr => try self.airSliceField(inst, 0), .slice_len => try self.airSliceField(inst, 1), - .expect => try self.airExpect(inst), - .call => try self.airCall(inst, .auto), .call_always_tail => try self.airCall(inst, .always_tail), .call_never_tail => try self.airCall(inst, .never_tail), @@ -6367,26 +6365,6 @@ pub const FuncGen = struct { return result; } - // Note that the LowerExpectPass only runs in Release modes - fn airExpect(self: *FuncGen, inst: Air.Inst.Index) !Builder.Value { - const bin_op = self.air.instructions.items(.data)[@intFromEnum(inst)].bin_op; - - const operand = try self.resolveInst(bin_op.lhs); - const expected = try self.resolveInst(bin_op.rhs); - - return try self.wip.callIntrinsic( - .normal, - .none, - .expect, - &.{operand.typeOfWip(&self.wip)}, - &.{ - operand, - expected, - }, - "", - ); - } - fn sliceOrArrayPtr(fg: *FuncGen, ptr: Builder.Value, ty: Type) Allocator.Error!Builder.Value { const o = fg.dg.object; const mod = o.module; diff --git a/src/print_air.zig b/src/print_air.zig index d0607fe1035f4b94ba512880485e423ffb00d7f5..e61ae9fff004b15b5d27bbe8067b6c8de2e6d1bd 100644 --- a/src/print_air.zig +++ b/src/print_air.zig @@ -162,7 +162,6 @@ const Writer = struct { .memcpy, .memset, .memset_safe, - .expect, => try w.writeBinOp(s, inst), .is_null, diff --git a/src/print_zir.zig b/src/print_zir.zig index bc95d41b28df534f84130f28c235946ac8328d3b..dfe94d3970979b8a3df73a29ddaa9abc9e0da166 100644 --- a/src/print_zir.zig +++ b/src/print_zir.zig @@ -591,7 +591,6 @@ const Writer = struct { .wasm_memory_grow, .prefetch, .c_va_arg, - .expect, => { const inst_data = self.code.extraData(Zir.Inst.BinNode, extended.operand).data; const src = LazySrcLoc.nodeOffset(inst_data.node); diff --git a/src/target.zig b/src/target.zig index 0c1cbe3f922755e598f8c146a4b30d91c55c7b24..6af301e001015817013a267a9d517ad5b912bbee 100644 --- a/src/target.zig +++ b/src/target.zig @@ -535,6 +535,5 @@ pub fn backendSupportsFeature( .error_set_has_value => use_llvm or cpu_arch.isWasm(), .field_reordering => ofmt == .c or use_llvm, .safety_checked_instructions => use_llvm, - .can_expect => use_llvm or ofmt == .c, }; } diff --git a/test/behavior/expect.zig b/test/behavior/expect.zig deleted file mode 100644 index 7d759a4d04477b8bdb4445419c75015887aed334..0000000000000000000000000000000000000000 --- a/test/behavior/expect.zig +++ /dev/null @@ -1,37 +0,0 @@ -const std = @import("std"); -const expect = std.testing.expect; - -test "@expect if-statement" { - const x: u32 = 10; - _ = &x; - if (@expect(x == 20, true)) {} -} - -test "@expect runtime if-statement" { - var x: u32 = 10; - var y: u32 = 20; - _ = &x; - _ = &y; - if (@expect(x != y, false)) {} -} - -test "@expect bool input/output" { - const b: bool = true; - try expect(@TypeOf(@expect(b, false)) == bool); -} - -test "@expect bool is transitive" { - const a: bool = true; - const b = @expect(a, false); - - const c = @intFromBool(!b); - std.mem.doNotOptimizeAway(c); - - try expect(c == 0); - try expect(@expect(c != 0, false) == false); -} - -test "@expect at comptime" { - const a: bool = true; - comptime try expect(@expect(a, true) == true); -} diff --git a/test/cases/compile_errors/@expect_non_bool.zig b/test/cases/compile_errors/@expect_non_bool.zig deleted file mode 100644 index da49b30d126ad39fc5a307f7464ea5c7db9fe272..0000000000000000000000000000000000000000 --- a/test/cases/compile_errors/@expect_non_bool.zig +++ /dev/null @@ -1,11 +0,0 @@ -export fn a() void { - var x: u32 = 10; - _ = &x; - _ = @expect(x, true); -} - -// error -// backend=stage2 -// target=native -// -// :4:17: error: expected type 'bool', found 'u32'