all: zig fmt and rename "@XToY" to "@YFromX"

Signed-off-by: Eric Joldasov <bratishkaerik@getgoogleoff.me>

1 files changed, 48 insertions, 0 deletions

diff --git a/test/behavior/ptrfromint.zig b/test/behavior/ptrfromint.zig
new file mode 100644
index 0000000000..c07a6df834
--- /dev/null
+++ b/test/behavior/ptrfromint.zig
@@ -0,0 +1,48 @@
+const std = @import("std");
+const builtin = @import("builtin");
+const expectEqual = std.testing.expectEqual;
+
+test "casting integer address to function pointer" {
+    addressToFunction();
+    comptime addressToFunction();
+}
+
+fn addressToFunction() void {
+    var addr: usize = 0xdeadbee0;
+    _ = @ptrFromInt(*const fn () void, addr);
+}
+
+test "mutate through ptr initialized with constant ptrFromInt value" {
+    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
+    if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
+    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
+
+    forceCompilerAnalyzeBranchHardCodedPtrDereference(false);
+}
+
+fn forceCompilerAnalyzeBranchHardCodedPtrDereference(x: bool) void {
+    const hardCodedP = @ptrFromInt(*volatile u8, 0xdeadbeef);
+    if (x) {
+        hardCodedP.* = hardCodedP.* | 10;
+    } else {
+        return;
+    }
+}
+
+test "@ptrFromInt creates null pointer" {
+    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
+    if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
+    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
+
+    const ptr = @ptrFromInt(?*u32, 0);
+    try expectEqual(@as(?*u32, null), ptr);
+}
+
+test "@ptrFromInt creates allowzero zero pointer" {
+    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
+    if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
+    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
+
+    const ptr = @ptrFromInt(*allowzero u32, 0);
+    try expectEqual(@as(usize, 0), @intFromPtr(ptr));
+}