add some tests explicitly using very wide integers
ADD
tests/alive-tv/wide1-fail.srctgt.ll
+; ERROR: Value mismatch
+
+define i128 @src(i128 %x) {
+ %r = ashr i128 %x, 5
+ ret i128 %r
+}
+
+define i128 @tgt(i128 %x) {
+ %r = udiv i128 %x, 32
+ ret i128 %r
+}

ADD
tests/alive-tv/wide1.srctgt.ll
+define i128 @src(i128 %x) {
+ %r = lshr i128 %x, 5
+ ret i128 %r
+}
+
+define i128 @tgt(i128 %x) {
+ %r = udiv i128 %x, 32
+ ret i128 %r
+}

ADD
tests/alive-tv/wide2-fail.srctgt.ll
+; ERROR: Value mismatch
+
+define i255 @src(i255 %x) {
+ %r = sub i255 0, %x
+ ret i255 %r
+}
+
+define i255 @tgt(i255 %x) {
+ %r = mul i255 %x, -7
+ ret i255 %r
+}

ADD
tests/alive-tv/wide2.srctgt.ll
+define i255 @src(i255 %x) {
+ %r = sub i255 0, %x
+ ret i255 %r
+}
+
+define i255 @tgt(i255 %x) {
+ %r = mul i255 %x, -1
+ ret i255 %r
+}

ADD
tests/alive-tv/wide3-fail.srctgt.ll
+; ERROR: Value mismatch
+
+define i1000 @src(i1000 %x) {
+ %r = add i1000 %x, 11
+ ret i1000 %r
+}
+
+define i1000 @tgt(i1000 %x) {
+ %r = sub i1000 %x, -10
+ ret i1000 %r
+}

ADD
tests/alive-tv/wide3.srctgt.ll
+define i1000 @src(i1000 %x) {
+ %r = add i1000 %x, 11
+ ret i1000 %r
+}
+
+define i1000 @tgt(i1000 %x) {
+ %r = sub i1000 %x, -11
+ ret i1000 %r
+}

add some tests explicitly using very wide integers (#410)