44 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4; Make sure we don't crash in this case.5@g = global i32 06 7define i1 @foo() {8; CHECK-LABEL: define i1 @foo() {9; CHECK-NEXT: [[ENTRY:.*:]]10; CHECK-NEXT: br i1 ptrtoint (ptr @g to i1), label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]11; CHECK: [[IF_THEN]]:12; CHECK-NEXT: ret i1 true13; CHECK: [[IF_ELSE]]:14; CHECK-NEXT: ret i1 false15;16entry:17 br i1 ptrtoint (ptr @g to i1), label %if.then, label %if.else18 19if.then:20 ret i1 true21 22if.else:23 ret i1 false24}25 26define i1 @bar() {27; CHECK-LABEL: define i1 @bar() {28; CHECK-NEXT: [[ENTRY:.*:]]29; CHECK-NEXT: br i1 ptrtoint (ptr @g to i1), label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]30; CHECK: [[IF_THEN]]:31; CHECK-NEXT: ret i1 true32; CHECK: [[IF_ELSE]]:33; CHECK-NEXT: ret i1 false34;35entry:36 br i1 ptrtoint (ptr @g to i1), label %if.then, label %if.else37 38if.then:39 ret i1 true40 41if.else:42 ret i1 false43}44