diff options
| author | Sjoerd Meijer <sjoerd.meijer@arm.com> | 2021-06-17 13:50:15 +0100 |
|---|---|---|
| committer | Sjoerd Meijer <sjoerd.meijer@arm.com> | 2021-06-17 14:13:25 +0100 |
| commit | 3f596842e3d25009c4d62c75e5b24b515bde8e93 (patch) | |
| tree | cc317b87843527b228fdf8629bf7b1d826fdfedd | |
| parent | c878d03d60fc91ecad661f4435ce70bf276f3bdb (diff) | |
| download | llvm-3f596842e3d25009c4d62c75e5b24b515bde8e93.zip llvm-3f596842e3d25009c4d62c75e5b24b515bde8e93.tar.gz llvm-3f596842e3d25009c4d62c75e5b24b515bde8e93.tar.bz2 | |
[FuncSpec] Precommit test: don't specialise funcs with NoDuplicate instrs. NFC.
| -rw-r--r-- | llvm/test/Transforms/FunctionSpecialization/function-specialization-nodup2.ll | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/llvm/test/Transforms/FunctionSpecialization/function-specialization-nodup2.ll b/llvm/test/Transforms/FunctionSpecialization/function-specialization-nodup2.ll new file mode 100644 index 0000000..f8c79d0 --- /dev/null +++ b/llvm/test/Transforms/FunctionSpecialization/function-specialization-nodup2.ll @@ -0,0 +1,42 @@ +; RUN: opt -function-specialization -force-function-specialization -S < %s | FileCheck %s + +; FIXME: Function foo gets specialised even though it contains an instrinsic +; that is marked as NoDuplicate. +; Please note that the use of the hardwareloop intrinsic is arbitrary; it's +; just an easy to use intrinsic that has NoDuplicate. + +; CHECK: @foo.1( +; CHECK: @foo.2( + +target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" + +@A = external dso_local constant i32, align 4 +@B = external dso_local constant i32, align 4 + +define dso_local i32 @bar(i32 %x, i32 %y) { +entry: + %tobool = icmp ne i32 %x, 0 + br i1 %tobool, label %if.then, label %if.else + +if.then: + %call = call i32 @foo(i32 %x, i32* @A) + br label %return + +if.else: + %call1 = call i32 @foo(i32 %y, i32* @B) + br label %return + +return: + %retval.0 = phi i32 [ %call, %if.then ], [ %call1, %if.else ] + ret i32 %retval.0 +} + +define internal i32 @foo(i32 %x, i32* %b) { +entry: + %0 = load i32, i32* %b, align 4 + %add = add nsw i32 %x, %0 + %cmp = call i1 @llvm.test.set.loop.iterations.i32(i32 42) + ret i32 %add +} + +declare i1 @llvm.test.set.loop.iterations.i32(i32) |