diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:05:09 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
| commit | 3c22f088ce92854b9fcb5b41f67bf9a503ec9719 (patch) | |
| tree | c7497c38f3e661f56a32d55d79b5d7868a070220 /test/Feature/_utils.leq36._ll | |
| parent | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (diff) | |
| download | klee-3c22f088ce92854b9fcb5b41f67bf9a503ec9719.tar.gz | |
remove tests for LLVM <= 3.7
Diffstat (limited to 'test/Feature/_utils.leq36._ll')
| -rw-r--r-- | test/Feature/_utils.leq36._ll | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/test/Feature/_utils.leq36._ll b/test/Feature/_utils.leq36._ll deleted file mode 100644 index 32a73bb1..00000000 --- a/test/Feature/_utils.leq36._ll +++ /dev/null @@ -1,71 +0,0 @@ -define i32 @util_make_and_i1(i32 %a, i32 %b) { - %a_i1 = icmp ne i32 %a, 0 - %b_i1 = icmp ne i32 %b, 0 - %res_i1 = and i1 %a_i1, %b_i1 - %res = zext i1 %res_i1 to i32 - ret i32 %res -} - -define i32 @util_make_or_i1(i32 %a, i32 %b) { - %a_i1 = icmp ne i32 %a, 0 - %b_i1 = icmp ne i32 %b, 0 - %res_i1 = or i1 %a_i1, %b_i1 - %res = zext i1 %res_i1 to i32 - ret i32 %res -} - -define i16 @util_make_concat2(i8 %a, i8 %b) { - %tmp = alloca i16 - %tmp8 = bitcast i16* %tmp to i8* - %p0 = getelementptr i8* %tmp8, i32 0 - %p1 = getelementptr i8* %tmp8, i32 1 - store i8 %b, i8* %p0 - store i8 %a, i8* %p1 - %concat = load i16* %tmp - ret i16 %concat -} - -define i32 @util_make_concat4(i8 %a, i8 %b, i8 %c, i8 %d) { - %tmp = alloca i32 - %tmp8 = bitcast i32* %tmp to i8* - %p0 = getelementptr i8* %tmp8, i32 0 - %p1 = getelementptr i8* %tmp8, i32 1 - %p2 = getelementptr i8* %tmp8, i32 2 - %p3 = getelementptr i8* %tmp8, i32 3 - store i8 %d, i8* %p0 - store i8 %c, i8* %p1 - store i8 %b, i8* %p2 - store i8 %a, i8* %p3 - %concat = load i32* %tmp - ret i32 %concat -} - -define i64 @util_make_concat8(i8 %a, i8 %b, i8 %c, i8 %d, - i8 %e, i8 %f, i8 %g, i8 %h) { - %tmp = alloca i64 - %tmp8 = bitcast i64* %tmp to i8* - %p0 = getelementptr i8* %tmp8, i32 0 - %p1 = getelementptr i8* %tmp8, i32 1 - %p2 = getelementptr i8* %tmp8, i32 2 - %p3 = getelementptr i8* %tmp8, i32 3 - %p4 = getelementptr i8* %tmp8, i32 4 - %p5 = getelementptr i8* %tmp8, i32 5 - %p6 = getelementptr i8* %tmp8, i32 6 - %p7 = getelementptr i8* %tmp8, i32 7 - store i8 %h, i8* %p0 - store i8 %g, i8* %p1 - store i8 %f, i8* %p2 - store i8 %e, i8* %p3 - store i8 %d, i8* %p4 - store i8 %c, i8* %p5 - store i8 %b, i8* %p6 - store i8 %a, i8* %p7 - %concat = load i64* %tmp - ret i64 %concat -} - -define i32 @util_make_select(i32 %cond, i32 %t, i32 %f) { - %cond_i1 = icmp ne i32 %cond, 0 - %res = select i1 %cond_i1, i32 %t, i32 %f - ret i32 %res -} \ No newline at end of file |