xref: /aosp_15_r20/external/llvm/test/Transforms/InstSimplify/2010-12-20-Boolean.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; NOTE: Assertions have been autogenerated by update_test_checks.py
2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instsimplify -S | FileCheck %s
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Workerdefine i1 @add(i1 %x) {
5*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @add(
6*9880d681SAndroid Build Coastguard Worker; CHECK:         ret i1 false
7*9880d681SAndroid Build Coastguard Worker;
8*9880d681SAndroid Build Coastguard Worker  %z = add i1 %x, %x
9*9880d681SAndroid Build Coastguard Worker  ret i1 %z
10*9880d681SAndroid Build Coastguard Worker}
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Workerdefine i1 @sub(i1 %x) {
13*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @sub(
14*9880d681SAndroid Build Coastguard Worker; CHECK:         ret i1 %x
15*9880d681SAndroid Build Coastguard Worker;
16*9880d681SAndroid Build Coastguard Worker  %z = sub i1 false, %x
17*9880d681SAndroid Build Coastguard Worker  ret i1 %z
18*9880d681SAndroid Build Coastguard Worker}
19*9880d681SAndroid Build Coastguard Worker
20*9880d681SAndroid Build Coastguard Workerdefine i1 @mul(i1 %x) {
21*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @mul(
22*9880d681SAndroid Build Coastguard Worker; CHECK:         ret i1 %x
23*9880d681SAndroid Build Coastguard Worker;
24*9880d681SAndroid Build Coastguard Worker  %z = mul i1 %x, %x
25*9880d681SAndroid Build Coastguard Worker  ret i1 %z
26*9880d681SAndroid Build Coastguard Worker}
27*9880d681SAndroid Build Coastguard Worker
28*9880d681SAndroid Build Coastguard Workerdefine i1 @ne(i1 %x) {
29*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @ne(
30*9880d681SAndroid Build Coastguard Worker; CHECK:         ret i1 %x
31*9880d681SAndroid Build Coastguard Worker;
32*9880d681SAndroid Build Coastguard Worker  %z = icmp ne i1 %x, 0
33*9880d681SAndroid Build Coastguard Worker  ret i1 %z
34*9880d681SAndroid Build Coastguard Worker}
35