<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/89145>89145</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            regression for SCCP pass on "Illegal instruction (core dumped) 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          diggerlin
      </td>
    </tr>
</table>

<pre>
    in the following test case.
bash> cat a.c
```
char* foo(char*);
int main()
{
        char k[1];
 if (k[0] == 'a')
          foo(k);
}
```

bash> clang -O2  --target=powerpc64le-unknown-linux-gnu  -o a.ll -emit-llvm -S a.c
bash> cat a.ll

```
; Function Attrs: mustprogress nofree norecurse noreturn nosync nounwind willreturn memory(none) uwtable
define dso_local noundef signext i32 @main() local_unnamed_addr #0 {
entry:
 unreachable
}
```

bash> clang  -O2 -o a.o --target=powerpc64le-unknown-linux-gnu  -c  a.c
bash> objdump -D a.o

a.o:     file format elf64-powerpcle


Disassembly of section .text:

```
0000000000000000 <main>:
 ...
```

Disassembly of section .comment:

it get an  empty .text section.

if I have b.c 

bash> cat b.c
```
void foo(char* s) {
  s[0]='a';
}
```
$ clang  -O2 -o b.o --target=powerpc64le-unknown-linux-gnu  -c  b.c
$ clang  -O2 -o test a.o b.o
$ ./test
Illegal instruction (core dumped)

it has Illegal instruction.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVc2OozgQfprKpQQCGxJy4NDdTKQ57UrzAC0DBXja2JFtOp23XxmYJJ3J7k5bURK7XH9ffVUWzsleE5WQP0NebcTkB2PLVvY9WSX1pjbtuZQa_UDYGaXMSeoePTmPjXAUQ1JB8lQLNwD_ho3wKOJmOYRtsn7mbTMIC-wJO2OAFesO2B7483JBao-jkBpYEY4XG7tViOsKevgG-XMKeXVRRdkhsCKcJ5BXCLwCXiGwnQC2u1jDy1qCeLt1D7vqYdx3GSqhe4z-YohR5IXtyQOvjuZE9thsM0XRpN-0OelIST19RL2eECODIlYKIxqlj5R6HzH6cQXqM3pK3fq9D4Y_42HSjZdG45P31gF_wnFy_mhNb8k51KazRKiNpWaybvnnJ6tRG3fWDWoz6ZPULZ6kUqtopNHYM7BCG03A9jidvKgVLV5b6qQmbJ15VaYRajbRUoczeT48Ss4QsuRaPZzvvU5ai5HaV9G2FoHxBC8FJe3tGfiaJk7akmiGq8-vlGOuxwyy-UpVGvy9Bqb-2U7jEaMqWLt1GbZ8oVAnVegGOwqPpLptFq2uLsHffFfSCedorNUZTYeOluLFnj78Jf-HqSZ3C4G_zBDzb1fg4jj-D5z-zXljxpH0vX_psSePQiPSePTnJchfWvGnqx1-x0G8E9Zxgw9LI3yQPQzu3cj28yBAF1hz0-5u7eXQymsb_2-nsuyOEPWXCXGN-Ddj89ALFKsvxGAZxsAOQbKcfFeKeqFQaufttIAdkjSWMPCK2uto-wX5IBw-0Is3bcnbPd-LDZXpLuW8KFiebYaSZWmTULfled6QKArW7LNs3yRpUXO2Z7SRJUtYlmTpjqVpkmcxy9m2qLtkX2_Toq0FZAmNQqo4zKLY2H4jnZuoLPZplm-UqEm5-UlgTNMJZyEwFl4IWwadqJ56B1mipPPuasVLr6i0NE-ikHtnLP54efkbj8I5nMFgf4QRbiarysH7Y5hwwA7ADr30w1QH7gI7BJ_rT3S05ic1HthhjtQBO8yZ_BMAAP__W5sA8w">