enable_gamma_reductions(graph) in -Jred creates PHI node with different input types

[sjalander]

Recreate
Modify jlm/llvm/opt/reduction.cpp (line 134)

static void
reduce(RvsdgModule & rm, util::StatisticsCollector & statisticsCollector)
{

and disable all optimizations except the load_reduction, i.e.,
// enable_mux_reductions(graph);
// enable_store_reductions(graph);
// enable_load_reductions(graph);
enable_gamma_reductions(graph);
// enable_unary_reductions(graph);
// enable_binary_reductions(graph);

Compile the file separately to avoid having to comment out unused functions:
/usr/lib/llvm-16/bin/clang++ -c --std=c++17 -gdwarf-4 -g -DJLM_DEBUG -DJLM_ENABLE_ASSERTS -I. -I/usr/lib/llvm-16/include -I. -I/usr/lib/llvm-16/include -o build/jlm/llvm/opt/reduction.la jlm/llvm/opt/reduction.cpp

Then compile jlm with debug:
make jlm-debug -j nproc

Then unzip the attached ZIP and type 'make'

Output
jlc: /usr/lib/llvm-16/include/llvm/IR/Instructions.h:2800: void llvm::PHINode::setIncomingValue(unsigned int, Value *): Assertion `getType() == V->getType() && "All operands to PHI node must be the same type as the PHI node!"' failed.
Aborted (core dumped)

20111208-1.zip

[sjalander]

Seems to be nf->set_control_constant_reduction(true); that causes the problem.

[phate]

I can reproduce it.

[phate]

See #463 for a first, but unsuccessful, attempt.