From b6df79a6b28dd051e84c2549b5d1735cb11b54c9 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 3 May 2002 19:58:17 +0000 Subject: [PATCH] Add new testcase for general constant prop. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2457 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../ConstProp/2002-05-03-NotOperator.ll | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 test/Transforms/ConstProp/2002-05-03-NotOperator.ll diff --git a/test/Transforms/ConstProp/2002-05-03-NotOperator.ll b/test/Transforms/ConstProp/2002-05-03-NotOperator.ll new file mode 100644 index 00000000000..fbb67e64687 --- /dev/null +++ b/test/Transforms/ConstProp/2002-05-03-NotOperator.ll @@ -0,0 +1,18 @@ +; This bug has to do with the fact that constant propogation was implemented in +; terms of _logical_ not (! in C) instead of _bitwise_ not (~ in C). This was +; due to a spec change. + +; RUN: if as < %s | opt -constprop | dis | grep 'int 0' +; RUN: then exit 1 +; RUN: else exit 0 +; RUN: fi + +int "test1"() { + %R = not int 123 + ret int %R +} + +int "test2"() { + %R = not int -123 + ret int %R +} -- 2.34.1