@@ -21,11 +21,11 @@ l9.entry:
2121 %_v10.xval1.addr1 = ptrtoint i64* %_v1.x to i64
2222 %_v10.xval1.addr2 = add i64 %_v10.xval1.addr1, 0
2323 %_v10.xval1.ptr = inttoptr i64 %_v10.xval1.addr2 to i64*
24- %_v10.xval1 = load i64* %_v10.xval1.ptr, !tbaa !7
24+ %_v10.xval1 = load i64, i64 * %_v10.xval1.ptr, !tbaa !7
2525 %_v11.yval1.addr1 = ptrtoint i64* %_v2.y to i64
2626 %_v11.yval1.addr2 = add i64 %_v11.yval1.addr1, 0
2727 %_v11.yval1.ptr = inttoptr i64 %_v11.yval1.addr2 to i64*
28- %_v11.yval1 = load i64* %_v11.yval1.ptr, !tbaa !6
28+ %_v11.yval1 = load i64, i64 * %_v11.yval1.ptr, !tbaa !6
2929 %_v12.a = add i64 %_v10.xval1, %_v11.yval1
3030 %_v13.addr1 = ptrtoint i64* %_v3.z to i64
3131 %_v14.addr2 = add i64 %_v13.addr1, 0
@@ -34,22 +34,22 @@ l9.entry:
3434 %_v16.xval2.addr1 = ptrtoint i64* %_v1.x to i64
3535 %_v16.xval2.addr2 = add i64 %_v16.xval2.addr1, 0
3636 %_v16.xval2.ptr = inttoptr i64 %_v16.xval2.addr2 to i64*
37- %_v16.xval2 = load i64* %_v16.xval2.ptr, !tbaa !7
37+ %_v16.xval2 = load i64, i64 * %_v16.xval2.ptr, !tbaa !7
3838 %_v17.yval2.addr1 = ptrtoint i64* %_v2.y to i64
3939 %_v17.yval2.addr2 = add i64 %_v17.yval2.addr1, 0
4040 %_v17.yval2.ptr = inttoptr i64 %_v17.yval2.addr2 to i64*
41- %_v17.yval2 = load i64* %_v17.yval2.ptr, !tbaa !6
41+ %_v17.yval2 = load i64, i64 * %_v17.yval2.ptr, !tbaa !6
4242 %_v18.b = add i64 %_v16.xval2, %_v17.yval2
4343 %_v19 = mul i64 %_v12.a, %_v18.b
4444 ret i64 %_v19
4545}
4646
4747
4848
49- !8 = metadata !{metadata !"x_plus_y_square_rz", metadata !5, i32 0}
50- !7 = metadata !{metadata !"x_plus_y_square_rx", metadata !6, i32 0}
51- !6 = metadata !{metadata !"x_plus_y_square_ry", metadata !5, i32 0}
52- !5 = metadata !{metadata !"x_plus_y_square_ROOT_4", null, i32 1}
49+ !8 = !{ !"x_plus_y_square_rz", !5, i32 0}
50+ !7 = !{ !"x_plus_y_square_rx", !6, i32 0}
51+ !6 = !{ !"x_plus_y_square_ry", !5, i32 0}
52+ !5 = !{ !"x_plus_y_square_ROOT_4", null, i32 1}
5353
5454
5555-- Observable optimisations: GVN - constprop behaviour
@@ -72,24 +72,24 @@ l11.entry:
7272 %_v12.a.addr1 = ptrtoint i64* %_v7.x to i64
7373 %_v12.a.addr2 = add i64 %_v12.a.addr1, 0
7474 %_v12.a.ptr = inttoptr i64 %_v12.a.addr2 to i64*
75- %_v12.a = load i64* %_v12.a.ptr, !tbaa !10
75+ %_v12.a = load i64, i64 * %_v12.a.ptr, !tbaa !10
7676 %_v13.b = add i64 %_v12.a, 1
7777 %_v15._d14 = call fastcc i64 @nothing (i64* %_v7.x)
7878 %_v16.c.addr1 = ptrtoint i64* %_v7.x to i64
7979 %_v16.c.addr2 = add i64 %_v16.c.addr1, 0
8080 %_v16.c.ptr = inttoptr i64 %_v16.c.addr2 to i64*
81- %_v16.c = load i64* %_v16.c.ptr, !tbaa !10
81+ %_v16.c = load i64, i64 * %_v16.c.ptr, !tbaa !10
8282 %_v17.d = mul i64 %_v16.c, 2
8383 %_v18 = add i64 %_v13.b, %_v17.d
8484 ret i64 %_v18
8585}
8686
8787
8888
89- !4 = metadata !{metadata !"nothing_rx", metadata !3, i32 0}
90- !3 = metadata !{metadata !"nothing_ROOT_2", null, i32 1}
91- !10 = metadata !{metadata !"three_x_plus_one_rx", metadata !9, i32 1}
92- !9 = metadata !{metadata !"three_x_plus_one_ROOT_8", null, i32 1}
89+ !4 = !{ !"nothing_rx", !3, i32 0}
90+ !3 = !{ !"nothing_ROOT_2", null, i32 1}
91+ !10 = !{ !"three_x_plus_one_rx", !9, i32 1}
92+ !9 = !{ !"three_x_plus_one_ROOT_8", null, i32 1}
9393
9494
9595-- Observarble optimisations: LICM
@@ -110,7 +110,7 @@ l13.default:
110110 %_v14.yval.addr1 = ptrtoint i64* %_v3.y to i64
111111 %_v14.yval.addr2 = add i64 %_v14.yval.addr1, 0
112112 %_v14.yval.ptr = inttoptr i64 %_v14.yval.addr2 to i64*
113- %_v14.yval = load i64* %_v14.yval.ptr, !tbaa !9
113+ %_v14.yval = load i64, i64 * %_v14.yval.ptr, !tbaa !9
114114 %_v15.yplustwo = add i64 %_v14.yval, 2
115115 %_v16.addr1 = ptrtoint i64* %_v2.x to i64
116116 %_v17.addr2 = add i64 %_v16.addr1, 0
@@ -127,10 +127,10 @@ l13.default:
127127
128128
129129
130- !9 = metadata !{metadata !"go_ry", metadata !6, i32 0}
131- !8 = metadata !{metadata !"go_rx", metadata !6, i32 0}
132- !7 = metadata !{metadata !"go_ra", metadata !6, i32 0}
133- !6 = metadata !{metadata !"go_ROOT_5", null, i32 1}
130+ !9 = !{ !"go_ry", !6, i32 0}
131+ !8 = !{ !"go_rx", !6, i32 0}
132+ !7 = !{ !"go_ra", !6, i32 0}
133+ !6 = !{ !"go_ROOT_5", null, i32 1}
134134
135135
136136
0 commit comments