Skip to content

Commit fd426e0

Browse files
committed
[asl] Restrict aarch64_iico_data to starting from reads
Previously, aarch64_iico_data could start at a write because of the ASL register reads inside the instruction. We exclude those cases.
1 parent 65e7fe0 commit fd426e0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

herd/libdir/asl.cat

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ let asl_ctrl_deps = [B]; (asl_data | asl_iico_ctrl)+; [AArch64]
5050
(**********************************)
5151

5252
(* Intra-instruction Data dependencies *)
53-
let aarch64_iico_data = [AArch64 \ B]; asl_deps; [AArch64]
53+
let aarch64_iico_data = [AArch64 & (R | Rreg)]; asl_deps; [AArch64]
5454

5555
(* Intra-instruction Control dependencies *)
5656
let aarch64_iico_ctrl = [B]; asl_ctrl_deps; [AArch64]

0 commit comments

Comments
 (0)