Skip to content

Commit 2e3b056

Browse files
KMJ-007KMJ-007
committed
normalizing stderr and stdout
Signed-off-by: Karan Janthe <karanjanthe@gmail.com>
1 parent 11f7a89 commit 2e3b056

33 files changed

+419
-264
lines changed

‎tests/ui/autodiff/f32.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,11 @@
22
//@ compile-flags: -Zautodiff=Enable,PrintTAFn=callee -Zautodiff=NoPostopt -C opt-level=3 -Clto=fat -g
33
//@ no-prefer-dynamic
44
//@ needs-enzyme
5+
//@ normalize-stderr: "!(dbg|noundef) ![0-9]+" -> "!$1 !N"
6+
//@ normalize-stderr: "%[0-9]+" -> "%X"
7+
//@ normalize-stdout: "!(dbg|noundef) ![0-9]+" -> "!$1 !N"
8+
//@ normalize-stdout: "%[0-9]+" -> "%X"
9+
510
#![feature(autodiff)]
611

712
use std::autodiff::autodiff_reverse;

‎tests/ui/autodiff/f32.stderr

Lines changed: 34 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -1,40 +1,40 @@
11
analyzing function callee
2-
+ knowndata: ptr %0 : {[-1]:Pointer} - {}
2+
+ knowndata: ptr %X : {[-1]:Pointer} - {}
33
+ retdata: {[-1]:Float@float}
4-
updating analysis of val: ptr %0 current: {} new {[-1]:Pointer} from ptr %0 Changed=1 legal=1
5-
updating analysis of val: ptr %0 current: {[-1]:Pointer} new {[-1]:Pointer} from ptr %0 Changed=0 legal=1
6-
updating analysis of val: %3 = fmul float %2, %2, !dbg !355 current: {} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=1 legal=1
7-
updating analysis of val: %3 = fmul float %2, %2, !dbg !355 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=0 legal=1
8-
updating analysis of val: ptr %0 current: {[-1]:Pointer} new {[-1]:Pointer} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=0 legal=1
9-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {} new {} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=0 legal=1
10-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=1 legal=1
11-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=0 legal=1
12-
updating analysis of val: %3 = fmul float %2, %2, !dbg !355 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=0 legal=1
13-
updating analysis of val: ptr %0 current: {[-1]:Pointer} new {[-1]:Pointer, [-1,0]:Float@float} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=1 legal=1
14-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {[-1]:Float@float} new {[-1]:Float@float} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=0 legal=1
4+
updating analysis of val: ptr %X current: {} new {[-1]:Pointer} from ptr %X Changed=1 legal=1
5+
updating analysis of val: ptr %X current: {[-1]:Pointer} new {[-1]:Pointer} from ptr %X Changed=0 legal=1
6+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=1 legal=1
7+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
8+
updating analysis of val: ptr %X current: {[-1]:Pointer} new {[-1]:Pointer} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=0 legal=1
9+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {} new {} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=0 legal=1
10+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=1 legal=1
11+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
12+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
13+
updating analysis of val: ptr %X current: {[-1]:Pointer} new {[-1]:Pointer, [-1,0]:Float@float} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=1 legal=1
14+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=0 legal=1
1515
analyzing function preprocess_callee
16-
+ knowndata: ptr %0 : {[-1]:Pointer, [-1,0]:Float@float} - {}
16+
+ knowndata: ptr %X : {[-1]:Pointer, [-1,0]:Float@float} - {}
1717
+ retdata: {[-1]:Float@float}
18-
updating analysis of val: ptr %0 current: {} new {[-1]:Pointer, [-1,0]:Float@float} from ptr %0 Changed=1 legal=1
19-
updating analysis of val: ptr %0 current: {[-1]:Pointer, [-1,0]:Float@float} new {[-1]:Pointer, [-1,0]:Float@float} from ptr %0 Changed=0 legal=1
20-
updating analysis of val: %3 = fmul float %2, %2, !dbg !17194 current: {} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !17194 Changed=1 legal=1
21-
updating analysis of val: %3 = fmul float %2, %2, !dbg !17194 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !17194 Changed=0 legal=1
22-
updating analysis of val: ptr %0 current: {[-1]:Pointer, [-1,0]:Float@float} new {[-1]:Pointer} from %2 = load float, ptr %0, align 4, !dbg !17194, !noundef !14 Changed=0 legal=1
23-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !17194, !noundef !14 current: {} new {[-1]:Float@float} from %2 = load float, ptr %0, align 4, !dbg !17194, !noundef !14 Changed=1 legal=1
24-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !17194, !noundef !14 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !17194 Changed=0 legal=1
25-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !17194, !noundef !14 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !17194 Changed=0 legal=1
26-
updating analysis of val: %3 = fmul float %2, %2, !dbg !17194 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !17194 Changed=0 legal=1
18+
updating analysis of val: ptr %X current: {} new {[-1]:Pointer, [-1,0]:Float@float} from ptr %X Changed=1 legal=1
19+
updating analysis of val: ptr %X current: {[-1]:Pointer, [-1,0]:Float@float} new {[-1]:Pointer, [-1,0]:Float@float} from ptr %X Changed=0 legal=1
20+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=1 legal=1
21+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
22+
updating analysis of val: ptr %X current: {[-1]:Pointer, [-1,0]:Float@float} new {[-1]:Pointer} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=0 legal=1
23+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {} new {[-1]:Float@float} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=1 legal=1
24+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
25+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
26+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
2727
analyzing function callee
28-
+ knowndata: ptr %0 : {[-1]:Pointer} - {}
28+
+ knowndata: ptr %X : {[-1]:Pointer} - {}
2929
+ retdata: {[-1]:Float@float}
30-
updating analysis of val: ptr %0 current: {} new {[-1]:Pointer} from ptr %0 Changed=1 legal=1
31-
updating analysis of val: ptr %0 current: {[-1]:Pointer} new {[-1]:Pointer} from ptr %0 Changed=0 legal=1
32-
updating analysis of val: %3 = fmul float %2, %2, !dbg !355 current: {} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=1 legal=1
33-
updating analysis of val: %3 = fmul float %2, %2, !dbg !355 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=0 legal=1
34-
updating analysis of val: ptr %0 current: {[-1]:Pointer} new {[-1]:Pointer} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=0 legal=1
35-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {} new {} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=0 legal=1
36-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=1 legal=1
37-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=0 legal=1
38-
updating analysis of val: %3 = fmul float %2, %2, !dbg !355 current: {[-1]:Float@float} new {[-1]:Float@float} from %3 = fmul float %2, %2, !dbg !355 Changed=0 legal=1
39-
updating analysis of val: ptr %0 current: {[-1]:Pointer} new {[-1]:Pointer, [-1,0]:Float@float} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=1 legal=1
40-
updating analysis of val: %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 current: {[-1]:Float@float} new {[-1]:Float@float} from %2 = load float, ptr %0, align 4, !dbg !355, !noundef !14 Changed=0 legal=1
30+
updating analysis of val: ptr %X current: {} new {[-1]:Pointer} from ptr %X Changed=1 legal=1
31+
updating analysis of val: ptr %X current: {[-1]:Pointer} new {[-1]:Pointer} from ptr %X Changed=0 legal=1
32+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=1 legal=1
33+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
34+
updating analysis of val: ptr %X current: {[-1]:Pointer} new {[-1]:Pointer} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=0 legal=1
35+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {} new {} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=0 legal=1
36+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=1 legal=1
37+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
38+
updating analysis of val: %X = fmul float %X, %X, !dbg !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = fmul float %X, %X, !dbg !N Changed=0 legal=1
39+
updating analysis of val: ptr %X current: {[-1]:Pointer} new {[-1]:Pointer, [-1,0]:Float@float} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=1 legal=1
40+
updating analysis of val: %X = load float, ptr %X, align 4, !dbg !N, !noundef !N current: {[-1]:Float@float} new {[-1]:Float@float} from %X = load float, ptr %X, align 4, !dbg !N, !noundef !N Changed=0 legal=1

‎tests/ui/autodiff/f32.stdout

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
callee - {[-1]:Float@float} |{[-1]:Pointer}:{}
2-
ptr %0: {[-1]:Pointer, [-1,0]:Float@float}
2+
ptr %X: {[-1]:Pointer, [-1,0]:Float@float}
33

4-
%2 = load float, ptr %0, align 4, !dbg !61, !noundef !14: {[-1]:Float@float}
5-
%3 = fmul float %2, %2, !dbg !61: {[-1]:Float@float}
6-
ret float %3, !dbg !62: {}
4+
%X = load float, ptr %X, align 4, !dbg !N, !noundef !N: {[-1]:Float@float}
5+
%X = fmul float %X, %X, !dbg !N: {[-1]:Float@float}
6+
ret float %X, !dbg !N: {}
77
callee - {[-1]:Float@float} |{[-1]:Pointer, [-1,0]:Float@float}:{}
8-
ptr %0: {[-1]:Pointer, [-1,0]:Float@float}
8+
ptr %X: {[-1]:Pointer, [-1,0]:Float@float}
99

10-
%2 = load float, ptr %0, align 4, !dbg !61, !noundef !14: {[-1]:Float@float}
11-
%3 = fmul float %2, %2, !dbg !61: {[-1]:Float@float}
12-
ret float %3, !dbg !62: {}
10+
%X = load float, ptr %X, align 4, !dbg !N, !noundef !N: {[-1]:Float@float}
11+
%X = fmul float %X, %X, !dbg !N: {[-1]:Float@float}
12+
ret float %X, !dbg !N: {}

‎tests/ui/autodiff/f64.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,11 @@
22
//@ compile-flags: -Zautodiff=Enable,PrintTAFn=callee -Zautodiff=NoPostopt -C opt-level=3 -Clto=fat -g
33
//@ no-prefer-dynamic
44
//@ needs-enzyme
5+
//@ normalize-stderr: "!(dbg|noundef) ![0-9]+" -> "!$1 !N"
6+
//@ normalize-stderr: "%[0-9]+" -> "%X"
7+
//@ normalize-stdout: "!(dbg|noundef) ![0-9]+" -> "!$1 !N"
8+
//@ normalize-stdout: "%[0-9]+" -> "%X"
9+
510
#![feature(autodiff)]
611
use std::autodiff::autodiff_reverse;
712

0 commit comments

Comments
 (0)