Skip to content

Commit

Permalink
formatted
Browse files Browse the repository at this point in the history
  • Loading branch information
jvanburen committed Dec 31, 2024
1 parent 1746aa8 commit 37b4e82
Showing 1 changed file with 9 additions and 6 deletions.
15 changes: 9 additions & 6 deletions middle_end/flambda2/to_cmm/to_cmm_primitive.ml
Original file line number Diff line number Diff line change
Expand Up @@ -140,9 +140,11 @@ let block_load ~dbg (kind : P.Block_access_kind.t) (mutability : Mutability.t)
in
match kind with
| Mixed { field_kind = Value_prefix Any_value; _ }
| Values { field_kind = Any_value; _ } -> get_field_computed Pointer
| Values { field_kind = Any_value; _ } ->
get_field_computed Pointer
| Mixed { field_kind = Value_prefix Immediate; _ }
| Values { field_kind = Immediate; _ } -> get_field_computed Immediate
| Values { field_kind = Immediate; _ } ->
get_field_computed Immediate
| Naked_floats _ -> get_field_unboxed Double ~offset_in_words:field
| Mixed { field_kind = Flat_suffix field_kind; shape; _ } ->
let chunk : Cmm.memory_chunk =
Expand All @@ -154,9 +156,9 @@ let block_load ~dbg (kind : P.Block_access_kind.t) (mutability : Mutability.t)
| Naked_vec128 -> Onetwentyeight_unaligned
| Naked_int64 | Naked_nativeint -> Word_int
in
get_field_unboxed
chunk
~offset_in_words:(Flambda_kind.Mixed_block_shape.offset_in_words shape field)
get_field_unboxed chunk
~offset_in_words:
(Flambda_kind.Mixed_block_shape.offset_in_words shape field)

let block_set ~dbg (kind : P.Block_access_kind.t) (init : P.Init_or_assign.t)
~block ~field ~new_value =
Expand Down Expand Up @@ -466,7 +468,8 @@ let string_like_load_aux ~dbg width ~str ~index =
match (width : P.string_accessor_width) with
| Eight -> C.load ~dbg Byte_unsigned Mutable ~addr:(C.add_int str index dbg)
| Sixteen -> C.unaligned_load_16 str index dbg
| Thirty_two -> C.sign_extend ~bits:32 ~dbg (C.unaligned_load_32 str index dbg)
| Thirty_two ->
C.sign_extend ~bits:32 ~dbg (C.unaligned_load_32 str index dbg)
| Single -> C.unaligned_load_f32 str index dbg
| Sixty_four -> C.unaligned_load_64 str index dbg
| One_twenty_eight { aligned = true } -> C.aligned_load_128 str index dbg
Expand Down

0 comments on commit 37b4e82

Please sign in to comment.