changeset 680:91df52e5b1dc draft

Added new test cases into iadd.clj.
author Pavel Tisnovsky <ptisnovs@redhat.com>
date Tue, 23 Feb 2016 11:22:37 +0100
parents 9848bbf1bd9f
children 9cf918133380
files ChangeLog src/tests/iadd.clj
diffstat 2 files changed, 255 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Tue Feb 23 11:20:50 2016 +0100
+++ b/ChangeLog	Tue Feb 23 11:22:37 2016 +0100
@@ -1,3 +1,8 @@
+2016-02-23  Pavel Tisnovsky  <ptisnovs@redhat.com>
+
+	* src/tests/iadd.clj:
+	Added new test cases into iadd.clj.
+
 2016-02-23  Pavel Tisnovsky  <ptisnovs@redhat.com>
 
 	* src/tests/iadd.clj:
--- a/src/tests/iadd.clj	Tue Feb 23 11:20:50 2016 +0100
+++ b/src/tests/iadd.clj	Tue Feb 23 11:22:37 2016 +0100
@@ -8643,6 +8643,256 @@
         [:ireturn]
     ])
 
+; check the following operation: result = 126 + 32764
+; by using the JVM instruction:  iadd
+(def test126iadd32764
+    [
+        [:iconst 126]
+        [:iconst 32764]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32765
+; by using the JVM instruction:  iadd
+(def test126iadd32765
+    [
+        [:iconst 126]
+        [:iconst 32765]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32766
+; by using the JVM instruction:  iadd
+(def test126iadd32766
+    [
+        [:iconst 126]
+        [:iconst 32766]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32767
+; by using the JVM instruction:  iadd
+(def test126iadd32767
+    [
+        [:iconst 126]
+        [:iconst 32767]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32768
+; by using the JVM instruction:  iadd
+(def test126iadd32768
+    [
+        [:iconst 126]
+        [:iconst 32768]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32769
+; by using the JVM instruction:  iadd
+(def test126iadd32769
+    [
+        [:iconst 126]
+        [:iconst 32769]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32770
+; by using the JVM instruction:  iadd
+(def test126iadd32770
+    [
+        [:iconst 126]
+        [:iconst 32770]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32771
+; by using the JVM instruction:  iadd
+(def test126iadd32771
+    [
+        [:iconst 126]
+        [:iconst 32771]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 32772
+; by using the JVM instruction:  iadd
+(def test126iadd32772
+    [
+        [:iconst 126]
+        [:iconst 32772]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65531
+; by using the JVM instruction:  iadd
+(def test126iadd65531
+    [
+        [:iconst 126]
+        [:iconst 65531]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65532
+; by using the JVM instruction:  iadd
+(def test126iadd65532
+    [
+        [:iconst 126]
+        [:iconst 65532]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65533
+; by using the JVM instruction:  iadd
+(def test126iadd65533
+    [
+        [:iconst 126]
+        [:iconst 65533]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65534
+; by using the JVM instruction:  iadd
+(def test126iadd65534
+    [
+        [:iconst 126]
+        [:iconst 65534]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65535
+; by using the JVM instruction:  iadd
+(def test126iadd65535
+    [
+        [:iconst 126]
+        [:iconst 65535]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65536
+; by using the JVM instruction:  iadd
+(def test126iadd65536
+    [
+        [:iconst 126]
+        [:iconst 65536]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65537
+; by using the JVM instruction:  iadd
+(def test126iadd65537
+    [
+        [:iconst 126]
+        [:iconst 65537]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65538
+; by using the JVM instruction:  iadd
+(def test126iadd65538
+    [
+        [:iconst 126]
+        [:iconst 65538]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 65539
+; by using the JVM instruction:  iadd
+(def test126iadd65539
+    [
+        [:iconst 126]
+        [:iconst 65539]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 2147483641
+; by using the JVM instruction:  iadd
+(def test126iadd2147483641
+    [
+        [:iconst 126]
+        [:iconst 2147483641]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 2147483642
+; by using the JVM instruction:  iadd
+(def test126iadd2147483642
+    [
+        [:iconst 126]
+        [:iconst 2147483642]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 2147483643
+; by using the JVM instruction:  iadd
+(def test126iadd2147483643
+    [
+        [:iconst 126]
+        [:iconst 2147483643]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 2147483644
+; by using the JVM instruction:  iadd
+(def test126iadd2147483644
+    [
+        [:iconst 126]
+        [:iconst 2147483644]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 2147483645
+; by using the JVM instruction:  iadd
+(def test126iadd2147483645
+    [
+        [:iconst 126]
+        [:iconst 2147483645]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 2147483646
+; by using the JVM instruction:  iadd
+(def test126iadd2147483646
+    [
+        [:iconst 126]
+        [:iconst 2147483646]
+        [:iadd]
+        [:ireturn]
+    ])
+
+; check the following operation: result = 126 + 2147483647
+; by using the JVM instruction:  iadd
+(def test126iadd2147483647
+    [
+        [:iconst 126]
+        [:iconst 2147483647]
+        [:iadd]
+        [:ireturn]
+    ])
+
 (def test127iadd0
     [
         [:iconst 127]