27 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=globalopt < %s | FileCheck %s3 4; Don't evaluate call with return value type mismatch.5 6@llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @__cxx_global_var_init, ptr null }]7 8define void @__cxa_guard_acquire() {9; CHECK-LABEL: define void @__cxa_guard_acquire() local_unnamed_addr {10; CHECK-NEXT: [[ENTRY:.*:]]11; CHECK-NEXT: ret void12;13entry:14 ret void15}16 17define void @__cxx_global_var_init() {18; CHECK-LABEL: define void @__cxx_global_var_init() {19; CHECK-NEXT: [[RES:%.*]] = call i32 @__cxa_guard_acquire()20; CHECK-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[RES]], 021; CHECK-NEXT: ret void22;23 %res = call i32 @__cxa_guard_acquire()24 %tobool.not = icmp eq i32 %res, 025 ret void26}27