From 695429df954b084d2226fe2a6c1a47e1861bcc01 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Tue, 22 Sep 2026 16:02:08 -0700 Subject: int fallbacks for int ops all chapters, a little sharper for int ops --- chapter05/README.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'chapter05/README.md') diff --git a/chapter05/README.md b/chapter05/README.md index 7337da33..2732066e 100644 --- a/chapter05/README.md +++ b/chapter05/README.md @@ -83,6 +83,10 @@ one for each of the control inputs to that `Region`. The result computed by a control input to the `Region` can be active at a time, and the `Phi` passes through the data value from the matching input.[^1] +Its type is the meet of its data-input types. Two different integer constants +merge to `TypeInteger.BOT`: the value is unknown, but it is still an integer. +Integer arithmetic likewise retains an integer result type when it cannot fold. + #### `RegionNode` In this Sea of Nodes, there is an embedded Control Flow Graph - and like a -- cgit v1.2.3