This is an archive of the discontinued LLVM Phabricator instance.

Differential D55162

[test] fix ScalarEvolution test to allow __func__ with prototype
ClosedPublic

Authored by mgorny on Dec 1 2018, 6:26 AM.

Details

Reviewers
krytarowski
kparzysz
Commits
rG014a6f930ac6: [test] Fix ScalarEvolution test to allow __func__ with prototype
rL348096: [test] Fix ScalarEvolution test to allow __func__ with prototype
Summary

Fix ScalarEvolution/solve-quadratic.ll test to account for func
output listing the complete function prototype rather than just its
name, as it does on NetBSD.

Example Linux output:

GetQuadraticEquation: addrec coeff bw: 4
GetQuadraticEquation: equation -2x^2 + -2x + -4, coeff bw: 5, multiplied by 2

Example NetBSD output:

llvm::Optional<std::tuple<llvm::APInt, llvm::APInt, llvm::APInt, llvm::APInt, unsigned int> > GetQuadraticEquation(const llvm::SCEVAddRecExpr*): addrec coeff bw: 4
llvm::Optional<std::tuple<llvm::APInt, llvm::APInt, llvm::APInt, llvm::APInt, unsigned int> > GetQuadraticEquation(const llvm::SCEVAddRecExpr*): equation -2x^2 + -2x + -4, coeff bw: 5, multiplied by 2

Diff Detail

Repository
rL LLVM

Event Timeline

mgorny created this revision.Dec 1 2018, 6:26 AM
Herald added subscribers: javed.absar, sanjoy. · View Herald TranscriptDec 1 2018, 6:26 AM
krytarowski accepted this revision.Dec 1 2018, 6:30 AM

I think that this is GCC specific, not restricted to NetBSD.

This revision is now accepted and ready to land.Dec 1 2018, 6:30 AM
krytarowski added a comment.Dec 1 2018, 11:31 AM

OK, I know a better fix.

https://nxr.netbsd.org/xref/src/sys/sys/cdefs.h#416 contains:

416 /*
417  * C99 defines __func__ predefined identifier, which was made available
418  * in GCC 2.95.
419  */
420 #if !(__STDC_VERSION__ >= 199901L)
421 #if __GNUC_PREREQ__(2, 6)
422 #define	__func__	__PRETTY_FUNCTION__
423 #elif __GNUC_PREREQ__(2, 4)
424 #define	__func__	__FUNCTION__
425 #else
426 #define	__func__	""
427 #endif
428 #endif /* !(__STDC_VERSION__ >= 199901L) */

__func__ is redefiend on NetBSD for C++. func is a part of C++11 and newer.

Please extend the guard in the NetBSD sources to stop redefining it for __cplusplus version 201103L or newer.

Closed by commit rL348096: [test] Fix ScalarEvolution test to allow __func__ with prototype (authored by mgorny). · Explain WhyDec 2 2018, 8:52 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
test/
Analysis/
ScalarEvolution/
246 lines

Diff 176254

test/Analysis/ScalarEvolution/solve-quadratic.ll

Show All 35 Lines
; coefficients is that the quadratic equation is N x^2 + (2M-N) x + 2L = 0, ; coefficients is that the quadratic equation is N x^2 + (2M-N) x + 2L = 0,
; where the equation was multiplied by 2 to make the coefficient at x^2 an ; where the equation was multiplied by 2 to make the coefficient at x^2 an
; integer (the actual equation is N/2 x^2 + (M-N/2) x + L = 0). ; integer (the actual equation is N/2 x^2 + (M-N/2) x + L = 0).
; Quadratic equation: 2x^2 + 2x + 4 in i4, solution (wrap): 4 ; Quadratic equation: 2x^2 + 2x + 4 in i4, solution (wrap): 4
; {14,+,14,+,14} -> X=0, Y=14, Z=14 ; {14,+,14,+,14} -> X=0, Y=14, Z=14
; ;
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test01' ; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test01'
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {-2,+,-2,+,-2}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {-2,+,-2,+,-2}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 4 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 4
; CHECK: GetQuadraticEquation: equation -2x^2 + -2x + -4, coeff bw: 5, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation -2x^2 + -2x + -4, coeff bw: 5, multiplied by 2
; CHECK: SolveQuadraticAddRecExact: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecExact{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving -2x^2 + -2x + -4, rw:5 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving -2x^2 + -2x + -4, rw:5
; CHECK: SolveQuadraticEquationWrap: updated coefficients 2x^2 + 2x + -28, rw:5 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 2x^2 + 2x + -28, rw:5
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 4 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 4
; CHECK: Loop %loop: Unpredictable backedge-taken count ; CHECK: Loop %loop: Unpredictable backedge-taken count
define signext i32 @test01() { define signext i32 @test01() {
entry: entry:
br label %loop br label %loop
loop: loop:
%ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ] %ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ]
%inc = phi i32 [ 0, %entry ], [ %inc1, %loop ] %inc = phi i32 [ 0, %entry ], [ %inc1, %loop ]
Show All 9 Linesexit:
%rv = phi i32 [ %acc1, %loop ] %rv = phi i32 [ %acc1, %loop ]
ret i32 %rv ret i32 %rv
} }
; Quadratic equation: 1x^2 + -73x + -146 in i32, solution (wrap): 75 ; Quadratic equation: 1x^2 + -73x + -146 in i32, solution (wrap): 75
; {-72,+,-36,+,1} -> X=-37, Y=-35, Z=1 ; {-72,+,-36,+,1} -> X=-37, Y=-35, Z=1
; ;
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test02': ; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test02':
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {0,+,-36,+,1}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {0,+,-36,+,1}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 32 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 32
; CHECK: GetQuadraticEquation: equation 1x^2 + -73x + 0, coeff bw: 33, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation 1x^2 + -73x + 0, coeff bw: 33, multiplied by 2
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -73x + 4294967154, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -73x + 4294967154, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -73x + -142, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -73x + -142, rw:32
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 75 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 75
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -73x + 4294967154, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -73x + 4294967154, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -73x + -4294967438, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -73x + -4294967438, rw:33
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 65573 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 65573
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -73x + -146, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -73x + -146, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -73x + -146, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -73x + -146, rw:32
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 75 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 75
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -73x + -146, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -73x + -146, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -73x + -146, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -73x + -146, rw:33
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 75 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 75
; CHECK: Loop %loop: backedge-taken count is 75 ; CHECK: Loop %loop: backedge-taken count is 75
define signext i32 @test02() { define signext i32 @test02() {
entry: entry:
br label %loop br label %loop
loop: loop:
%ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ] %ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ]
%inc = phi i32 [ -37, %entry ], [ %inc1, %loop ] %inc = phi i32 [ -37, %entry ], [ %inc1, %loop ]
Show All 9 Linesexit:
%rv = phi i32 [ %acc1, %loop ] %rv = phi i32 [ %acc1, %loop ]
ret i32 %rv ret i32 %rv
} }
; Quadratic equation: 2x^2 - 4x + 34 in i4, solution (exact): 1. ; Quadratic equation: 2x^2 - 4x + 34 in i4, solution (exact): 1.
; {17,+,-1,+,2} -> X=-3, Y=20, Z=2 ; {17,+,-1,+,2} -> X=-3, Y=20, Z=2
; ;
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test03': ; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test03':
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {1,+,-1,+,2}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {1,+,-1,+,2}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 4 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 4
; CHECK: GetQuadraticEquation: equation 2x^2 + -4x + 2, coeff bw: 5, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation 2x^2 + -4x + 2, coeff bw: 5, multiplied by 2
; CHECK: SolveQuadraticAddRecExact: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecExact{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 2x^2 + -4x + 2, rw:5 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 2x^2 + -4x + 2, rw:5
; CHECK: SolveQuadraticEquationWrap: updated coefficients 2x^2 + -4x + 2, rw:5 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 2x^2 + -4x + 2, rw:5
; CHECK: SolveQuadraticEquationWrap: solution (root): 1 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (root): 1
; CHECK: Loop %loop: backedge-taken count is 1 ; CHECK: Loop %loop: backedge-taken count is 1
define signext i32 @test03() { define signext i32 @test03() {
entry: entry:
br label %loop br label %loop
loop: loop:
%ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ] %ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ]
%inc = phi i32 [ -3, %entry ], [ %inc1, %loop ] %inc = phi i32 [ -3, %entry ], [ %inc1, %loop ]
Show All 34 Lines
; acc += inc; ; acc += inc;
; } ; }
; ;
; return c; ; return c;
; } ; }
; ;
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test04': ; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test04':
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {0,+,3,+,4}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {0,+,3,+,4}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 16 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 16
; CHECK: GetQuadraticEquation: equation 4x^2 + 2x + 0, coeff bw: 17, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation 4x^2 + 2x + 0, coeff bw: 17, multiplied by 2
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 4x^2 + 2x + 2, rw:16 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 4x^2 + 2x + 2, rw:16
; CHECK: SolveQuadraticEquationWrap: updated coefficients 4x^2 + 2x + -65534, rw:16 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 4x^2 + 2x + -65534, rw:16
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 128 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 128
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 4x^2 + 2x + 2, rw:17 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 4x^2 + 2x + 2, rw:17
; CHECK: SolveQuadraticEquationWrap: updated coefficients 4x^2 + 2x + -131070, rw:17 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 4x^2 + 2x + -131070, rw:17
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 181 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 181
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 4x^2 + 2x + 2, rw:16 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 4x^2 + 2x + 2, rw:16
; CHECK: SolveQuadraticEquationWrap: updated coefficients 4x^2 + 2x + -65534, rw:16 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 4x^2 + 2x + -65534, rw:16
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 128 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 128
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 4x^2 + 2x + 2, rw:17 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 4x^2 + 2x + 2, rw:17
; CHECK: SolveQuadraticEquationWrap: updated coefficients 4x^2 + 2x + -131070, rw:17 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 4x^2 + 2x + -131070, rw:17
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 181 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 181
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {1,+,3,+,4}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {1,+,3,+,4}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 16 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 16
; CHECK: GetQuadraticEquation: equation 4x^2 + 2x + 2, coeff bw: 17, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation 4x^2 + 2x + 2, coeff bw: 17, multiplied by 2
; CHECK: SolveQuadraticAddRecExact: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecExact{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 4x^2 + 2x + 2, rw:17 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 4x^2 + 2x + 2, rw:17
; CHECK: SolveQuadraticEquationWrap: updated coefficients 4x^2 + 2x + -131070, rw:17 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 4x^2 + 2x + -131070, rw:17
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 181 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 181
; CHECK: Loop %loop: Unpredictable backedge-taken count. ; CHECK: Loop %loop: Unpredictable backedge-taken count.
define signext i32 @test04() { define signext i32 @test04() {
entry: entry:
br label %loop br label %loop
loop: loop:
%ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ] %ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ]
%inc = phi i32 [ -1, %entry ], [ %inc1, %loop ] %inc = phi i32 [ -1, %entry ], [ %inc1, %loop ]
%acc = phi i32 [ 2, %entry ], [ %acc1, %loop ] %acc = phi i32 [ 2, %entry ], [ %acc1, %loop ]
%ivr1 = add i32 %ivr, %inc %ivr1 = add i32 %ivr, %inc
%inc1 = add i32 %inc, 4 %inc1 = add i32 %inc, 4
%acc1 = add i32 %acc, %inc %acc1 = add i32 %acc, %inc
%and = trunc i32 %acc1 to i16 %and = trunc i32 %acc1 to i16
%cond = icmp eq i16 %and, 0 %cond = icmp eq i16 %and, 0
br i1 %cond, label %exit, label %loop br i1 %cond, label %exit, label %loop
exit: exit:
%rv = phi i32 [ %acc1, %loop ] %rv = phi i32 [ %acc1, %loop ]
ret i32 %rv ret i32 %rv
} }
; A case with signed arithmetic, but unsigned comparison. ; A case with signed arithmetic, but unsigned comparison.
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test05': ; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test05':
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {0,+,-1,+,-1}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {0,+,-1,+,-1}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 32 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 32
; CHECK: GetQuadraticEquation: equation -1x^2 + -1x + 0, coeff bw: 33, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation -1x^2 + -1x + 0, coeff bw: 33, multiplied by 2
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving -1x^2 + -1x + 4, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving -1x^2 + -1x + 4, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + 1x + -4, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + 1x + -4, rw:32
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 2 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 2
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving -1x^2 + -1x + 4, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving -1x^2 + -1x + 4, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + 1x + -4, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + 1x + -4, rw:33
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 2 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 2
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving -1x^2 + -1x + -2, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving -1x^2 + -1x + -2, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + 1x + -4294967294, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + 1x + -4294967294, rw:32
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 65536 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 65536
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving -1x^2 + -1x + -2, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving -1x^2 + -1x + -2, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + 1x + -8589934590, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + 1x + -8589934590, rw:33
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 92682 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 92682
; CHECK: Loop %loop: backedge-taken count is 2 ; CHECK: Loop %loop: backedge-taken count is 2
define signext i32 @test05() { define signext i32 @test05() {
entry: entry:
br label %loop br label %loop
loop: loop:
%ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ] %ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ]
Show All 9 Lines
exit: exit:
%rv = phi i32 [ %acc1, %loop ] %rv = phi i32 [ %acc1, %loop ]
ret i32 %rv ret i32 %rv
} }
; A test that used to crash with one of the earlier versions of the code. ; A test that used to crash with one of the earlier versions of the code.
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test06': ; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test06':
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {0,+,-99999,+,1}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {0,+,-99999,+,1}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 32 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 32
; CHECK: GetQuadraticEquation: equation 1x^2 + -199999x + 0, coeff bw: 33, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation 1x^2 + -199999x + 0, coeff bw: 33, multiplied by 2
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -199999x + -4294967294, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -199999x + -4294967294, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -199999x + 2, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -199999x + 2, rw:32
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 1 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 1
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -199999x + -4294967294, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -199999x + -4294967294, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -199999x + 4294967298, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -199999x + 4294967298, rw:33
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 24469 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 24469
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -199999x + -12, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -199999x + -12, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -199999x + 4294967284, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -199999x + 4294967284, rw:32
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 24469 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 24469
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 1x^2 + -199999x + -12, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 1x^2 + -199999x + -12, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 1x^2 + -199999x + 8589934580, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 1x^2 + -199999x + 8589934580, rw:33
; CHECK: SolveQuadraticEquationWrap: solution (wrap): 62450 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solution (wrap): 62450
; CHECK: Loop %loop: backedge-taken count is 24469 ; CHECK: Loop %loop: backedge-taken count is 24469
define signext i32 @test06() { define signext i32 @test06() {
entry: entry:
br label %loop br label %loop
loop: loop:
%ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ] %ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ]
%inc = phi i32 [ -100000, %entry ], [ %inc1, %loop ] %inc = phi i32 [ -100000, %entry ], [ %inc1, %loop ]
Show All 12 Lines
; The equation ; The equation
; 532052752x^2 + -450429774x + 71188414 = 0 ; 532052752x^2 + -450429774x + 71188414 = 0
; has two exact solutions (up to two decimal digits): 0.21 and 0.64. ; has two exact solutions (up to two decimal digits): 0.21 and 0.64.
; Since there is no integer between them, there is no integer n that either ; Since there is no integer between them, there is no integer n that either
; solves the equation exactly, or changes the sign of it between n and n+1. ; solves the equation exactly, or changes the sign of it between n and n+1.
; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test07': ; CHECK-LABEL: Printing analysis 'Scalar Evolution Analysis' for function 'test07':
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {0,+,40811489,+,532052752}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {0,+,40811489,+,532052752}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 32 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 32
; CHECK: GetQuadraticEquation: equation 532052752x^2 + -450429774x + 0, coeff bw: 33, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation 532052752x^2 + -450429774x + 0, coeff bw: 33, multiplied by 2
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 532052752x^2 + -450429774x + 71188414, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 532052752x^2 + -450429774x + 71188414, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:32
; CHECK: SolveQuadraticEquationWrap: no valid solution ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: no valid solution
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 532052752x^2 + -450429774x + 71188414, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 532052752x^2 + -450429774x + 71188414, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:33
; CHECK: SolveQuadraticEquationWrap: no valid solution ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: no valid solution
; CHECK: SolveQuadraticAddRecRange: solving for signed overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for signed overflow
; CHECK: SolveQuadraticEquationWrap: solving 532052752x^2 + -450429774x + 71188414, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 532052752x^2 + -450429774x + 71188414, rw:32
; CHECK: SolveQuadraticEquationWrap: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:32 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:32
; CHECK: SolveQuadraticEquationWrap: no valid solution ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: no valid solution
; CHECK: SolveQuadraticAddRecRange: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecRange{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 532052752x^2 + -450429774x + 71188414, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 532052752x^2 + -450429774x + 71188414, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:33
; CHECK: SolveQuadraticEquationWrap: no valid solution ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: no valid solution
; CHECK: GetQuadraticEquation: analyzing quadratic addrec: {35594207,+,40811489,+,532052752}<%loop> ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: analyzing quadratic addrec: {35594207,+,40811489,+,532052752}<%loop>
; CHECK: GetQuadraticEquation: addrec coeff bw: 32 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: addrec coeff bw: 32
; CHECK: GetQuadraticEquation: equation 532052752x^2 + -450429774x + 71188414, coeff bw: 33, multiplied by 2 ; CHECK: {{.*}}GetQuadraticEquation{{.*}}: equation 532052752x^2 + -450429774x + 71188414, coeff bw: 33, multiplied by 2
; CHECK: SolveQuadraticAddRecExact: solving for unsigned overflow ; CHECK: {{.*}}SolveQuadraticAddRecExact{{.*}}: solving for unsigned overflow
; CHECK: SolveQuadraticEquationWrap: solving 532052752x^2 + -450429774x + 71188414, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: solving 532052752x^2 + -450429774x + 71188414, rw:33
; CHECK: SolveQuadraticEquationWrap: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:33 ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: updated coefficients 532052752x^2 + -450429774x + 71188414, rw:33
; CHECK: SolveQuadraticEquationWrap: no valid solution ; CHECK: {{.*}}SolveQuadraticEquationWrap{{.*}}: no valid solution
; CHECK: Loop %loop: Unpredictable backedge-taken count. ; CHECK: Loop %loop: Unpredictable backedge-taken count.
define signext i32 @test07() { define signext i32 @test07() {
entry: entry:
br label %loop br label %loop
loop: loop:
%ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ] %ivr = phi i32 [ 0, %entry ], [ %ivr1, %loop ]
%inc = phi i32 [ -491241263, %entry ], [ %inc1, %loop ] %inc = phi i32 [ -491241263, %entry ], [ %inc1, %loop ]
Show All 13 Lines