[llvm-bugs] [Bug 31987] New: [Polly] Crash in addAssumption during isl_set_coalesce()
via llvm-bugs
llvm-bugs at lists.llvm.org
Thu Feb 16 20:50:51 PST 2017
https://bugs.llvm.org/show_bug.cgi?id=31987
Bug ID: 31987
Summary: [Polly] Crash in addAssumption during
isl_set_coalesce()
Product: Polly
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Optimizer
Assignee: polly-dev at googlegroups.com
Reporter: tobias at grosser.es
CC: llvm-bugs at lists.llvm.org
Created attachment 17999
--> https://bugs.llvm.org/attachment.cgi?id=17999&action=edit
Minimal test case
When running Polly r295362 (a recent checkout from Feb 17) that uses
isl-0.18-43-g0b4256f I see the following assertion:
/home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_tab.c:2688:
expecting non-redundant non-negative variable
#0 0x00007f3cae14fbac llvm::sys::PrintStackTrace(llvm::raw_ostream&)
<llvm>/lib/Support/Unix/Signals.inc:402:11
#1 0x00007f3cae150099 PrintStackTraceSignalHandler(void*)
<llvm>/git/lib/Support/Unix/Signals.inc:466:1
#2 0x00007f3cae14e423 llvm::sys::RunSignalHandlers()
<llvm>/lib/Support/Signals.cpp:45:5
#3 0x00007f3cae1503f4 SignalHandler(int)
<llvm>/lib/Support/Unix/Signals.inc:256:1
#4 0x00007f3cb0f5e630 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x11630)
#5 0x00007f3cab5127ef gsignal
/build/glibc-jxM2Ev/glibc-2.24/signal/../sysdeps/unix/sysv/linux/raise.c:58:0
#6 0x00007f3cab5143ea abort /build/glibc-jxM2Ev/glibc-2.24/stdlib/abort.c:91:0
#7 0x00007f3cace020f5 isl_handle_error
<llvm>/tools/polly/lib/External/isl/isl_ctx.c:107:1
#8 0x00007f3caced515d cut_to_hyperplane
<llvm>/tools/polly/lib/External/isl/isl_tab.c:2686:197
#9 0x00007f3caced50a2 isl_tab_select_facet
<llvm>/tools/polly/lib/External/isl/isl_tab.c:2887:2
#10 0x00007f3cacdf21d6 is_relaxed_extension
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:1060:58
#11 0x00007f3cacdf1876 check_single_adj_eq
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:1819:10
#12 0x00007f3cacdef8f8 check_adj_eq
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:1866:2
#13 0x00007f3cacdef77b check_adj_eq
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:1849:3
#14 0x00007f3cacdeee64 coalesce_local_pair_reuse
<llvm>tools/polly/lib/External/isl/isl_coalesce.c:2136:10
#15 0x00007f3cacdedf09 coalesce_local_pair
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:2174:2
#16 0x00007f3cacdedb9f coalesce_pair
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:3499:3
#17 0x00007f3cacdeda40 coalesce_range
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:3552:12
#18 0x00007f3cacded61f coalesce
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:3591:53
#19 0x00007f3cacded401 isl_map_coalesce
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:3712:29
#20 0x00007f3cacded92d isl_set_coalesce
<llvm>/tools/polly/lib/External/isl/isl_coalesce.c:3732:9
The command line used is:
opt polly-scops -polly-process-unprofitable -polly-allow-nonaffine
-polly-invariant-load-hoisting=true
After printing and rereading the input set, the bug cannot be reproduced with
isl alone.
[tmp40, tmp41, tmp36, tmp37, tmp15, tmp, tmp28, tmp26, tmp21, tmp35] -> { :
(tmp36 < 0 and tmp37 < tmp36 and tmp37 <= 0) or (tmp36 >= 0 and tmp37 < tmp36
and tmp37 >= 2) or (tmp36 >= 0 and tmp37 < tmp36 and tmp37 <= 0) or (tmp37 = 1
and tmp36 >= 2) or (tmp41 < tmp40 and tmp36 > 0 and tmp37 >= tmp36 and tmp40 >
0 and tmp37 >= 2) or (tmp41 < tmp40 and tmp36 > 0 and tmp37 >= tmp36 and tmp40
<= 0 and tmp37 >= 2) or (tmp36 = 1 and tmp37 = 1 and tmp41 < tmp40 and tmp41 >
0) or (tmp36 = 1 and tmp37 = 1 and tmp41 < tmp40 and tmp41 <= 0) or (tmp41 <
tmp40 and tmp36 <= 0 and tmp37 >= tmp36 and tmp41 > 0 and tmp37 <= 0) or (tmp41
< tmp40 and tmp36 <= 0 and tmp37 >= tmp36 and tmp40 > 0 and tmp37 >= 2) or
(tmp41 < tmp40 and tmp36 <= 0 and tmp37 >= tmp36 and tmp40 <= 0 and tmp37 >= 2)
or (tmp41 < tmp40 and tmp36 <= 0 and tmp37 >= tmp36 and tmp41 <= 0 and tmp37 <=
0) or (tmp37 = 1 and tmp41 < tmp40 and tmp36 <= 0 and tmp41 > 0) or (tmp37 = 1
and tmp41 < tmp40 and tmp36 <= 0 and tmp41 <= 0) or (tmp37 = tmp36 and tmp26 =
tmp36 and tmp41 >= tmp40 and tmp36 >= 2 and tmp28 >= -1 + 2tmp36 and tmp21 >=
-tmp40 and tmp40 < 0 and tmp21 > tmp41 and tmp > -tmp40 and tmp41 <= 0 and
tmp15 >= -1 + tmp36 and tmp15 >= 2 - tmp36) or (tmp37 = tmp36 and tmp26 = tmp36
and tmp41 >= tmp40 and tmp36 >= 2 and tmp28 >= -1 + 2tmp36 and tmp21 >= -tmp40
and tmp40 < 0 and tmp21 > tmp41 and tmp > -tmp40 and tmp41 > 0 and tmp15 >= 2 -
tmp36 and tmp >= tmp41 and tmp15 >= tmp36) or (tmp36 = 1 and tmp37 = 1 and
tmp26 = 1 and tmp41 >= tmp40 and tmp15 > 0 and tmp28 > 0 and tmp21 >= -tmp40
and tmp40 < 0 and tmp21 > tmp41 and tmp > -tmp40 and tmp41 <= 0) or (tmp36 = 1
and tmp37 = 1 and tmp26 = 1 and tmp41 >= tmp40 and tmp15 > 0 and tmp28 > 0 and
tmp21 >= -tmp40 and tmp40 < 0 and tmp21 > tmp41 and tmp > -tmp40 and tmp41 > 0
and tmp >= tmp41) or (tmp36 = 0 and tmp37 = 0 and tmp40 > 0 and tmp41 >= tmp40
and tmp15 > 0 and tmp26 > 0 and tmp26 <= tmp28 and tmp21 > tmp41 and tmp >=
tmp41) or (tmp36 = 0 and tmp37 = 0 and tmp40 >= 0 and tmp41 >= tmp40 and tmp15
>= 2 and tmp26 > 0 and tmp26 <= tmp28 and tmp21 > tmp41 and tmp > -tmp40 and
tmp41 <= 0) or (tmp36 = 0 and tmp40 > 0 and tmp41 >= tmp40 and tmp37 >= 2 and
tmp26 > tmp37 and tmp26 <= -tmp37 + tmp28 and tmp21 > tmp41 and tmp >= tmp41
and tmp15 > 0 and tmp15 >= tmp37) or (tmp40 = 0 and tmp36 = 0 and tmp37 = 0 and
tmp15 >= 2 and tmp41 > 0 and tmp > 0 and tmp26 > 0 and tmp26 <= tmp28 and tmp21
> tmp41 and tmp >= tmp41) or (tmp36 = 0 and tmp40 >= 0 and tmp41 >= tmp40 and
tmp37 >= 2 and tmp26 > tmp37 and tmp26 <= -tmp37 + tmp28 and tmp21 > tmp41 and
tmp > -tmp40 and tmp41 <= 0 and tmp15 >= 2 and tmp15 >= -1 + tmp37) or (tmp40 =
0 and tmp36 = 0 and tmp15 >= tmp37 and tmp41 > 0 and tmp37 >= 2 and tmp26 >
tmp37 and tmp26 <= -tmp37 + tmp28 and tmp21 > tmp41 and tmp15 >= 2 and tmp >=
tmp41 and tmp > 0) or (tmp36 = 0 and tmp37 = 1 and tmp40 >= 0 and tmp41 >=
tmp40 and tmp15 >= 2 and tmp26 >= 2 and tmp26 < tmp28 and tmp21 > tmp41 and tmp
> -tmp40 and tmp41 <= 0) or (tmp36 = 0 and tmp37 = 1 and tmp40 > 0 and tmp41 >=
tmp40 and tmp15 > 0 and tmp26 >= 2 and tmp26 < tmp28 and tmp21 > tmp41 and tmp
>= tmp41) or (tmp40 = 0 and tmp36 = 0 and tmp37 = 1 and tmp15 >= 2 and tmp41 >
0 and tmp > 0 and tmp26 >= 2 and tmp26 < tmp28 and tmp21 > tmp41 and tmp >=
tmp41) or (tmp41 >= tmp40 and tmp41 < 0 and tmp36 < 0 and tmp37 >= tmp36 and
tmp28 >= -1 + tmp37 and tmp26 < tmp36 and tmp21 >= -tmp40 and tmp > -tmp40 and
tmp15 >= 2 - tmp36 and tmp37 <= 0) or (tmp41 >= tmp40 and tmp41 < 0 and tmp36 <
0 and tmp37 >= tmp36 and tmp28 >= -1 + tmp37 and tmp26 < tmp36 and tmp21 >=
-tmp40 and tmp > -tmp40 and tmp15 >= 2 - tmp36 and tmp15 >= -1 + tmp37 and
tmp37 >= 2) or (tmp37 = 1 and tmp41 >= tmp40 and tmp41 < 0 and tmp36 < 0 and
tmp > -tmp40 and tmp28 >= 0 and tmp26 < tmp36 and tmp21 >= -tmp40 and tmp15 >=
2 - tmp36) or (tmp41 >= tmp40 and tmp41 < 0 and tmp36 >= 0 and tmp37 >= tmp36
and tmp28 >= -1 + tmp37 and tmp26 < tmp36 and tmp21 >= -tmp40 and tmp > -tmp40
and tmp15 >= 2 - tmp36 and tmp37 <= 0) or (tmp41 >= tmp40 and tmp41 < 0 and
tmp36 >= 0 and tmp37 >= tmp36 and tmp28 >= -1 + tmp37 and tmp26 < tmp36 and
tmp21 >= -tmp40 and tmp > -tmp40 and tmp15 >= 2 - tmp36 and tmp15 >= -1 + tmp37
and tmp37 >= 2) or (tmp37 = 1 and tmp41 >= tmp40 and tmp41 < 0 and tmp36 >= 0
and tmp36 <= 1 and tmp28 >= 0 and tmp26 < tmp36 and tmp21 >= -tmp40 and tmp >
-tmp40 and tmp15 >= 2 - tmp36) or (tmp40 > 0 and tmp41 >= tmp40 and tmp36 < 0
and tmp37 >= tmp36 and tmp28 >= tmp37 and tmp26 <= tmp36 and tmp21 > tmp41 and
tmp >= tmp41 and tmp15 > -tmp36 and tmp37 <= 0) or (tmp40 >= 0 and tmp41 >=
tmp40 and tmp36 < 0 and tmp37 >= tmp36 and tmp28 >= tmp37 and tmp26 <= tmp36
and tmp21 > tmp41 and tmp > -tmp40 and tmp41 <= 0 and tmp15 >= 2 - tmp36 and
tmp37 <= 0) or (tmp40 > 0 and tmp41 >= tmp40 and tmp36 < 0 and tmp37 >= tmp36
and tmp28 >= tmp37 and tmp26 <= tmp36 and tmp21 > tmp41 and tmp >= tmp41 and
tmp15 > -tmp36 and tmp15 >= tmp37 and tmp37 >= 2) or (tmp40 = 0 and tmp15 >= 2
- tmp36 and tmp41 > 0 and tmp36 < 0 and tmp37 >= tmp36 and tmp28 >= tmp37 and
tmp26 <= tmp36 and tmp21 > tmp41 and tmp >= tmp41 and tmp37 <= 0 and tmp > 0)
or (tmp40 >= 0 and tmp41 >= tmp40 and tmp36 < 0 and tmp37 >= tmp36 and tmp28 >=
tmp37 and tmp26 <= tmp36 and tmp21 > tmp41 and tmp > -tmp40 and tmp41 <= 0 and
tmp15 >= 2 - tmp36 and tmp37 >= 2 and tmp15 >= -1 + tmp37) or (tmp40 = 0 and
tmp15 >= 2 - tmp36 and tmp41 > 0 and tmp36 < 0 and tmp37 >= tmp36 and tmp28 >=
tmp37 and tmp26 <= tmp36 and tmp21 > tmp41 and tmp >= tmp41 and tmp15 >= tmp37
and tmp > 0 and tmp37 >= 2) or (tmp37 = 1 and tmp40 >= 0 and tmp41 >= tmp40 and
tmp36 < 0 and tmp > -tmp40 and tmp28 > 0 and tmp26 <= tmp36 and tmp21 > tmp41
and tmp15 >= 2 - tmp36 and tmp41 <= 0) or (tmp37 = 1 and tmp40 > 0 and tmp41 >=
tmp40 and tmp36 < 0 and tmp >= tmp41 and tmp28 > 0 and tmp26 <= tmp36 and tmp21
> tmp41 and tmp15 > -tmp36 and tmp15 > 0) or (tmp40 = 0 and tmp37 = 1 and tmp
>= tmp41 and tmp41 > 0 and tmp36 < 0 and tmp > 0 and tmp28 > 0 and tmp26 <=
tmp36 and tmp21 > tmp41 and tmp15 >= 2 - tmp36) or (tmp41 >= tmp40 and tmp36 >
0 and tmp37 >= tmp36 and tmp26 > tmp37 and tmp26 <= -tmp37 + tmp28 and tmp21 >
tmp41 and tmp41 >= 0 and tmp21 >= -tmp40 and tmp40 > 0 and tmp >= tmp41 and
tmp15 > -tmp36 and tmp37 >= 2 and tmp15 >= tmp37) or (tmp41 = 0 and tmp40 <= 0
and tmp36 > 0 and tmp37 >= tmp36 and tmp26 > tmp37 and tmp26 <= -tmp37 + tmp28
and tmp21 > 0 and tmp37 >= 2 and tmp21 >= -tmp40 and tmp > -tmp40 and tmp15 >=
-1 + tmp37 and tmp15 >= 2 - tmp36) or (tmp41 >= tmp40 and tmp36 > 0 and tmp37
>= tmp36 and tmp26 > tmp37 and tmp26 <= -tmp37 + tmp28 and tmp21 > tmp41 and
tmp41 > 0 and tmp21 >= -tmp40 and tmp40 <= 0 and tmp > -tmp40 and tmp >= tmp41
and tmp37 >= 2 and tmp15 >= tmp37 and tmp15 >= 2 - tmp36) or (tmp41 = 0 and
tmp36 = 1 and tmp37 = 1 and tmp40 <= 0 and tmp21 >= -tmp40 and tmp15 > 0 and
tmp26 >= 2 and tmp26 < tmp28 and tmp21 > 0 and tmp > -tmp40) or (tmp36 = 1 and
tmp37 = 1 and tmp41 >= tmp40 and tmp15 > 0 and tmp >= tmp41 and tmp26 >= 2 and
tmp26 < tmp28 and tmp21 > tmp41 and tmp41 >= 0 and tmp21 >= -tmp40 and tmp40 >
0) or (tmp36 = 1 and tmp37 = 1 and tmp41 >= tmp40 and tmp >= tmp41 and tmp15 >
0 and tmp26 >= 2 and tmp26 < tmp28 and tmp21 > tmp41 and tmp41 > 0 and tmp21 >=
-tmp40 and tmp40 <= 0 and tmp > -tmp40) or (tmp40 > 0 and tmp41 >= tmp40 and
tmp36 > 0 and tmp37 >= tmp36 and tmp28 >= tmp37 and tmp26 <= tmp36 and tmp21 >
tmp41 and tmp >= tmp41 and tmp15 > -tmp36 and tmp15 >= tmp37 and tmp37 >= 2) or
(tmp40 >= 0 and tmp41 >= tmp40 and tmp36 > 0 and tmp37 >= tmp36 and tmp28 >=
tmp37 and tmp26 <= tmp36 and tmp21 > tmp41 and tmp > -tmp40 and tmp41 <= 0 and
tmp15 >= 2 - tmp36 and tmp37 >= 2 and tmp15 >= -1 + tmp37) or (tmp40 = 0 and
tmp15 >= 2 - tmp36 and tmp41 > 0 and tmp36 > 0 and tmp37 >= tmp36 and tmp28 >=
tmp37 and tmp26 <= tmp36 and tmp21 > tmp41 and tmp >= tmp41 and tmp15 >= tmp37
and tmp > 0 and tmp37 >= 2) or (tmp36 = 1 and tmp37 = 1 and tmp40 >= 0 and
tmp41 >= tmp40 and tmp41 <= 0 and tmp15 > 0 and tmp28 > 0 and tmp26 <= 1 and
tmp21 > tmp41 and tmp > -tmp40) or (tmp36 = 1 and tmp37 = 1 and tmp40 > 0 and
tmp41 >= tmp40 and tmp15 > 0 and tmp >= tmp41 and tmp28 > 0 and tmp26 <= 1 and
tmp21 > tmp41) or (tmp40 = 0 and tmp36 = 1 and tmp37 = 1 and tmp15 > 0 and
tmp41 > 0 and tmp >= tmp41 and tmp > 0 and tmp28 > 0 and tmp26 <= 1 and tmp21 >
tmp41) or (tmp41 = 0 and tmp40 < 0 and tmp37 <= 0 and tmp36 < 0 and tmp37 >=
tmp36 and tmp28 >= tmp37 and tmp26 < tmp36 and tmp21 > 0 and tmp21 >= -tmp40
and tmp > -tmp40 and tmp15 >= 2 - tmp36) or (tmp40 < 0 and tmp41 > 0 and tmp36
< 0 and tmp37 >= tmp36 and tmp28 >= tmp37 and tmp26 < tmp36 and tmp21 > tmp41
and tmp21 >= -tmp40 and tmp > -tmp40 and tmp >= tmp41 and tmp15 >= 2 - tmp36
and tmp37 <= 0) or (tmp41 = 0 and tmp40 < 0 and tmp15 >= -1 + tmp37 and tmp36 <
0 and tmp37 >= tmp36 and tmp28 >= tmp37 and tmp26 < tmp36 and tmp21 > 0 and
tmp21 >= -tmp40 and tmp37 >= 2 and tmp15 >= 2 - tmp36 and tmp > -tmp40) or
(tmp40 < 0 and tmp41 > 0 and tmp36 < 0 and tmp37 >= tmp36 and tmp28 >= tmp37
and tmp26 < tmp36 and tmp21 > tmp41 and tmp21 >= -tmp40 and tmp > -tmp40 and
tmp >= tmp41 and tmp15 >= 2 - tmp36 and tmp37 >= 2 and tmp15 >= tmp37) or
(tmp41 = 0 and tmp37 = 1 and tmp40 < 0 and tmp15 >= 2 - tmp36 and tmp36 < 0 and
tmp > -tmp40 and tmp28 > 0 and tmp26 < tmp36 and tmp21 > 0 and tmp21 >= -tmp40)
or (tmp37 = 1 and tmp40 < 0 and tmp41 > 0 and tmp36 < 0 and tmp > -tmp40 and
tmp28 > 0 and tmp26 < tmp36 and tmp21 > tmp41 and tmp21 >= -tmp40 and tmp >=
tmp41 and tmp15 >= 2 - tmp36) or (tmp36 = 0 and tmp37 = 0 and tmp40 > 0 and
tmp41 >= tmp40 and tmp15 > 0 and tmp28 >= 0 and tmp21 > tmp41 and tmp26 <= 0
and 2tmp26 <= 1 + tmp28 and tmp >= tmp41) or (tmp36 = 0 and tmp37 = 0 and tmp40
>= 0 and tmp41 >= tmp40 and tmp15 >= 2 and tmp28 >= 0 and tmp21 > tmp41 and
tmp26 <= 0 and 2tmp26 <= 1 + tmp28 and tmp > -tmp40 and tmp41 <= 0) or (tmp36 =
0 and tmp40 > 0 and tmp41 >= tmp40 and tmp37 >= 2 and tmp28 >= tmp37 and tmp21
> tmp41 and tmp26 <= tmp37 and 2tmp26 <= 1 + tmp28 and tmp >= tmp41 and tmp15 >
0 and tmp15 >= tmp37) or (tmp40 = 0 and tmp36 = 0 and tmp37 = 0 and tmp15 >= 2
and tmp41 > 0 and tmp > 0 and tmp28 >= 0 and tmp21 > tmp41 and tmp26 <= 0 and
2tmp26 <= 1 + tmp28 and tmp >= tmp41) or (tmp36 = 0 and tmp40 >= 0 and tmp41 >=
tmp40 and tmp37 >= 2 and tmp28 >= tmp37 and tmp21 > tmp41 and tmp26 <= tmp37
and 2tmp26 <= 1 + tmp28 and tmp > -tmp40 and tmp41 <= 0 and tmp15 >= 2 and
tmp15 >= -1 + tmp37) or (tmp40 = 0 and tmp36 = 0 and tmp15 >= tmp37 and tmp41 >
0 and tmp37 >= 2 and tmp28 >= tmp37 and tmp21 > tmp41 and tmp26 <= tmp37 and
2tmp26 <= 1 + tmp28 and tmp15 >= 2 and tmp >= tmp41 and tmp > 0) or (tmp36 = 0
and tmp37 = 1 and tmp40 >= 0 and tmp41 >= tmp40 and tmp15 >= 2 and tmp28 > 0
and tmp21 > tmp41 and tmp26 <= 1 and 2tmp26 <= 1 + tmp28 and tmp > -tmp40 and
tmp41 <= 0) or (tmp36 = 0 and tmp37 = 1 and tmp40 > 0 and tmp41 >= tmp40 and
tmp15 > 0 and tmp28 > 0 and tmp21 > tmp41 and tmp26 <= 1 and 2tmp26 <= 1 +
tmp28 and tmp >= tmp41) or (tmp40 = 0 and tmp36 = 0 and tmp37 = 1 and tmp15 >=
2 and tmp41 > 0 and tmp > 0 and tmp28 > 0 and tmp21 > tmp41 and tmp26 <= 1 and
2tmp26 <= 1 + tmp28 and tmp >= tmp41) or (tmp41 = 0 and tmp40 < 0 and tmp37 <=
0 and tmp36 >= 0 and tmp37 >= tmp36 and tmp28 >= tmp37 and tmp26 < tmp36 and
tmp21 > 0 and tmp21 >= -tmp40 and tmp > -tmp40 and tmp15 >= 2 - tmp36) or
(tmp40 < 0 and tmp41 > 0 and tmp36 >= 0 and tmp37 >= tmp36 and tmp28 >= tmp37
and tmp26 < tmp36 and tmp21 > tmp41 and tmp21 >= -tmp40 and tmp > -tmp40 and
tmp >= tmp41 and tmp15 >= 2 - tmp36 and tmp37 <= 0) or (tmp41 = 0 and tmp40 < 0
and tmp15 >= -1 + tmp37 and tmp36 >= 0 and tmp37 >= tmp36 and tmp28 >= tmp37
and tmp26 < tmp36 and tmp21 > 0 and tmp21 >= -tmp40 and tmp37 >= 2 and tmp15 >=
2 - tmp36 and tmp > -tmp40) or (tmp40 < 0 and tmp41 > 0 and tmp36 >= 0 and
tmp37 >= tmp36 and tmp28 >= tmp37 and tmp26 < tmp36 and tmp21 > tmp41 and tmp21
>= -tmp40 and tmp > -tmp40 and tmp >= tmp41 and tmp15 >= 2 - tmp36 and tmp37 >=
2 and tmp15 >= tmp37) or (tmp41 = 0 and tmp37 = 1 and tmp40 < 0 and tmp >
-tmp40 and tmp36 >= 0 and tmp36 <= 1 and tmp28 > 0 and tmp26 < tmp36 and tmp21
> 0 and tmp21 >= -tmp40 and tmp15 >= 2 - tmp36) or (tmp37 = 1 and tmp40 < 0 and
tmp41 > 0 and tmp36 >= 0 and tmp36 <= 1 and tmp28 > 0 and tmp26 < tmp36 and
tmp21 > tmp41 and tmp21 >= -tmp40 and tmp > -tmp40 and tmp >= tmp41 and tmp15
>= 2 - tmp36) or (tmp41 >= tmp40 and tmp41 < 0 and tmp36 > 0 and tmp37 >= tmp36
and tmp26 > tmp36 and tmp26 >= tmp37 and tmp26 <= 1 - tmp37 + tmp28 and tmp21
>= -tmp40 and tmp > -tmp40 and tmp15 >= 2 - tmp36 and tmp15 >= -1 + tmp37 and
tmp37 >= 2) or (tmp36 = 1 and tmp37 = 1 and tmp41 >= tmp40 and tmp41 < 0 and
tmp > -tmp40 and tmp15 > 0 and tmp26 >= 2 and tmp21 >= -tmp40 and tmp26 <=
tmp28) or (tmp41 >= tmp40 and tmp41 < 0 and tmp36 > 0 and tmp28 >= -1 + tmp37
and tmp26 >= tmp36 and tmp26 < tmp37 and 2tmp26 <= 1 + tmp28 and tmp21 >=
-tmp40 and tmp > -tmp40 and tmp15 >= 2 - tmp36 and tmp37 >= tmp36 and tmp37 >=
2 and tmp15 >= -1 + tmp37) or (tmp40 > 0 and tmp41 >= tmp40 and tmp36 > 0 and
tmp28 >= tmp37 and tmp26 > tmp36 and tmp26 <= tmp37 and 2tmp26 <= 1 + tmp28 and
tmp21 > tmp41 and tmp >= tmp41 and tmp15 > -tmp36 and tmp37 >= tmp36 and tmp37
>= 2 and tmp15 >= tmp37) or (tmp40 >= 0 and tmp41 >= tmp40 and tmp36 > 0 and
tmp28 >= tmp37 and tmp26 > tmp36 and tmp26 <= tmp37 and 2tmp26 <= 1 + tmp28 and
tmp21 > tmp41 and tmp > -tmp40 and tmp41 <= 0 and tmp37 >= tmp36 and tmp37 >= 2
and tmp15 >= -1 + tmp37 and tmp15 >= 2 - tmp36) or (tmp40 = 0 and tmp >= tmp41
and tmp41 > 0 and tmp36 > 0 and tmp28 >= tmp37 and tmp26 > tmp36 and tmp26 <=
tmp37 and 2tmp26 <= 1 + tmp28 and tmp21 > tmp41 and tmp > 0 and tmp15 >= 2 -
tmp36 and tmp37 >= tmp36 and tmp37 >= 2 and tmp15 >= tmp37) or (tmp41 = 0 and
tmp40 < 0 and tmp15 >= -1 + tmp37 and tmp36 > 0 and tmp28 >= tmp37 and tmp26 <=
tmp37 and 2tmp26 <= 1 + tmp28 and tmp21 > 0 and tmp21 >= -tmp40 and tmp26 >=
tmp36 and tmp37 > tmp36 and tmp37 >= 2 and tmp15 >= 2 - tmp36 and tmp > -tmp40)
or (tmp40 < 0 and tmp41 > 0 and tmp36 > 0 and tmp28 >= tmp37 and tmp26 <= tmp37
and 2tmp26 <= 1 + tmp28 and tmp21 > tmp41 and tmp21 >= -tmp40 and tmp26 >=
tmp36 and tmp37 > tmp36 and tmp > -tmp40 and tmp >= tmp41 and tmp15 >= 2 -
tmp36 and tmp37 >= 2 and tmp15 >= tmp37) }
--
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170217/59e7d48e/attachment-0001.html>
More information about the llvm-bugs
mailing list