40 lines · cpp
1// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -Wno-unused-value -fclangir -emit-cir %s -o %t.cir2// RUN: FileCheck --input-file=%t.cir %s -check-prefix=CIR3// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -Wno-unused-value -fclangir -emit-llvm %s -o %t-cir.ll4// RUN: FileCheck --input-file=%t-cir.ll %s -check-prefix=LLVM5// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -Wno-unused-value -emit-llvm %s -o %t.ll6// RUN: FileCheck --input-file=%t.ll %s -check-prefix=OGCG7 8struct HasOpEq {9 bool operator==(const HasOpEq &) const;10};11 12void cxx_rewritten_binary_operator_scalar_expr() {13 HasOpEq a;14 HasOpEq b;15 bool neq = a != b;16}17 18// CIR: %[[A_ADDR:.*]] = cir.alloca !rec_HasOpEq, !cir.ptr<!rec_HasOpEq>, ["a"]19// CIR: %[[B_ADDR:.*]] = cir.alloca !rec_HasOpEq, !cir.ptr<!rec_HasOpEq>, ["b"]20// CIR: %[[NEQ_ADDR:.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["neq", init]21// CIR: %[[EQ:.*]] = cir.call @_ZNK7HasOpEqeqERKS_(%[[A_ADDR]], %[[B_ADDR]]) : (!cir.ptr<!rec_HasOpEq>, !cir.ptr<!rec_HasOpEq>) -> !cir.bool22// CIR: %[[NEQ:.*]] = cir.unary(not, %[[EQ]]) : !cir.bool, !cir.bool23// CIR: cir.store{{.*}} %[[NEQ]], %[[NEQ_ADDR]] : !cir.bool, !cir.ptr<!cir.bool>24 25// LLVM: %[[A_ADDR:.*]] = alloca %struct.HasOpEq, i64 1, align 126// LLVM: %[[B_ADDR:.*]] = alloca %struct.HasOpEq, i64 1, align 127// LLVM: %[[NEQ_ADDR:.*]] = alloca i8, i64 1, align 128// LLVM: %[[EQ:.*]] = call i1 @_ZNK7HasOpEqeqERKS_(ptr %[[A_ADDR]], ptr %[[B_ADDR]])29// LLVM: %[[NEQ_I1:.*]] = xor i1 %[[EQ]], true30// LLVM: %[[NEQ:.*]] = zext i1 %[[NEQ_I1]] to i831// LLVM: store i8 %[[NEQ]], ptr %[[NEQ_ADDR]], align 132 33// OGCG: %[[A_ADDR:.*]] = alloca %struct.HasOpEq, align 134// OGCG: %[[B_ADDR:.*]] = alloca %struct.HasOpEq, align 135// OGCG: %[[NEQ_ADDR:.*]] = alloca i8, align 136// OGCG: %[[EQ:.*]] = call {{.*}} zeroext i1 @_ZNK7HasOpEqeqERKS_(ptr {{.*}} %[[A_ADDR]], ptr {{.*}} %[[B_ADDR]])37// OGCG: %[[NEQ_I1:.*]] = xor i1 %[[EQ]], true38// OGCG: %[[NEQ:.*]] = zext i1 %[[NEQ_I1]] to i839// OGCG: store i8 %[[NEQ]], ptr %[[NEQ_ADDR]], align 140