Index: test/Transforms/NaCl/rewrite-flt-rounds.ll |
diff --git a/test/Transforms/NaCl/rewrite-flt-rounds.ll b/test/Transforms/NaCl/rewrite-flt-rounds.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..cb1a7e4a99244950b461b9ab429e24d4572acbcf |
--- /dev/null |
+++ b/test/Transforms/NaCl/rewrite-flt-rounds.ll |
@@ -0,0 +1,38 @@ |
+; RUN: opt < %s -rewrite-llvm-intrinsic-calls -S | FileCheck %s |
+; RUN: opt < %s -rewrite-llvm-intrinsic-calls -S | FileCheck %s -check-prefix=CLEANED |
+; Test the @llvm.flt.rounds part of the RewriteLLVMIntrinsics pass |
+ |
+declare i32 @llvm.flt.rounds() |
+ |
+; No declaration or definition of llvm.flt.rounds() should remain. |
+; CLEANED-NOT: @llvm.flt.rounds |
+ |
+define i32 @call_flt_rounds() { |
+; CHECK: call_flt_rounds |
+; CHECK-NEXT: ret i32 1 |
+ %val = call i32 @llvm.flt.rounds() |
+ ret i32 %val |
+} |
+ |
+; A more complex example with a number of calls in several BBs. |
+define i32 @multiple_calls(i64* %arg, i32 %num) { |
+; CHECK: multiple_calls |
+entryblock: |
+; CHECK: entryblock |
+ %v1 = call i32 @llvm.flt.rounds() |
+ br label %block1 |
+block1: |
+; CHECK: block1: |
+; CHECK-NEXT: %v3 = add i32 1, 1 |
+ %v2 = call i32 @llvm.flt.rounds() |
+ %v3 = add i32 %v2, %v1 |
+ br label %exitblock |
+exitblock: |
+; CHECK: exitblock: |
+; CHECK-NEXT: %v4 = add i32 1, %v3 |
+; CHECK-NEXT: %v6 = add i32 1, %v4 |
+ %v4 = add i32 %v2, %v3 |
+ %v5 = call i32 @llvm.flt.rounds() |
+ %v6 = add i32 %v5, %v4 |
+ ret i32 %v6 |
+} |