--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/llvm/test/TableGen/GlobalISelEmitter-PR39045.td	Thu Feb 13 15:10:13 2020 +0900
@@ -0,0 +1,40 @@
+// RUN: llvm-tblgen -gen-global-isel -I %p/../../include -I %p/Common  %s -o %t
+// RUN: FileCheck %s < %t
+
+// Both predicates should be tested
+// CHECK-DAG: GIM_CheckCxxInsnPredicate, /*MI*/0, /*FnId*/GIPFP_MI_Predicate_pat_frag_b,
+// CHECK-DAG: GIM_CheckCxxInsnPredicate, /*MI*/0, /*FnId*/GIPFP_MI_Predicate_pat_frag_a,
+
+include "llvm/Target/Target.td"
+include "GlobalISelEmitterCommon.td"
+
+
+def pat_frag_a : PatFrag <(ops node:$ptr), (load node:$ptr), [{}]> {
+   let PredicateCode = [{ return isInstA(MI); }];
+   let GISelPredicateCode = [{ return isInstA(MI); }];
+}
+
+def pat_frag_b : PatFrag <(ops node:$ptr), (load node:$ptr), [{}]> {
+   let PredicateCode = [{ return isInstB(MI); }];
+   let GISelPredicateCode = [{ return isInstB(MI); }];
+}
+
+def inst_a : Instruction {
+  let OutOperandList = (outs GPR32:$dst);
+  let InOperandList = (ins GPR32:$src);
+}
+def inst_b : Instruction {
+  let OutOperandList = (outs GPR32:$dst);
+  let InOperandList = (ins GPR32:$src);
+}
+
+def : Pat <
+  (pat_frag_a GPR32:$src),
+  (inst_a GPR32:$src)
+>;
+
+def : Pat <
+  (pat_frag_b GPR32:$src),
+  (inst_b GPR32:$src)
+>;
+